Trace number 4293910

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)376850568 2520.16 2359.98

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark372103316
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.73	c Concrete v3.8.1528841891564 running
108.91/64.21	o 376887378
109.32/64.57	o 376868978
109.58/64.62	o 376868968
109.58/64.69	o 376850568
2520.08/2359.91	Exception in thread "main" java.util.concurrent.TimeoutException
2520.08/2359.91		at concrete.MAC.mac(MAC.scala:188)
2520.08/2359.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2359.91		at scala.util.Try$.apply(Try.scala:209)
2520.08/2359.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2359.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2359.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2359.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2359.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2359.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2359.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2359.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2359.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2359.91		at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2359.91		at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2359.91		at concrete.MAC.nextSolution(MAC.scala:355)
2520.08/2359.91		at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2359.91		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2359.91		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2359.91		at concrete.Solver.foreach(Solver.scala:68)
2520.08/2359.91		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2359.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2359.91		at scala.util.Success.map(Try.scala:209)
2520.08/2359.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2359.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2359.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2359.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2359.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2359.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2359.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2359.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2359.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2359.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2359.91		at scala.App.main(App.scala:76)
2520.08/2359.91		at scala.App.main$(App.scala:74)
2520.08/2359.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2359.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2359.92	v <instantiation cost="376850568">
2520.08/2359.92	v       <list>
2520.08/2359.92	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] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] 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] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] 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] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] 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] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] 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] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838]
2520.08/2359.92	v       </list>
2520.08/2359.92	v       <values>
2520.08/2359.92	v         2468 2768 2292 2760 2500 2544 2664 2668 2424 2340 2720 2760 2276 2384 2532 2260 2632 2404 2592 2440 2468 2720 2460 2584 2752 2760 2692 2800 2592 2760 2796 2760 2760 2600 2428 2816 2680 2228 2652 2660 2800 2428 2720 2516 2584 2516 2492 2684 2268 2632 2644 2596 2628 2224 2252 2468 2428 2680 2544 2488 2268 2544 2420 2520 2456 2772 2720 2392 2452 2800 2668 2776 2372 2452 2720 2224 2260 2260 2516 2540 2516 2780 2632 2468 2476 2632 2220 2760 2760 2220 2720 2672 2780 2808 2744 2332 2776 2480 2492 2632 2220 2352 2680 2544 2552 2476 2248 2300 2720 2704 2380 2584 2444 2260 2464 2336 2220 2760 2800 2692 2528 2672 2544 2220 2640 2264 2276 2820 2260 2260 2452 2516 2460 2628 2468 2220 2436 2760 2640 2220 2720 2220 2584 2412 2780 2420 2680 2296 2416 2252 2800 2380 2492 2792 2308 2632 2816 2800 2696 2556 2260 2780 2468 2632 2720 2584 2260 2476 2500 2220 2740 2384 2736 2680 2632 2560 2380 2584 2416 2720 2240 2428 2680 2632 2664 2396 2792 2220 2236 2820 2372 2508 2620 2760 2720 2420 2220 2720 2424 2596 2672 2320 2732 2476 2820 2720 2672 2812 2780 2260 2280 2672 2292 2624 2756 2260 2632 2752 2220 2680 2424 2428 2672 2760 2288 2512 2592 2544 2556 2476 2260 2380 2784 2800 2680 2820 2452 2492 2412 2428 2280 2760 2380 2468 2260 2640 2420 2492 2800 2760 2420 2532 2760 2236 2420 2508 2592 2264 2468 2456 0 0 0 1 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 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 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 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 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 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 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 1 0 0 1 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 1 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 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 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 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 0 1 0 0 1 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 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 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 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 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 10 10 7 10 0 1 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 1 0 0 0 0 10 0 0 0 0 7 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 10 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 1 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 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 0 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 1 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 10 0 0 0 0 10 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 10 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 10 0 0 0 292 132 200 200 292 248 252 276 236 24 224 88 148 344 292 4 288 224 304 240 548 72 508 104 532 48 508 224 508 128 32 376 132 148 388 228 32 176 292 28 124 528 164 540 540 380 8 144 248 32 260 224 80 248 292 320 180 260 92 44 316 176 68 264 232 136 284 216 92 176 136 52 216 240 264 284 52 36 76 240 404 12 148 108 56 312 236 404 172 36 152 248 52 152 240 448 388 160 236 220 200 336 148 52 332 360 376 420 320 80 292 212 92 364 332 120 112 120 380 452 32 340 20 72 80 204 52 80 252 284 80 480 88 244 460 40 80 40 456 252 176 92 388 536 380 40 60 268 228 108 484 16 484 444 444 308 192 524 420 200 56 348 216 376 416 160 52 392 108 132 88 116 296 148 40 92 256 416 248 288 92 228 152 112 76 180 228 284 512 40 548 176 160 36 120 460 560 216 164 296 160 164 168 372 156 140 392 12 372 128 372 128 84 356 404 128 112 108 228 228 416 408 376 20 24 76 40 76 8 180 88 176 40 80 80 80 168 320 356 216 76 192 88 264 232 164 240 360 56 192 68 16 36 160 116 240 48 248 172 252 324 164 252 8 252 24 48 80 228 204 40 460 220 80 300 172 168 4 236 80 260 56 240 44 208 340 200 300 176 68 92 132 324 48 364 224 120 324 208 212 76 324 204 116 92 236 48 24 300 288 300 292 532 168 192 72 120 240 48 260 56 340 368 308 244 128 80 500 88 500 344 268 292 228 28 224 432 216 88 432 224 48 404 128 40 40 372 372 80 80 468 464 256 172 80 420 324 120 16 40 268 68 124 88 172 128 180 88 80 160 80 272 12 40 408 208 216 540 64 176 20 340 36 152 252 320 460 576 236 560 508 320 416 516 376 216 16 292 464 140 340 244 492 132 292 176 348 260 60 480 204 80 332 216 172 228 160 92 72 132 220 56 132 160 92 232 160 88 40 244 208 332 192 208 148 96 548 36 596 516 348 24 56 136 100 460 384 16 84 8 416 200 544 8 216 36 192 356 452 200 436 564 92 64 152 32 264 228 384 120 272 184 44 28 140 68 100 60 132 28 416 76 8 208 308 76 244 280 440 12 68 140 140 68 348 80 56 80 348 540 60 420 168 508 44 40 380 88 88 24 112 332 108 392 392 64 164 88 500 16 80 24 40 160 72 124 92 208 40 308 28 124 24 48 224 276 104 244 296 244 68 188 132 364 136 140 324 136 216 76 40 172 76 168 48 204 260 204 0 24 28 244 100 108 4 96 284 140 4 72 232 232 140 184 112 16 272 180 64 24 148 460 196 124 216 4 388 192 52 124 444 256 464 312 260 504 512 492 532 372 364 112 208 488 204 48 4 156 248 104 160 188 180 168 128 368 28 164 200 180 116 424 88 384 136 176 60 248 408 48 116 224 108 128 36 212 216 12 300 204 224 224 172 76 40 188 64 360 176 52 296 44 204 192 264 44 36 408 456 456 72 568 408 4 596 148 200 508 200 264 428 216 76 200 16 0 24 164 228 88 152 252 248 204 292 12 24 168 88 392 40 204 208 204 392 392 48 8 260 164 40 40 100 460 120 420 136 300 416 232 216 164 96 92 84 176 52 76 176 268 284 252 324 240 124 308 76 232 144 268 52 192 192 144 268 332 228 64 68 188 508 48 16 548 116 292 512 144 492 200 124 64 68 96 324 236 324 36 176 128 136 48 160 132 120 220 380 72 260 100 400 360 204 8 380 32 64 24 244 300 108 300 36 300 136 160 96 104 68 100 28 256 232 304 320 236 196 4 160 40 204 236 84 276 224 364 304 436 12 228 8 352 28 512 80 48 88 16 80 252 80 212 500 296 176 300 100 92 408 128 192 408 76 272 172 280 132 12 132 180 268 228 40 36 144 192 24 68 180 160 24 40 308 188 260 24 308 272 216 580 80 176 208 296 152 12 200 372 408 4 296 448 408 76 56 144 516 516 392 556 96 264 348 308 80 212 108 48 132 136 388 268 428 228 64 28 152 308 232 72 28 228 220 308 308 88 500 40 24 500 12 100 296 340 64 268 228 80 536 596 472 408 36 36 196 308 536 292 216 4 156 420 360 336 60 492 120 232 284 0 540 380 256 480 460 40 168 284 0 524 244 216 244 28 112 68 100 144 156 236 88 8 204 236 132 72 124 48 240 40 80 28 304 228 24 104 96 256 164 240 88 76 108 500 0 176 368 356 412 196 336 380 412 188 208 208 248 292 212 16 48 0 164 188 204 188 40 144 164 284 244 256 36 16 412 176 356 88 48 336 412 188 88 88 208 208 212 56 0 460 76 0 152 288 452 204 336 200 88 20 128 128 540 4 176 244 176 500 176 284 20 344 520 524 500 4 332 268 524 540 296 408 572 280 60 232 312 16 80 88 40 340 48 228 144 204 452 256 128 276 0 260 436 480 20 60 528 60 312 372 512 332 424 128 176 12 436 384 252 32 484 16 72 104 72 76 36 452 364 112 4 196 112 468 404 64 340 72 160 96 440 556 556 364 144 556 36 56 232 356 36 144 48 76 220 300 100 84 116 192 192 220 60 192 52 328 136 80 76 272 180 320 188 204 24 48 160 412 0 32 312 100 28 408 160 248 164 160 196 572 540 248 580 236 92 320 28 28 76 320 428 240 180 8 164 204 140 56 104 188 300 260 212 176 136 256 120 176 116 88 168 124 240 208 96 256 264 96 144 204 56 8 456 28 268 164 228 244 500 168 420 80 20 80 500 80 500 244 100 308 80 300 188 236 148 56 384 24 444 56 300 252 120 132 72 112 152 380 108 88 40 112 40 96 108 92 176 20 112 184 48 152 228 184 32 180 192 40 324 472 216 500 272 128 64 244 92 204 316 68 228 132 208 204 296 200 464 220 60 100 260 76 304 100 452 420 248 596 364 540 72 292 160 248 88 496 268 40 88 80 168 20 80 580 120 268 564 200 216 128 240 200 68 116 268 292 144 292 268 308 232 292 396 452 28 84 176 236 284 68 324 176 52 208 40 364 88 476 336 160 600 72 40 580 600 208 44 140 96 56 212 40 320 32 352 188 148 204 44 476 120 44 496 192 404 356 140 36 56 96 396 484 12 600 28 100 540 276 392 584 372 480 476 500 252 0 420 232 68 28 72 204 88 256 268 88 320 100 332 52 44 216 68 368 92 4 156 248 252 196 176 332 280 0 376 452 592 292 372 564 372 284 236 40 12 76 364 324 176 540 376 52 480 420 80 216 16 32 144 48 500 476 452 372 236 340 484 128 340 40 336 40 16 400 376 452 452 40 420 44 208 196 364 324 200 216 176 308 192 64 368 124 32 56 44 0 20 288 180 212 300 220 252 308 40 256 300 212 496 336 524 128 280 304 124 196 176 4 116 8 128 164 420 260 160 580 80 20 508 372 540 308 340 120 96 120 72 88 108 188 228 228 16 180 132 40 268 0 556 160 300 88 88 184 48 72 88 312 128 212 136 256 436 596 388 176 180 44 40 120 420 332 44 136 24 84 476 296 320 40 116 116 296 64 84 292 520 372 404 136 500 412 412 540 4 520 280 196 384 544 108 520 140 332 48 232 412 104 48 160 100 156 188 120 352 164 176 244 72 500 244 188 108 152 96 176 304 172 168 152 204 156 156 148 48 116 164 80 208 76 20 316 288 376 356 356 84 204 60 252 188 80 260 88 312 120 208 128 76 160 136 380 340 432 292 404 420 296 204 348 4 36 208 440 304 56 80 292 384 0 8 80 60 136 252 212 188 412 344 88 212 372 284 136 160 200 276 136 56 244 24 136 132 372 112 540 500 204 208 336 484 360 448 64 396 60 264 60 440 52 300 184 288 220 32 248 312 300 52 136 132 28 360 40 336 472 500 308 268 100 392 336 380 532 0 312 176 268 292 460 40 40 164 0 76 336 4 332 380 80 164 156 60 108 480 336 540 264 460 300 412 32 88 408 180 336 132 20 284 400 100 212 412 80 32 252 528 12 336 148 176 172 176 4 4 252 380 48 180 368 332 600 200 228 132 164 116 372 64 16 332 116 128 436 332 304 304 512 132 208 140 0 284 52 136 164 284 56 560 420 380 40 116 76 188 352 112 100 20 228 152 232 204 332 120 72 48 524 168
2520.08/2359.92	v       </values>
2520.08/2359.92	v     </instantiation>
2520.08/2359.92	s SATISFIABLE

Verifier Data 

OK	376850568

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

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

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

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

solver pid=20315, runsolver pid=20312

[startup+0.100059 s]*
/proc/loadavg: 1.96 1.92 1.87 5/206 20372
/proc/meminfo: memFree=27171828/32770624 swapFree=67108860/67108860
[pid=20315] ppid=20312 vsize=9972712 memory=18856 CPUtime=0.1 cores=0,2,4,6
/proc/20315/stat : 20315 (java) S 20312 20315 17273 0 -1 1077944320 4391 12880 0 0 1 1 5 3 20 0 6 0 56295306 10212057088 4714 33554432000 4194304 4196468 140727906816880 140727906799424 140402764627703 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
/proc/20315/statm: 2493178 4714 1934 1 0 2481616 0
[pid=20315/tid=20368] ppid=20312 vsize=9972712 memory=4279135704013833615 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20368/stat : 20368 (java) R 20312 20315 17273 0 -1 4202560 2212 12880 0 0 0 0 5 3 20 0 6 0 56295315 10212057088 4779 33554432000 4194304 4196468 140727906816880 140402736464464 140402749750640 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20369] ppid=20312 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20369/stat : 20369 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 6 0 56295316 10212057088 4779 33554432000 4194304 4196468 140727906816880 140402768870160 140402764637909 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20370] ppid=20312 vsize=9972712 memory=139809309550208 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20370/stat : 20370 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 6 0 56295316 10212057088 4779 33554432000 4194304 4196468 140727906816880 140402683689872 140402764637909 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20371] ppid=20312 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20371/stat : 20371 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 6 0 56295316 10212057088 4779 33554432000 4194304 4196468 140727906816880 140402336914448 140402764637909 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20372] ppid=20312 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20372/stat : 20372 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 6 0 56295316 10212057088 4779 33554432000 4194304 4196468 140727906816880 140402335861904 140402764637909 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210062 s]*
/proc/loadavg: 1.96 1.92 1.87 7/215 20381
/proc/meminfo: memFree=27063600/32770624 swapFree=67108860/67108860
[pid=20315] ppid=20312 vsize=10818904 memory=45564 CPUtime=0.26 cores=0,2,4,6
/proc/20315/stat : 20315 (java) S 20312 20315 17273 0 -1 1077944320 9247 12880 0 0 16 2 5 3 20 0 15 0 56295306 11078557696 11391 33554432000 4194304 4196468 140727906816880 140727906799424 140402764627703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
/proc/20315/statm: 2704726 11391 2962 1 0 2667149 0
[pid=20315/tid=20368] ppid=20312 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/20315/task/20368/stat : 20368 (java) R 20312 20315 17273 0 -1 4202560 5887 12880 0 0 10 1 5 3 20 0 15 0 56295315 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402736452512 140402748708190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20369] ppid=20312 vsize=10818904 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20369/stat : 20369 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295316 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402768870160 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20370] ppid=20312 vsize=10818904 memory=288370185461261952 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20370/stat : 20370 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 56295316 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402683689872 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20371] ppid=20312 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20371/stat : 20371 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295316 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402336914448 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20372] ppid=20312 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20372/stat : 20372 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 56295316 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402335861904 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20373] ppid=20312 vsize=10818904 memory=139809309550208 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20373/stat : 20373 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 56295317 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402291283952 140402764638850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20374] ppid=20312 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20374/stat : 20374 (java) S 20312 20315 17273 0 -1 1077944384 13 12880 0 0 0 0 5 3 20 0 15 0 56295318 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402212463520 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20375] ppid=20312 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20375/stat : 20375 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295318 11078557696 11391 33554432000 4194304 4196468 140727906816880 140401608483824 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20376] ppid=20312 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20376/stat : 20376 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11078557696 11391 33554432000 4194304 4196468 140727906816880 140401301084368 140402764646299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20377] ppid=20312 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20315/task/20377/stat : 20377 (java) S 20312 20315 17273 0 -1 1077944384 537 12880 0 0 1 0 5 3 20 0 15 0 56295321 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402290231792 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20378] ppid=20312 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20378/stat : 20378 (java) S 20312 20315 17273 0 -1 1077944384 55 12880 0 0 0 0 5 3 20 0 15 0 56295321 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402289179248 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20379] ppid=20312 vsize=10818904 memory=139809309550208 CPUtime=0.11 cores=0,2,4,6
/proc/20315/task/20379/stat : 20379 (java) R 20312 20315 17273 0 -1 4202560 548 12880 0 0 3 0 5 3 20 0 15 0 56295321 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402288126704 140402764649050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20380] ppid=20312 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20380/stat : 20380 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11078557696 11391 33554432000 4194304 4196468 140727906816880 140401267526752 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20381] ppid=20312 vsize=10818904 memory=139809309550208 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20381/stat : 20381 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295321 11078557696 11391 33554432000 4194304 4196468 140727906816880 140402287073584 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45564 KiB

[startup+0.310567 s]*
/proc/loadavg: 1.96 1.92 1.87 5/215 20381
/proc/meminfo: memFree=26949852/32770624 swapFree=67108860/67108860
[pid=20315] ppid=20312 vsize=10819352 memory=53440 CPUtime=0.4 cores=0,2,4,6
/proc/20315/stat : 20315 (java) S 20312 20315 17273 0 -1 1077944320 10452 12880 0 0 29 3 5 3 20 0 15 0 56295306 11079016448 13360 33554432000 4194304 4196468 140727906816880 140727906799424 140402764627703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
/proc/20315/statm: 2704838 13360 3081 1 0 2667149 0
[pid=20315/tid=20368] ppid=20312 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/20315/task/20368/stat : 20368 (java) R 20312 20315 17273 0 -1 4202560 7078 12880 0 0 19 2 5 3 20 0 15 0 56295315 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402736439712 140402748708190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20369] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20369/stat : 20369 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295316 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402768870160 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20370] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20370/stat : 20370 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 56295316 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402683689872 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20371] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20371/stat : 20371 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295316 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402336914448 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20372] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20372/stat : 20372 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 56295316 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402335861904 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20373] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20373/stat : 20373 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 56295317 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402291283952 140402764638850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20374] ppid=20312 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20374/stat : 20374 (java) S 20312 20315 17273 0 -1 1077944384 13 12880 0 0 0 0 5 3 20 0 15 0 56295318 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402212463520 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20375] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20375/stat : 20375 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295318 11079016448 13360 33554432000 4194304 4196468 140727906816880 140401608483824 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20376] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20376/stat : 20376 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11079016448 13360 33554432000 4194304 4196468 140727906816880 140401301084368 140402764646299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20377] ppid=20312 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20315/task/20377/stat : 20377 (java) S 20312 20315 17273 0 -1 1077944384 537 12880 0 0 1 0 5 3 20 0 15 0 56295321 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402290231792 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20378] ppid=20312 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/20315/task/20378/stat : 20378 (java) S 20312 20315 17273 0 -1 1077944384 56 12880 0 0 1 0 5 3 20 0 15 0 56295321 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402289179248 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20379] ppid=20312 vsize=10819352 memory=139809309550208 CPUtime=0.13 cores=0,2,4,6
/proc/20315/task/20379/stat : 20379 (java) S 20312 20315 17273 0 -1 1077944384 560 12880 0 0 5 0 5 3 20 0 15 0 56295321 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402288126704 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20380] ppid=20312 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20380/stat : 20380 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11079016448 13360 33554432000 4194304 4196468 140727906816880 140401267526752 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20381] ppid=20312 vsize=10819352 memory=139809309550208 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20381/stat : 20381 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295321 11079016448 13360 33554432000 4194304 4196468 140727906816880 140402287073584 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53440 KiB

[startup+0.700714 s]
/proc/loadavg: 1.96 1.92 1.87 7/215 20381
/proc/meminfo: memFree=26916644/32770624 swapFree=67108860/67108860
[pid=20315] ppid=20312 vsize=10819352 memory=86492 CPUtime=0.99 cores=0,2,4,6
/proc/20315/stat : 20315 (java) S 20312 20315 17273 0 -1 1077944320 16740 12880 0 0 87 4 5 3 20 0 15 0 56295306 11079016448 21623 33554432000 4194304 4196468 140727906816880 140727906799424 140402764627703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
/proc/20315/statm: 2704838 21623 3237 1 0 2667149 0
[pid=20315/tid=20368] ppid=20312 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/20315/task/20368/stat : 20368 (java) R 20312 20315 17273 0 -1 4202560 12299 12880 0 0 56 3 5 3 20 0 15 0 56295315 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402736448528 140402746191232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20369] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20369/stat : 20369 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295316 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402768870160 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20370] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20370/stat : 20370 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 56295316 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402683689872 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20371] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20371/stat : 20371 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295316 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402336914448 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20372] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20372/stat : 20372 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 56295316 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402335861904 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20373] ppid=20312 vsize=10819352 memory=6935649255861544529 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20373/stat : 20373 (java) S 20312 20315 17273 0 -1 1077944384 6 12880 0 0 0 0 5 3 20 0 15 0 56295317 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402291283952 140402764638850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20374] ppid=20312 vsize=10819352 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20374/stat : 20374 (java) S 20312 20315 17273 0 -1 1077944384 13 12880 0 0 0 0 5 3 20 0 15 0 56295318 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402212463520 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20375] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20375/stat : 20375 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295318 11079016448 21623 33554432000 4194304 4196468 140727906816880 140401608483824 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20376] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20376/stat : 20376 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11079016448 21623 33554432000 4194304 4196468 140727906816880 140401301084368 140402764646299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20377] ppid=20312 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/20315/task/20377/stat : 20377 (java) S 20312 20315 17273 0 -1 1077944384 942 12880 0 0 7 0 5 3 20 0 15 0 56295321 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402290231792 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20378] ppid=20312 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/20315/task/20378/stat : 20378 (java) S 20312 20315 17273 0 -1 1077944384 628 12880 0 0 9 0 5 3 20 0 15 0 56295321 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402289179248 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20379] ppid=20312 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/20315/task/20379/stat : 20379 (java) S 20312 20315 17273 0 -1 1077944384 646 12880 0 0 13 0 5 3 20 0 15 0 56295321 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402288126704 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20380] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20380/stat : 20380 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11079016448 21623 33554432000 4194304 4196468 140727906816880 140401267526752 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20381] ppid=20312 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20381/stat : 20381 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295321 11079016448 21623 33554432000 4194304 4196468 140727906816880 140402287073584 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86492 KiB

[startup+1.50303 s]
/proc/loadavg: 1.96 1.92 1.87 3/215 20381
/proc/meminfo: memFree=26710752/32770624 swapFree=67108860/67108860
[pid=20315] ppid=20312 vsize=10828108 memory=315752 CPUtime=2.95 cores=0,2,4,6
/proc/20315/stat : 20315 (java) S 20312 20315 17273 0 -1 1077944320 22740 12880 0 0 263 24 5 3 20 0 15 0 56295306 11087982592 78938 33554432000 4194304 4196468 140727906816880 140727906799424 140402764627703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
/proc/20315/statm: 2707027 78938 3471 1 0 2668685 0
[pid=20315/tid=20368] ppid=20312 vsize=10828108 memory=4951091520830867572 CPUtime=1.41 cores=0,2,4,6
/proc/20315/task/20368/stat : 20368 (java) R 20312 20315 17273 0 -1 4202560 14948 12880 0 0 125 8 5 3 20 0 15 0 56295315 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402736460224 140402764639638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20369] ppid=20312 vsize=10828108 memory=4134606225630022328 CPUtime=0.13 cores=0,2,4,6
/proc/20315/task/20369/stat : 20369 (java) S 20312 20315 17273 0 -1 1077944384 355 12880 0 0 2 3 5 3 20 0 15 0 56295316 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402768870160 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20370] ppid=20312 vsize=10828108 memory=-5153075247754915967 CPUtime=0.13 cores=0,2,4,6
/proc/20315/task/20370/stat : 20370 (java) S 20312 20315 17273 0 -1 1077944384 114 12880 0 0 2 3 5 3 20 0 15 0 56295316 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402683689872 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20371] ppid=20312 vsize=10828108 memory=7021009051429009563 CPUtime=0.13 cores=0,2,4,6
/proc/20315/task/20371/stat : 20371 (java) S 20312 20315 17273 0 -1 1077944384 61 12880 0 0 2 3 5 3 20 0 15 0 56295316 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402336914448 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20372] ppid=20312 vsize=10828108 memory=142592 CPUtime=0.13 cores=0,2,4,6
/proc/20315/task/20372/stat : 20372 (java) S 20312 20315 17273 0 -1 1077944384 106 12880 0 0 2 3 5 3 20 0 15 0 56295316 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402335861904 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20373] ppid=20312 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20373/stat : 20373 (java) S 20312 20315 17273 0 -1 1077944384 93 12880 0 0 0 0 5 3 20 0 15 0 56295317 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402291283952 140402764638850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20374] ppid=20312 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20374/stat : 20374 (java) S 20312 20315 17273 0 -1 1077944384 15 12880 0 0 0 0 5 3 20 0 15 0 56295318 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402212463584 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20375] ppid=20312 vsize=10828108 memory=279618342945056 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20375/stat : 20375 (java) S 20312 20315 17273 0 -1 1077944384 2 12880 0 0 0 0 5 3 20 0 15 0 56295318 11087982592 78938 33554432000 4194304 4196468 140727906816880 140401608483840 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20376] ppid=20312 vsize=10828108 memory=279618343360000 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20376/stat : 20376 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11087982592 78938 33554432000 4194304 4196468 140727906816880 140401301084368 140402764646299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20377] ppid=20312 vsize=10828108 memory=139809171482240 CPUtime=0.52 cores=0,2,4,6
/proc/20315/task/20377/stat : 20377 (java) R 20312 20315 17273 0 -1 4202560 2577 12880 0 0 44 0 5 3 20 0 15 0 56295321 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402290219904 140402746157915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20378] ppid=20312 vsize=10828108 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/20315/task/20378/stat : 20378 (java) R 20312 20315 17273 0 -1 1077944384 1026 12880 0 0 45 0 5 3 20 0 15 0 56295321 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402289166096 140402764637909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20379] ppid=20312 vsize=10828108 memory=1200 CPUtime=0.45 cores=0,2,4,6
/proc/20315/task/20379/stat : 20379 (java) R 20312 20315 17273 0 -1 4202560 1245 12880 0 0 37 0 5 3 20 0 15 0 56295321 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402288126704 140402757724539 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20380] ppid=20312 vsize=10828108 memory=15872 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20380/stat : 20380 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11087982592 78938 33554432000 4194304 4196468 140727906816880 140401267526752 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20381] ppid=20312 vsize=10828108 memory=11472 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20381/stat : 20381 (java) S 20312 20315 17273 0 -1 1077944384 1 12880 0 0 0 0 5 3 20 0 15 0 56295321 11087982592 78938 33554432000 4194304 4196468 140727906816880 140402287073584 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10828108 KiB

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

/proc/20315/task/20368/stat : 20368 (java) R 20312 20315 17273 0 -1 4202560 1715164 12880 0 0 221363 155 5 3 20 0 15 0 56295315 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402736462352 140402363803104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20369] ppid=20312 vsize=10852704 memory=5449620 CPUtime=44.53 cores=0,2,4,6
/proc/20315/task/20369/stat : 20369 (java) S 20312 20315 17273 0 -1 1077944384 251294 12880 0 0 4341 104 5 3 20 0 15 0 56295316 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402768870160 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20370] ppid=20312 vsize=10852704 memory=5515012 CPUtime=44.61 cores=0,2,4,6
/proc/20315/task/20370/stat : 20370 (java) S 20312 20315 17273 0 -1 1077944384 223412 12880 0 0 4349 104 5 3 20 0 15 0 56295316 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402683689872 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20371] ppid=20312 vsize=10852704 memory=5449620 CPUtime=44.62 cores=0,2,4,6
/proc/20315/task/20371/stat : 20371 (java) S 20312 20315 17273 0 -1 1077944384 220099 12880 0 0 4347 107 5 3 20 0 15 0 56295316 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402336914448 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20372] ppid=20312 vsize=10852704 memory=5449620 CPUtime=44.51 cores=0,2,4,6
/proc/20315/task/20372/stat : 20372 (java) S 20312 20315 17273 0 -1 1077944384 234380 12880 0 0 4338 105 5 3 20 0 15 0 56295316 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402335861904 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20373] ppid=20312 vsize=10852704 memory=5449620 CPUtime=1.93 cores=0,2,4,6
/proc/20315/task/20373/stat : 20373 (java) S 20312 20315 17273 0 -1 1077944384 72944 12880 0 0 174 11 5 3 20 0 15 0 56295317 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402291283952 140402764638850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20374] ppid=20312 vsize=10852704 memory=5449620 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20374/stat : 20374 (java) S 20312 20315 17273 0 -1 1077944384 39 12880 0 0 0 0 5 3 20 0 15 0 56295318 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402212463648 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20375] ppid=20312 vsize=10852704 memory=5449620 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20375/stat : 20375 (java) S 20312 20315 17273 0 -1 1077944384 47 12880 0 0 0 0 5 3 20 0 15 0 56295318 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140401608483840 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20376] ppid=20312 vsize=10852704 memory=5449620 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20376/stat : 20376 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140401301084368 140402764646299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20377] ppid=20312 vsize=10852704 memory=1200 CPUtime=10.76 cores=0,2,4,6
/proc/20315/task/20377/stat : 20377 (java) S 20312 20315 17273 0 -1 1077944384 90411 12880 0 0 1059 9 5 3 20 0 15 0 56295321 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402290231792 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20378] ppid=20312 vsize=10852704 memory=5449620 CPUtime=10.84 cores=0,2,4,6
/proc/20315/task/20378/stat : 20378 (java) S 20312 20315 17273 0 -1 1077944384 97007 12880 0 0 1065 11 5 3 20 0 15 0 56295321 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402289179248 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20379] ppid=20312 vsize=10852704 memory=5449620 CPUtime=3.58 cores=0,2,4,6
/proc/20315/task/20379/stat : 20379 (java) S 20312 20315 17273 0 -1 1077944384 76786 12880 0 0 338 12 5 3 20 0 15 0 56295321 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402288126704 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20380] ppid=20312 vsize=10852704 memory=11492 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20380/stat : 20380 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140401267526752 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20381] ppid=20312 vsize=10852704 memory=5449620 CPUtime=1.37 cores=0,2,4,6
/proc/20315/task/20381/stat : 20381 (java) S 20312 20315 17273 0 -1 1077944384 3487 12880 0 0 67 62 5 3 20 0 15 0 56295321 11113168896 1362405 33554432000 4194304 4196468 140727906816880 140402287073584 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
Current children cumulated CPU time: 2421.4 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5449620 KiB

[startup+2322.3 s]
/proc/loadavg: 1.73 1.75 1.75 3/215 20454
/proc/meminfo: memFree=17300448/32770624 swapFree=67108860/67108860
[pid=20315] ppid=20312 vsize=10852704 memory=5448084 CPUtime=2482.09 cores=0,2,4,6
/proc/20315/stat : 20315 (java) S 20312 20315 17273 0 -1 1077944320 3047528 12880 0 0 247528 673 5 3 20 0 15 0 56295306 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140727906799424 140402764627703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
/proc/20315/statm: 2713176 1362021 3539 1 0 2674829 0
[pid=20315/tid=20368] ppid=20312 vsize=10852704 memory=5448084 CPUtime=2275.03 cores=0,2,4,6
/proc/20315/task/20368/stat : 20368 (java) R 20312 20315 17273 0 -1 4202560 1763407 12880 0 0 227337 158 5 3 20 0 15 0 56295315 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402736462800 140402385508164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20369] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.75 cores=0,2,4,6
/proc/20315/task/20369/stat : 20369 (java) S 20312 20315 17273 0 -1 1077944384 252858 12880 0 0 4363 104 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402768870160 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20370] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.82 cores=0,2,4,6
/proc/20315/task/20370/stat : 20370 (java) S 20312 20315 17273 0 -1 1077944384 223683 12880 0 0 4370 104 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402683689872 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20371] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.83 cores=0,2,4,6
/proc/20315/task/20371/stat : 20371 (java) S 20312 20315 17273 0 -1 1077944384 225045 12880 0 0 4368 107 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402336914448 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20372] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.72 cores=0,2,4,6
/proc/20315/task/20372/stat : 20372 (java) S 20312 20315 17273 0 -1 1077944384 235093 12880 0 0 4359 105 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402335861904 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20373] ppid=20312 vsize=10852704 memory=5448084 CPUtime=1.94 cores=0,2,4,6
/proc/20315/task/20373/stat : 20373 (java) S 20312 20315 17273 0 -1 1077944384 73265 12880 0 0 175 11 5 3 20 0 15 0 56295317 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402291283952 140402764638850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20374] ppid=20312 vsize=10852704 memory=5448084 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20374/stat : 20374 (java) S 20312 20315 17273 0 -1 1077944384 39 12880 0 0 0 0 5 3 20 0 15 0 56295318 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402212463648 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20375] ppid=20312 vsize=10852704 memory=5448084 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20375/stat : 20375 (java) S 20312 20315 17273 0 -1 1077944384 47 12880 0 0 0 0 5 3 20 0 15 0 56295318 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140401608483840 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20376] ppid=20312 vsize=10852704 memory=5448084 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20376/stat : 20376 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140401301084368 140402764646299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20377] ppid=20312 vsize=10852704 memory=5449620 CPUtime=10.76 cores=0,2,4,6
/proc/20315/task/20377/stat : 20377 (java) S 20312 20315 17273 0 -1 1077944384 90427 12880 0 0 1059 9 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402290231792 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20378] ppid=20312 vsize=10852704 memory=5448084 CPUtime=10.86 cores=0,2,4,6
/proc/20315/task/20378/stat : 20378 (java) S 20312 20315 17273 0 -1 1077944384 99955 12880 0 0 1067 11 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402289179248 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20379] ppid=20312 vsize=10852704 memory=5448084 CPUtime=3.59 cores=0,2,4,6
/proc/20315/task/20379/stat : 20379 (java) S 20312 20315 17273 0 -1 1077944384 77993 12880 0 0 339 12 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402288126704 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20380] ppid=20312 vsize=10852704 memory=5448084 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20380/stat : 20380 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140401267526752 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20381] ppid=20312 vsize=10852704 memory=5448084 CPUtime=1.41 cores=0,2,4,6
/proc/20315/task/20381/stat : 20381 (java) S 20312 20315 17273 0 -1 1077944384 3518 12880 0 0 69 64 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402287073584 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
Current children cumulated CPU time: 2482.09 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5448084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2359.9 s]
/proc/loadavg: 1.80 1.76 1.75 3/215 20455
/proc/meminfo: memFree=17304968/32770624 swapFree=67108860/67108860
[pid=20315] ppid=20312 vsize=10852704 memory=5448084 CPUtime=2520.08 cores=0,2,4,6
/proc/20315/stat : 20315 (java) S 20312 20315 17273 0 -1 1077944320 3106322 12880 0 0 251322 678 5 3 20 0 15 0 56295306 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140727906799424 140402764627703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
/proc/20315/statm: 2713176 1362021 3539 1 0 2674829 0
[pid=20315/tid=20368] ppid=20312 vsize=10852704 memory=1236 CPUtime=2312.51 cores=0,2,4,6
/proc/20315/task/20368/stat : 20368 (java) R 20312 20315 17273 0 -1 4202560 1808118 12880 0 0 231082 161 5 3 20 0 15 0 56295315 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402736462728 140402367186870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20369] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.86 cores=0,2,4,6
/proc/20315/task/20369/stat : 20369 (java) S 20312 20315 17273 0 -1 1077944384 255517 12880 0 0 4374 104 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402768870160 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20370] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.93 cores=0,2,4,6
/proc/20315/task/20370/stat : 20370 (java) S 20312 20315 17273 0 -1 1077944384 225859 12880 0 0 4381 104 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402683689872 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20371] ppid=20312 vsize=10852704 memory=4485 CPUtime=44.94 cores=0,2,4,6
/proc/20315/task/20371/stat : 20371 (java) S 20312 20315 17273 0 -1 1077944384 228124 12880 0 0 4379 107 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402336914448 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20372] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.83 cores=0,2,4,6
/proc/20315/task/20372/stat : 20372 (java) S 20312 20315 17273 0 -1 1077944384 237202 12880 0 0 4370 105 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402335861904 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20373] ppid=20312 vsize=10852704 memory=5448084 CPUtime=1.96 cores=0,2,4,6
/proc/20315/task/20373/stat : 20373 (java) S 20312 20315 17273 0 -1 1077944384 73531 12880 0 0 176 12 5 3 20 0 15 0 56295317 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402291283952 140402764638850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20374] ppid=20312 vsize=10852704 memory=87535728480156 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20374/stat : 20374 (java) S 20312 20315 17273 0 -1 1077944384 39 12880 0 0 0 0 5 3 20 0 15 0 56295318 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402212463648 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20375] ppid=20312 vsize=10852704 memory=5448084 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20375/stat : 20375 (java) S 20312 20315 17273 0 -1 1077944384 47 12880 0 0 0 0 5 3 20 0 15 0 56295318 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140401608483840 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20376] ppid=20312 vsize=10852704 memory=135 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20376/stat : 20376 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140401301084368 140402764646299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20377] ppid=20312 vsize=10852704 memory=5448084 CPUtime=10.78 cores=0,2,4,6
/proc/20315/task/20377/stat : 20377 (java) S 20312 20315 17273 0 -1 1077944384 93318 12880 0 0 1061 9 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402290231792 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20378] ppid=20312 vsize=10852704 memory=5448084 CPUtime=10.86 cores=0,2,4,6
/proc/20315/task/20378/stat : 20378 (java) S 20312 20315 17273 0 -1 1077944384 99958 12880 0 0 1067 11 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402289179248 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20379] ppid=20312 vsize=10852704 memory=3848 CPUtime=3.59 cores=0,2,4,6
/proc/20315/task/20379/stat : 20379 (java) S 20312 20315 17273 0 -1 1077944384 78864 12880 0 0 339 12 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402288126704 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20380] ppid=20312 vsize=10852704 memory=5448084 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20380/stat : 20380 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140401267526752 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20381] ppid=20312 vsize=10852704 memory=4028 CPUtime=1.43 cores=0,2,4,6
/proc/20315/task/20381/stat : 20381 (java) S 20312 20315 17273 0 -1 1077944384 3547 12880 0 0 70 65 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402287073584 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5448084 KiB

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

[startup+2359.98 s]
# the end of solver process 20315 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.29 s, system=6.87334 s

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

[startup+2359.9 s]
/proc/loadavg: 1.80 1.76 1.75 3/215 20455
/proc/meminfo: memFree=17304968/32770624 swapFree=67108860/67108860
[pid=20315] ppid=20312 vsize=10852704 memory=5448084 CPUtime=2520.08 cores=0,2,4,6
/proc/20315/stat : 20315 (java) S 20312 20315 17273 0 -1 1077944320 3106322 12880 0 0 251322 678 5 3 20 0 15 0 56295306 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140727906799424 140402764627703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
/proc/20315/statm: 2713176 1362021 3539 1 0 2674829 0
[pid=20315/tid=20368] ppid=20312 vsize=10852704 memory=1236 CPUtime=2312.51 cores=0,2,4,6
/proc/20315/task/20368/stat : 20368 (java) R 20312 20315 17273 0 -1 4202560 1808118 12880 0 0 231082 161 5 3 20 0 15 0 56295315 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402736462728 140402367186870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20369] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.86 cores=0,2,4,6
/proc/20315/task/20369/stat : 20369 (java) S 20312 20315 17273 0 -1 1077944384 255517 12880 0 0 4374 104 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402768870160 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20370] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.93 cores=0,2,4,6
/proc/20315/task/20370/stat : 20370 (java) S 20312 20315 17273 0 -1 1077944384 225859 12880 0 0 4381 104 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402683689872 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20371] ppid=20312 vsize=10852704 memory=4485 CPUtime=44.94 cores=0,2,4,6
/proc/20315/task/20371/stat : 20371 (java) S 20312 20315 17273 0 -1 1077944384 228124 12880 0 0 4379 107 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402336914448 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20372] ppid=20312 vsize=10852704 memory=5448084 CPUtime=44.83 cores=0,2,4,6
/proc/20315/task/20372/stat : 20372 (java) S 20312 20315 17273 0 -1 1077944384 237202 12880 0 0 4370 105 5 3 20 0 15 0 56295316 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402335861904 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20373] ppid=20312 vsize=10852704 memory=5448084 CPUtime=1.96 cores=0,2,4,6
/proc/20315/task/20373/stat : 20373 (java) S 20312 20315 17273 0 -1 1077944384 73531 12880 0 0 176 12 5 3 20 0 15 0 56295317 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402291283952 140402764638850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20374] ppid=20312 vsize=10852704 memory=87535728480156 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20374/stat : 20374 (java) S 20312 20315 17273 0 -1 1077944384 39 12880 0 0 0 0 5 3 20 0 15 0 56295318 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402212463648 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20375] ppid=20312 vsize=10852704 memory=5448084 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20375/stat : 20375 (java) S 20312 20315 17273 0 -1 1077944384 47 12880 0 0 0 0 5 3 20 0 15 0 56295318 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140401608483840 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20376] ppid=20312 vsize=10852704 memory=135 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20376/stat : 20376 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140401301084368 140402764646299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20377] ppid=20312 vsize=10852704 memory=5448084 CPUtime=10.78 cores=0,2,4,6
/proc/20315/task/20377/stat : 20377 (java) S 20312 20315 17273 0 -1 1077944384 93318 12880 0 0 1061 9 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402290231792 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20378] ppid=20312 vsize=10852704 memory=5448084 CPUtime=10.86 cores=0,2,4,6
/proc/20315/task/20378/stat : 20378 (java) S 20312 20315 17273 0 -1 1077944384 99958 12880 0 0 1067 11 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402289179248 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20379] ppid=20312 vsize=10852704 memory=3848 CPUtime=3.59 cores=0,2,4,6
/proc/20315/task/20379/stat : 20379 (java) S 20312 20315 17273 0 -1 1077944384 78864 12880 0 0 339 12 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402288126704 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20380] ppid=20312 vsize=10852704 memory=5448084 CPUtime=0.08 cores=0,2,4,6
/proc/20315/task/20380/stat : 20380 (java) S 20312 20315 17273 0 -1 1077944384 3 12880 0 0 0 0 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140401267526752 140402764637909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
[pid=20315/tid=20381] ppid=20312 vsize=10852704 memory=4028 CPUtime=1.43 cores=0,2,4,6
/proc/20315/task/20381/stat : 20381 (java) S 20312 20315 17273 0 -1 1077944384 3547 12880 0 0 70 65 5 3 20 0 15 0 56295321 11113168896 1362021 33554432000 4194304 4196468 140727906816880 140402287073584 140402764638850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36524032 140727906818220 140727906821468 140727906821468 140727906824143 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 5448084 KiB

Child status: 143
Real time (s): 2359.98
CPU time (s): 2520.16
CPU user time (s): 2513.29
CPU system time (s): 6.87334
CPU usage (%): 106.787
Max. virtual memory (cumulated for all children) (KiB): 10853296
Max. memory (cumulated for all children) (KiB): 5524712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.29
system time used= 6.87334
maximum resident set size= 5524712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3120690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73357
involuntary context switches= 4835


# summary of solver processes directly reported to runsolver:
#   pid: 20315
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2513.29
#   total CPU system time (s): 6.87334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7204 second user time and 16.3577 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-24 01:08:41
IDJOB=4293910
IDBENCH=141262
IDSOLVER=2751
FILE ID=node151/4293910-1532387321
RUNJOBID= node151-1532369950-17304
PBS_JOBID= 21021572
Free space on /tmp= 54856 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_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-4293910-1532387321/watcher-4293910-1532387321 -o /tmp/evaluation-result-4293910-1532387321/solver-4293910-1532387321 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=383673813 -superng HOME/instance-4293910-1532387321.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
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:        27197340 kB
MemAvailable:   31861400 kB
Buffers:          147072 kB
Cached:          4758912 kB
SwapCached:            0 kB
Active:          1231160 kB
Inactive:        3823744 kB
Active(anon):      99804 kB
Inactive(anon):    69336 kB
Active(file):    1131356 kB
Inactive(file):  3754408 kB
Unevictable:        7820 kB
Mlocked:            7820 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            249220 kB
Writeback:             0 kB
AnonPages:        149580 kB
Mapped:            50020 kB
Shmem:             17032 kB
Slab:             215824 kB
SReclaimable:     188264 kB
SUnreclaim:        27560 kB
KernelStack:        3520 kB
PageTables:         5508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1333932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 54828 MiB
End job on node151 at 2018-07-24 01:48:01