Trace number 4302592

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)375507683 252.179 217.171

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 benchmark372140116
Best CPU time to get the best result obtained on this benchmark252.068
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.98/0.74	c Concrete v3.9.2.1532736233296 running
81.53/55.16	o 375636493
82.69/55.61	o 375618093
82.69/55.64	o 375581283
82.69/55.68	o 375562899
82.89/55.71	o 375562883
82.89/55.74	o 375544483
82.89/55.77	o 375526083
83.02/55.81	o 375507683
252.10/217.11	Exception in thread "main" java.util.concurrent.TimeoutException
252.10/217.11		at concrete.MAC.mac(MAC.scala:188)
252.10/217.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.10/217.11		at scala.util.Try$.apply(Try.scala:209)
252.10/217.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.10/217.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.10/217.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.10/217.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.10/217.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.10/217.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.10/217.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.10/217.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.10/217.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.10/217.11		at concrete.MAC.oneRun(MAC.scala:253)
252.10/217.11		at concrete.MAC.nextSolution(MAC.scala:272)
252.10/217.11		at concrete.MAC.nextSolution(MAC.scala:355)
252.10/217.11		at concrete.Solver.hasNext(Solver.scala:166)
252.10/217.11		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.10/217.11		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.10/217.11		at concrete.Solver.foreach(Solver.scala:68)
252.10/217.11		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.10/217.11		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.10/217.11		at scala.util.Success.map(Try.scala:209)
252.10/217.11		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.10/217.11		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.10/217.11		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.10/217.11		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.10/217.11		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.10/217.11		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.10/217.11		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.10/217.11		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.10/217.11		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.10/217.11		at scala.collection.immutable.List.foreach(List.scala:389)
252.10/217.11		at scala.App.main(App.scala:76)
252.10/217.11		at scala.App.main$(App.scala:74)
252.10/217.11		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.10/217.11		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.10/217.12	v <instantiation cost="375507683">
252.10/217.12	v       <list>
252.10/217.12	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]
252.10/217.13	v       </list>
252.10/217.13	v       <values>
252.10/217.13	v         2468 2232 2228 2760 2340 2544 2664 2820 2420 2340 2720 2760 2240 2392 2532 2260 2632 2404 2592 2444 2468 2720 2468 2584 2752 2760 2692 2800 2672 2760 2796 2760 2760 2248 2476 2816 2680 2244 2652 2628 2800 2428 2724 2436 2708 2480 2492 2692 2268 2632 2652 2596 2780 2240 2268 2516 2428 2680 2544 2488 2284 2544 2424 2520 2464 2780 2720 2220 2452 2800 2676 2776 2468 2492 2720 2244 2404 2260 2516 2300 2516 2820 2344 2428 2476 2640 2220 2760 2760 2392 2720 2680 2780 2272 2232 2432 2772 2484 2412 2632 2272 2260 2676 2668 2552 2476 2220 2300 2720 2704 2380 2584 2444 2224 2464 2344 2276 2760 2800 2572 2448 2672 2544 2264 2720 2284 2284 2820 2260 2236 2532 2516 2492 2716 2468 2244 2444 2760 2288 2220 2720 2220 2584 2532 2776 2428 2680 2304 2424 2268 2800 2384 2492 2792 2308 2632 2812 2800 2696 2556 2260 2504 2476 2632 2720 2584 2312 2440 2532 2220 2820 2380 2736 2680 2656 2560 2420 2584 2424 2720 2412 2428 2684 2632 2664 2404 2748 2240 2244 2464 2392 2516 2668 2760 2720 2420 2364 2716 2504 2780 2592 2344 2532 2476 2816 2720 2304 2820 2780 2260 2304 2616 2308 2624 2756 2280 2632 2788 2220 2680 2432 2468 2672 2760 2260 2512 2592 2544 2820 2476 2284 2380 2272 2800 2680 2780 2528 2488 2428 2428 2372 2760 2380 2516 2432 2640 2420 2492 2800 2760 2420 2532 2760 2280 2380 2476 2672 2280 2468 2464 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 11 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 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 1 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 1 0 0 1 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 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 0 10 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 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 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 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 9 0 10 0 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 0 10 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 0 0 10 0 0 10 0 10 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 10 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 1 0 0 10 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 0 0 0 0 0 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 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 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 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 10 7 10 10 0 0 0 0 0 0 0 0 10 10 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 0 10 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 10 0 0 0 10 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 0 0 0 10 0 0 0 0 0 10 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 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 10 0 0 0 5 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 9 0 10 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 6 0 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 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 10 0 9 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 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 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 10 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 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 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 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 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 9 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 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 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 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 10 0 0 0 0 9 0 0 0 0 0 10 0 0 0 0 0 0 0 0 6 4 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 10 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 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 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 9 0 0 0 0 10 0 0 0 0 10 0 9 0 0 0 10 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 10 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 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 9 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 8 0 0 0 10 0 0 10 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 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 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 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 0 0 0 10 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 10 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 0 0 0 0 0 0 0 0 9 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 0 0 0 0 0 0 0 0 10 0 0 8 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 292 220 200 208 292 76 252 236 236 24 104 84 124 352 292 548 252 436 232 216 12 464 28 432 12 488 48 312 200 408 568 592 192 216 452 292 176 200 356 56 196 552 236 516 520 380 152 312 72 88 420 56 88 72 452 476 340 420 252 204 300 176 68 272 228 132 320 216 12 176 136 236 216 272 172 112 52 68 76 244 404 12 184 116 56 404 236 380 172 188 340 396 100 0 392 456 448 164 208 232 180 340 136 28 336 148 380 420 288 80 4 212 120 364 332 76 192 152 380 452 32 340 4 88 80 284 60 80 292 276 80 308 88 244 460 40 80 40 440 252 52 84 292 516 376 40 56 272 228 152 520 20 520 480 480 344 228 560 456 200 124 384 252 368 408 152 40 380 108 124 88 140 292 148 112 84 248 408 28 68 92 228 152 152 68 184 228 284 520 40 12 184 168 44 124 460 204 216 172 560 160 116 168 228 156 140 220 36 372 128 200 128 84 356 132 120 112 100 252 228 60 416 376 28 24 156 40 84 8 60 88 168 40 0 80 80 168 316 352 204 72 196 184 260 228 160 236 356 64 188 52 12 32 72 116 224 32 196 180 252 324 164 248 8 252 20 88 80 228 204 40 496 188 80 340 164 312 4 224 168 252 48 224 44 200 332 156 292 176 148 92 132 324 240 364 312 120 272 164 192 68 304 204 116 124 316 48 24 260 288 220 260 532 168 192 68 120 240 48 264 56 336 540 308 244 128 84 536 88 500 336 268 244 228 32 176 432 216 88 456 224 128 432 88 40 40 372 372 80 80 368 456 256 84 80 416 360 120 528 40 268 44 156 8 248 48 140 12 0 512 80 272 20 40 500 208 216 540 64 176 60 340 36 144 252 320 452 520 236 552 536 320 416 424 376 216 12 292 456 92 340 324 476 44 292 176 228 228 56 456 60 80 332 568 180 220 512 324 424 228 568 296 268 512 228 152 208 40 48 204 200 284 192 256 104 92 548 36 544 516 348 24 56 136 100 404 376 16 100 8 400 184 536 28 200 40 184 340 436 184 420 504 100 64 136 188 248 220 368 128 272 184 44 32 96 68 136 60 380 28 372 80 48 136 368 44 204 244 388 12 36 172 172 44 308 80 568 80 268 488 20 380 168 492 44 40 420 8 52 64 128 332 84 388 352 60 244 92 332 20 436 28 44 164 24 56 96 212 44 296 108 216 136 40 384 312 232 324 384 324 228 72 256 488 12 264 448 12 92 192 84 48 232 212 36 240 296 240 36 180 188 280 56 144 32 60 320 140 4 68 88 232 148 184 72 24 272 180 328 24 148 452 204 420 224 12 388 200 36 132 280 264 452 300 260 512 552 492 532 452 388 152 208 488 204 48 84 192 252 104 116 184 188 168 128 352 28 168 208 188 108 432 96 392 148 176 68 248 408 128 108 232 108 168 44 324 216 12 292 204 132 204 164 76 224 324 64 316 216 100 348 196 276 36 248 44 164 400 436 440 64 552 416 0 224 152 192 492 264 248 412 200 28 160 24 88 104 116 180 40 152 204 152 212 244 52 64 168 88 392 48 204 208 228 36 388 48 8 256 164 40 40 96 460 120 420 136 300 400 232 216 164 176 12 172 176 52 124 176 276 284 236 324 272 124 264 76 232 144 216 44 192 184 168 248 24 228 56 332 180 492 40 16 528 96 276 496 144 476 184 120 60 68 176 324 40 304 28 172 48 136 128 164 128 124 136 376 68 260 80 392 356 200 4 376 32 64 24 236 300 196 276 36 300 140 164 16 104 8 100 28 240 220 296 308 200 228 68 160 40 196 224 72 68 216 316 296 436 20 236 4 352 20 520 80 40 88 16 80 252 432 204 356 216 176 300 192 80 580 64 364 580 256 444 144 84 64 160 212 108 268 224 80 28 144 140 12 72 180 144 16 24 308 172 500 28 388 352 216 580 80 176 128 208 160 0 208 372 364 12 284 456 392 4 56 144 516 464 396 536 96 264 348 260 24 116 184 40 56 48 292 172 332 248 24 8 192 268 272 72 12 188 180 268 268 376 448 40 24 356 188 96 288 340 448 192 232 80 516 576 452 388 68 36 176 288 516 148 72 120 20 276 264 376 60 384 24 88 408 36 540 460 256 560 460 104 208 284 24 12 244 216 244 28 200 68 92 124 76 272 48 40 68 472 372 168 124 192 204 232 368 212 20 284 104 16 88 256 164 240 88 116 148 448 296 72 60 60 100 100 40 76 104 120 160 88 208 332 248 104 88 48 204 124 244 56 48 44 244 284 240 256 36 16 420 368 356 80 40 336 400 176 80 76 136 208 220 64 24 460 84 20 172 296 372 212 600 200 80 20 128 104 396 4 176 244 176 500 176 320 60 336 348 516 500 4 332 268 480 368 124 324 400 140 88 136 140 16 80 88 40 248 40 236 232 212 460 256 120 276 64 252 400 480 20 60 512 64 264 172 32 168 108 408 384 192 120 160 548 540 8 528 440 488 360 584 548 76 148 12 88 16 212 368 304 28 128 152 56 96 428 496 528 240 140 552 48 52 228 392 40 140 36 72 224 20 64 80 296 180 132 204 104 112 132 408 304 120 12 192 180 408 268 152 56 48 160 412 24 32 288 100 52 444 112 204 108 148 152 476 488 244 528 192 184 412 124 160 168 332 520 332 272 4 160 236 212 52 404 188 296 256 208 52 12 132 164 52 200 204 168 124 196 208 96 212 344 56 192 204 56 8 484 44 296 312 256 268 500 176 420 64 44 80 476 80 356 244 60 292 80 340 188 236 148 56 360 24 420 56 300 252 68 132 148 108 152 380 12 88 40 112 40 96 108 96 176 20 112 184 40 336 140 164 16 164 308 4 360 308 252 536 308 120 16 244 92 204 40 60 220 316 152 184 296 184 456 212 60 100 436 64 296 64 396 444 192 536 308 484 32 236 104 240 88 476 268 40 88 80 88 296 80 436 120 268 520 80 132 208 44 80 44 84 188 204 144 368 188 228 312 168 388 452 28 172 176 236 232 104 180 172 236 244 28 320 44 432 292 156 552 44 16 536 516 164 16 188 16 136 292 36 376 48 460 192 248 192 64 536 96 44 476 180 396 348 140 128 44 108 308 476 24 600 72 100 516 276 392 540 372 584 500 524 276 48 444 288 152 28 152 204 88 232 244 88 12 68 256 20 132 184 20 456 4 92 444 336 252 196 160 332 288 120 536 60 576 268 348 28 428 276 148 32 12 68 356 316 176 540 380 60 388 68 432 216 336 384 16 384 500 476 396 372 244 300 476 128 340 40 336 92 24 448 560 84 396 60 420 60 208 80 364 300 312 216 176 188 168 56 248 272 152 16 68 272 16 284 16 204 292 212 252 288 36 176 300 212 488 352 160 128 272 296 116 204 168 4 108 44 152 156 36 244 160 580 80 20 492 332 516 312 336 148 92 100 144 84 112 188 228 224 16 124 132 40 268 44 548 160 300 96 56 180 48 72 88 288 128 212 132 252 392 572 384 172 132 44 40 120 420 332 124 136 104 84 476 296 312 224 252 60 276 68 84 276 244 372 404 144 500 44 356 540 20 192 28 80 100 260 112 224 136 324 56 196 412 104 48 116 100 156 184 156 260 164 168 280 28 500 244 188 144 152 100 176 280 172 116 116 240 192 96 184 28 152 200 152 208 156 100 316 236 380 316 356 44 204 12 212 192 80 264 60 312 132 224 104 164 160 56 340 300 400 252 148 380 324 204 304 4 36 208 272 132 36 88 288 392 40 8 48 16 140 256 216 184 412 372 88 252 356 284 136 160 376 212 124 124 236 16 128 124 328 68 520 480 192 228 580 476 536 72 292 32 296 356 296 84 112 88 428 296 256 40 232 264 324 52 88 120 76 236 44 256 500 476 232 272 60 400 336 380 424 144 168 172 188 288 284 44 44 224 72 476 500 188 500 284 0 116 132 60 84 456 344 512 4 288 300 24 336 456 24 188 344 140 20 284 376 76 188 336 24 24 196 472 64 364 148 176 96 176 32 4 232 360 48 104 352 368 560 200 152 388 124 76 332 20 40 292 148 128 392 332 296 332 540 132 208 64 80 260 56 400 164 284 56 496 420 380 40 100 84 192 312 108 184 60 104 152 236 236 240 120 72 48 480 88
252.10/217.13	v       </values>
252.10/217.13	v     </instantiation>
252.10/217.13	s SATISFIABLE

Verifier Data 

OK	375507683

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302592-1532896494/watcher-4302592-1532896494 -o /tmp/evaluation-result-4302592-1532896494/solver-4302592-1532896494 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13368 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=247269596 HOME/instance-4302592-1532896494.xml 

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

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

solver pid=14906, runsolver pid=14903

[startup+0.10008 s]*
/proc/loadavg: 1.70 1.64 1.52 3/207 14963
/proc/meminfo: memFree=21744448/32770624 swapFree=67108688/67108860
[pid=14906] ppid=14903 vsize=10005480 memory=18864 CPUtime=0.09 cores=0,2,4,6
/proc/14906/stat : 14906 (java) S 14903 14906 6529 0 -1 1077944320 4390 12983 0 0 1 1 4 3 20 0 6 0 107212324 10245611520 4716 33554432000 4194304 4196468 140730863499200 140730863481744 140550239186679 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
/proc/14906/statm: 2501370 4716 1935 1 0 2489808 0
[pid=14906/tid=14959] ppid=14903 vsize=10005480 memory=4279135703980344719 CPUtime=0.08 cores=0,2,4,6
/proc/14906/task/14959/stat : 14959 (java) R 14903 14906 6529 0 -1 4202560 2225 12983 0 0 1 0 4 3 20 0 6 0 107212332 10245611520 4781 33554432000 4194304 4196468 140730863499200 140550211023440 140550224498681 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14960] ppid=14903 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14960/stat : 14960 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 6 0 107212333 10245611520 4781 33554432000 4194304 4196468 140730863499200 140550243429264 140550239196885 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14961] ppid=14903 vsize=10005480 memory=140187144537728 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14961/stat : 14961 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 6 0 107212333 10245611520 4781 33554432000 4194304 4196468 140730863499200 140550124694288 140550239196885 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14962] ppid=14903 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14962/stat : 14962 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 6 0 107212333 10245611520 4781 33554432000 4194304 4196468 140730863499200 140550123642000 140550239196885 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14963] ppid=14903 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14963/stat : 14963 (java) S 14903 14906 6529 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 6 0 107212333 10245611520 4781 33554432000 4194304 4196468 140730863499200 140550122589200 140550239196885 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18864 KiB

[startup+0.210222 s]*
/proc/loadavg: 1.70 1.64 1.52 3/216 14972
/proc/meminfo: memFree=21727880/32770624 swapFree=67108688/67108860
[pid=14906] ppid=14903 vsize=10982744 memory=45000 CPUtime=0.25 cores=0,2,4,6
/proc/14906/stat : 14906 (java) S 14903 14906 6529 0 -1 1077944320 7928 12983 0 0 16 2 4 3 20 0 15 0 107212324 11246329856 11250 33554432000 4194304 4196468 140730863499200 140730863481744 140550239186679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
/proc/14906/statm: 2745686 11250 2976 1 0 2708109 0
[pid=14906/tid=14959] ppid=14903 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/14906/task/14959/stat : 14959 (java) R 14903 14906 6529 0 -1 4202560 4502 12983 0 0 10 1 4 3 20 0 15 0 107212332 11247345664 11316 33554432000 4194304 4196468 140730863499200 140550211011488 140550231866397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14960] ppid=14903 vsize=10983736 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14960/stat : 14960 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212333 11247345664 11316 33554432000 4194304 4196468 140730863499200 140550243429264 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14961] ppid=14903 vsize=10983736 memory=140187145177030 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14961/stat : 14961 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212333 11247345664 11316 33554432000 4194304 4196468 140730863499200 140550124694288 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14962] ppid=14903 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14962/stat : 14962 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212333 11247345664 11316 33554432000 4194304 4196468 140730863499200 140550123642000 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14963] ppid=14903 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14963/stat : 14963 (java) S 14903 14906 6529 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 107212333 11247345664 11316 33554432000 4194304 4196468 140730863499200 140550122589200 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14964] ppid=14903 vsize=10983736 memory=140187144537728 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14964/stat : 14964 (java) S 14903 14906 6529 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 107212335 11247345664 11382 33554432000 4194304 4196468 140730863499200 140549732317296 140550239197826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14965] ppid=14903 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14965/stat : 14965 (java) S 14903 14906 6529 0 -1 1077944384 13 12983 0 0 0 0 4 3 20 0 15 0 107212335 11247345664 11382 33554432000 4194304 4196468 140730863499200 140549046657824 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14966] ppid=14903 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14966/stat : 14966 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212335 11247345664 11382 33554432000 4194304 4196468 140730863499200 140548845331568 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14967] ppid=14903 vsize=10983736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14967/stat : 14967 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11247345664 11382 33554432000 4194304 4196468 140730863499200 140548537931856 140550239205275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14968] ppid=14903 vsize=10983736 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14906/task/14968/stat : 14968 (java) S 14903 14906 6529 0 -1 1077944384 470 12983 0 0 1 0 4 3 20 0 15 0 107212338 11247345664 11448 33554432000 4194304 4196468 140730863499200 140549731265136 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14969] ppid=14903 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14969/stat : 14969 (java) S 14903 14906 6529 0 -1 1077944384 144 12983 0 0 0 0 4 3 20 0 15 0 107212338 11247345664 11448 33554432000 4194304 4196468 140730863499200 140549730212336 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14970] ppid=14903 vsize=10983736 memory=140187144537728 CPUtime=0.1 cores=0,2,4,6
/proc/14906/task/14970/stat : 14970 (java) S 14903 14906 6529 0 -1 1077944384 614 12983 0 0 3 0 4 3 20 0 15 0 107212338 11247345664 11448 33554432000 4194304 4196468 140730863499200 140549729160048 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14971] ppid=14903 vsize=10983736 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14971/stat : 14971 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11247345664 11448 33554432000 4194304 4196468 140730863499200 140548107135968 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14972] ppid=14903 vsize=10983736 memory=140187144537728 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14972/stat : 14972 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212339 11247345664 11448 33554432000 4194304 4196468 140730863499200 140549728106928 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45000 KiB

[startup+0.310325 s]*
/proc/loadavg: 1.70 1.64 1.52 3/216 14972
/proc/meminfo: memFree=21721400/32770624 swapFree=67108688/67108860
[pid=14906] ppid=14903 vsize=10983192 memory=55704 CPUtime=0.37 cores=0,2,4,6
/proc/14906/stat : 14906 (java) S 14903 14906 6529 0 -1 1077944320 10419 12983 0 0 27 3 4 3 20 0 15 0 107212324 11246788608 13926 33554432000 4194304 4196468 140730863499200 140730863481744 140550239186679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
/proc/14906/statm: 2745798 13926 3095 1 0 2708109 0
[pid=14906/tid=14959] ppid=14903 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/14906/task/14959/stat : 14959 (java) R 14903 14906 6529 0 -1 4202560 6962 12983 0 0 19 2 4 3 20 0 15 0 107212332 11246788608 13926 33554432000 4194304 4196468 140730863499200 140550210998688 140550239208605 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14960] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14960/stat : 14960 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212333 11246788608 13926 33554432000 4194304 4196468 140730863499200 140550243429264 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14961] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14961/stat : 14961 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212333 11246788608 13926 33554432000 4194304 4196468 140730863499200 140550124694288 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14962] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14962/stat : 14962 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212333 11246788608 13926 33554432000 4194304 4196468 140730863499200 140550123642000 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14963] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14963/stat : 14963 (java) S 14903 14906 6529 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 107212333 11246788608 13926 33554432000 4194304 4196468 140730863499200 140550122589200 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14964] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14964/stat : 14964 (java) S 14903 14906 6529 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 107212335 11246788608 13926 33554432000 4194304 4196468 140730863499200 140549732317296 140550239197826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14965] ppid=14903 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14965/stat : 14965 (java) S 14903 14906 6529 0 -1 1077944384 13 12983 0 0 0 0 4 3 20 0 15 0 107212335 11246788608 13926 33554432000 4194304 4196468 140730863499200 140549046657824 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14966] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14966/stat : 14966 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212335 11246788608 13926 33554432000 4194304 4196468 140730863499200 140548845331568 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14967] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14967/stat : 14967 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11246788608 13926 33554432000 4194304 4196468 140730863499200 140548537931856 140550239205275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14968] ppid=14903 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14906/task/14968/stat : 14968 (java) S 14903 14906 6529 0 -1 1077944384 471 12983 0 0 1 0 4 3 20 0 15 0 107212338 11246788608 13926 33554432000 4194304 4196468 140730863499200 140549731265136 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14969] ppid=14903 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14906/task/14969/stat : 14969 (java) S 14903 14906 6529 0 -1 1077944384 144 12983 0 0 1 0 4 3 20 0 15 0 107212338 11246788608 13926 33554432000 4194304 4196468 140730863499200 140549730212336 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14970] ppid=14903 vsize=10983192 memory=140187144537728 CPUtime=0.11 cores=0,2,4,6
/proc/14906/task/14970/stat : 14970 (java) S 14903 14906 6529 0 -1 1077944384 620 12983 0 0 4 0 4 3 20 0 15 0 107212338 11246788608 13926 33554432000 4194304 4196468 140730863499200 140549729160048 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14971] ppid=14903 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14971/stat : 14971 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11246788608 13926 33554432000 4194304 4196468 140730863499200 140548107135968 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14972] ppid=14903 vsize=10983192 memory=140187144537728 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14972/stat : 14972 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212339 11246788608 13926 33554432000 4194304 4196468 140730863499200 140549728106928 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55704 KiB

[startup+0.700739 s]
/proc/loadavg: 1.70 1.64 1.52 3/216 14972
/proc/meminfo: memFree=21718328/32770624 swapFree=67108688/67108860
[pid=14906] ppid=14903 vsize=10983192 memory=88196 CPUtime=0.98 cores=0,2,4,6
/proc/14906/stat : 14906 (java) S 14903 14906 6529 0 -1 1077944320 16782 12983 0 0 86 5 4 3 20 0 15 0 107212324 11246788608 22049 33554432000 4194304 4196468 140730863499200 140730863481744 140550239186679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
/proc/14906/statm: 2745798 22049 3238 1 0 2708109 0
[pid=14906/tid=14959] ppid=14903 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/14906/task/14959/stat : 14959 (java) S 14903 14906 6529 0 -1 1077944384 12225 12983 0 0 56 3 4 3 20 0 15 0 107212332 11246788608 22049 33554432000 4194304 4196468 140730863499200 140550211007504 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14960] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14960/stat : 14960 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212333 11246788608 22049 33554432000 4194304 4196468 140730863499200 140550243429264 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14961] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14961/stat : 14961 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212333 11246788608 22049 33554432000 4194304 4196468 140730863499200 140550124694288 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14962] ppid=14903 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14962/stat : 14962 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212333 11246788608 22049 33554432000 4194304 4196468 140730863499200 140550123642000 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14963] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14963/stat : 14963 (java) S 14903 14906 6529 0 -1 1077944384 2 12983 0 0 0 0 4 3 20 0 15 0 107212333 11246788608 22049 33554432000 4194304 4196468 140730863499200 140550122589200 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14964] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14964/stat : 14964 (java) S 14903 14906 6529 0 -1 1077944384 5 12983 0 0 0 0 4 3 20 0 15 0 107212335 11246788608 22049 33554432000 4194304 4196468 140730863499200 140549732317296 140550239197826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14965] ppid=14903 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14965/stat : 14965 (java) S 14903 14906 6529 0 -1 1077944384 13 12983 0 0 0 0 4 3 20 0 15 0 107212335 11246788608 22049 33554432000 4194304 4196468 140730863499200 140549046657824 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14966] ppid=14903 vsize=10983192 memory=140186994488080 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14966/stat : 14966 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212335 11246788608 22049 33554432000 4194304 4196468 140730863499200 140548845331568 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14967] ppid=14903 vsize=10983192 memory=140187732542033 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14967/stat : 14967 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11246788608 22049 33554432000 4194304 4196468 140730863499200 140548537931856 140550239205275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14968] ppid=14903 vsize=10983192 memory=14076 CPUtime=0.16 cores=0,2,4,6
/proc/14906/task/14968/stat : 14968 (java) S 14903 14906 6529 0 -1 1077944384 1097 12983 0 0 9 0 4 3 20 0 15 0 107212338 11246788608 22049 33554432000 4194304 4196468 140730863499200 140549731265136 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14969] ppid=14903 vsize=10983192 memory=4639098309541127269 CPUtime=0.13 cores=0,2,4,6
/proc/14906/task/14969/stat : 14969 (java) S 14903 14906 6529 0 -1 1077944384 523 12983 0 0 6 0 4 3 20 0 15 0 107212338 11246788608 22049 33554432000 4194304 4196468 140730863499200 140549730212336 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14970] ppid=14903 vsize=10983192 memory=7885635084775281009 CPUtime=0.2 cores=0,2,4,6
/proc/14906/task/14970/stat : 14970 (java) S 14903 14906 6529 0 -1 1077944384 712 12983 0 0 13 0 4 3 20 0 15 0 107212338 11246788608 22049 33554432000 4194304 4196468 140730863499200 140549729160048 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14971] ppid=14903 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14971/stat : 14971 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11246788608 22049 33554432000 4194304 4196468 140730863499200 140548107135968 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14972] ppid=14903 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14972/stat : 14972 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212339 11246788608 22049 33554432000 4194304 4196468 140730863499200 140549728106928 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88196 KiB

[startup+1.50989 s]
/proc/loadavg: 1.70 1.64 1.52 4/216 14972
/proc/meminfo: memFree=21694944/32770624 swapFree=67108688/67108860
[pid=14906] ppid=14903 vsize=10991948 memory=317016 CPUtime=2.96 cores=0,2,4,6
/proc/14906/stat : 14906 (java) S 14903 14906 6529 0 -1 1077944320 22368 12983 0 0 265 24 4 3 20 0 15 0 107212324 11255754752 79254 33554432000 4194304 4196468 140730863499200 140730863481744 140550239186679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
/proc/14906/statm: 2747987 79254 3470 1 0 2709645 0
[pid=14906/tid=14959] ppid=14903 vsize=10991948 memory=12848 CPUtime=1.41 cores=0,2,4,6
/proc/14906/task/14959/stat : 14959 (java) R 14903 14906 6529 0 -1 4202560 14756 12983 0 0 125 9 4 3 20 0 15 0 107212332 11255754752 79254 33554432000 4194304 4196468 140730863499200 140550211021088 140550239198614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14960] ppid=14903 vsize=10991948 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/14906/task/14960/stat : 14960 (java) S 14903 14906 6529 0 -1 1077944384 110 12983 0 0 2 2 4 3 20 0 15 0 107212333 11255754752 79254 33554432000 4194304 4196468 140730863499200 140550243429264 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14961] ppid=14903 vsize=10991948 memory=1404 CPUtime=0.12 cores=0,2,4,6
/proc/14906/task/14961/stat : 14961 (java) S 14903 14906 6529 0 -1 1077944384 364 12983 0 0 2 3 4 3 20 0 15 0 107212333 11255754752 79254 33554432000 4194304 4196468 140730863499200 140550124694288 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14962] ppid=14903 vsize=10991948 memory=2692 CPUtime=0.1 cores=0,2,4,6
/proc/14906/task/14962/stat : 14962 (java) S 14903 14906 6529 0 -1 1077944384 42 12983 0 0 1 2 4 3 20 0 15 0 107212333 11255754752 79254 33554432000 4194304 4196468 140730863499200 140550123642000 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14963] ppid=14903 vsize=10991948 memory=88196 CPUtime=0.11 cores=0,2,4,6
/proc/14906/task/14963/stat : 14963 (java) S 14903 14906 6529 0 -1 1077944384 102 12983 0 0 2 2 4 3 20 0 15 0 107212333 11255754752 79254 33554432000 4194304 4196468 140730863499200 140550122589200 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14964] ppid=14903 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14964/stat : 14964 (java) S 14903 14906 6529 0 -1 1077944384 87 12983 0 0 0 0 4 3 20 0 15 0 107212335 11255754752 79254 33554432000 4194304 4196468 140730863499200 140549732317296 140550239197826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14965] ppid=14903 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14965/stat : 14965 (java) S 14903 14906 6529 0 -1 1077944384 14 12983 0 0 0 0 4 3 20 0 15 0 107212335 11255754752 79254 33554432000 4194304 4196468 140730863499200 140549046657888 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14966] ppid=14903 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14966/stat : 14966 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212335 11255754752 79254 33554432000 4194304 4196468 140730863499200 140548845331584 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14967] ppid=14903 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14967/stat : 14967 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11255754752 79254 33554432000 4194304 4196468 140730863499200 140548537931856 140550239205275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14968] ppid=14903 vsize=10991948 memory=6935649255759568960 CPUtime=0.58 cores=0,2,4,6
/proc/14906/task/14968/stat : 14968 (java) R 14903 14906 6529 0 -1 4202560 2488 12983 0 0 51 0 4 3 20 0 15 0 107212338 11255754752 79254 33554432000 4194304 4196468 140730863499200 140549731255856 140550218339984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14969] ppid=14903 vsize=10991948 memory=280373989251968 CPUtime=0.48 cores=0,2,4,6
/proc/14906/task/14969/stat : 14969 (java) R 14903 14906 6529 0 -1 4202560 931 12983 0 0 41 0 4 3 20 0 15 0 107212338 11255754752 79254 33554432000 4194304 4196468 140730863499200 140549730205528 140550223433878 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14970] ppid=14903 vsize=10991948 memory=6944656592452938395 CPUtime=0.43 cores=0,2,4,6
/proc/14906/task/14970/stat : 14970 (java) S 14903 14906 6529 0 -1 1077944384 1273 12983 0 0 36 0 4 3 20 0 15 0 107212338 11255754752 79254 33554432000 4194304 4196468 140730863499200 140549729160048 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14971] ppid=14903 vsize=10991948 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14971/stat : 14971 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11255754752 79254 33554432000 4194304 4196468 140730863499200 140548107135968 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14972] ppid=14903 vsize=10991948 memory=4206468019014099040 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14972/stat : 14972 (java) S 14903 14906 6529 0 -1 1077944384 1 12983 0 0 0 0 4 3 20 0 15 0 107212339 11255754752 79254 33554432000 4194304 4196468 140730863499200 140549728106928 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10991948 KiB

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

/proc/14906/task/14959/stat : 14959 (java) R 14903 14906 6529 0 -1 4202560 55414 12983 0 0 9694 40 4 3 20 0 15 0 107212332 11280941056 845279 33554432000 4194304 4196468 140730863499200 140550211019928 140549825803993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14960] ppid=14903 vsize=11016544 memory=3742740 CPUtime=4.16 cores=0,2,4,6
/proc/14906/task/14960/stat : 14960 (java) S 14903 14906 6529 0 -1 1077944384 3196 12983 0 0 361 48 4 3 20 0 15 0 107212333 11280941056 845279 33554432000 4194304 4196468 140730863499200 140550243429264 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14961] ppid=14903 vsize=11016544 memory=3381116 CPUtime=4.15 cores=0,2,4,6
/proc/14906/task/14961/stat : 14961 (java) S 14903 14906 6529 0 -1 1077944384 3142 12983 0 0 361 47 4 3 20 0 15 0 107212333 11280941056 845279 33554432000 4194304 4196468 140730863499200 140550124694288 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14962] ppid=14903 vsize=11016544 memory=280373988856960 CPUtime=4.15 cores=0,2,4,6
/proc/14906/task/14962/stat : 14962 (java) S 14903 14906 6529 0 -1 1077944384 4113 12983 0 0 361 47 4 3 20 0 15 0 107212333 11280941056 845279 33554432000 4194304 4196468 140730863499200 140550123642000 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14963] ppid=14903 vsize=11016544 memory=0 CPUtime=4.17 cores=0,2,4,6
/proc/14906/task/14963/stat : 14963 (java) S 14903 14906 6529 0 -1 1077944384 3464 12983 0 0 362 48 4 3 20 0 15 0 107212333 11280941056 845279 33554432000 4194304 4196468 140730863499200 140550122589200 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14964] ppid=14903 vsize=11016544 memory=280373989661232 CPUtime=0.26 cores=0,2,4,6
/proc/14906/task/14964/stat : 14964 (java) S 14903 14906 6529 0 -1 1077944384 13042 12983 0 0 18 1 4 3 20 0 15 0 107212335 11280941056 845279 33554432000 4194304 4196468 140730863499200 140549732317296 140550239197826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14965] ppid=14903 vsize=11016544 memory=3381116 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14965/stat : 14965 (java) S 14903 14906 6529 0 -1 1077944384 35 12983 0 0 0 0 4 3 20 0 15 0 107212335 11280941056 845279 33554432000 4194304 4196468 140730863499200 140549046657952 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14966] ppid=14903 vsize=11016544 memory=3413708 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14966/stat : 14966 (java) S 14903 14906 6529 0 -1 1077944384 42 12983 0 0 0 0 4 3 20 0 15 0 107212335 11280941056 845279 33554432000 4194304 4196468 140730863499200 140548845331744 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14967] ppid=14903 vsize=11016544 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14967/stat : 14967 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11280941056 845279 33554432000 4194304 4196468 140730863499200 140548537931856 140550239205275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14968] ppid=14903 vsize=11016544 memory=30608 CPUtime=9.5 cores=0,2,4,6
/proc/14906/task/14968/stat : 14968 (java) S 14903 14906 6529 0 -1 1077944384 21710 12983 0 0 938 5 4 3 20 0 15 0 107212338 11280941056 845279 33554432000 4194304 4196468 140730863499200 140549731265136 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14969] ppid=14903 vsize=11016544 memory=3640188 CPUtime=9.48 cores=0,2,4,6
/proc/14906/task/14969/stat : 14969 (java) S 14903 14906 6529 0 -1 1077944384 23037 12983 0 0 937 4 4 3 20 0 15 0 107212338 11280941056 845279 33554432000 4194304 4196468 140730863499200 140549730212336 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14970] ppid=14903 vsize=11016544 memory=18432 CPUtime=3.04 cores=0,2,4,6
/proc/14906/task/14970/stat : 14970 (java) S 14903 14906 6529 0 -1 1077944384 13649 12983 0 0 293 4 4 3 20 0 15 0 107212338 11280941056 845279 33554432000 4194304 4196468 140730863499200 140549729160048 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14971] ppid=14903 vsize=11016544 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14971/stat : 14971 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11280941056 845279 33554432000 4194304 4196468 140730863499200 140548107135968 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14972] ppid=14903 vsize=11016544 memory=2408 CPUtime=0.12 cores=0,2,4,6
/proc/14906/task/14972/stat : 14972 (java) S 14903 14906 6529 0 -1 1077944384 785 12983 0 0 3 2 4 3 20 0 15 0 107212339 11280941056 845279 33554432000 4194304 4196468 140730863499200 140549728106928 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
Current children cumulated CPU time: 135.91 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3381116 KiB

[startup+162.301 s]
/proc/loadavg: 1.42 1.60 1.52 3/215 14974
/proc/meminfo: memFree=18881524/32770624 swapFree=67108688/67108860
[pid=14906] ppid=14903 vsize=11016544 memory=3314404 CPUtime=196.72 cores=0,2,4,6
/proc/14906/stat : 14906 (java) S 14903 14906 6529 0 -1 1077944320 160322 12983 0 0 19413 252 4 3 20 0 15 0 107212324 11280941056 828601 33554432000 4194304 4196468 140730863499200 140730863481744 140550239186679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
/proc/14906/statm: 2754136 828601 3538 1 0 2715789 0
[pid=14906/tid=14959] ppid=14903 vsize=11016544 memory=3326200 CPUtime=157.15 cores=0,2,4,6
/proc/14906/task/14959/stat : 14959 (java) R 14903 14906 6529 0 -1 4202560 59913 12983 0 0 15668 40 4 3 20 0 15 0 107212332 11280941056 828601 33554432000 4194304 4196468 140730863499200 140550211021520 140549816463988 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14960] ppid=14903 vsize=11016544 memory=3326200 CPUtime=4.38 cores=0,2,4,6
/proc/14906/task/14960/stat : 14960 (java) S 14903 14906 6529 0 -1 1077944384 3961 12983 0 0 383 48 4 3 20 0 15 0 107212333 11280941056 828601 33554432000 4194304 4196468 140730863499200 140550243429264 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14961] ppid=14903 vsize=11016544 memory=3314404 CPUtime=4.37 cores=0,2,4,6
/proc/14906/task/14961/stat : 14961 (java) S 14903 14906 6529 0 -1 1077944384 4292 12983 0 0 383 47 4 3 20 0 15 0 107212333 11280941056 828601 33554432000 4194304 4196468 140730863499200 140550124694288 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14962] ppid=14903 vsize=11016544 memory=3314404 CPUtime=4.36 cores=0,2,4,6
/proc/14906/task/14962/stat : 14962 (java) S 14903 14906 6529 0 -1 1077944384 4311 12983 0 0 382 47 4 3 20 0 15 0 107212333 11280941056 828601 33554432000 4194304 4196468 140730863499200 140550123642000 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14963] ppid=14903 vsize=11016544 memory=3314404 CPUtime=4.38 cores=0,2,4,6
/proc/14906/task/14963/stat : 14963 (java) S 14903 14906 6529 0 -1 1077944384 3641 12983 0 0 383 48 4 3 20 0 15 0 107212333 11280941056 828601 33554432000 4194304 4196468 140730863499200 140550122589200 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14964] ppid=14903 vsize=11016544 memory=3326200 CPUtime=0.28 cores=0,2,4,6
/proc/14906/task/14964/stat : 14964 (java) S 14903 14906 6529 0 -1 1077944384 13398 12983 0 0 20 1 4 3 20 0 15 0 107212335 11280941056 828601 33554432000 4194304 4196468 140730863499200 140549732317296 140550239197826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 47 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14965] ppid=14903 vsize=11016544 memory=3314404 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14965/stat : 14965 (java) S 14903 14906 6529 0 -1 1077944384 35 12983 0 0 0 0 4 3 20 0 15 0 107212335 11280941056 828601 33554432000 4194304 4196468 140730863499200 140549046657952 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14966] ppid=14903 vsize=11016544 memory=3314404 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14966/stat : 14966 (java) S 14903 14906 6529 0 -1 1077944384 42 12983 0 0 0 0 4 3 20 0 15 0 107212335 11280941056 828601 33554432000 4194304 4196468 140730863499200 140548845331744 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14967] ppid=14903 vsize=11016544 memory=3326200 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14967/stat : 14967 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11280941056 828601 33554432000 4194304 4196468 140730863499200 140548537931856 140550239205275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14968] ppid=14903 vsize=11016544 memory=4140 CPUtime=9.58 cores=0,2,4,6
/proc/14906/task/14968/stat : 14968 (java) S 14903 14906 6529 0 -1 1077944384 25427 12983 0 0 946 5 4 3 20 0 15 0 107212338 11280941056 828601 33554432000 4194304 4196468 140730863499200 140549731265136 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14969] ppid=14903 vsize=11016544 memory=3326200 CPUtime=9.53 cores=0,2,4,6
/proc/14906/task/14969/stat : 14969 (java) S 14903 14906 6529 0 -1 1077944384 26404 12983 0 0 942 4 4 3 20 0 15 0 107212338 11280941056 828601 33554432000 4194304 4196468 140730863499200 140549730212336 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14970] ppid=14903 vsize=11016544 memory=3326200 CPUtime=3.05 cores=0,2,4,6
/proc/14906/task/14970/stat : 14970 (java) S 14903 14906 6529 0 -1 1077944384 15767 12983 0 0 294 4 4 3 20 0 15 0 107212338 11280941056 828601 33554432000 4194304 4196468 140730863499200 140549729160048 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14971] ppid=14903 vsize=11016544 memory=3342104 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14971/stat : 14971 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11280941056 828601 33554432000 4194304 4196468 140730863499200 140548107135968 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14972] ppid=14903 vsize=11016544 memory=30608 CPUtime=0.15 cores=0,2,4,6
/proc/14906/task/14972/stat : 14972 (java) S 14903 14906 6529 0 -1 1077944384 931 12983 0 0 5 3 4 3 20 0 15 0 107212339 11280941056 828601 33554432000 4194304 4196468 140730863499200 140549728106928 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
Current children cumulated CPU time: 196.72 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3314404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+217.11 s]
/proc/loadavg: 1.62 1.62 1.54 3/215 15106
/proc/meminfo: memFree=18997016/32770624 swapFree=67108688/67108860
[pid=14906] ppid=14903 vsize=11016544 memory=3301116 CPUtime=252.1 cores=0,2,4,6
/proc/14906/stat : 14906 (java) S 14903 14906 6529 0 -1 1077944320 173084 12983 0 0 24948 255 4 3 20 0 15 0 107212324 11280941056 825279 33554432000 4194304 4196468 140730863499200 140730863481744 140550239186679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
/proc/14906/statm: 2754136 825279 3538 1 0 2715789 0
[pid=14906/tid=14959] ppid=14903 vsize=11016544 memory=3301100 CPUtime=211.78 cores=0,2,4,6
/proc/14906/task/14959/stat : 14959 (java) R 14903 14906 6529 0 -1 4202560 64639 12983 0 0 21130 41 4 3 20 0 15 0 107212332 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550211018616 140549807772308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14960] ppid=14903 vsize=11016544 memory=3301116 CPUtime=4.54 cores=0,2,4,6
/proc/14906/task/14960/stat : 14960 (java) S 14903 14906 6529 0 -1 1077944384 5211 12983 0 0 399 48 4 3 20 0 15 0 107212333 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550243429264 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14961] ppid=14903 vsize=11016544 memory=3301116 CPUtime=4.53 cores=0,2,4,6
/proc/14906/task/14961/stat : 14961 (java) S 14903 14906 6529 0 -1 1077944384 5040 12983 0 0 399 47 4 3 20 0 15 0 107212333 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550124694288 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14962] ppid=14903 vsize=11016544 memory=3301116 CPUtime=4.52 cores=0,2,4,6
/proc/14906/task/14962/stat : 14962 (java) S 14903 14906 6529 0 -1 1077944384 4450 12983 0 0 398 47 4 3 20 0 15 0 107212333 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550123642000 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14963] ppid=14903 vsize=11016544 memory=3301100 CPUtime=4.54 cores=0,2,4,6
/proc/14906/task/14963/stat : 14963 (java) S 14903 14906 6529 0 -1 1077944384 3810 12983 0 0 399 48 4 3 20 0 15 0 107212333 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550122589200 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14964] ppid=14903 vsize=11016544 memory=3301116 CPUtime=0.3 cores=0,2,4,6
/proc/14906/task/14964/stat : 14964 (java) S 14903 14906 6529 0 -1 1077944384 13760 12983 0 0 21 2 4 3 20 0 15 0 107212335 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549732317296 140550239197826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14965] ppid=14903 vsize=11016544 memory=3301116 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14965/stat : 14965 (java) S 14903 14906 6529 0 -1 1077944384 35 12983 0 0 0 0 4 3 20 0 15 0 107212335 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549046657952 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14966] ppid=14903 vsize=11016544 memory=3301116 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14966/stat : 14966 (java) S 14903 14906 6529 0 -1 1077944384 42 12983 0 0 0 0 4 3 20 0 15 0 107212335 11280941056 825279 33554432000 4194304 4196468 140730863499200 140548845331744 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14967] ppid=14903 vsize=11016544 memory=30608 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14967/stat : 14967 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140548537931856 140550239205275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14968] ppid=14903 vsize=11016544 memory=792 CPUtime=9.6 cores=0,2,4,6
/proc/14906/task/14968/stat : 14968 (java) S 14903 14906 6529 0 -1 1077944384 26974 12983 0 0 948 5 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549731265136 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14969] ppid=14903 vsize=11016544 memory=1228 CPUtime=9.56 cores=0,2,4,6
/proc/14906/task/14969/stat : 14969 (java) S 14903 14906 6529 0 -1 1077944384 27538 12983 0 0 945 4 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549730212336 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14970] ppid=14903 vsize=11016544 memory=6791534058613427641 CPUtime=3.06 cores=0,2,4,6
/proc/14906/task/14970/stat : 14970 (java) S 14903 14906 6529 0 -1 1077944384 18384 12983 0 0 295 4 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549729160048 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14971] ppid=14903 vsize=11016544 memory=30608 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14971/stat : 14971 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140548107135968 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14972] ppid=14903 vsize=11016544 memory=288230574492221466 CPUtime=0.18 cores=0,2,4,6
/proc/14906/task/14972/stat : 14972 (java) S 14903 14906 6529 0 -1 1077944384 1001 12983 0 0 7 4 4 3 20 0 15 0 107212339 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549728106928 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3301116 KiB

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

[startup+217.171 s]
# the end of solver process 14906 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.555 s, system=2.6244 s

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

[startup+217.11 s]
/proc/loadavg: 1.62 1.62 1.54 3/215 15106
/proc/meminfo: memFree=18997016/32770624 swapFree=67108688/67108860
[pid=14906] ppid=14903 vsize=11016544 memory=3301116 CPUtime=252.1 cores=0,2,4,6
/proc/14906/stat : 14906 (java) S 14903 14906 6529 0 -1 1077944320 173084 12983 0 0 24948 255 4 3 20 0 15 0 107212324 11280941056 825279 33554432000 4194304 4196468 140730863499200 140730863481744 140550239186679 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
/proc/14906/statm: 2754136 825279 3538 1 0 2715789 0
[pid=14906/tid=14959] ppid=14903 vsize=11016544 memory=3301100 CPUtime=211.78 cores=0,2,4,6
/proc/14906/task/14959/stat : 14959 (java) R 14903 14906 6529 0 -1 4202560 64639 12983 0 0 21130 41 4 3 20 0 15 0 107212332 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550211018616 140549807772308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14960] ppid=14903 vsize=11016544 memory=3301116 CPUtime=4.54 cores=0,2,4,6
/proc/14906/task/14960/stat : 14960 (java) S 14903 14906 6529 0 -1 1077944384 5211 12983 0 0 399 48 4 3 20 0 15 0 107212333 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550243429264 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14961] ppid=14903 vsize=11016544 memory=3301116 CPUtime=4.53 cores=0,2,4,6
/proc/14906/task/14961/stat : 14961 (java) S 14903 14906 6529 0 -1 1077944384 5040 12983 0 0 399 47 4 3 20 0 15 0 107212333 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550124694288 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14962] ppid=14903 vsize=11016544 memory=3301116 CPUtime=4.52 cores=0,2,4,6
/proc/14906/task/14962/stat : 14962 (java) S 14903 14906 6529 0 -1 1077944384 4450 12983 0 0 398 47 4 3 20 0 15 0 107212333 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550123642000 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14963] ppid=14903 vsize=11016544 memory=3301100 CPUtime=4.54 cores=0,2,4,6
/proc/14906/task/14963/stat : 14963 (java) S 14903 14906 6529 0 -1 1077944384 3810 12983 0 0 399 48 4 3 20 0 15 0 107212333 11280941056 825279 33554432000 4194304 4196468 140730863499200 140550122589200 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14964] ppid=14903 vsize=11016544 memory=3301116 CPUtime=0.3 cores=0,2,4,6
/proc/14906/task/14964/stat : 14964 (java) S 14903 14906 6529 0 -1 1077944384 13760 12983 0 0 21 2 4 3 20 0 15 0 107212335 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549732317296 140550239197826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14965] ppid=14903 vsize=11016544 memory=3301116 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14965/stat : 14965 (java) S 14903 14906 6529 0 -1 1077944384 35 12983 0 0 0 0 4 3 20 0 15 0 107212335 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549046657952 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14966] ppid=14903 vsize=11016544 memory=3301116 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14966/stat : 14966 (java) S 14903 14906 6529 0 -1 1077944384 42 12983 0 0 0 0 4 3 20 0 15 0 107212335 11280941056 825279 33554432000 4194304 4196468 140730863499200 140548845331744 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14967] ppid=14903 vsize=11016544 memory=30608 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14967/stat : 14967 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140548537931856 140550239205275 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14968] ppid=14903 vsize=11016544 memory=792 CPUtime=9.6 cores=0,2,4,6
/proc/14906/task/14968/stat : 14968 (java) S 14903 14906 6529 0 -1 1077944384 26974 12983 0 0 948 5 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549731265136 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14969] ppid=14903 vsize=11016544 memory=1228 CPUtime=9.56 cores=0,2,4,6
/proc/14906/task/14969/stat : 14969 (java) S 14903 14906 6529 0 -1 1077944384 27538 12983 0 0 945 4 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549730212336 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14970] ppid=14903 vsize=11016544 memory=6791534058613427641 CPUtime=3.06 cores=0,2,4,6
/proc/14906/task/14970/stat : 14970 (java) S 14903 14906 6529 0 -1 1077944384 18384 12983 0 0 295 4 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549729160048 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14971] ppid=14903 vsize=11016544 memory=30608 CPUtime=0.07 cores=0,2,4,6
/proc/14906/task/14971/stat : 14971 (java) S 14903 14906 6529 0 -1 1077944384 3 12983 0 0 0 0 4 3 20 0 15 0 107212338 11280941056 825279 33554432000 4194304 4196468 140730863499200 140548107135968 140550239196885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
[pid=14906/tid=14972] ppid=14903 vsize=11016544 memory=288230574492221466 CPUtime=0.18 cores=0,2,4,6
/proc/14906/task/14972/stat : 14972 (java) S 14903 14906 6529 0 -1 1077944384 1001 12983 0 0 7 4 4 3 20 0 15 0 107212339 11280941056 825279 33554432000 4194304 4196468 140730863499200 140549728106928 140550239197826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 39153664 140730863508082 140730863510881 140730863510881 140730863513551 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3301116 KiB

Child status: 143
Real time (s): 217.171
CPU time (s): 252.179
CPU user time (s): 249.555
CPU system time (s): 2.6244
CPU usage (%): 116.12
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 3783724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.555
system time used= 2.6244
maximum resident set size= 3783724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187381
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17375
involuntary context switches= 551


# summary of solver processes directly reported to runsolver:
#   pid: 14906
#   total CPU time (s): 252.179
#   total CPU user time (s): 249.555
#   total CPU system time (s): 2.6244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27162 second user time and 2.1084 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-29 22:34:54
IDJOB=4302592
IDBENCH=141262
IDSOLVER=2776
FILE ID=node106/4302592-1532896494
RUNJOBID= node106-1532895551-13368
PBS_JOBID= 21022522
Free space on /tmp= 54508 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302592-1532896494/watcher-4302592-1532896494 -o /tmp/evaluation-result-4302592-1532896494/solver-4302592-1532896494 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13368 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=247269596 HOME/instance-4302592-1532896494.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=247269596

node106.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	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21750656 kB
MemAvailable:   28318332 kB
Buffers:          247500 kB
Cached:          6552760 kB
SwapCached:            0 kB
Active:          6197004 kB
Inactive:        4225912 kB
Active(anon):    3569856 kB
Inactive(anon):    80476 kB
Active(file):    2627148 kB
Inactive(file):  4145436 kB
Unevictable:        6960 kB
Mlocked:            6960 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             34836 kB
Writeback:         70960 kB
AnonPages:       3629256 kB
Mapped:            57984 kB
Shmem:             25056 kB
Slab:             289736 kB
SReclaimable:     221852 kB
SUnreclaim:        67884 kB
KernelStack:        3584 kB
PageTables:        12724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4756684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3448832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 54516 MiB
End job on node106 at 2018-07-29 22:38:32