Trace number 4304428

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)377292294 2520.11 2364.85

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
80.78/54.16	o 377310694
81.42/54.54	o 377292294
2520.03/2364.81	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2364.81		at concrete.MAC.mac(MAC.scala:188)
2520.03/2364.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2364.81		at scala.util.Try$.apply(Try.scala:209)
2520.03/2364.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2364.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2364.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2364.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2364.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2364.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2364.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2364.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2364.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2364.81		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2364.81		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2364.81		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2364.81		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2364.81		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2364.81		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2364.81		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2364.81		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2364.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2364.81		at scala.util.Success.map(Try.scala:209)
2520.03/2364.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2364.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2364.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2364.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2364.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2364.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2364.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2364.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2364.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2364.81		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2364.81		at scala.App.main(App.scala:76)
2520.03/2364.81		at scala.App.main$(App.scala:74)
2520.03/2364.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2364.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2364.82	v <instantiation cost="377292294">
2520.03/2364.82	v       <list>
2520.03/2364.82	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838]
2520.03/2364.82	v       </list>
2520.03/2364.82	v       <values>
2520.03/2364.82	v         2468 2220 2232 2760 2508 2624 2664 2732 2380 2292 2720 2760 2276 2372 2532 2820 2632 2404 2592 2448 2468 2800 2468 2584 2752 2760 2620 2800 2592 2760 2796 2760 2760 2220 2516 2776 2680 2220 2660 2628 2720 2428 2776 2516 2584 2480 2460 2692 2220 2632 2652 2596 2772 2220 2504 2436 2428 2720 2544 2488 2260 2544 2420 2600 2464 2780 2680 2368 2432 2800 2680 2816 2472 2492 2800 2220 2364 2264 2428 2548 2516 2780 2324 2428 2476 2632 2224 2760 2760 2664 2720 2672 2780 2260 2236 2420 2776 2488 2472 2632 2252 2328 2680 2544 2552 2476 2220 2252 2720 2704 2380 2544 2444 2264 2464 2324 2228 2760 2800 2572 2448 2672 2544 2304 2720 2260 2260 2820 2260 2268 2500 2516 2484 2720 2468 2220 2424 2760 2260 2220 2720 2780 2584 2532 2480 2428 2780 2284 2388 2272 2800 2380 2492 2792 2260 2632 2736 2800 2752 2556 2264 2504 2468 2632 2720 2584 2292 2440 2524 2220 2820 2420 2792 2680 2788 2560 2420 2584 2504 2720 2416 2428 2816 2632 2664 2384 2804 2220 2220 2464 2380 2508 2668 2760 2720 2424 2324 2720 2504 2576 2672 2464 2532 2476 2440 2720 2284 2820 2780 2260 2424 2748 2544 2624 2756 2260 2632 2764 2224 2680 2412 2468 2672 2760 2260 2512 2592 2584 2616 2468 2260 2464 2276 2800 2680 2740 2532 2492 2512 2508 2456 2760 2380 2476 2624 2820 2420 2492 2800 2760 2420 2532 2760 2316 2380 2476 2672 2260 2468 2428 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 11 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 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 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 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 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 1 1 0 1 1 0 0 0 0 1 0 1 0 1 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 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 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 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 1 0 0 1 0 0 1 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 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 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 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 10 10 0 0 10 0 0 10 0 0 0 8 0 0 0 0 0 0 0 0 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 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 9 0 9 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 8 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 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 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 10 10 0 0 0 0 0 0 0 0 10 0 10 10 10 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 10 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 6 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 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 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 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 10 0 10 10 0 0 0 0 10 0 0 10 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 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 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 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 10 10 0 10 10 0 0 0 0 10 0 10 0 10 0 0 10 10 1 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 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 0 10 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 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 10 0 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 10 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 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 10 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 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 10 0 0 10 0 0 10 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 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 10 0 0 0 0 10 10 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 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 6 4 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 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 10 0 0 10 0 0 0 10 10 0 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 1 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 9 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 10 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 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 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 10 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 10 0 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 10 10 10 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 10 10 10 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 292 248 248 212 292 196 252 232 236 24 104 88 4 352 292 560 268 324 244 228 560 532 44 444 0 500 40 364 404 600 580 500 148 216 488 368 132 196 312 28 272 508 196 540 540 380 48 144 4 80 252 248 80 236 284 68 172 252 84 76 404 56 148 364 152 56 360 136 124 96 56 48 136 348 168 0 132 148 156 284 156 4 184 116 56 336 236 404 172 100 252 312 52 88 304 408 276 204 248 272 160 380 120 0 376 104 420 468 336 28 32 260 72 412 380 12 208 192 428 500 32 388 172 220 80 204 60 80 292 296 80 304 88 244 460 40 80 40 460 252 176 80 288 540 380 40 320 268 228 96 484 12 484 444 444 268 192 524 476 164 48 348 216 388 348 152 48 404 112 144 88 152 444 152 132 104 448 428 28 68 92 228 68 152 104 372 332 276 40 596 560 396 392 536 440 100 356 344 408 204 400 196 168 268 156 140 216 36 372 128 8 128 84 356 144 144 112 120 384 228 60 416 376 8 60 76 40 88 48 60 188 204 40 80 80 80 168 312 348 228 68 184 120 256 224 188 332 352 28 184 68 36 20 8 116 248 48 216 208 252 324 164 252 8 252 24 88 0 340 372 40 536 276 0 420 164 304 4 248 80 252 48 248 80 196 332 176 292 176 68 124 152 320 260 360 324 120 292 220 204 76 324 120 116 124 236 48 64 260 288 252 268 532 168 192 64 120 240 48 260 16 340 392 328 332 128 80 496 88 500 372 268 284 228 156 184 356 144 160 352 152 200 360 120 40 40 372 372 0 80 380 476 256 80 80 420 360 120 524 40 268 36 156 128 172 208 60 224 80 540 80 272 20 40 432 208 216 20 8 176 60 336 36 144 252 320 472 568 236 576 536 328 332 340 376 216 16 292 476 92 340 244 500 40 292 176 228 236 320 336 144 80 252 556 208 252 540 352 452 248 220 364 256 540 256 112 296 88 88 156 288 244 152 292 60 0 556 4 524 524 308 16 16 136 100 452 396 16 104 8 420 208 560 32 224 40 208 364 460 208 444 584 244 324 160 404 272 208 400 120 280 192 92 156 144 60 104 68 384 20 344 44 52 136 300 84 240 248 408 120 36 172 172 44 228 0 484 0 220 428 100 300 88 176 36 40 340 88 52 64 120 332 36 12 312 64 244 144 112 72 516 24 96 216 28 200 44 264 96 264 28 148 32 48 304 288 152 244 304 244 104 196 152 360 136 140 324 136 216 76 40 172 108 212 44 200 336 320 52 68 64 280 92 144 32 60 320 172 28 40 96 196 172 200 40 48 236 212 156 16 360 472 204 432 224 88 408 200 96 132 276 264 472 312 280 560 560 540 580 500 568 200 256 536 204 88 88 192 212 160 172 192 188 168 128 372 20 164 208 188 108 128 96 388 148 184 68 268 432 76 108 232 108 168 36 336 216 52 312 204 132 216 184 76 20 320 64 280 216 52 352 188 268 332 268 40 144 412 460 560 64 572 568 0 244 160 192 256 4 12 176 36 108 244 56 8 36 196 316 120 232 284 112 152 324 8 64 164 88 392 40 204 208 360 36 12 36 8 300 204 0 0 240 500 160 460 136 256 460 272 216 164 176 44 176 176 52 124 176 276 284 0 320 268 124 228 76 312 164 236 64 292 204 300 268 24 228 76 128 204 556 40 12 476 160 300 520 252 500 208 124 56 68 176 236 40 324 36 176 128 136 128 156 132 168 160 380 72 396 44 20 360 204 88 380 48 56 56 340 220 120 380 44 380 180 216 96 24 68 180 108 340 244 296 312 160 196 36 180 76 192 244 84 68 216 276 296 456 20 236 300 352 20 520 120 8 48 24 120 212 420 172 356 176 96 260 104 116 432 108 216 432 100 296 44 84 108 96 256 108 288 248 100 44 172 140 8 12 200 112 36 80 328 172 252 24 328 352 216 580 80 176 128 208 164 0 212 396 388 16 300 456 420 8 16 184 556 524 396 596 136 304 308 340 20 72 212 44 56 36 288 348 328 272 64 4 240 268 272 72 12 188 180 268 268 476 548 40 48 476 268 360 388 336 524 268 308 0 540 600 532 412 72 40 200 312 540 188 112 104 24 316 304 212 100 400 100 128 280 0 536 456 252 556 456 60 204 320 4 12 332 176 332 116 292 156 40 48 244 336 40 48 312 228 124 80 160 56 44 24 120 36 232 280 44 16 88 252 164 240 8 76 108 324 308 64 64 64 104 100 40 52 104 140 180 88 204 332 252 72 88 40 204 4 244 28 48 56 244 284 244 252 36 16 408 372 372 88 148 348 412 168 88 88 128 220 212 36 4 556 60 4 156 284 448 188 392 196 88 20 128 28 436 4 216 244 176 496 176 320 60 256 344 540 500 4 252 268 444 96 148 56 128 140 240 132 132 16 80 88 40 252 48 228 224 204 108 284 128 288 76 160 356 528 20 60 508 60 304 164 24 180 160 420 528 204 120 152 356 540 28 524 436 484 436 204 544 308 144 24 96 28 360 380 372 36 136 160 72 96 452 548 556 244 144 556 44 56 192 396 44 164 40 68 224 16 68 104 88 204 260 228 108 220 72 348 248 60 84 252 200 348 208 212 4 48 160 412 156 32 168 100 32 468 128 216 168 168 252 552 508 224 548 176 116 344 52 92 100 344 452 264 204 8 164 240 216 56 404 188 300 260 212 176 236 256 40 176 76 116 168 124 252 208 96 172 344 56 192 204 56 8 484 84 296 312 256 272 548 216 468 72 212 28 500 80 396 244 20 208 80 340 188 236 148 56 240 24 444 56 400 252 88 132 152 112 152 380 28 128 0 208 80 136 76 52 216 20 112 180 60 132 160 184 68 184 236 516 320 268 212 496 268 140 16 316 92 200 40 80 244 112 284 204 296 204 476 232 60 104 252 64 496 8 444 492 240 508 356 532 316 284 152 248 88 500 268 40 88 80 88 296 80 476 120 268 484 80 132 168 40 80 36 84 184 228 224 8 188 224 312 132 412 452 28 176 176 284 252 104 220 176 32 220 36 280 44 448 252 116 136 240 44 496 436 204 44 196 72 136 292 96 256 48 460 188 272 208 40 560 160 40 500 168 520 372 244 156 40 120 412 500 0 600 16 100 396 236 312 504 372 552 524 492 244 8 412 280 80 4 120 204 88 256 240 8 20 76 320 28 136 188 32 456 0 96 444 340 252 196 76 332 304 104 356 64 600 292 372 56 452 296 248 52 12 88 376 336 176 540 340 60 304 520 460 244 364 412 16 412 500 532 528 372 208 300 500 128 340 40 224 488 560 112 204 496 32 520 40 520 208 80 364 324 308 216 176 188 208 56 248 272 68 56 104 24 280 12 12 204 292 392 352 400 60 276 316 312 508 504 180 128 364 332 156 164 204 124 144 20 148 232 12 240 240 580 80 20 256 332 540 308 340 144 88 120 152 88 72 188 228 228 16 256 132 40 268 12 572 160 300 124 64 104 48 72 88 168 128 212 56 176 316 516 228 84 132 44 40 120 420 332 68 192 80 28 528 292 336 20 272 192 296 64 264 296 240 368 400 120 496 20 484 536 4 212 20 80 120 284 244 244 316 332 48 152 412 160 48 172 100 156 192 132 176 164 204 280 84 496 252 188 144 208 232 176 160 172 136 220 240 192 24 184 28 152 380 144 208 156 100 316 328 340 372 328 52 260 12 212 188 80 408 68 324 24 376 28 172 160 56 340 300 400 252 144 380 324 120 268 84 36 208 400 168 48 80 292 392 40 8 48 148 232 308 348 192 408 372 48 252 120 284 136 164 192 364 124 148 436 36 148 124 380 124 540 500 192 248 396 500 356 84 292 52 296 152 296 84 124 96 236 284 248 40 248 232 204 80 88 96 76 44 40 256 500 500 228 268 20 396 332 376 440 100 208 136 188 212 96 40 40 244 92 292 316 16 316 128 80 196 4 204 44 336 344 16 176 96 300 24 536 476 24 188 352 140 20 324 256 40 68 488 156 72 328 196 88 364 156 176 92 176 8 4 252 560 48 100 372 344 516 196 148 204 124 116 332 24 44 292 56 128 356 252 332 332 540 132 208 60 80 324 92 196 352 292 64 480 336 296 44 204 36 188 272 112 180 168 20 152 160 216 48 60 72 48 444 88
2520.03/2364.82	v       </values>
2520.03/2364.82	v     </instantiation>
2520.03/2364.82	s SATISFIABLE

Verifier Data 

OK	377292294

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304428-1534086627/watcher-4304428-1534086627 -o /tmp/evaluation-result-4304428-1534086627/solver-4304428-1534086627 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534063459-27645 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=2048326200 -superng HOME/instance-4304428-1534086627.xml 

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

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

solver pid=31832, runsolver pid=31829

[startup+0.100136 s]*
/proc/loadavg: 1.89 1.76 1.69 3/208 31889
/proc/meminfo: memFree=25909200/32770624 swapFree=67108804/67108860
[pid=31832] ppid=31829 vsize=10005480 memory=17164 CPUtime=0.08 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31829 31832 27613 0 -1 1077944320 4425 13167 0 0 1 0 5 2 20 0 6 0 226225879 10245611520 4291 33554432000 4194304 4196468 140728125309088 140728125291632 139822098063095 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
/proc/31832/statm: 2501370 4291 1934 1 0 2489808 0
[pid=31832/tid=31885] ppid=31829 vsize=10005480 memory=4279135703980342926 CPUtime=0.08 cores=1,3,5,7
/proc/31832/task/31885/stat : 31885 (java) R 31829 31832 27613 0 -1 4202560 2227 13167 0 0 1 0 5 2 20 0 6 0 226225888 10245611520 4291 33554432000 4194304 4196468 140728125309088 139822069899856 139822082143582 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31886] ppid=31829 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31886/stat : 31886 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 6 0 226225889 10245611520 4291 33554432000 4194304 4196468 140728125309088 139822102305936 139822098073301 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31887] ppid=31829 vsize=10005480 memory=140019682285184 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31887/stat : 31887 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 6 0 226225889 10245611520 4291 33554432000 4194304 4196468 140728125309088 139821637774352 139822098073301 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31888] ppid=31829 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31888/stat : 31888 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 6 0 226225889 10245611520 4291 33554432000 4194304 4196468 140728125309088 139821636721552 139822098073301 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31889] ppid=31829 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31889/stat : 31889 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 6 0 226225889 10245611520 4291 33554432000 4194304 4196468 140728125309088 139821635668752 139822098073301 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17164 KiB

[startup+0.210041 s]*
/proc/loadavg: 1.89 1.76 1.69 3/217 31898
/proc/meminfo: memFree=25884512/32770624 swapFree=67108804/67108860
[pid=31832] ppid=31829 vsize=10982744 memory=45728 CPUtime=0.26 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31829 31832 27613 0 -1 1077944320 8172 13167 0 0 17 2 5 2 20 0 15 0 226225879 11246329856 11432 33554432000 4194304 4196468 140728125309088 140728125291632 139822098063095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
/proc/31832/statm: 2745686 11432 2965 1 0 2708109 0
[pid=31832/tid=31885] ppid=31829 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/31832/task/31885/stat : 31885 (java) R 31829 31832 27613 0 -1 4202560 4726 13167 0 0 11 1 5 2 20 0 15 0 226225888 11246329856 11432 33554432000 4194304 4196468 140728125309088 139822069887072 139822098085021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31886] ppid=31829 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31886/stat : 31886 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246329856 11432 33554432000 4194304 4196468 140728125309088 139822102305936 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31887] ppid=31829 vsize=10982744 memory=140019682285184 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31887/stat : 31887 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246329856 11432 33554432000 4194304 4196468 140728125309088 139821637774352 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31888] ppid=31829 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31888/stat : 31888 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246329856 11432 33554432000 4194304 4196468 140728125309088 139821636721552 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31889] ppid=31829 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31889/stat : 31889 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246329856 11432 33554432000 4194304 4196468 140728125309088 139821635668752 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31890] ppid=31829 vsize=10982744 memory=140019682285184 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31890/stat : 31890 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225891 11246329856 11432 33554432000 4194304 4196468 140728125309088 139821591091568 139822098074242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31891] ppid=31829 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31891/stat : 31891 (java) S 31829 31832 27613 0 -1 1077944384 13 13167 0 0 0 0 5 2 20 0 15 0 226225891 11246329856 11432 33554432000 4194304 4196468 140728125309088 139820915483680 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31892] ppid=31829 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31892/stat : 31892 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225891 11246329856 11432 33554432000 4194304 4196468 140728125309088 139820714156912 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31893] ppid=31829 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31893/stat : 31893 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246329856 11432 33554432000 4194304 4196468 140728125309088 139820406757200 139822098081691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31894] ppid=31829 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31894/stat : 31894 (java) S 31829 31832 27613 0 -1 1077944384 425 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246329856 11432 33554432000 4194304 4196468 140728125309088 139821590039408 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31895] ppid=31829 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31832/task/31895/stat : 31895 (java) S 31829 31832 27613 0 -1 1077944384 194 13167 0 0 1 0 5 2 20 0 15 0 226225894 11246329856 11432 33554432000 4194304 4196468 140728125309088 139821588986608 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31896] ppid=31829 vsize=10982744 memory=140019682285184 CPUtime=0.1 cores=1,3,5,7
/proc/31832/task/31896/stat : 31896 (java) R 31829 31832 27613 0 -1 4202560 603 13167 0 0 3 0 5 2 20 0 15 0 226225894 11246329856 11432 33554432000 4194304 4196468 140728125309088 139821587933808 139822077198566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31897] ppid=31829 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31897/stat : 31897 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246329856 11432 33554432000 4194304 4196468 140728125309088 139819975961312 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31898] ppid=31829 vsize=10982744 memory=140019682285184 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31898/stat : 31898 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246329856 11432 33554432000 4194304 4196468 140728125309088 139821519465136 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45728 KiB

[startup+0.310698 s]*
/proc/loadavg: 1.89 1.76 1.69 3/217 31898
/proc/meminfo: memFree=25872976/32770624 swapFree=67108804/67108860
[pid=31832] ppid=31829 vsize=10983192 memory=56428 CPUtime=0.37 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31829 31832 27613 0 -1 1077944320 10666 13167 0 0 28 2 5 2 20 0 15 0 226225879 11246788608 14107 33554432000 4194304 4196468 140728125309088 140728125291632 139822098063095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
/proc/31832/statm: 2745798 14107 3084 1 0 2708109 0
[pid=31832/tid=31885] ppid=31829 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/31832/task/31885/stat : 31885 (java) R 31829 31832 27613 0 -1 4202560 7212 13167 0 0 20 1 5 2 20 0 15 0 226225888 11246788608 14107 33554432000 4194304 4196468 140728125309088 139822069875104 139822082143582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31886] ppid=31829 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31886/stat : 31886 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246788608 14107 33554432000 4194304 4196468 140728125309088 139822102305936 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31887] ppid=31829 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31887/stat : 31887 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246788608 14107 33554432000 4194304 4196468 140728125309088 139821637774352 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31888] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31888/stat : 31888 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246788608 14107 33554432000 4194304 4196468 140728125309088 139821636721552 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31889] ppid=31829 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31889/stat : 31889 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246788608 14107 33554432000 4194304 4196468 140728125309088 139821635668752 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31890] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31890/stat : 31890 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225891 11246788608 14107 33554432000 4194304 4196468 140728125309088 139821591091568 139822098074242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31891] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31891/stat : 31891 (java) S 31829 31832 27613 0 -1 1077944384 13 13167 0 0 0 0 5 2 20 0 15 0 226225891 11246788608 14107 33554432000 4194304 4196468 140728125309088 139820915483680 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31892] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31892/stat : 31892 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225891 11246788608 14107 33554432000 4194304 4196468 140728125309088 139820714156912 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31893] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31893/stat : 31893 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246788608 14107 33554432000 4194304 4196468 140728125309088 139820406757200 139822098081691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31894] ppid=31829 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31832/task/31894/stat : 31894 (java) S 31829 31832 27613 0 -1 1077944384 427 13167 0 0 1 0 5 2 20 0 15 0 226225894 11246788608 14107 33554432000 4194304 4196468 140728125309088 139821590039408 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31895] ppid=31829 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31832/task/31895/stat : 31895 (java) S 31829 31832 27613 0 -1 1077944384 194 13167 0 0 1 0 5 2 20 0 15 0 226225894 11246788608 14107 33554432000 4194304 4196468 140728125309088 139821588986608 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31896] ppid=31829 vsize=10983192 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/31832/task/31896/stat : 31896 (java) S 31829 31832 27613 0 -1 1077944384 609 13167 0 0 4 0 5 2 20 0 15 0 226225894 11246788608 14107 33554432000 4194304 4196468 140728125309088 139821587933808 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31897] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31897/stat : 31897 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246788608 14107 33554432000 4194304 4196468 140728125309088 139819975961312 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31898] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31898/stat : 31898 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246788608 14107 33554432000 4194304 4196468 140728125309088 139821519465136 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56428 KiB

[startup+0.700735 s]
/proc/loadavg: 1.89 1.76 1.69 4/217 31898
/proc/meminfo: memFree=25861936/32770624 swapFree=67108804/67108860
[pid=31832] ppid=31829 vsize=10983192 memory=88632 CPUtime=0.98 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31829 31832 27613 0 -1 1077944320 16760 13167 0 0 87 4 5 2 20 0 15 0 226225879 11246788608 22158 33554432000 4194304 4196468 140728125309088 140728125291632 139822098063095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
/proc/31832/statm: 2745798 22158 3234 1 0 2708109 0
[pid=31832/tid=31885] ppid=31829 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/31832/task/31885/stat : 31885 (java) R 31829 31832 27613 0 -1 4202560 12253 13167 0 0 56 3 5 2 20 0 15 0 226225888 11246788608 22158 33554432000 4194304 4196468 140728125309088 139822069883920 139822081249904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31886] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31886/stat : 31886 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246788608 22158 33554432000 4194304 4196468 140728125309088 139822102305936 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31887] ppid=31829 vsize=10983192 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31887/stat : 31887 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246788608 22158 33554432000 4194304 4196468 140728125309088 139821637774352 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31888] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31888/stat : 31888 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246788608 22158 33554432000 4194304 4196468 140728125309088 139821636721552 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31889] ppid=31829 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31889/stat : 31889 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225889 11246788608 22158 33554432000 4194304 4196468 140728125309088 139821635668752 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31890] ppid=31829 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31890/stat : 31890 (java) S 31829 31832 27613 0 -1 1077944384 5 13167 0 0 0 0 5 2 20 0 15 0 226225891 11246788608 22158 33554432000 4194304 4196468 140728125309088 139821591091568 139822098074242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31891] ppid=31829 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31891/stat : 31891 (java) S 31829 31832 27613 0 -1 1077944384 13 13167 0 0 0 0 5 2 20 0 15 0 226225891 11246788608 22158 33554432000 4194304 4196468 140728125309088 139820915483680 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31892] ppid=31829 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31892/stat : 31892 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225891 11246788608 22158 33554432000 4194304 4196468 140728125309088 139820714156912 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31893] ppid=31829 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31893/stat : 31893 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246788608 22158 33554432000 4194304 4196468 140728125309088 139820406757200 139822098081691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31894] ppid=31829 vsize=10983192 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/31832/task/31894/stat : 31894 (java) S 31829 31832 27613 0 -1 1077944384 1066 13167 0 0 9 0 5 2 20 0 15 0 226225894 11246788608 22158 33554432000 4194304 4196468 140728125309088 139821590039408 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31895] ppid=31829 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/31832/task/31895/stat : 31895 (java) S 31829 31832 27613 0 -1 1077944384 555 13167 0 0 7 0 5 2 20 0 15 0 226225894 11246788608 22158 33554432000 4194304 4196468 140728125309088 139821588986608 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31896] ppid=31829 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/31832/task/31896/stat : 31896 (java) S 31829 31832 27613 0 -1 1077944384 658 13167 0 0 13 0 5 2 20 0 15 0 226225894 11246788608 22158 33554432000 4194304 4196468 140728125309088 139821587933808 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31897] ppid=31829 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31897/stat : 31897 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246788608 22158 33554432000 4194304 4196468 140728125309088 139819975961312 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31898] ppid=31829 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31898/stat : 31898 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225894 11246788608 22158 33554432000 4194304 4196468 140728125309088 139821519465136 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88632 KiB

[startup+1.50144 s]
/proc/loadavg: 1.89 1.76 1.69 4/217 31898
/proc/meminfo: memFree=25815852/32770624 swapFree=67108804/67108860
[pid=31832] ppid=31829 vsize=10991948 memory=317412 CPUtime=3 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31829 31832 27613 0 -1 1077944320 22914 13167 0 0 270 23 5 2 20 0 15 0 226225879 11255754752 79353 33554432000 4194304 4196468 140728125309088 140728125291632 139822098063095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
/proc/31832/statm: 2747987 79353 3471 1 0 2709645 0
[pid=31832/tid=31885] ppid=31829 vsize=10991948 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/31832/task/31885/stat : 31885 (java) S 31829 31832 27613 0 -1 1077944384 14933 13167 0 0 125 8 5 2 20 0 15 0 226225888 11255754752 79353 33554432000 4194304 4196468 140728125309088 139822069892400 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31886] ppid=31829 vsize=10991948 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31832/task/31886/stat : 31886 (java) S 31829 31832 27613 0 -1 1077944384 100 13167 0 0 2 3 5 2 20 0 15 0 226225889 11255754752 79353 33554432000 4194304 4196468 140728125309088 139822102305936 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31887] ppid=31829 vsize=10991948 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31832/task/31887/stat : 31887 (java) S 31829 31832 27613 0 -1 1077944384 125 13167 0 0 2 3 5 2 20 0 15 0 226225889 11255754752 79353 33554432000 4194304 4196468 140728125309088 139821637774352 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31888] ppid=31829 vsize=10991948 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31832/task/31888/stat : 31888 (java) S 31829 31832 27613 0 -1 1077944384 61 13167 0 0 2 3 5 2 20 0 15 0 226225889 11255754752 79353 33554432000 4194304 4196468 140728125309088 139821636721552 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31889] ppid=31829 vsize=10991948 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31832/task/31889/stat : 31889 (java) S 31829 31832 27613 0 -1 1077944384 366 13167 0 0 2 3 5 2 20 0 15 0 226225889 11255754752 79353 33554432000 4194304 4196468 140728125309088 139821635668752 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31890] ppid=31829 vsize=10991948 memory=1399103955520229747 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31890/stat : 31890 (java) R 31829 31832 27613 0 -1 4202560 95 13167 0 0 0 0 5 2 20 0 15 0 226225891 11255754752 79353 33554432000 4194304 4196468 140728125309088 139821591091568 139822098075030 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31891] ppid=31829 vsize=10991948 memory=280039115532544 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31891/stat : 31891 (java) S 31829 31832 27613 0 -1 1077944384 16 13167 0 0 0 0 5 2 20 0 15 0 226225891 11255754752 79353 33554432000 4194304 4196468 140728125309088 139820915483680 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31892] ppid=31829 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31892/stat : 31892 (java) S 31829 31832 27613 0 -1 1077944384 2 13167 0 0 0 0 5 2 20 0 15 0 226225891 11255754752 79353 33554432000 4194304 4196468 140728125309088 139820714156912 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31893] ppid=31829 vsize=10991948 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31893/stat : 31893 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11255754752 79353 33554432000 4194304 4196468 140728125309088 139820406757200 139822098081691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31894] ppid=31829 vsize=10991948 memory=1600 CPUtime=0.55 cores=1,3,5,7
/proc/31832/task/31894/stat : 31894 (java) R 31829 31832 27613 0 -1 4202560 1582 13167 0 0 48 0 5 2 20 0 15 0 226225894 11255754752 79353 33554432000 4194304 4196468 140728125309088 139821590035776 139822082022800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31895] ppid=31829 vsize=10991948 memory=7952 CPUtime=0.56 cores=1,3,5,7
/proc/31832/task/31895/stat : 31895 (java) S 31829 31832 27613 0 -1 1077944384 2173 13167 0 0 49 0 5 2 20 0 15 0 226225894 11255754752 79377 33554432000 4194304 4196468 140728125309088 139821588985008 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31896] ppid=31829 vsize=10991948 memory=4088 CPUtime=0.44 cores=1,3,5,7
/proc/31832/task/31896/stat : 31896 (java) R 31829 31832 27613 0 -1 4202560 1265 13167 0 0 37 0 5 2 20 0 15 0 226225894 11255754752 79377 33554432000 4194304 4196468 140728125309088 139821587931600 139822091159971 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31897] ppid=31829 vsize=10991948 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31897/stat : 31897 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11255754752 79377 33554432000 4194304 4196468 140728125309088 139819975961312 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31898] ppid=31829 vsize=10991948 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31898/stat : 31898 (java) S 31829 31832 27613 0 -1 1077944384 1 13167 0 0 0 0 5 2 20 0 15 0 226225894 11255754752 79377 33554432000 4194304 4196468 140728125309088 139821519465136 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 10991948 KiB

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

/proc/31832/task/31885/stat : 31885 (java) R 31829 31832 27613 0 -1 4202560 294548 13167 0 0 215782 73 5 2 20 0 15 0 226225888 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139822069897760 139821681532749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31886] ppid=31829 vsize=11016544 memory=5468152 CPUtime=42.45 cores=1,3,5,7
/proc/31832/task/31886/stat : 31886 (java) S 31829 31832 27613 0 -1 1077944384 52347 13167 0 0 4150 88 5 2 20 0 15 0 226225889 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139822102305936 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31887] ppid=31829 vsize=11016544 memory=14872 CPUtime=42.41 cores=1,3,5,7
/proc/31832/task/31887/stat : 31887 (java) S 31829 31832 27613 0 -1 1077944384 50950 13167 0 0 4152 82 5 2 20 0 15 0 226225889 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139821637774352 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31888] ppid=31829 vsize=11016544 memory=5468152 CPUtime=42.38 cores=1,3,5,7
/proc/31832/task/31888/stat : 31888 (java) S 31829 31832 27613 0 -1 1077944384 48074 13167 0 0 4145 86 5 2 20 0 15 0 226225889 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139821636721552 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31889] ppid=31829 vsize=11016544 memory=5468140 CPUtime=42.46 cores=1,3,5,7
/proc/31832/task/31889/stat : 31889 (java) S 31829 31832 27613 0 -1 1077944384 53860 13167 0 0 4152 87 5 2 20 0 15 0 226225889 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139821635668752 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31890] ppid=31829 vsize=11016544 memory=5468152 CPUtime=1.07 cores=1,3,5,7
/proc/31832/task/31890/stat : 31890 (java) S 31829 31832 27613 0 -1 1077944384 72134 13167 0 0 89 11 5 2 20 0 15 0 226225891 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139821591091568 139822098074242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31891] ppid=31829 vsize=11016544 memory=5468152 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31891/stat : 31891 (java) S 31829 31832 27613 0 -1 1077944384 23 13167 0 0 0 0 5 2 20 0 15 0 226225891 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139820915483744 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31892] ppid=31829 vsize=11016544 memory=5468152 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31892/stat : 31892 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225891 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139820714156928 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31893] ppid=31829 vsize=11016544 memory=280039116210576 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31893/stat : 31893 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139820406757200 139822098081691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31894] ppid=31829 vsize=11016544 memory=5468152 CPUtime=10.96 cores=1,3,5,7
/proc/31832/task/31894/stat : 31894 (java) S 31829 31832 27613 0 -1 1077944384 85564 13167 0 0 1081 8 5 2 20 0 15 0 226225894 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139821590039408 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31895] ppid=31829 vsize=11016544 memory=276977475987695 CPUtime=11.58 cores=1,3,5,7
/proc/31832/task/31895/stat : 31895 (java) S 31829 31832 27613 0 -1 1077944384 96004 13167 0 0 1143 8 5 2 20 0 15 0 226225894 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139821588986608 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31896] ppid=31829 vsize=11016544 memory=5468140 CPUtime=3.58 cores=1,3,5,7
/proc/31832/task/31896/stat : 31896 (java) S 31829 31832 27613 0 -1 1077944384 64312 13167 0 0 342 9 5 2 20 0 15 0 226225894 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139821587933808 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31897] ppid=31829 vsize=11016544 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31897/stat : 31897 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139819975961312 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31898] ppid=31829 vsize=11016544 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/31832/task/31898/stat : 31898 (java) S 31829 31832 27613 0 -1 1077944384 3199 13167 0 0 66 66 5 2 20 0 15 0 226225894 11280941056 1367038 33554432000 4194304 4196468 140728125309088 139821519465136 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
Current children cumulated CPU time: 2356.37 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 5468152 KiB

[startup+2262.3 s]
/proc/loadavg: 2.26 1.97 1.93 3/215 32116
/proc/meminfo: memFree=17066948/32770624 swapFree=67108804/67108860
[pid=31832] ppid=31829 vsize=11016544 memory=5468164 CPUtime=2416.81 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31829 31832 27613 0 -1 1077944320 843881 13167 0 0 241165 509 5 2 20 0 15 0 226225879 11280941056 1367041 33554432000 4194304 4196468 140728125309088 140728125291632 139822098063095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
/proc/31832/statm: 2754136 1367041 3539 1 0 2715789 0
[pid=31832/tid=31885] ppid=31829 vsize=11016544 memory=6791534058613427641 CPUtime=2218.49 cores=1,3,5,7
/proc/31832/task/31885/stat : 31885 (java) R 31829 31832 27613 0 -1 4202560 302383 13167 0 0 221767 75 5 2 20 0 15 0 226225888 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139822069898272 139821692005568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31886] ppid=31829 vsize=11016544 memory=5468164 CPUtime=42.57 cores=1,3,5,7
/proc/31832/task/31886/stat : 31886 (java) S 31829 31832 27613 0 -1 1077944384 55660 13167 0 0 4162 88 5 2 20 0 15 0 226225889 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139822102305936 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31887] ppid=31829 vsize=11016544 memory=5468156 CPUtime=42.54 cores=1,3,5,7
/proc/31832/task/31887/stat : 31887 (java) S 31829 31832 27613 0 -1 1077944384 52628 13167 0 0 4164 83 5 2 20 0 15 0 226225889 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821637774352 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31888] ppid=31829 vsize=11016544 memory=5468156 CPUtime=42.5 cores=1,3,5,7
/proc/31832/task/31888/stat : 31888 (java) S 31829 31832 27613 0 -1 1077944384 49589 13167 0 0 4157 86 5 2 20 0 15 0 226225889 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821636721552 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31889] ppid=31829 vsize=11016544 memory=5468164 CPUtime=42.58 cores=1,3,5,7
/proc/31832/task/31889/stat : 31889 (java) S 31829 31832 27613 0 -1 1077944384 54897 13167 0 0 4163 88 5 2 20 0 15 0 226225889 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821635668752 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31890] ppid=31829 vsize=11016544 memory=5468164 CPUtime=1.08 cores=1,3,5,7
/proc/31832/task/31890/stat : 31890 (java) S 31829 31832 27613 0 -1 1077944384 72722 13167 0 0 90 11 5 2 20 0 15 0 226225891 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821591091568 139822098074242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31891] ppid=31829 vsize=11016544 memory=5468156 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31891/stat : 31891 (java) S 31829 31832 27613 0 -1 1077944384 23 13167 0 0 0 0 5 2 20 0 15 0 226225891 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139820915483744 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31892] ppid=31829 vsize=11016544 memory=5468156 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31892/stat : 31892 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225891 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139820714156928 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31893] ppid=31829 vsize=11016544 memory=5468164 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31893/stat : 31893 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139820406757200 139822098081691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31894] ppid=31829 vsize=11016544 memory=5468164 CPUtime=10.96 cores=1,3,5,7
/proc/31832/task/31894/stat : 31894 (java) S 31829 31832 27613 0 -1 1077944384 86332 13167 0 0 1081 8 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821590039408 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31895] ppid=31829 vsize=11016544 memory=5468164 CPUtime=11.61 cores=1,3,5,7
/proc/31832/task/31895/stat : 31895 (java) S 31829 31832 27613 0 -1 1077944384 98426 13167 0 0 1145 9 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821588986608 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31896] ppid=31829 vsize=11016544 memory=5468164 CPUtime=3.59 cores=1,3,5,7
/proc/31832/task/31896/stat : 31896 (java) S 31829 31832 27613 0 -1 1077944384 65701 13167 0 0 343 9 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821587933808 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31897] ppid=31829 vsize=11016544 memory=5468164 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31897/stat : 31897 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139819975961312 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31898] ppid=31829 vsize=11016544 memory=3708 CPUtime=1.42 cores=1,3,5,7
/proc/31832/task/31898/stat : 31898 (java) S 31829 31832 27613 0 -1 1077944384 3316 13167 0 0 67 68 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821519465136 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
Current children cumulated CPU time: 2416.81 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 5468164 KiB

[startup+2322.3 s]
/proc/loadavg: 1.83 1.91 1.91 3/215 32117
/proc/meminfo: memFree=17058496/32770624 swapFree=67108804/67108860
[pid=31832] ppid=31829 vsize=11016544 memory=5468164 CPUtime=2477.21 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31829 31832 27613 0 -1 1077944320 858153 13167 0 0 247202 512 5 2 20 0 15 0 226225879 11280941056 1367041 33554432000 4194304 4196468 140728125309088 140728125291632 139822098063095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
/proc/31832/statm: 2754136 1367041 3539 1 0 2715789 0
[pid=31832/tid=31885] ppid=31829 vsize=11016544 memory=5468160 CPUtime=2278.37 cores=1,3,5,7
/proc/31832/task/31885/stat : 31885 (java) R 31829 31832 27613 0 -1 4202560 309799 13167 0 0 227754 76 5 2 20 0 15 0 226225888 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139822069898064 139821692874723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31886] ppid=31829 vsize=11016544 memory=5468164 CPUtime=42.67 cores=1,3,5,7
/proc/31832/task/31886/stat : 31886 (java) S 31829 31832 27613 0 -1 1077944384 56113 13167 0 0 4172 88 5 2 20 0 15 0 226225889 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139822102305936 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31887] ppid=31829 vsize=11016544 memory=5468164 CPUtime=42.64 cores=1,3,5,7
/proc/31832/task/31887/stat : 31887 (java) S 31829 31832 27613 0 -1 1077944384 54996 13167 0 0 4174 83 5 2 20 0 15 0 226225889 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821637774352 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31888] ppid=31829 vsize=11016544 memory=5468164 CPUtime=42.61 cores=1,3,5,7
/proc/31832/task/31888/stat : 31888 (java) S 31829 31832 27613 0 -1 1077944384 50500 13167 0 0 4168 86 5 2 20 0 15 0 226225889 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821636721552 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31889] ppid=31829 vsize=11016544 memory=5468164 CPUtime=42.69 cores=1,3,5,7
/proc/31832/task/31889/stat : 31889 (java) S 31829 31832 27613 0 -1 1077944384 55607 13167 0 0 4174 88 5 2 20 0 15 0 226225889 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821635668752 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31890] ppid=31829 vsize=11016544 memory=5468164 CPUtime=1.09 cores=1,3,5,7
/proc/31832/task/31890/stat : 31890 (java) S 31829 31832 27613 0 -1 1077944384 73051 13167 0 0 91 11 5 2 20 0 15 0 226225891 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821591091568 139822098074242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31891] ppid=31829 vsize=11016544 memory=5468164 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31891/stat : 31891 (java) S 31829 31832 27613 0 -1 1077944384 23 13167 0 0 0 0 5 2 20 0 15 0 226225891 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139820915483744 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31892] ppid=31829 vsize=11016544 memory=97 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31892/stat : 31892 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225891 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139820714156928 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31893] ppid=31829 vsize=11016544 memory=280039116185216 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31893/stat : 31893 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139820406757200 139822098081691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31894] ppid=31829 vsize=11016544 memory=5468164 CPUtime=10.99 cores=1,3,5,7
/proc/31832/task/31894/stat : 31894 (java) S 31829 31832 27613 0 -1 1077944384 87939 13167 0 0 1083 9 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821590039408 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31895] ppid=31829 vsize=11016544 memory=5468164 CPUtime=11.62 cores=1,3,5,7
/proc/31832/task/31895/stat : 31895 (java) S 31829 31832 27613 0 -1 1077944384 98722 13167 0 0 1146 9 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821588986608 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31896] ppid=31829 vsize=11016544 memory=5468164 CPUtime=3.59 cores=1,3,5,7
/proc/31832/task/31896/stat : 31896 (java) S 31829 31832 27613 0 -1 1077944384 65774 13167 0 0 343 9 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821587933808 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31897] ppid=31829 vsize=11016544 memory=1736 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31897/stat : 31897 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139819975961312 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31898] ppid=31829 vsize=11016544 memory=5468164 CPUtime=1.46 cores=1,3,5,7
/proc/31832/task/31898/stat : 31898 (java) S 31829 31832 27613 0 -1 1077944384 3425 13167 0 0 69 70 5 2 20 0 15 0 226225894 11280941056 1367041 33554432000 4194304 4196468 140728125309088 139821519465136 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
Current children cumulated CPU time: 2477.21 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 5468164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2364.8 s]
/proc/loadavg: 1.91 1.93 1.92 3/215 32117
/proc/meminfo: memFree=16961116/32770624 swapFree=67108804/67108860
[pid=31832] ppid=31829 vsize=11016544 memory=5468172 CPUtime=2520.03 cores=1,3,5,7
/proc/31832/stat : 31832 (java) S 31829 31832 27613 0 -1 1077944320 866948 13167 0 0 251482 514 5 2 20 0 15 0 226225879 11280941056 1367043 33554432000 4194304 4196468 140728125309088 140728125291632 139822098063095 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
/proc/31832/statm: 2754136 1367043 3539 1 0 2715789 0
[pid=31832/tid=31885] ppid=31829 vsize=11016544 memory=2080 CPUtime=2320.78 cores=1,3,5,7
/proc/31832/task/31885/stat : 31885 (java) R 31829 31832 27613 0 -1 4202560 313301 13167 0 0 231995 76 5 2 20 0 15 0 226225888 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139822069898464 139821669280032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31886] ppid=31829 vsize=11016544 memory=1036 CPUtime=42.76 cores=1,3,5,7
/proc/31832/task/31886/stat : 31886 (java) S 31829 31832 27613 0 -1 1077944384 56304 13167 0 0 4181 88 5 2 20 0 15 0 226225889 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139822102305936 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31887] ppid=31829 vsize=11016544 memory=1736 CPUtime=42.73 cores=1,3,5,7
/proc/31832/task/31887/stat : 31887 (java) S 31829 31832 27613 0 -1 1077944384 55200 13167 0 0 4183 83 5 2 20 0 15 0 226225889 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139821637774352 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31888] ppid=31829 vsize=11016544 memory=752 CPUtime=42.7 cores=1,3,5,7
/proc/31832/task/31888/stat : 31888 (java) S 31829 31832 27613 0 -1 1077944384 50701 13167 0 0 4177 86 5 2 20 0 15 0 226225889 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139821636721552 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31889] ppid=31829 vsize=11016544 memory=836 CPUtime=42.78 cores=1,3,5,7
/proc/31832/task/31889/stat : 31889 (java) S 31829 31832 27613 0 -1 1077944384 55809 13167 0 0 4183 88 5 2 20 0 15 0 226225889 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139821635668752 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31890] ppid=31829 vsize=11016544 memory=5468168 CPUtime=1.09 cores=1,3,5,7
/proc/31832/task/31890/stat : 31890 (java) S 31829 31832 27613 0 -1 1077944384 73069 13167 0 0 91 11 5 2 20 0 15 0 226225891 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139821591091568 139822098074242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31891] ppid=31829 vsize=11016544 memory=3272 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31891/stat : 31891 (java) S 31829 31832 27613 0 -1 1077944384 23 13167 0 0 0 0 5 2 20 0 15 0 226225891 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139820915483744 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31892] ppid=31829 vsize=11016544 memory=5468168 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31892/stat : 31892 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225891 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139820714156928 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31893] ppid=31829 vsize=11016544 memory=61540 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31893/stat : 31893 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139820406757200 139822098081691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31894] ppid=31829 vsize=11016544 memory=5468168 CPUtime=11 cores=1,3,5,7
/proc/31832/task/31894/stat : 31894 (java) S 31829 31832 27613 0 -1 1077944384 90272 13167 0 0 1084 9 5 2 20 0 15 0 226225894 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139821590039408 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31895] ppid=31829 vsize=11016544 memory=1084 CPUtime=11.63 cores=1,3,5,7
/proc/31832/task/31895/stat : 31895 (java) S 31829 31832 27613 0 -1 1077944384 99520 13167 0 0 1147 9 5 2 20 0 15 0 226225894 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139821588986608 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31896] ppid=31829 vsize=11016544 memory=1600 CPUtime=3.6 cores=1,3,5,7
/proc/31832/task/31896/stat : 31896 (java) S 31829 31832 27613 0 -1 1077944384 67113 13167 0 0 344 9 5 2 20 0 15 0 226225894 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139821587933808 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31897] ppid=31829 vsize=11016544 memory=5468168 CPUtime=0.07 cores=1,3,5,7
/proc/31832/task/31897/stat : 31897 (java) S 31829 31832 27613 0 -1 1077944384 3 13167 0 0 0 0 5 2 20 0 15 0 226225894 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139819975961312 139822098073301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
[pid=31832/tid=31898] ppid=31829 vsize=11016544 memory=1168 CPUtime=1.49 cores=1,3,5,7
/proc/31832/task/31898/stat : 31898 (java) S 31829 31832 27613 0 -1 1077944384 3432 13167 0 0 70 72 5 2 20 0 15 0 226225894 11280941056 1367043 33554432000 4194304 4196468 140728125309088 139821519465136 139822098074242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38309888 140728125311587 140728125314396 140728125314396 140728125317071 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 5468172 KiB

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

[startup+2364.85 s]
# the end of solver process 31832 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.9 s, system=5.21088 s

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

Child status: 143
Real time (s): 2364.85
CPU time (s): 2520.11
CPU user time (s): 2514.9
CPU system time (s): 5.21088
CPU usage (%): 106.565
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 5473776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.9
system time used= 5.21088
maximum resident set size= 5473780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 882451
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71575
involuntary context switches= 2754


# summary of solver processes directly reported to runsolver:
#   pid: 31832
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2514.9
#   total CPU system time (s): 5.21088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8858 second user time and 22.037 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-12 17:10:27
IDJOB=4304428
IDBENCH=141262
IDSOLVER=2781
FILE ID=node105/4304428-1534086627
RUNJOBID= node105-1534063459-27645
PBS_JOBID= 21036987
Free space on /tmp= 40860 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304428-1534086627/watcher-4304428-1534086627 -o /tmp/evaluation-result-4304428-1534086627/solver-4304428-1534086627 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534063459-27645 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=2048326200 -superng HOME/instance-4304428-1534086627.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=2048326200

node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
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:        25914924 kB
MemAvailable:   29369096 kB
Buffers:          140148 kB
Cached:          3570864 kB
SwapCached:           16 kB
Active:          4440432 kB
Inactive:        1855184 kB
Active(anon):    2536496 kB
Inactive(anon):   100480 kB
Active(file):    1903936 kB
Inactive(file):  1754704 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:            117316 kB
Writeback:             0 kB
AnonPages:       2667080 kB
Mapped:            63832 kB
Shmem:             49748 kB
Slab:             250680 kB
SReclaimable:     222732 kB
SUnreclaim:        27948 kB
KernelStack:        3760 kB
PageTables:        10264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4330640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2336768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 40564 MiB
End job on node105 at 2018-08-12 17:49:52