Trace number 4293918

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.8-SuperNG 2018-06-13SAT (TO)223154775 2520.16 2235.66

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 benchmark40498440
Best CPU time to get the best result obtained on this benchmark2520.15
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.98/0.74	c Concrete v3.8.1528841891564 running
97.35/68.83	o 223183195
98.02/69.21	o 223169005
98.02/69.26	o 223168994
98.32/69.30	o 223168992
98.32/69.34	o 223154800
98.32/69.38	o 223154799
98.60/69.43	o 223154792
98.81/69.51	o 223154775
2520.08/2235.61	Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2235.61		at concrete.MAC.mac(MAC.scala:188)
2520.08/2235.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2235.61		at scala.util.Try$.apply(Try.scala:209)
2520.08/2235.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2235.61		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2235.61		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2235.61		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2235.61		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2235.61		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2235.61		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2235.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2235.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2235.61		at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2235.61		at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2235.61		at concrete.MAC.nextSolution(MAC.scala:355)
2520.08/2235.61		at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2235.61		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2235.61		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2235.61		at concrete.Solver.foreach(Solver.scala:68)
2520.08/2235.61		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2235.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2235.61		at scala.util.Success.map(Try.scala:209)
2520.08/2235.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2235.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2235.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2235.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2235.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2235.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2235.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2235.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2235.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2235.61		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2235.61		at scala.App.main(App.scala:76)
2520.08/2235.61		at scala.App.main$(App.scala:74)
2520.08/2235.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2235.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2235.62	v <instantiation cost="223154775">
2520.08/2235.62	v       <list>
2520.08/2235.62	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]
2520.08/2235.62	v       </list>
2520.08/2235.62	v       <values>
2520.08/2235.62	v         2592 2464 2280 2464 2532 2280 2500 2380 2608 2396 2380 2344 2276 2516 2368 2616 2552 2424 2604 2656 2332 2536 2600 2460 2332 2308 2292 2376 2428 2556 2552 2280 2436 2240 2468 2240 2524 2332 2616 2240 2564 2344 2616 2396 2304 2560 2368 2548 2240 2332 2548 2568 2608 2564 2608 2544 2520 2460 2540 2520 2656 2320 2484 2516 2436 2560 2504 2416 2384 2304 2376 2556 2292 2584 2612 2456 2616 2240 2520 2564 2616 2588 2580 2280 2640 2540 2280 2480 2652 2512 2524 2240 2652 2656 2452 2464 2280 2648 2420 2484 2656 2424 2280 2424 2616 2240 2572 2600 2496 2612 2480 2428 2620 2492 2564 2476 2308 2544 2396 2240 2280 2356 2556 2348 2608 2612 2524 2472 2476 2344 2508 2624 2280 2580 2584 2656 2592 2436 2388 2652 2492 2280 2280 2456 2648 2360 2420 2608 2580 2588 2524 2468 2416 2548 2520 2648 2416 2240 2612 2368 2432 2624 2472 2636 2384 2292 2640 2520 2500 2344 2280 2564 2656 2636 2372 2516 2444 2424 2552 2368 2512 2388 2504 2328 2512 2612 2564 2616 2292 2332 2524 2316 2576 2320 2576 2292 2556 2580 2548 2492 2596 2588 2516 2444 2508 2620 2580 2496 2516 2456 2348 2624 2472 2464 2596 2584 2396 2584 2464 2240 2616 2268 2420 2568 2320 2540 2432 2472 2596 2456 2416 2332 2560 2380 2388 2428 2408 2408 2432 2452 2392 2572 2520 2292 2560 2408 2496 2280 2240 2332 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 11 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 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 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 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 1 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 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 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 10 0 1 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 1 10 10 10 0 5 8 1 0 1 0 0 0 0 1 0 1 0 0 0 10 9 0 0 0 0 4 0 0 0 0 8 0 0 9 0 10 0 8 0 0 0 9 10 1 0 0 1 0 6 0 0 0 0 0 0 0 0 0 3 10 0 0 0 5 10 0 10 0 0 0 0 0 0 10 10 10 0 0 1 3 0 0 10 0 0 0 0 0 0 0 1 0 10 0 0 0 4 4 6 0 0 0 0 8 0 0 0 10 0 1 0 0 0 10 0 10 0 0 0 0 10 0 7 0 0 0 0 6 0 4 0 0 0 0 10 0 0 0 1 0 0 0 0 10 0 0 0 5 0 3 0 0 0 0 10 0 0 10 1 10 10 0 0 0 1 0 1 10 10 10 10 0 1 0 5 7 0 0 0 8 1 0 1 1 8 10 2 0 1 10 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 8 1 1 10 0 10 1 9 10 4 0 1 0 0 1 10 0 0 10 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 5 0 0 10 0 0 8 0 0 0 0 0 9 0 2 0 0 0 10 0 0 0 0 10 0 0 10 0 0 1 0 0 0 1 10 0 0 10 0 7 1 1 0 10 10 0 0 0 2 0 0 1 1 0 0 0 6 1 0 0 5 0 7 10 0 0 0 0 0 1 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 10 0 0 0 0 0 0 6 10 0 0 10 0 8 10 0 0 8 0 0 0 0 0 0 1 0 0 0 0 0 0 0 10 10 0 0 0 9 0 0 0 9 10 0 10 0 0 1 0 3 10 0 9 0 7 1 0 0 0 0 0 0 0 10 0 0 0 4 0 0 0 0 9 0 0 0 10 0 0 0 1 5 0 0 0 0 0 0 0 0 0 0 0 9 0 0 1 1 1 0 0 0 0 2 1 7 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 8 0 1 0 0 5 0 10 0 0 0 1 10 0 0 0 0 0 7 0 0 3 0 8 0 0 0 1 1 0 10 3 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 4 0 0 1 7 0 6 8 2 0 0 3 1 0 0 1 0 10 4 10 0 0 0 0 0 9 0 9 1 0 0 1 0 0 0 0 10 0 6 1 9 0 0 0 0 10 0 0 0 0 1 6 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 1 0 0 0 7 1 0 0 10 0 0 3 10 10 0 0 4 0 0 4 7 0 3 0 0 9 0 0 10 0 0 0 0 0 1 3 0 0 6 0 10 10 0 1 0 1 0 0 10 0 0 0 0 0 10 2 10 6 0 0 3 0 0 0 1 9 0 10 3 4 0 0 0 0 0 0 10 5 0 10 0 10 1 0 1 0 0 0 10 10 0 0 0 0 1 0 0 0 9 0 10 0 0 0 0 0 0 1 0 9 0 0 0 10 0 0 4 10 0 0 0 0 0 1 9 0 0 10 10 0 10 0 10 1 1 3 0 0 0 0 8 0 0 5 0 0 0 0 0 1 0 10 4 0 1 1 10 6 0 0 1 0 0 0 0 0 3 7 1 0 0 0 0 0 6 0 0 0 0 0 1 0 3 0 0 6 0 0 10 0 0 0 2 8 0 0 10 0 0 0 0 0 0 0 0 0 1 10 0 0 9 0 0 8 0 0 1 0 0 0 0 0 0 7 0 0 5 0 0 0 0 0 7 0 0 0 1 1 1 0 10 10 0 0 6 0 0 0 0 0 0 0 0 0 0 10 8 0 1 0 0 10 0 0 0 9 0 0 0 8 10 6 0 9 0 0 3 0 10 10 0 0 1 1 0 0 0 0 0 0 8 1 0 1 0 1 0 0 10 0 0 1 0 10 0 0 0 10 0 0 0 0 0 0 0 0 1 9 0 0 0 0 0 0 0 4 0 0 0 8 2 1 0 9 0 0 1 0 0 10 2 0 0 0 10 1 0 4 0 0 10 0 0 0 1 0 0 7 0 0 0 9 0 0 0 8 0 10 10 0 0 0 0 0 9 1 6 1 0 0 0 0 0 0 0 0 0 3 10 0 1 10 1 0 0 0 5 0 0 2 8 6 0 7 8 0 10 3 0 0 1 0 0 0 0 0 7 1 0 0 1 0 0 0 4 1 10 10 0 0 0 0 0 0 0 0 0 0 10 6 0 9 0 10 3 0 10 10 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 9 0 0 0 0 0 7 10 0 0 1 0 0 9 0 0 1 0 0 10 0 1 0 0 5 0 1 7 0 0 0 10 0 2 10 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 3 1 7 0 0 0 0 0 0 3 10 10 0 8 0 1 1 0 0 0 4 0 0 0 5 1 10 0 0 2 0 8 9 0 0 0 0 0 3 1 0 0 0 0 0 9 1 0 6 3 10 0 1 0 10 6 10 0 0 10 0 10 1 0 0 10 1 0 0 0 0 0 10 0 1 0 8 10 0 0 0 0 0 1 10 2 0 1 0 1 0 0 0 0 1 1 0 0 0 10 0 0 1 10 8 0 4 0 0 10 0 0 1 0 0 1 0 9 0 0 9 10 1 0 0 0 0 0 0 5 0 0 1 0 10 10 1 0 0 0 1 1 0 4 1 0 0 0 0 0 0 0 0 0 0 10 0 6 0 0 0 0 1 10 0 0 0 3 0 10 0 0 0 0 4 0 0 0 8 10 0 0 0 0 0 10 0 8 3 1 0 0 10 10 0 0 0 0 0 0 10 8 10 0 0 0 1 0 10 0 0 10 1 0 0 0 0 0 0 0 1 1 0 0 0 10 10 0 0 0 0 0 1 0 0 0 0 6 0 1 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 10 212 64 260 352 60 312 148 204 28 352 68 76 144 56 188 48 60 116 144 12 120 172 120 72 172 184 4 52 284 140 144 368 260 148 36 152 192 4 96 84 76 172 56 96 28 84 48 20 108 16 252 108 88 16 68 264 212 28 336 280 304 336 136 224 68 56 12 152 148 16 92 148 208 56 16 80 16 92 4 140 184 236 140 56 200 44 24 88 12 132 64 196 208 216 48 228 368 88 212 88 100 20 20 216 88 96 116 116 184 100 156 220 104 88 276 88 184 100 260 276 36 256 236 0 48 256 36 272 224 140 240 112 164 124 128 100 4 240 272 104 192 32 376 140 360 168 300 312 240 120 44 224 36 276 32 56 32 140 140 72 72 4 92 188 24 136 212 124 88 196 288 268 76 208 172 128 192 376 76 76 376 92 68 20 100 100 220 160 312 248 16 168 176 312 104 88 312 8 72 272 284 232 164 272 144 96 40 84 232 56 196 172 136 52 364 8 92 148 20 140 324 188 336 280 36 20 328 160 184 264 268 124 56 232 256 124 76 164 100 80 164 32 40 216 64 296 60 80 320 20 176 136 128 64 128 180 192 20 220 188 104 92 128 128 4 52 284 64 140 132 120 212 276 312 256 300 124 316 136 196 40 164 100 28 168 292 288 128 180 68 256 52 224 260 220 172 40 212 84 212 192 56 128 188 184 136 96 148 96 96 72 316 52 32 160 28 148 36 128 28 164 36 80 124 144 264 260 200 300 0 144 128 128 172 60 148 128 44 216 220 128 212 112 8 140 152 144 88 156 244 144 300 408 416 40 0 336 28 80 76 12 184 4 120 188 180 72 16 188 156 0 240 416 216 140 148 20 128 244 84 284 140 60 256 204 68 136 256 72 312 376 192 136 308 140 256 4 8 96 272 100 244 176 144 40 412 340 416 376 316 224 376 272 324 16 84 180 272 232 224 196 168 304 84 132 308 268 172 80 52 204 84 156 96 160 92 192 72 36 196 124 168 144 80 160 104 80 76 68 64 244 304 352 276 284 12 12 276 256 52 52 216 92 52 192 64 320 104 136 48 216 248 128 128 24 48 152 268 36 52 208 20 88 256 68 128 124 56 100 28 88 152 128 160 240 40 40 372 268 224 356 180 80 232 96 64 84 28 92 44 56 24 176 232 32 72 36 40 20 88 212 12 224 56 16 104 288 144 20 368 128 80 48 24 20 184 88 124 368 184 44 60 96 32 112 264 104 64 128 264 36 88 212 52 44 72 68 124 228 80 220 220 104 116 136 220 116 76 260 232 144 248 272 108 88 248 84 228 52 148 104 68 0 152 100 72 144 180 140 288 332 40 268 24 316 52 264 112 108 72 164 140 96 244 140 152 164 96 64 276 108 60 168 224 60 88 220 16 48 32 220 140 112 48 144 64 172 80 108 76 132 188 172 172 108 136 12 72 236 32 224 100 20 268 264 160 144 140 104 144 168 92 172 64 64 120 176 204 64 128 320 244 292 76 104 180 276 100 136 32 12 116 40 8 236 16 96 92 24 188 132 20 160 308 204 304 16 188 24 304 72 20 32 292 4 72 100 304 156 192 168 148 176 176 132 40 120 96 92 124 272 20 244 288 152 160 224 336 376 412 416 120 372 384 52 416 356 340 132 128 132 64 280 100 48 128 240 24 284 8 20 144 148 324 68 132 272 68 376 36 52 160 96 232 24 52 272 320 20 172 300 236 72 300 56 16 56 136 172 360 372 16 360 8 128 168 72 232 348 360 300 116 16 104 68 44 144 76 28 200 244 368 340 224 284 68 336 52 112 216 240 128 156 96 32 372 96 304 28 308 324 136 68 92 60 144 20 204 116 112 180 80 96 60 244 244 100 244 88 40 64 376 104 196 40 348 316 156 200 228 80 176 16 140 84 8 180 376 416 36 308 388 268 32 96 116 20 156 188 116 184 0 108 376 264 312 372 368 192 92 316 252 124 368 56 408 332 380 328 240 64 200 88 36 140 144 152 132 88 128 172 164 132 32 96 260 180 164 104 324 364 160 128 164 84 200 172 32 368 368 220 232 52 12 184 36 216 152 172 196 92 16 140 8 96 124 184 372 0 408 128 128 324 52 316 168 0 52 68 44 252 56 280 124 212 80 48 308 84 220 20 128 140 20 108 88 64 136 332 92 180 140 96 188 296 56 172 132 44 28 120 112 48 36 116 28 180 44 148 20 96 276 184 164 252 304 24 300 240 212 340 60 124 4 84 20 28 8 100 168 132 172 48 180 144 108 144 96 348 52 60 288 36 80 112 72 212 212 52 220 184 104 100 340 352 176 324 272 376 216 192 68 88 376 256 208 64 96 8 36 184 32 64 236 128 200 68 4 236 44 212 68 192 16 104 44 260 368 40 368 64 64 104 180 204 104 136 232 72 36 48 8 64 40 48 80 16 248 180 168 24 52 276 104 148 76 116 128 228 4 88 344 384 100 48 236 196 328 360 164 48 284 316 236 280 108 128 300 76 16 288 124 192 148 340 112 84 196 28 32 120 44 32 288 364 224 84 312 92 76 264 68 36 220 4 56 20 64 72 156 320 88 144 20 104 172 104 60 244 240 152 292 52 40 12 40 152 108 92 112 184 12 204 132 236 68 204 196 316 88 240 104 368 136 200 200 156 264 32 16 172 148 248 92 4 268 28 112 28 52 44 108 96 48 52 60 36 0 196 84 96 92 68 36 52 228 36 172 68 220 316 96 84 160 124 200 124 80 148 180 320 188 320 16 28 232 156 228 88 108 292 192 104 140 108 136 264 40 164 240 20 116 40 212 52 364 224 76 204 324 304 164 124 116 272 92 52 124 176 192 252 188 116 8 92 92 312 180 4 272 36 284 92 224 12 316 128 172 72 140 272 16 284 164 52 244 60 132 52 60 84 60 120 12 96 172 152 204 132 28 144 36 260 76 248 204 76 64 68 68 112 104 56 48 104 232 60 200 196 68 172 156 112 264 196 124 64 48 116 84 60 272 12 52 48 200 208 376 140 248 204 32 64 8 100 52 104 16 20 68 196 144 124 96 24 32 92 168 16 52 76 176 188 72 160 104 44 68 52 64 92 56 216 148 84 148 188 128 256 120 44 108 44 48 116 84 196 104 204 44 64 140 252 192 44 132 96 108 172 232 320 124 8 96 32 36 120 228 48 20 20 100 104 112 112 188 204 152 256
2520.08/2235.62	v       </values>
2520.08/2235.62	v     </instantiation>
2520.08/2235.62	s SATISFIABLE

Verifier Data 

OK	223154775

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293918-1532389719/watcher-4293918-1532389719 -o /tmp/evaluation-result-4293918-1532389719/solver-4293918-1532389719 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17305 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=383673813 -superng HOME/instance-4293918-1532389719.xml 

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

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


[startup+0.100089 s]*
/proc/loadavg: 1.82 1.77 1.76 3/206 20708
/proc/meminfo: memFree=23272344/32770624 swapFree=67108860/67108860
[pid=20651] ppid=20648 vsize=9972712 memory=17076 CPUtime=0.08 cores=1,3,5,7
/proc/20651/stat : 20651 (java) S 20648 20651 17273 0 -1 1077944320 4445 12862 0 0 1 0 4 3 20 0 6 0 56535178 10212057088 4269 33554432000 4194304 4196468 140723540357376 140723540339920 139999974768375 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
/proc/20651/statm: 2493178 4269 1934 1 0 2481616 0
[pid=20651/tid=20704] ppid=20648 vsize=9972712 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/20651/task/20704/stat : 20704 (java) R 20648 20651 17273 0 -1 4202560 2267 12862 0 0 1 0 4 3 20 0 6 0 56535187 10212057088 4335 33554432000 4194304 4196468 140723540357376 139999946605136 139999960080377 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20705] ppid=20648 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20705/stat : 20705 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 6 0 56535188 10212057088 4335 33554432000 4194304 4196468 140723540357376 139999979010832 139999974778581 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20706] ppid=20648 vsize=9972712 memory=140430345209472 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20706/stat : 20706 (java) S 20648 20651 17273 0 -1 1077944384 2 12862 0 0 0 0 4 3 20 0 6 0 56535188 10212057088 4335 33554432000 4194304 4196468 140723540357376 139999897762704 139999974778581 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20707] ppid=20648 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20707/stat : 20707 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 6 0 56535188 10212057088 4335 33554432000 4194304 4196468 140723540357376 139999896710160 139999974778581 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20708] ppid=20648 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20708/stat : 20708 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 6 0 56535188 10212057088 4335 33554432000 4194304 4196468 140723540357376 139999545580688 139999974778581 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.210256 s]*
/proc/loadavg: 1.82 1.77 1.76 3/215 20717
/proc/meminfo: memFree=23253912/32770624 swapFree=67108860/67108860
[pid=20651] ppid=20648 vsize=10818904 memory=43628 CPUtime=0.25 cores=1,3,5,7
/proc/20651/stat : 20651 (java) S 20648 20651 17273 0 -1 1077944320 8114 12862 0 0 16 2 4 3 20 0 15 0 56535178 11078557696 10907 33554432000 4194304 4196468 140723540357376 140723540339920 139999974768375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
/proc/20651/statm: 2704726 10907 2967 1 0 2667149 0
[pid=20651/tid=20704] ppid=20648 vsize=10819896 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/20651/task/20704/stat : 20704 (java) R 20648 20651 17273 0 -1 4202560 4894 12862 0 0 10 1 4 3 20 0 15 0 56535187 11079573504 11039 33554432000 4194304 4196468 140723540357376 139999946593184 139999967448093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20705] ppid=20648 vsize=10819896 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20705/stat : 20705 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079573504 11039 33554432000 4194304 4196468 140723540357376 139999979010832 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20706] ppid=20648 vsize=10819896 memory=288370806496921216 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20706/stat : 20706 (java) S 20648 20651 17273 0 -1 1077944384 2 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079573504 11105 33554432000 4194304 4196468 140723540357376 139999897762704 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20707] ppid=20648 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20707/stat : 20707 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079573504 11105 33554432000 4194304 4196468 140723540357376 139999896710160 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20708] ppid=20648 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20708/stat : 20708 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079573504 11105 33554432000 4194304 4196468 140723540357376 139999545580688 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20709] ppid=20648 vsize=10819896 memory=140430345209472 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20709/stat : 20709 (java) S 20648 20651 17273 0 -1 1077944384 2 12862 0 0 0 0 4 3 20 0 15 0 56535189 11079573504 11105 33554432000 4194304 4196468 140723540357376 139999501461488 139999974779522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20710] ppid=20648 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20710/stat : 20710 (java) S 20648 20651 17273 0 -1 1077944384 13 12862 0 0 0 0 4 3 20 0 15 0 56535190 11079573504 11105 33554432000 4194304 4196468 140723540357376 139999425061792 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20711] ppid=20648 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20711/stat : 20711 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535190 11079573504 11171 33554432000 4194304 4196468 140723540357376 139998821082096 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20712] ppid=20648 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20712/stat : 20712 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11079573504 11171 33554432000 4194304 4196468 140723540357376 139998513682640 139999974786971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20713] ppid=20648 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20651/task/20713/stat : 20713 (java) S 20648 20651 17273 0 -1 1077944384 481 12862 0 0 1 0 4 3 20 0 15 0 56535193 11081240576 11171 33554432000 4194304 4196468 140723540357376 139999500409328 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20714] ppid=20648 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20651/task/20714/stat : 20714 (java) S 20648 20651 17273 0 -1 1077944384 88 12862 0 0 1 0 4 3 20 0 15 0 56535193 11081240576 11171 33554432000 4194304 4196468 140723540357376 139999499356784 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20715] ppid=20648 vsize=10821524 memory=140430345209472 CPUtime=0.1 cores=1,3,5,7
/proc/20651/task/20715/stat : 20715 (java) S 20648 20651 17273 0 -1 1077944384 566 12862 0 0 3 0 4 3 20 0 15 0 56535193 11081240576 11171 33554432000 4194304 4196468 140723540357376 139999498304240 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20716] ppid=20648 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20716/stat : 20716 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11081240576 11237 33554432000 4194304 4196468 140723540357376 139998480125024 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20717] ppid=20648 vsize=10821524 memory=140430345209472 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20717/stat : 20717 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535193 11081240576 11237 33554432000 4194304 4196468 140723540357376 139999497251120 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43628 KiB

[startup+0.310241 s]*
/proc/loadavg: 1.82 1.77 1.76 3/215 20717
/proc/meminfo: memFree=23245752/32770624 swapFree=67108860/67108860
[pid=20651] ppid=20648 vsize=10819352 memory=54260 CPUtime=0.37 cores=1,3,5,7
/proc/20651/stat : 20651 (java) S 20648 20651 17273 0 -1 1077944320 10603 12862 0 0 27 3 4 3 20 0 15 0 56535178 11079016448 13565 33554432000 4194304 4196468 140723540357376 140723540339920 139999974768375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
/proc/20651/statm: 2704838 13565 3086 1 0 2667149 0
[pid=20651/tid=20704] ppid=20648 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/20651/task/20704/stat : 20704 (java) R 20648 20651 17273 0 -1 4202560 7251 12862 0 0 19 2 4 3 20 0 15 0 56535187 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999946580712 139999958161712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20705] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20705/stat : 20705 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999979010832 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20706] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20706/stat : 20706 (java) S 20648 20651 17273 0 -1 1077944384 2 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999897762704 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20707] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20707/stat : 20707 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999896710160 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20708] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20708/stat : 20708 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999545580688 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20709] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20709/stat : 20709 (java) S 20648 20651 17273 0 -1 1077944384 2 12862 0 0 0 0 4 3 20 0 15 0 56535189 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999501461488 139999974779522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20710] ppid=20648 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20710/stat : 20710 (java) S 20648 20651 17273 0 -1 1077944384 13 12862 0 0 0 0 4 3 20 0 15 0 56535190 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999425061792 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20711] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20711/stat : 20711 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535190 11079016448 13565 33554432000 4194304 4196468 140723540357376 139998821082096 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20712] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20712/stat : 20712 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11079016448 13565 33554432000 4194304 4196468 140723540357376 139998513682640 139999974786971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20713] ppid=20648 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20651/task/20713/stat : 20713 (java) S 20648 20651 17273 0 -1 1077944384 482 12862 0 0 1 0 4 3 20 0 15 0 56535193 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999500409328 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20714] ppid=20648 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20651/task/20714/stat : 20714 (java) R 20648 20651 17273 0 -1 4202560 88 12862 0 0 1 0 4 3 20 0 15 0 56535193 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999499356784 139999974780310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20715] ppid=20648 vsize=10819352 memory=140430345209472 CPUtime=0.11 cores=1,3,5,7
/proc/20651/task/20715/stat : 20715 (java) S 20648 20651 17273 0 -1 1077944384 572 12862 0 0 4 0 4 3 20 0 15 0 56535193 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999498304240 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20716] ppid=20648 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20716/stat : 20716 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11079016448 13565 33554432000 4194304 4196468 140723540357376 139998480125024 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20717] ppid=20648 vsize=10819352 memory=140430345209472 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20717/stat : 20717 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535193 11079016448 13565 33554432000 4194304 4196468 140723540357376 139999497251120 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54260 KiB

[startup+0.700849 s]
/proc/loadavg: 1.82 1.77 1.76 3/215 20717
/proc/meminfo: memFree=23243924/32770624 swapFree=67108860/67108860
[pid=20651] ppid=20648 vsize=10819352 memory=86704 CPUtime=0.98 cores=1,3,5,7
/proc/20651/stat : 20651 (java) S 20648 20651 17273 0 -1 1077944320 16758 12862 0 0 86 5 4 3 20 0 15 0 56535178 11079016448 21676 33554432000 4194304 4196468 140723540357376 140723540339920 139999974768375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
/proc/20651/statm: 2704838 21676 3245 1 0 2667149 0
[pid=20651/tid=20704] ppid=20648 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/20651/task/20704/stat : 20704 (java) R 20648 20651 17273 0 -1 4202560 12279 12862 0 0 55 3 4 3 20 0 15 0 56535187 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999946589200 139999956331927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20705] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20705/stat : 20705 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999979010832 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20706] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20706/stat : 20706 (java) S 20648 20651 17273 0 -1 1077944384 2 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999897762704 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20707] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20707/stat : 20707 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999896710160 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20708] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20708/stat : 20708 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535188 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999545580688 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20709] ppid=20648 vsize=10819352 memory=6935649255861544529 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20709/stat : 20709 (java) S 20648 20651 17273 0 -1 1077944384 6 12862 0 0 0 0 4 3 20 0 15 0 56535189 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999501461488 139999974779522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20710] ppid=20648 vsize=10819352 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20710/stat : 20710 (java) S 20648 20651 17273 0 -1 1077944384 13 12862 0 0 0 0 4 3 20 0 15 0 56535190 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999425061792 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20711] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20711/stat : 20711 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535190 11079016448 21676 33554432000 4194304 4196468 140723540357376 139998821082096 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20712] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20712/stat : 20712 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11079016448 21676 33554432000 4194304 4196468 140723540357376 139998513682640 139999974786971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20713] ppid=20648 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/20651/task/20713/stat : 20713 (java) S 20648 20651 17273 0 -1 1077944384 1153 12862 0 0 10 0 4 3 20 0 15 0 56535193 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999500409328 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20714] ppid=20648 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/20651/task/20714/stat : 20714 (java) S 20648 20651 17273 0 -1 1077944384 468 12862 0 0 6 0 4 3 20 0 15 0 56535193 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999499356784 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20715] ppid=20648 vsize=10819352 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/20651/task/20715/stat : 20715 (java) S 20648 20651 17273 0 -1 1077944384 637 12862 0 0 12 0 4 3 20 0 15 0 56535193 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999498304240 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20716] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20716/stat : 20716 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11079016448 21676 33554432000 4194304 4196468 140723540357376 139998480125024 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20717] ppid=20648 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20717/stat : 20717 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535193 11079016448 21676 33554432000 4194304 4196468 140723540357376 139999497251120 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86704 KiB

[startup+1.50071 s]
/proc/loadavg: 1.82 1.77 1.76 6/215 20717
/proc/meminfo: memFree=23208856/32770624 swapFree=67108860/67108860
[pid=20651] ppid=20648 vsize=10828108 memory=317624 CPUtime=3.09 cores=1,3,5,7
/proc/20651/stat : 20651 (java) S 20648 20651 17273 0 -1 1077944320 23521 12862 0 0 282 20 4 3 20 0 15 0 56535178 11087982592 79406 33554432000 4194304 4196468 140723540357376 140723540339920 139999974768375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
/proc/20651/statm: 2707027 79406 3468 1 0 2668685 0
[pid=20651/tid=20704] ppid=20648 vsize=10828108 memory=4951091520830867572 CPUtime=1.39 cores=1,3,5,7
/proc/20651/task/20704/stat : 20704 (java) R 20648 20651 17273 0 -1 4202560 14947 12862 0 0 124 8 4 3 20 0 15 0 56535187 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999946600736 139999580605792 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20705] ppid=20648 vsize=10828108 memory=4134606225630022328 CPUtime=0.12 cores=1,3,5,7
/proc/20651/task/20705/stat : 20705 (java) S 20648 20651 17273 0 -1 1077944384 339 12862 0 0 3 2 4 3 20 0 15 0 56535188 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999979010832 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20706] ppid=20648 vsize=10828108 memory=-5153075247754915967 CPUtime=0.11 cores=1,3,5,7
/proc/20651/task/20706/stat : 20706 (java) S 20648 20651 17273 0 -1 1077944384 49 12862 0 0 2 2 4 3 20 0 15 0 56535188 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999897762704 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20707] ppid=20648 vsize=10828108 memory=-9108344847496298141 CPUtime=0.11 cores=1,3,5,7
/proc/20651/task/20707/stat : 20707 (java) S 20648 20651 17273 0 -1 1077944384 187 12862 0 0 2 2 4 3 20 0 15 0 56535188 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999896710160 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20708] ppid=20648 vsize=10828108 memory=143448 CPUtime=0.11 cores=1,3,5,7
/proc/20651/task/20708/stat : 20708 (java) S 20648 20651 17273 0 -1 1077944384 52 12862 0 0 2 2 4 3 20 0 15 0 56535188 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999545580688 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20709] ppid=20648 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20709/stat : 20709 (java) S 20648 20651 17273 0 -1 1077944384 95 12862 0 0 0 0 4 3 20 0 15 0 56535189 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999501461488 139999974779522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20710] ppid=20648 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20710/stat : 20710 (java) S 20648 20651 17273 0 -1 1077944384 13 12862 0 0 0 0 4 3 20 0 15 0 56535190 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999425061792 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20711] ppid=20648 vsize=10828108 memory=280860393799968 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20711/stat : 20711 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535190 11087982592 79406 33554432000 4194304 4196468 140723540357376 139998821082096 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20712] ppid=20648 vsize=10828108 memory=280860394214912 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20712/stat : 20712 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11087982592 79406 33554432000 4194304 4196468 140723540357376 139998513682640 139999974786971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20713] ppid=20648 vsize=10828108 memory=140430196909696 CPUtime=0.62 cores=1,3,5,7
/proc/20651/task/20713/stat : 20713 (java) R 20648 20651 17273 0 -1 4202560 2902 12862 0 0 55 0 4 3 20 0 15 0 56535193 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999500399712 139999958268573 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20714] ppid=20648 vsize=10828108 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/20651/task/20714/stat : 20714 (java) R 20648 20651 17273 0 -1 4202560 1249 12862 0 0 48 0 4 3 20 0 15 0 56535193 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999499343632 139999958265163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20715] ppid=20648 vsize=10828108 memory=1200 CPUtime=0.48 cores=1,3,5,7
/proc/20651/task/20715/stat : 20715 (java) S 20648 20651 17273 0 -1 1077944384 1491 12862 0 0 41 0 4 3 20 0 15 0 56535193 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999498304240 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20716] ppid=20648 vsize=10828108 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20716/stat : 20716 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11087982592 79406 33554432000 4194304 4196468 140723540357376 139998480125024 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20717] ppid=20648 vsize=10828108 memory=11492 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20717/stat : 20717 (java) S 20648 20651 17273 0 -1 1077944384 1 12862 0 0 0 0 4 3 20 0 15 0 56535193 11087982592 79406 33554432000 4194304 4196468 140723540357376 139999497251120 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10828108 KiB

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

/proc/20651/task/20704/stat : 20704 (java) R 20648 20651 17273 0 -1 4202560 261849 12862 0 0 199342 73 4 3 20 0 15 0 56535187 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999946600352 139999577211303 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20705] ppid=20648 vsize=10852704 memory=6655348 CPUtime=85.77 cores=1,3,5,7
/proc/20651/task/20705/stat : 20705 (java) S 20648 20651 17273 0 -1 1077944384 93146 12862 0 0 8409 161 4 3 20 0 15 0 56535188 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999979010832 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20706] ppid=20648 vsize=10852704 memory=6644572 CPUtime=86.03 cores=1,3,5,7
/proc/20651/task/20706/stat : 20706 (java) S 20648 20651 17273 0 -1 1077944384 77396 12862 0 0 8434 162 4 3 20 0 15 0 56535188 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999897762704 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20707] ppid=20648 vsize=10852704 memory=6644572 CPUtime=85.89 cores=1,3,5,7
/proc/20651/task/20707/stat : 20707 (java) S 20648 20651 17273 0 -1 1077944384 73480 12862 0 0 8430 152 4 3 20 0 15 0 56535188 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999896710160 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20708] ppid=20648 vsize=10852704 memory=6655348 CPUtime=86.06 cores=1,3,5,7
/proc/20651/task/20708/stat : 20708 (java) S 20648 20651 17273 0 -1 1077944384 77748 12862 0 0 8446 153 4 3 20 0 15 0 56535188 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999545580688 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20709] ppid=20648 vsize=10852704 memory=6644572 CPUtime=1.4 cores=1,3,5,7
/proc/20651/task/20709/stat : 20709 (java) S 20648 20651 17273 0 -1 1077944384 107710 12862 0 0 120 13 4 3 20 0 15 0 56535189 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999501461488 139999974779522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20710] ppid=20648 vsize=10852704 memory=6644572 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20710/stat : 20710 (java) S 20648 20651 17273 0 -1 1077944384 22 12862 0 0 0 0 4 3 20 0 15 0 56535190 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999425061920 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20711] ppid=20648 vsize=10852704 memory=6644572 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20711/stat : 20711 (java) S 20648 20651 17273 0 -1 1077944384 17 12862 0 0 0 0 4 3 20 0 15 0 56535190 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139998821082112 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20712] ppid=20648 vsize=10852704 memory=6644572 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20712/stat : 20712 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139998513682640 139999974786971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20713] ppid=20648 vsize=10852704 memory=6644572 CPUtime=10.59 cores=1,3,5,7
/proc/20651/task/20713/stat : 20713 (java) S 20648 20651 17273 0 -1 1077944384 94485 12862 0 0 1043 9 4 3 20 0 15 0 56535193 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999500409328 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20714] ppid=20648 vsize=10852704 memory=6732804 CPUtime=11.26 cores=1,3,5,7
/proc/20651/task/20714/stat : 20714 (java) S 20648 20651 17273 0 -1 1077944384 93918 12862 0 0 1107 12 4 3 20 0 15 0 56535193 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999499356784 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20715] ppid=20648 vsize=10852704 memory=6644572 CPUtime=3.6 cores=1,3,5,7
/proc/20651/task/20715/stat : 20715 (java) S 20648 20651 17273 0 -1 1077944384 66583 12862 0 0 344 9 4 3 20 0 15 0 56535193 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999498304240 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20716] ppid=20648 vsize=10852704 memory=1800 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20716/stat : 20716 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139998480125024 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20717] ppid=20648 vsize=10852704 memory=6644572 CPUtime=1.3 cores=1,3,5,7
/proc/20651/task/20717/stat : 20717 (java) S 20648 20651 17273 0 -1 1077944384 4088 12862 0 0 53 70 4 3 20 0 15 0 56535193 11113168896 1661143 33554432000 4194304 4196468 140723540357376 139999497251120 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
Current children cumulated CPU time: 2365.62 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 6644572 KiB

[startup+2142.3 s]
/proc/loadavg: 2.09 1.91 1.88 3/216 20942
/proc/meminfo: memFree=17161548/32770624 swapFree=67108860/67108860
[pid=20651] ppid=20648 vsize=10852704 memory=6627648 CPUtime=2426.07 cores=1,3,5,7
/proc/20651/stat : 20651 (java) S 20648 20651 17273 0 -1 1077944320 972021 12862 0 0 241797 803 4 3 20 0 15 0 56535178 11113168896 1656912 33554432000 4194304 4196468 140723540357376 140723540339920 139999974768375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
/proc/20651/statm: 2713176 1656912 3545 1 0 2674829 0
[pid=20651/tid=20704] ppid=20648 vsize=10852704 memory=6627648 CPUtime=2054.07 cores=1,3,5,7
/proc/20651/task/20704/stat : 20704 (java) R 20648 20651 17273 0 -1 4202560 268248 12862 0 0 205325 75 4 3 20 0 15 0 56535187 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999946603600 139999590595626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20705] ppid=20648 vsize=10852704 memory=6627648 CPUtime=85.9 cores=1,3,5,7
/proc/20651/task/20705/stat : 20705 (java) S 20648 20651 17273 0 -1 1077944384 94938 12862 0 0 8422 161 4 3 20 0 15 0 56535188 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999979010832 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20706] ppid=20648 vsize=10852704 memory=6627648 CPUtime=86.18 cores=1,3,5,7
/proc/20651/task/20706/stat : 20706 (java) S 20648 20651 17273 0 -1 1077944384 80867 12862 0 0 8448 163 4 3 20 0 15 0 56535188 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999897762704 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20707] ppid=20648 vsize=10852704 memory=6627648 CPUtime=86.02 cores=1,3,5,7
/proc/20651/task/20707/stat : 20707 (java) S 20648 20651 17273 0 -1 1077944384 75265 12862 0 0 8443 152 4 3 20 0 15 0 56535188 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999896710160 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20708] ppid=20648 vsize=10852704 memory=6627648 CPUtime=86.2 cores=1,3,5,7
/proc/20651/task/20708/stat : 20708 (java) S 20648 20651 17273 0 -1 1077944384 79118 12862 0 0 8459 154 4 3 20 0 15 0 56535188 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999545580688 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20709] ppid=20648 vsize=10852704 memory=6629184 CPUtime=1.41 cores=1,3,5,7
/proc/20651/task/20709/stat : 20709 (java) S 20648 20651 17273 0 -1 1077944384 108080 12862 0 0 121 13 4 3 20 0 15 0 56535189 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999501461488 139999974779522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20710] ppid=20648 vsize=10852704 memory=6627648 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20710/stat : 20710 (java) S 20648 20651 17273 0 -1 1077944384 22 12862 0 0 0 0 4 3 20 0 15 0 56535190 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999425061920 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20711] ppid=20648 vsize=10852704 memory=6627648 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20711/stat : 20711 (java) S 20648 20651 17273 0 -1 1077944384 17 12862 0 0 0 0 4 3 20 0 15 0 56535190 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139998821082112 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20712] ppid=20648 vsize=10852704 memory=6629184 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20712/stat : 20712 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139998513682640 139999974786971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20713] ppid=20648 vsize=10852704 memory=6627648 CPUtime=10.6 cores=1,3,5,7
/proc/20651/task/20713/stat : 20713 (java) S 20648 20651 17273 0 -1 1077944384 97554 12862 0 0 1044 9 4 3 20 0 15 0 56535193 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999500409328 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20714] ppid=20648 vsize=10852704 memory=6627648 CPUtime=11.26 cores=1,3,5,7
/proc/20651/task/20714/stat : 20714 (java) S 20648 20651 17273 0 -1 1077944384 93920 12862 0 0 1107 12 4 3 20 0 15 0 56535193 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999499356784 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20715] ppid=20648 vsize=10852704 memory=8384 CPUtime=3.61 cores=1,3,5,7
/proc/20651/task/20715/stat : 20715 (java) S 20648 20651 17273 0 -1 1077944384 67675 12862 0 0 345 9 4 3 20 0 15 0 56535193 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999498304240 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20716] ppid=20648 vsize=10852704 memory=6627648 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20716/stat : 20716 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139998480125024 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20717] ppid=20648 vsize=10852704 memory=18052 CPUtime=1.33 cores=1,3,5,7
/proc/20651/task/20717/stat : 20717 (java) S 20648 20651 17273 0 -1 1077944384 4124 12862 0 0 54 72 4 3 20 0 15 0 56535193 11113168896 1656912 33554432000 4194304 4196468 140723540357376 139999497251120 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
Current children cumulated CPU time: 2426.07 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 6627648 KiB

[startup+2202.3 s]
/proc/loadavg: 2.09 1.95 1.89 3/215 20944
/proc/meminfo: memFree=16801120/32770624 swapFree=67108860/67108860
[pid=20651] ppid=20648 vsize=10852704 memory=6648752 CPUtime=2486.54 cores=1,3,5,7
/proc/20651/stat : 20651 (java) S 20648 20651 17273 0 -1 1077944320 991360 12862 0 0 247837 810 4 3 20 0 15 0 56535178 11113168896 1662188 33554432000 4194304 4196468 140723540357376 140723540339920 139999974768375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
/proc/20651/statm: 2713176 1662188 3545 1 0 2674829 0
[pid=20651/tid=20704] ppid=20648 vsize=10852704 memory=6648752 CPUtime=2113.92 cores=1,3,5,7
/proc/20651/task/20704/stat : 20704 (java) R 20648 20651 17273 0 -1 4202560 275093 12862 0 0 211309 76 4 3 20 0 15 0 56535187 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999946603648 139999599757153 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20705] ppid=20648 vsize=10852704 memory=18052 CPUtime=86.03 cores=1,3,5,7
/proc/20651/task/20705/stat : 20705 (java) S 20648 20651 17273 0 -1 1077944384 97824 12862 0 0 8435 161 4 3 20 0 15 0 56535188 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999979010832 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20706] ppid=20648 vsize=10852704 memory=6640532 CPUtime=86.3 cores=1,3,5,7
/proc/20651/task/20706/stat : 20706 (java) S 20648 20651 17273 0 -1 1077944384 82496 12862 0 0 8460 163 4 3 20 0 15 0 56535188 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999897762704 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20707] ppid=20648 vsize=10852704 memory=1200 CPUtime=86.16 cores=1,3,5,7
/proc/20651/task/20707/stat : 20707 (java) S 20648 20651 17273 0 -1 1077944384 77996 12862 0 0 8456 153 4 3 20 0 15 0 56535188 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999896710160 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20708] ppid=20648 vsize=10852704 memory=6627688 CPUtime=86.33 cores=1,3,5,7
/proc/20651/task/20708/stat : 20708 (java) S 20648 20651 17273 0 -1 1077944384 81044 12862 0 0 8472 154 4 3 20 0 15 0 56535188 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999545580688 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20709] ppid=20648 vsize=10852704 memory=6627672 CPUtime=1.42 cores=1,3,5,7
/proc/20651/task/20709/stat : 20709 (java) S 20648 20651 17273 0 -1 1077944384 108447 12862 0 0 122 13 4 3 20 0 15 0 56535189 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999501461488 139999974779522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20710] ppid=20648 vsize=10852704 memory=6634364 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20710/stat : 20710 (java) S 20648 20651 17273 0 -1 1077944384 22 12862 0 0 0 0 4 3 20 0 15 0 56535190 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999425061920 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20711] ppid=20648 vsize=10852704 memory=6640532 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20711/stat : 20711 (java) S 20648 20651 17273 0 -1 1077944384 17 12862 0 0 0 0 4 3 20 0 15 0 56535190 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139998821082112 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20712] ppid=20648 vsize=10852704 memory=6648752 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20712/stat : 20712 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139998513682640 139999974786971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20713] ppid=20648 vsize=10852704 memory=6640532 CPUtime=10.62 cores=1,3,5,7
/proc/20651/task/20713/stat : 20713 (java) S 20648 20651 17273 0 -1 1077944384 99595 12862 0 0 1046 9 4 3 20 0 15 0 56535193 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999500409328 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20714] ppid=20648 vsize=10852704 memory=6648752 CPUtime=11.27 cores=1,3,5,7
/proc/20651/task/20714/stat : 20714 (java) S 20648 20651 17273 0 -1 1077944384 94316 12862 0 0 1108 12 4 3 20 0 15 0 56535193 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999499356784 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20715] ppid=20648 vsize=10852704 memory=18052 CPUtime=3.61 cores=1,3,5,7
/proc/20651/task/20715/stat : 20715 (java) S 20648 20651 17273 0 -1 1077944384 68097 12862 0 0 345 9 4 3 20 0 15 0 56535193 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999498304240 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20716] ppid=20648 vsize=10852704 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20716/stat : 20716 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139998480125024 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20717] ppid=20648 vsize=10852704 memory=6648752 CPUtime=1.37 cores=1,3,5,7
/proc/20651/task/20717/stat : 20717 (java) S 20648 20651 17273 0 -1 1077944384 4220 12862 0 0 55 75 4 3 20 0 15 0 56535193 11113168896 1662188 33554432000 4194304 4196468 140723540357376 139999497251120 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
Current children cumulated CPU time: 2486.54 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 6648752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2235.6 s]
/proc/loadavg: 2.06 1.95 1.89 3/215 20944
/proc/meminfo: memFree=16798452/32770624 swapFree=67108860/67108860
[pid=20651] ppid=20648 vsize=10852704 memory=6693872 CPUtime=2520.08 cores=1,3,5,7
/proc/20651/stat : 20651 (java) S 20648 20651 17273 0 -1 1077944320 995929 12862 0 0 251185 816 4 3 20 0 15 0 56535178 11113168896 1673468 33554432000 4194304 4196468 140723540357376 140723540339920 139999974768375 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
/proc/20651/statm: 2713176 1673468 3545 1 0 2674829 0
[pid=20651/tid=20704] ppid=20648 vsize=10852704 memory=640 CPUtime=2147.15 cores=1,3,5,7
/proc/20651/task/20704/stat : 20704 (java) R 20648 20651 17273 0 -1 4202560 279248 12862 0 0 214631 77 4 3 20 0 15 0 56535187 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999946597760 139999599761407 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20705] ppid=20648 vsize=10852704 memory=1784 CPUtime=86.1 cores=1,3,5,7
/proc/20651/task/20705/stat : 20705 (java) S 20648 20651 17273 0 -1 1077944384 97850 12862 0 0 8441 162 4 3 20 0 15 0 56535188 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999979010832 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20706] ppid=20648 vsize=10852704 memory=6791534058613427641 CPUtime=86.37 cores=1,3,5,7
/proc/20651/task/20706/stat : 20706 (java) S 20648 20651 17273 0 -1 1077944384 82579 12862 0 0 8466 164 4 3 20 0 15 0 56535188 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999897762704 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20707] ppid=20648 vsize=10852704 memory=960 CPUtime=86.23 cores=1,3,5,7
/proc/20651/task/20707/stat : 20707 (java) S 20648 20651 17273 0 -1 1077944384 78084 12862 0 0 8462 154 4 3 20 0 15 0 56535188 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999896710160 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20708] ppid=20648 vsize=10852704 memory=2340 CPUtime=86.4 cores=1,3,5,7
/proc/20651/task/20708/stat : 20708 (java) S 20648 20651 17273 0 -1 1077944384 81129 12862 0 0 8478 155 4 3 20 0 15 0 56535188 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999545580688 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20709] ppid=20648 vsize=10852704 memory=928 CPUtime=1.42 cores=1,3,5,7
/proc/20651/task/20709/stat : 20709 (java) S 20648 20651 17273 0 -1 1077944384 108494 12862 0 0 122 13 4 3 20 0 15 0 56535189 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999501461488 139999974779522 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20710] ppid=20648 vsize=10852704 memory=1572 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20710/stat : 20710 (java) S 20648 20651 17273 0 -1 1077944384 22 12862 0 0 0 0 4 3 20 0 15 0 56535190 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999425061920 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20711] ppid=20648 vsize=10852704 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20711/stat : 20711 (java) S 20648 20651 17273 0 -1 1077944384 17 12862 0 0 0 0 4 3 20 0 15 0 56535190 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139998821082112 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20712] ppid=20648 vsize=10852704 memory=4124 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20712/stat : 20712 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139998513682640 139999974786971 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20713] ppid=20648 vsize=10852704 memory=2200 CPUtime=10.63 cores=1,3,5,7
/proc/20651/task/20713/stat : 20713 (java) S 20648 20651 17273 0 -1 1077944384 99664 12862 0 0 1047 9 4 3 20 0 15 0 56535193 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999500409328 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20714] ppid=20648 vsize=10852704 memory=8148 CPUtime=11.27 cores=1,3,5,7
/proc/20651/task/20714/stat : 20714 (java) S 20648 20651 17273 0 -1 1077944384 94316 12862 0 0 1108 12 4 3 20 0 15 0 56535193 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999499356784 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20715] ppid=20648 vsize=10852704 memory=848 CPUtime=3.62 cores=1,3,5,7
/proc/20651/task/20715/stat : 20715 (java) S 20648 20651 17273 0 -1 1077944384 68105 12862 0 0 346 9 4 3 20 0 15 0 56535193 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999498304240 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20716] ppid=20648 vsize=10852704 memory=1800 CPUtime=0.07 cores=1,3,5,7
/proc/20651/task/20716/stat : 20716 (java) S 20648 20651 17273 0 -1 1077944384 3 12862 0 0 0 0 4 3 20 0 15 0 56535193 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139998480125024 139999974778581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
[pid=20651/tid=20717] ppid=20648 vsize=10852704 memory=920 CPUtime=1.39 cores=1,3,5,7
/proc/20651/task/20717/stat : 20717 (java) S 20648 20651 17273 0 -1 1077944384 4228 12862 0 0 56 76 4 3 20 0 15 0 56535193 11113168896 1673468 33554432000 4194304 4196468 140723540357376 139999497251120 139999974779522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 29765632 140723540363436 140723540366684 140723540366684 140723540369359 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 6693872 KiB

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

[startup+2235.66 s]
# the end of solver process 20651 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2511.92 s, system=8.23446 s

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

Child status: 143
Real time (s): 2235.66
CPU time (s): 2520.16
CPU user time (s): 2511.92
CPU system time (s): 8.23446
CPU usage (%): 112.725
Max. virtual memory (cumulated for all children) (KiB): 10853368
Max. memory (cumulated for all children) (KiB): 7525292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.92
system time used= 8.23446
maximum resident set size= 7525292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1012127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70806
involuntary context switches= 5114


# summary of solver processes directly reported to runsolver:
#   pid: 20651
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2511.92
#   total CPU system time (s): 8.23446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8519 second user time and 21.1796 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-24 01:48:40
IDJOB=4293918
IDBENCH=141264
IDSOLVER=2751
FILE ID=node151/4293918-1532389719
RUNJOBID= node151-1532369950-17305
PBS_JOBID= 21021572
Free space on /tmp= 54708 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-02-0250_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293918-1532389719/watcher-4293918-1532389719 -o /tmp/evaluation-result-4293918-1532389719/solver-4293918-1532389719 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17305 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=383673813 -superng HOME/instance-4293918-1532389719.xml

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

MD5SUM BENCH= 9ab3e648243ddfeac66c66819bd63413
RANDOM SEED=383673813

node151.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.87
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.87
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.87
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.87
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:        23284456 kB
MemAvailable:   28103020 kB
Buffers:          148796 kB
Cached:          4909444 kB
SwapCached:            0 kB
Active:          5096408 kB
Inactive:        3826604 kB
Active(anon):    3815124 kB
Inactive(anon):    69372 kB
Active(file):    1281284 kB
Inactive(file):  3757232 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25884 kB
Writeback:         64896 kB
AnonPages:       3878704 kB
Mapped:            50672 kB
Shmem:             17032 kB
Slab:             255932 kB
SReclaimable:     191768 kB
SUnreclaim:        64164 kB
KernelStack:        3696 kB
PageTables:        12736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4834180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3741696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54832 MiB
End job on node151 at 2018-07-24 02:25:56