Trace number 4304427

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)375673011 2520.11 2469.17

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.9.2.1532736233296 running
80.51/54.30	o 375691411
80.97/54.64	o 375673011
2520.03/2469.12	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2469.12		at concrete.MAC.mac(MAC.scala:188)
2520.03/2469.12		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2469.12		at scala.util.Try$.apply(Try.scala:209)
2520.03/2469.12		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2469.12		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2469.12		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2469.12		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2469.12		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2469.12		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2469.12		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2469.12		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2469.12		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2469.12		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2469.12		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2469.12		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2469.12		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2469.12		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2469.12		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2469.12		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2469.12		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2469.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2469.12		at scala.util.Success.map(Try.scala:209)
2520.03/2469.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2469.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2469.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2469.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2469.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2469.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2469.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2469.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2469.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2469.12		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2469.12		at scala.App.main(App.scala:76)
2520.03/2469.12		at scala.App.main$(App.scala:74)
2520.03/2469.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2469.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2469.14	v <instantiation cost="375673011">
2520.03/2469.14	v       <list>
2520.03/2469.14	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/2469.14	v       </list>
2520.03/2469.14	v       <values>
2520.03/2469.14	v         2468 2232 2224 2760 2508 2544 2664 2820 2420 2252 2720 2760 2220 2652 2532 2260 2628 2404 2592 2440 2436 2720 2468 2584 2752 2760 2612 2800 2592 2760 2796 2760 2760 2304 2476 2776 2680 2236 2652 2628 2800 2476 2780 2436 2584 2480 2492 2276 2260 2632 2236 2776 2780 2236 2260 2428 2428 2680 2544 2488 2276 2544 2420 2520 2464 2772 2720 2392 2452 2800 2672 2816 2468 2412 2720 2244 2404 2772 2428 2548 2516 2788 2344 2428 2476 2820 2820 2760 2760 2392 2720 2780 2780 2272 2616 2432 2776 2400 2412 2632 2736 2432 2680 2544 2552 2476 2220 2292 2720 2704 2380 2584 2444 2224 2792 2256 2252 2760 2800 2572 2528 2672 2544 2264 2640 2284 2236 2820 2260 2292 2532 2516 2420 2632 2468 2220 2444 2760 2264 2220 2720 2220 2584 2452 2780 2428 2680 2296 2820 2264 2800 2380 2492 2792 2220 2632 2816 2800 2820 2816 2780 2504 2468 2632 2720 2584 2776 2440 2460 2220 2740 2380 2780 2680 2652 2560 2420 2584 2424 2800 2416 2428 2820 2632 2664 2404 2808 2240 2276 2464 2392 2508 2668 2760 2720 2420 2364 2720 2752 2656 2672 2220 2532 2476 2820 2720 2304 2812 2780 2260 2260 2612 2220 2624 2756 2280 2632 2768 2812 2680 2612 2468 2672 2760 2260 2512 2592 2544 2616 2468 2260 2380 2656 2800 2680 2748 2532 2492 2428 2428 2376 2760 2380 2516 2432 2640 2420 2492 2800 2760 2420 2532 2760 2260 2380 2468 2668 2276 2468 2780 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 1 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 11 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 1 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 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 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 9 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 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 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 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 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 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 10 0 0 0 0 0 0 10 10 10 0 0 10 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 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 6 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 9 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 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 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 1 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 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 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 8 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 292 164 208 204 292 76 252 148 236 24 104 88 248 344 292 540 168 312 560 296 12 588 548 432 44 488 48 312 200 408 568 596 196 216 456 296 180 204 360 60 200 524 556 540 520 380 16 272 248 80 252 272 80 244 284 312 172 252 84 36 308 176 68 272 232 136 320 216 12 176 136 112 216 112 168 112 52 76 76 244 404 12 184 108 56 232 236 404 172 192 340 400 100 0 392 456 444 164 208 184 184 340 184 28 336 236 380 508 376 520 92 300 32 452 420 12 280 168 468 540 32 428 32 176 80 284 52 80 292 276 80 304 88 244 460 40 80 40 444 252 176 88 292 516 380 40 60 268 228 432 540 552 540 500 500 364 248 580 600 220 144 404 272 108 148 416 220 124 416 136 356 192 168 376 100 176 12 148 28 68 92 228 152 152 248 180 228 284 512 560 12 184 168 36 120 460 204 216 352 356 160 200 172 224 152 136 212 40 368 132 196 132 84 356 132 168 112 108 248 228 60 408 376 208 24 156 40 80 8 140 88 228 40 80 80 80 168 320 356 204 76 380 8 264 232 204 240 360 60 192 48 172 28 64 148 200 0 300 172 284 356 196 284 40 284 56 56 80 228 292 40 496 260 80 340 164 312 4 224 80 252 48 248 352 204 332 308 292 176 148 92 132 188 240 236 312 120 192 224 192 76 304 204 116 124 316 48 64 340 40 220 332 532 168 192 68 120 240 48 260 16 340 368 308 332 128 80 536 88 500 60 268 244 228 168 184 160 136 168 320 144 128 352 136 40 40 324 372 80 80 368 544 256 168 80 420 360 120 144 40 268 36 164 88 172 128 140 228 80 456 80 272 12 40 328 208 216 540 60 176 20 340 36 560 252 320 540 544 236 520 536 328 416 420 376 216 16 292 464 92 340 324 484 128 292 176 308 300 60 500 144 80 332 472 172 164 456 268 368 164 516 240 212 456 164 152 216 48 48 304 224 284 192 336 100 4 516 4 40 484 308 16 16 136 100 428 384 16 24 8 404 192 536 500 208 48 192 348 444 192 428 572 16 16 144 196 256 544 376 120 272 184 168 168 156 68 116 60 4 28 392 44 44 216 196 44 192 248 388 16 36 172 172 40 388 80 184 80 268 24 60 380 168 580 44 40 420 40 4 64 72 284 256 344 272 16 192 148 388 76 516 40 100 220 28 124 32 268 100 352 108 44 112 32 304 372 232 324 376 324 104 188 132 236 136 140 324 136 216 76 40 172 116 204 52 240 336 240 52 68 64 280 340 144 32 60 320 140 4 72 88 280 328 272 72 16 320 180 124 24 148 40 212 4 192 404 20 216 376 284 140 152 36 116 336 512 528 500 540 380 392 160 216 496 204 48 0 192 252 148 176 188 180 168 128 356 544 164 208 556 524 16 580 544 268 232 348 168 40 420 524 184 288 348 44 504 396 192 480 24 312 384 164 104 160 120 244 516 396 100 348 196 28 40 252 40 168 584 444 444 60 556 416 4 228 156 376 500 272 256 420 208 116 244 16 0 16 204 392 388 240 292 64 124 332 352 16 344 88 392 40 204 208 224 36 392 48 8 260 164 40 40 100 460 120 420 136 300 404 272 216 164 96 12 88 176 52 124 176 268 284 324 268 112 124 284 76 232 144 248 44 192 192 164 248 24 228 124 128 188 540 56 12 540 104 284 504 152 484 192 124 144 68 96 324 40 304 36 176 128 136 124 352 132 128 156 380 72 400 200 400 360 204 8 380 32 64 24 284 300 112 300 296 300 140 300 232 104 12 100 28 244 220 296 312 200 172 68 168 356 200 224 72 68 216 284 296 516 12 228 8 344 28 512 80 60 88 16 80 252 456 212 356 32 176 300 20 100 408 108 192 408 76 272 28 88 132 12 40 108 268 228 0 368 232 324 12 72 180 232 16 24 308 176 252 24 388 272 216 580 0 176 132 204 156 8 204 376 104 8 280 140 412 4 96 184 556 40 436 576 136 304 388 300 56 116 184 40 52 40 292 172 332 168 16 12 120 348 192 8 340 268 260 348 348 376 16 40 100 356 188 100 108 340 64 188 228 80 516 576 576 388 532 36 176 288 516 148 72 120 416 276 264 252 184 364 24 88 228 548 28 132 256 32 52 408 304 228 512 116 332 136 332 116 204 156 392 36 244 340 40 40 68 228 124 80 272 56 44 88 120 36 288 100 104 64 88 264 164 240 88 84 116 412 476 72 60 108 124 100 48 80 104 120 408 268 392 332 252 104 88 40 204 168 244 52 40 44 164 284 244 336 36 16 0 548 584 100 140 524 580 356 100 100 68 208 400 584 600 140 524 580 428 312 148 208 204 400 20 20 128 108 396 4 176 244 176 20 176 320 20 336 344 484 500 4 332 268 500 368 124 240 400 68 132 140 140 16 80 88 40 348 60 336 252 312 560 40 20 376 168 352 520 488 20 60 516 60 264 172 24 168 108 408 380 192 120 340 344 160 392 144 56 24 56 204 164 396 236 12 176 96 212 368 348 28 128 152 60 96 520 524 556 324 144 556 36 56 232 396 44 144 128 416 380 104 20 4 256 96 212 120 20 120 132 408 220 40 408 192 260 400 268 152 56 48 160 412 20 32 412 100 516 104 356 268 356 316 312 72 24 220 64 44 12 240 52 12 4 240 348 160 100 8 164 240 216 56 24 188 300 260 212 176 136 256 208 176 76 236 168 124 256 208 96 212 264 56 192 204 56 8 484 44 296 232 256 272 508 176 508 72 72 520 500 80 356 244 28 292 80 340 188 236 112 56 484 24 444 56 300 252 396 132 152 112 152 380 12 88 40 236 40 96 116 92 176 348 372 336 40 212 140 164 16 168 308 4 360 308 252 536 308 536 264 572 24 12 288 388 516 136 180 512 32 516 544 560 148 20 400 24 384 4 420 388 216 564 332 508 32 260 128 264 88 476 268 40 88 80 92 296 80 436 120 268 540 80 132 176 40 80 108 76 252 252 144 292 268 284 232 268 436 452 28 88 176 324 232 104 180 176 112 224 28 320 44 556 552 156 556 44 16 536 484 164 12 180 140 56 212 180 420 32 380 108 168 184 64 456 96 44 476 496 444 396 188 180 4 156 436 524 24 600 12 100 560 276 392 560 372 448 488 468 220 32 388 312 152 220 152 204 88 256 140 88 84 140 388 92 48 180 188 148 88 8 24 252 252 196 248 332 240 144 436 84 592 292 372 436 448 276 228 32 168 68 356 316 176 540 380 52 384 44 536 488 360 408 392 404 500 600 392 372 560 300 444 128 340 40 596 556 56 448 436 84 392 60 420 56 208 80 364 324 72 216 176 268 88 24 328 192 72 64 328 276 20 288 12 204 292 212 252 288 40 72 300 212 496 356 168 316 0 100 600 8 228 392 288 512 156 160 40 248 164 580 80 20 580 332 540 308 340 80 88 120 152 88 112 188 308 228 16 120 132 40 268 16 516 160 300 184 144 184 48 72 168 412 128 212 136 256 396 576 388 176 132 44 40 120 420 332 80 260 148 40 8 36 540 160 512 204 536 324 176 540 276 148 116 376 20 476 168 20 504 272 44 80 100 228 108 224 136 332 48 208 412 148 48 176 100 156 188 136 256 164 148 280 88 92 252 188 144 196 236 176 324 172 348 348 240 192 220 184 28 152 200 80 208 76 20 12 232 380 360 400 32 248 12 212 188 80 260 68 432 116 40 108 36 160 192 340 300 392 252 236 380 324 204 324 4 44 288 404 128 36 80 292 384 40 8 40 152 276 392 352 188 180 372 88 252 444 284 136 128 252 208 124 128 236 16 128 128 388 128 520 480 372 228 376 444 380 72 292 148 296 152 296 84 360 88 224 304 248 40 248 240 448 56 88 100 76 236 40 8 500 500 228 268 28 392 336 380 404 448 168 176 188 292 288 40 40 472 140 352 376 64 380 452 80 204 248 40 208 580 336 560 204 288 300 24 336 456 28 180 344 132 20 284 420 120 232 332 20 28 192 528 156 364 156 176 92 176 12 4 232 360 48 100 356 348 64 392 148 4 124 76 332 24 40 292 56 128 412 332 20 332 540 132 208 60 76 284 52 196 172 292 64 488 420 380 40 104 400 188 280 112 176 56 92 152 256 240 236 120 72 48 500 92
2520.03/2469.14	v       </values>
2520.03/2469.14	v     </instantiation>
2520.03/2469.14	s SATISFIABLE

Verifier Data 

OK	375673011

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304427-1534084492/watcher-4304427-1534084492 -o /tmp/evaluation-result-4304427-1534084492/solver-4304427-1534084492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20600 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=332205715 HOME/instance-4304427-1534084492.xml 

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

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


[startup+0.100116 s]*
/proc/loadavg: 1.11 1.32 1.37 3/207 24098
/proc/meminfo: memFree=10743632/32770624 swapFree=67108496/67108860
[pid=24041] ppid=24038 vsize=10005480 memory=18860 CPUtime=0.09 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24038 24041 20569 0 -1 1077944320 4384 12948 0 0 1 0 5 3 20 0 6 0 226012456 10245611520 4715 33554432000 4194304 4196468 140731954277856 140731954260400 140637343342327 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
/proc/24041/statm: 2501370 4715 1934 1 0 2489808 0
[pid=24041/tid=24094] ppid=24038 vsize=10005480 memory=4279135703913235855 CPUtime=0.09 cores=0,2,4,6
/proc/24041/task/24094/stat : 24094 (java) R 24038 24041 20569 0 -1 4202560 2189 12948 0 0 1 0 5 3 20 0 6 0 226012465 10245611520 4715 33554432000 4194304 4196468 140731954277856 140637315179088 140637343364253 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24095] ppid=24038 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24095/stat : 24095 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 6 0 226012466 10245611520 4715 33554432000 4194304 4196468 140731954277856 140637347585040 140637343352533 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24096] ppid=24038 vsize=10005480 memory=140562403858048 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24096/stat : 24096 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 6 0 226012466 10245611520 4715 33554432000 4194304 4196468 140731954277856 140637228850320 140637343352533 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24097] ppid=24038 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24097/stat : 24097 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 6 0 226012466 10245611520 4715 33554432000 4194304 4196468 140731954277856 140636882393872 140637343352533 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24098] ppid=24038 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24098/stat : 24098 (java) S 24038 24041 20569 0 -1 1077944384 2 12948 0 0 0 0 5 3 20 0 6 0 226012466 10245611520 4715 33554432000 4194304 4196468 140731954277856 140636881341328 140637343352533 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB

[startup+0.210061 s]*
/proc/loadavg: 1.11 1.32 1.37 3/216 24107
/proc/meminfo: memFree=10719756/32770624 swapFree=67108496/67108860
[pid=24041] ppid=24038 vsize=10982696 memory=44124 CPUtime=0.26 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24038 24041 20569 0 -1 1077944320 8368 12948 0 0 16 2 5 3 20 0 15 0 226012456 11246280704 11031 33554432000 4194304 4196468 140731954277856 140731954260400 140637343342327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
/proc/24041/statm: 2745674 11031 2970 1 0 2708109 0
[pid=24041/tid=24094] ppid=24038 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/24041/task/24094/stat : 24094 (java) R 24038 24041 20569 0 -1 4202560 4893 12948 0 0 10 1 5 3 20 0 15 0 226012465 11246280704 11031 33554432000 4194304 4196468 140731954277856 140637315139984 140637324715811 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24095] ppid=24038 vsize=10982696 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24095/stat : 24095 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246280704 11031 33554432000 4194304 4196468 140731954277856 140637347585040 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24096] ppid=24038 vsize=10982696 memory=288370938555569792 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24096/stat : 24096 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246280704 11031 33554432000 4194304 4196468 140731954277856 140637228850320 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24097] ppid=24038 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24097/stat : 24097 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246280704 11031 33554432000 4194304 4196468 140731954277856 140636882393872 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24098] ppid=24038 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24098/stat : 24098 (java) S 24038 24041 20569 0 -1 1077944384 2 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246280704 11031 33554432000 4194304 4196468 140731954277856 140636881341328 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24099] ppid=24038 vsize=10982696 memory=140562403858048 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24099/stat : 24099 (java) S 24038 24041 20569 0 -1 1077944384 2 12948 0 0 0 0 5 3 20 0 15 0 226012467 11246280704 11031 33554432000 4194304 4196468 140731954277856 140636836391152 140637343353474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24100] ppid=24038 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24100/stat : 24100 (java) S 24038 24041 20569 0 -1 1077944384 13 12948 0 0 0 0 5 3 20 0 15 0 226012467 11246280704 11031 33554432000 4194304 4196468 140731954277856 140636221072544 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24101] ppid=24038 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24101/stat : 24101 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012468 11246280704 11031 33554432000 4194304 4196468 140731954277856 140636019745520 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24102] ppid=24038 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24102/stat : 24102 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11246280704 11031 33554432000 4194304 4196468 140731954277856 140635712346064 140637343360923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24103] ppid=24038 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24041/task/24103/stat : 24103 (java) S 24038 24041 20569 0 -1 1077944384 549 12948 0 0 1 0 5 3 20 0 15 0 226012470 11246280704 11031 33554432000 4194304 4196468 140731954277856 140636835338992 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24104] ppid=24038 vsize=10982696 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/24041/task/24104/stat : 24104 (java) S 24038 24041 20569 0 -1 1077944384 66 12948 0 0 1 0 5 3 20 0 15 0 226012470 11246280704 11031 33554432000 4194304 4196468 140731954277856 140636834286448 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24105] ppid=24038 vsize=10982696 memory=140562403858048 CPUtime=0.11 cores=0,2,4,6
/proc/24041/task/24105/stat : 24105 (java) S 24038 24041 20569 0 -1 1077944384 639 12948 0 0 3 0 5 3 20 0 15 0 226012470 11246280704 11031 33554432000 4194304 4196468 140731954277856 140636833233392 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24106] ppid=24038 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24106/stat : 24106 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11246280704 11031 33554432000 4194304 4196468 140731954277856 140635281550176 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24107] ppid=24038 vsize=10982696 memory=140562403858048 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24107/stat : 24107 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012471 11246280704 11031 33554432000 4194304 4196468 140731954277856 140636832180784 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44124 KiB

[startup+0.31053 s]*
/proc/loadavg: 1.11 1.32 1.37 3/216 24107
/proc/meminfo: memFree=10710788/32770624 swapFree=67108496/67108860
[pid=24041] ppid=24038 vsize=10983192 memory=55464 CPUtime=0.39 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24038 24041 20569 0 -1 1077944320 10388 12948 0 0 28 3 5 3 20 0 15 0 226012456 11246788608 13866 33554432000 4194304 4196468 140731954277856 140731954260400 140637343342327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
/proc/24041/statm: 2745798 13866 3102 1 0 2708109 0
[pid=24041/tid=24094] ppid=24038 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/24041/task/24094/stat : 24094 (java) R 24038 24041 20569 0 -1 4202560 6909 12948 0 0 19 2 5 3 20 0 15 0 226012465 11246788608 13866 33554432000 4194304 4196468 140731954277856 140637315145104 140637326735664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24095] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24095/stat : 24095 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246788608 13866 33554432000 4194304 4196468 140731954277856 140637347585040 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24096] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24096/stat : 24096 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246788608 13866 33554432000 4194304 4196468 140731954277856 140637228850320 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24097] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24097/stat : 24097 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246788608 13866 33554432000 4194304 4196468 140731954277856 140636882393872 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24098] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24098/stat : 24098 (java) S 24038 24041 20569 0 -1 1077944384 2 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246788608 13866 33554432000 4194304 4196468 140731954277856 140636881341328 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24099] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24099/stat : 24099 (java) S 24038 24041 20569 0 -1 1077944384 2 12948 0 0 0 0 5 3 20 0 15 0 226012467 11246788608 13866 33554432000 4194304 4196468 140731954277856 140636836391152 140637343353474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24100] ppid=24038 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24100/stat : 24100 (java) S 24038 24041 20569 0 -1 1077944384 13 12948 0 0 0 0 5 3 20 0 15 0 226012467 11246788608 13866 33554432000 4194304 4196468 140731954277856 140636221072544 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24101] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24101/stat : 24101 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012468 11246788608 13866 33554432000 4194304 4196468 140731954277856 140636019745520 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24102] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24102/stat : 24102 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11246788608 13866 33554432000 4194304 4196468 140731954277856 140635712346064 140637343360923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24103] ppid=24038 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24041/task/24103/stat : 24103 (java) S 24038 24041 20569 0 -1 1077944384 549 12948 0 0 1 0 5 3 20 0 15 0 226012470 11246788608 13866 33554432000 4194304 4196468 140731954277856 140636835338992 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24104] ppid=24038 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/24041/task/24104/stat : 24104 (java) S 24038 24041 20569 0 -1 1077944384 67 12948 0 0 1 0 5 3 20 0 15 0 226012470 11246788608 13866 33554432000 4194304 4196468 140731954277856 140636834286448 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24105] ppid=24038 vsize=10983192 memory=140562403858048 CPUtime=0.12 cores=0,2,4,6
/proc/24041/task/24105/stat : 24105 (java) S 24038 24041 20569 0 -1 1077944384 644 12948 0 0 4 0 5 3 20 0 15 0 226012470 11246788608 13866 33554432000 4194304 4196468 140731954277856 140636833233392 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24106] ppid=24038 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24106/stat : 24106 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11246788608 13866 33554432000 4194304 4196468 140731954277856 140635281550176 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24107] ppid=24038 vsize=10983192 memory=140562403858048 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24107/stat : 24107 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012471 11246788608 13866 33554432000 4194304 4196468 140731954277856 140636832180784 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55464 KiB

[startup+0.700753 s]
/proc/loadavg: 1.11 1.32 1.37 3/216 24107
/proc/meminfo: memFree=10698756/32770624 swapFree=67108496/67108860
[pid=24041] ppid=24038 vsize=10983192 memory=88964 CPUtime=0.99 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24038 24041 20569 0 -1 1077944320 16868 12948 0 0 86 5 5 3 20 0 15 0 226012456 11246788608 22241 33554432000 4194304 4196468 140731954277856 140731954260400 140637343342327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
/proc/24041/statm: 2745798 22241 3237 1 0 2708109 0
[pid=24041/tid=24094] ppid=24038 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/24041/task/24094/stat : 24094 (java) R 24038 24041 20569 0 -1 4202560 12404 12948 0 0 55 3 5 3 20 0 15 0 226012465 11246788608 22241 33554432000 4194304 4196468 140731954277856 140637315163152 140637327422814 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24095] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24095/stat : 24095 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246788608 22241 33554432000 4194304 4196468 140731954277856 140637347585040 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24096] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24096/stat : 24096 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246788608 22241 33554432000 4194304 4196468 140731954277856 140637228850320 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24097] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24097/stat : 24097 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246788608 22241 33554432000 4194304 4196468 140731954277856 140636882393872 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24098] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24098/stat : 24098 (java) S 24038 24041 20569 0 -1 1077944384 2 12948 0 0 0 0 5 3 20 0 15 0 226012466 11246788608 22241 33554432000 4194304 4196468 140731954277856 140636881341328 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24099] ppid=24038 vsize=10983192 memory=5787796581094221655 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24099/stat : 24099 (java) S 24038 24041 20569 0 -1 1077944384 6 12948 0 0 0 0 5 3 20 0 15 0 226012467 11246788608 22241 33554432000 4194304 4196468 140731954277856 140636836391152 140637343353474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24100] ppid=24038 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24100/stat : 24100 (java) S 24038 24041 20569 0 -1 1077944384 13 12948 0 0 0 0 5 3 20 0 15 0 226012467 11246788608 22241 33554432000 4194304 4196468 140731954277856 140636221072544 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24101] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24101/stat : 24101 (java) S 24038 24041 20569 0 -1 1077944384 1 12948 0 0 0 0 5 3 20 0 15 0 226012468 11246788608 22241 33554432000 4194304 4196468 140731954277856 140636019745520 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24102] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24102/stat : 24102 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11246788608 22241 33554432000 4194304 4196468 140731954277856 140635712346064 140637343360923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24103] ppid=24038 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/24041/task/24103/stat : 24103 (java) S 24038 24041 20569 0 -1 1077944384 1216 12948 0 0 9 0 5 3 20 0 15 0 226012470 11246788608 22241 33554432000 4194304 4196468 140731954277856 140636835338992 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24104] ppid=24038 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/24041/task/24104/stat : 24104 (java) S 24038 24041 20569 0 -1 1077944384 296 12948 0 0 7 0 5 3 20 0 15 0 226012470 11246788608 22241 33554432000 4194304 4196468 140731954277856 140636834286448 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24105] ppid=24038 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/24041/task/24105/stat : 24105 (java) S 24038 24041 20569 0 -1 1077944384 727 12948 0 0 12 0 5 3 20 0 15 0 226012470 11246788608 22241 33554432000 4194304 4196468 140731954277856 140636833233392 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24106] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24106/stat : 24106 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11246788608 22241 33554432000 4194304 4196468 140731954277856 140635281550176 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24107] ppid=24038 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24107/stat : 24107 (java) S 24038 24041 20569 0 -1 1077944384 2 12948 0 0 0 0 5 3 20 0 15 0 226012471 11246788608 22241 33554432000 4194304 4196468 140731954277856 140636832180784 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88964 KiB

[startup+1.50568 s]
/proc/loadavg: 1.11 1.32 1.37 4/216 24107
/proc/meminfo: memFree=10621588/32770624 swapFree=67108496/67108860
[pid=24041] ppid=24038 vsize=10991948 memory=317020 CPUtime=3.03 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24038 24041 20569 0 -1 1077944320 22587 12948 0 0 268 27 5 3 20 0 15 0 226012456 11255754752 79255 33554432000 4194304 4196468 140731954277856 140731954260400 140637343342327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
/proc/24041/statm: 2747987 79255 3470 1 0 2709645 0
[pid=24041/tid=24094] ppid=24038 vsize=10991948 memory=4951091520830867572 CPUtime=1.41 cores=0,2,4,6
/proc/24041/task/24094/stat : 24094 (java) R 24038 24041 20569 0 -1 4202560 14947 12948 0 0 123 10 5 3 20 0 15 0 226012465 11255754752 79255 33554432000 4194304 4196468 140731954277856 140637315172704 140637327385957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24095] ppid=24038 vsize=10991948 memory=4134606225630022328 CPUtime=0.13 cores=0,2,4,6
/proc/24041/task/24095/stat : 24095 (java) S 24038 24041 20569 0 -1 1077944384 364 12948 0 0 2 3 5 3 20 0 15 0 226012466 11255754752 79255 33554432000 4194304 4196468 140731954277856 140637347585040 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24096] ppid=24038 vsize=10991948 memory=-5153075247926373247 CPUtime=0.13 cores=0,2,4,6
/proc/24041/task/24096/stat : 24096 (java) S 24038 24041 20569 0 -1 1077944384 57 12948 0 0 2 3 5 3 20 0 15 0 226012466 11255754752 79255 33554432000 4194304 4196468 140731954277856 140637228850320 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24097] ppid=24038 vsize=10991948 memory=-7809742841750067857 CPUtime=0.12 cores=0,2,4,6
/proc/24041/task/24097/stat : 24097 (java) S 24038 24041 20569 0 -1 1077944384 119 12948 0 0 2 2 5 3 20 0 15 0 226012466 11255754752 79255 33554432000 4194304 4196468 140731954277856 140636882393872 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24098] ppid=24038 vsize=10991948 memory=152224 CPUtime=0.12 cores=0,2,4,6
/proc/24041/task/24098/stat : 24098 (java) S 24038 24041 20569 0 -1 1077944384 101 12948 0 0 1 3 5 3 20 0 15 0 226012466 11255754752 79255 33554432000 4194304 4196468 140731954277856 140636881341328 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24099] ppid=24038 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24099/stat : 24099 (java) S 24038 24041 20569 0 -1 1077944384 90 12948 0 0 0 0 5 3 20 0 15 0 226012467 11255754752 79255 33554432000 4194304 4196468 140731954277856 140636836391152 140637343353474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24100] ppid=24038 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24100/stat : 24100 (java) S 24038 24041 20569 0 -1 1077944384 14 12948 0 0 0 0 5 3 20 0 15 0 226012467 11255754752 79255 33554432000 4194304 4196468 140731954277856 140636221072544 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24101] ppid=24038 vsize=10991948 memory=281124534288672 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24101/stat : 24101 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012468 11255754752 79255 33554432000 4194304 4196468 140731954277856 140636019745520 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24102] ppid=24038 vsize=10991948 memory=281124534703616 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24102/stat : 24102 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11255754752 79255 33554432000 4194304 4196468 140731954277856 140635712346064 140637343360923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24103] ppid=24038 vsize=10991948 memory=140562267154048 CPUtime=0.61 cores=0,2,4,6
/proc/24041/task/24103/stat : 24103 (java) R 24038 24041 20569 0 -1 4202560 2637 12948 0 0 52 1 5 3 20 0 15 0 226012470 11255754752 79255 33554432000 4194304 4196468 140731954277856 140636835332184 140637327360187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24104] ppid=24038 vsize=10991948 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/24041/task/24104/stat : 24104 (java) R 24038 24041 20569 0 -1 4202560 735 12948 0 0 45 0 5 3 20 0 15 0 226012470 11255754752 79255 33554432000 4194304 4196468 140731954277856 140636834278400 140637324042631 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24105] ppid=24038 vsize=10991948 memory=1128 CPUtime=0.44 cores=0,2,4,6
/proc/24041/task/24105/stat : 24105 (java) R 24038 24041 20569 0 -1 4202560 1320 12948 0 0 36 0 5 3 20 0 15 0 226012470 11255754752 79255 33554432000 4194304 4196468 140731954277856 140636833233392 140637343363674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24106] ppid=24038 vsize=10991948 memory=15188 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24106/stat : 24106 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11255754752 79255 33554432000 4194304 4196468 140731954277856 140635281550176 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24107] ppid=24038 vsize=10991948 memory=4000 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24107/stat : 24107 (java) S 24038 24041 20569 0 -1 1077944384 2 12948 0 0 0 0 5 3 20 0 15 0 226012471 11255754752 79255 33554432000 4194304 4196468 140731954277856 140636832180784 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10991948 KiB

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

/proc/24041/task/24094/stat : 24094 (java) R 24038 24041 20569 0 -1 4202560 252633 12948 0 0 237172 69 5 3 20 0 15 0 226012465 11280941056 777865 33554432000 4194304 4196468 140731954277856 140637315177872 140636921434595 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24095] ppid=24038 vsize=11016544 memory=3113000 CPUtime=8.74 cores=0,2,4,6
/proc/24041/task/24095/stat : 24095 (java) S 24038 24041 20569 0 -1 1077944384 34033 12948 0 0 810 56 5 3 20 0 15 0 226012466 11280941056 777865 33554432000 4194304 4196468 140731954277856 140637347585040 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24096] ppid=24038 vsize=11016544 memory=3111972 CPUtime=8.75 cores=0,2,4,6
/proc/24041/task/24096/stat : 24096 (java) S 24038 24041 20569 0 -1 1077944384 29762 12948 0 0 812 55 5 3 20 0 15 0 226012466 11280941056 777865 33554432000 4194304 4196468 140731954277856 140637228850320 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24097] ppid=24038 vsize=11016544 memory=3111460 CPUtime=8.68 cores=0,2,4,6
/proc/24041/task/24097/stat : 24097 (java) S 24038 24041 20569 0 -1 1077944384 25053 12948 0 0 807 53 5 3 20 0 15 0 226012466 11280941056 777865 33554432000 4194304 4196468 140731954277856 140636882393872 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24098] ppid=24038 vsize=11016544 memory=0 CPUtime=8.7 cores=0,2,4,6
/proc/24041/task/24098/stat : 24098 (java) S 24038 24041 20569 0 -1 1077944384 36382 12948 0 0 807 55 5 3 20 0 15 0 226012466 11280941056 777865 33554432000 4194304 4196468 140731954277856 140636881341328 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24099] ppid=24038 vsize=11016544 memory=33 CPUtime=0.88 cores=0,2,4,6
/proc/24041/task/24099/stat : 24099 (java) S 24038 24041 20569 0 -1 1077944384 31077 12948 0 0 70 10 5 3 20 0 15 0 226012467 11280941056 777865 33554432000 4194304 4196468 140731954277856 140636836391152 140637343353474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24100] ppid=24038 vsize=11016544 memory=3125272 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24100/stat : 24100 (java) S 24038 24041 20569 0 -1 1077944384 22 12948 0 0 0 0 5 3 20 0 15 0 226012467 11280941056 777865 33554432000 4194304 4196468 140731954277856 140636221072608 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24101] ppid=24038 vsize=11016544 memory=2260 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24101/stat : 24101 (java) S 24038 24041 20569 0 -1 1077944384 8 12948 0 0 0 0 5 3 20 0 15 0 226012468 11280941056 777865 33554432000 4194304 4196468 140731954277856 140636019745536 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24102] ppid=24038 vsize=11016544 memory=3116068 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24102/stat : 24102 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11280941056 777865 33554432000 4194304 4196468 140731954277856 140635712346064 140637343360923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24103] ppid=24038 vsize=11016544 memory=3117608 CPUtime=9.62 cores=0,2,4,6
/proc/24041/task/24103/stat : 24103 (java) S 24038 24041 20569 0 -1 1077944384 84793 12948 0 0 944 10 5 3 20 0 15 0 226012470 11280941056 777865 33554432000 4194304 4196468 140731954277856 140636835338992 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24104] ppid=24038 vsize=11016544 memory=1788 CPUtime=10.2 cores=0,2,4,6
/proc/24041/task/24104/stat : 24104 (java) S 24038 24041 20569 0 -1 1077944384 108524 12948 0 0 1002 10 5 3 20 0 15 0 226012470 11280941056 777865 33554432000 4194304 4196468 140731954277856 140636834286448 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24105] ppid=24038 vsize=11016544 memory=860 CPUtime=3.45 cores=0,2,4,6
/proc/24041/task/24105/stat : 24105 (java) S 24038 24041 20569 0 -1 1077944384 76543 12948 0 0 326 11 5 3 20 0 15 0 226012470 11280941056 777865 33554432000 4194304 4196468 140731954277856 140636833233392 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24106] ppid=24038 vsize=11016544 memory=2684 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24106/stat : 24106 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11280941056 777865 33554432000 4194304 4196468 140731954277856 140635281550176 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24107] ppid=24038 vsize=11016544 memory=4104 CPUtime=1.4 cores=0,2,4,6
/proc/24041/task/24107/stat : 24107 (java) S 24038 24041 20569 0 -1 1077944384 3601 12948 0 0 65 67 5 3 20 0 15 0 226012471 11280941056 777865 33554432000 4194304 4196468 140731954277856 140636832180784 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
Current children cumulated CPU time: 2432.31 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3111460 KiB

[startup+2442.3 s]
/proc/loadavg: 1.36 1.42 1.52 3/215 24334
/proc/meminfo: memFree=6982064/32770624 swapFree=67108496/67108860
[pid=24041] ppid=24038 vsize=11016544 memory=3039744 CPUtime=2492.97 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24038 24041 20569 0 -1 1077944320 696053 12948 0 0 248906 383 5 3 20 0 15 0 226012456 11280941056 759936 33554432000 4194304 4196468 140731954277856 140731954260400 140637343342327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
/proc/24041/statm: 2754136 759936 3537 1 0 2715789 0
[pid=24041/tid=24094] ppid=24038 vsize=11016544 memory=3039744 CPUtime=2432.23 cores=0,2,4,6
/proc/24041/task/24094/stat : 24094 (java) R 24038 24041 20569 0 -1 4202560 255468 12948 0 0 243146 69 5 3 20 0 15 0 226012465 11280941056 759936 33554432000 4194304 4196468 140731954277856 140637315176992 140636932810151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24095] ppid=24038 vsize=11016544 memory=3039744 CPUtime=8.94 cores=0,2,4,6
/proc/24041/task/24095/stat : 24095 (java) S 24038 24041 20569 0 -1 1077944384 34229 12948 0 0 830 56 5 3 20 0 15 0 226012466 11280941056 759936 33554432000 4194304 4196468 140731954277856 140637347585040 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24096] ppid=24038 vsize=11016544 memory=3039744 CPUtime=8.94 cores=0,2,4,6
/proc/24041/task/24096/stat : 24096 (java) S 24038 24041 20569 0 -1 1077944384 30075 12948 0 0 831 55 5 3 20 0 15 0 226012466 11280941056 759936 33554432000 4194304 4196468 140731954277856 140637228850320 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24097] ppid=24038 vsize=11016544 memory=3039744 CPUtime=8.88 cores=0,2,4,6
/proc/24041/task/24097/stat : 24097 (java) S 24038 24041 20569 0 -1 1077944384 25364 12948 0 0 827 53 5 3 20 0 15 0 226012466 11280941056 759936 33554432000 4194304 4196468 140731954277856 140636882393872 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24098] ppid=24038 vsize=11016544 memory=3077640 CPUtime=8.9 cores=0,2,4,6
/proc/24041/task/24098/stat : 24098 (java) S 24038 24041 20569 0 -1 1077944384 38403 12948 0 0 827 55 5 3 20 0 15 0 226012466 11280941056 759936 33554432000 4194304 4196468 140731954277856 140636881341328 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24099] ppid=24038 vsize=11016544 memory=3292 CPUtime=0.91 cores=0,2,4,6
/proc/24041/task/24099/stat : 24099 (java) S 24038 24041 20569 0 -1 1077944384 31434 12948 0 0 73 10 5 3 20 0 15 0 226012467 11280941056 759936 33554432000 4194304 4196468 140731954277856 140636836391152 140637343353474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24100] ppid=24038 vsize=11016544 memory=3047952 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24100/stat : 24100 (java) S 24038 24041 20569 0 -1 1077944384 22 12948 0 0 0 0 5 3 20 0 15 0 226012467 11280941056 759936 33554432000 4194304 4196468 140731954277856 140636221072608 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24101] ppid=24038 vsize=11016544 memory=3047952 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24101/stat : 24101 (java) S 24038 24041 20569 0 -1 1077944384 8 12948 0 0 0 0 5 3 20 0 15 0 226012468 11280941056 759936 33554432000 4194304 4196468 140731954277856 140636019745536 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24102] ppid=24038 vsize=11016544 memory=3043336 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24102/stat : 24102 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11280941056 759936 33554432000 4194304 4196468 140731954277856 140635712346064 140637343360923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24103] ppid=24038 vsize=11016544 memory=288230583166042426 CPUtime=9.65 cores=0,2,4,6
/proc/24041/task/24103/stat : 24103 (java) S 24038 24041 20569 0 -1 1077944384 86933 12948 0 0 947 10 5 3 20 0 15 0 226012470 11280941056 759936 33554432000 4194304 4196468 140731954277856 140636835338992 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24104] ppid=24038 vsize=11016544 memory=3039744 CPUtime=10.21 cores=0,2,4,6
/proc/24041/task/24104/stat : 24104 (java) S 24038 24041 20569 0 -1 1077944384 110163 12948 0 0 1003 10 5 3 20 0 15 0 226012470 11280941056 759936 33554432000 4194304 4196468 140731954277856 140636834286448 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24105] ppid=24038 vsize=11016544 memory=3039744 CPUtime=3.46 cores=0,2,4,6
/proc/24041/task/24105/stat : 24105 (java) S 24038 24041 20569 0 -1 1077944384 78119 12948 0 0 327 11 5 3 20 0 15 0 226012470 11280941056 759936 33554432000 4194304 4196468 140731954277856 140636833233392 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24106] ppid=24038 vsize=11016544 memory=3043336 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24106/stat : 24106 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11280941056 759936 33554432000 4194304 4196468 140731954277856 140635281550176 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24107] ppid=24038 vsize=11016544 memory=3043336 CPUtime=1.43 cores=0,2,4,6
/proc/24041/task/24107/stat : 24107 (java) S 24038 24041 20569 0 -1 1077944384 3636 12948 0 0 67 68 5 3 20 0 15 0 226012471 11280941056 759936 33554432000 4194304 4196468 140731954277856 140636832180784 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
Current children cumulated CPU time: 2492.97 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3039744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2469.11 s]
/proc/loadavg: 1.49 1.44 1.53 3/215 24335
/proc/meminfo: memFree=7061316/32770624 swapFree=67108496/67108860
[pid=24041] ppid=24038 vsize=11016544 memory=3007424 CPUtime=2520.03 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24038 24041 20569 0 -1 1077944320 697493 12948 0 0 251612 383 5 3 20 0 15 0 226012456 11280941056 751856 33554432000 4194304 4196468 140731954277856 140731954260400 140637343342327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
/proc/24041/statm: 2754136 751856 3537 1 0 2715789 0
[pid=24041/tid=24094] ppid=24038 vsize=11016544 memory=3011016 CPUtime=2458.93 cores=0,2,4,6
/proc/24041/task/24094/stat : 24094 (java) R 24038 24041 20569 0 -1 4202560 255896 12948 0 0 245816 69 5 3 20 0 15 0 226012465 11280941056 751856 33554432000 4194304 4196468 140731954277856 140637315177120 140636932813163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24095] ppid=24038 vsize=11016544 memory=3018200 CPUtime=9.02 cores=0,2,4,6
/proc/24041/task/24095/stat : 24095 (java) S 24038 24041 20569 0 -1 1077944384 34236 12948 0 0 838 56 5 3 20 0 15 0 226012466 11280941056 751856 33554432000 4194304 4196468 140731954277856 140637347585040 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24096] ppid=24038 vsize=11016544 memory=3027432 CPUtime=9.03 cores=0,2,4,6
/proc/24041/task/24096/stat : 24096 (java) S 24038 24041 20569 0 -1 1077944384 30087 12948 0 0 840 55 5 3 20 0 15 0 226012466 11280941056 751856 33554432000 4194304 4196468 140731954277856 140637228850320 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24097] ppid=24038 vsize=11016544 memory=3030512 CPUtime=8.96 cores=0,2,4,6
/proc/24041/task/24097/stat : 24097 (java) S 24038 24041 20569 0 -1 1077944384 25372 12948 0 0 835 53 5 3 20 0 15 0 226012466 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636882393872 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24098] ppid=24038 vsize=11016544 memory=0 CPUtime=8.98 cores=0,2,4,6
/proc/24041/task/24098/stat : 24098 (java) S 24038 24041 20569 0 -1 1077944384 38415 12948 0 0 835 55 5 3 20 0 15 0 226012466 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636881341328 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24099] ppid=24038 vsize=11016544 memory=3143224 CPUtime=0.92 cores=0,2,4,6
/proc/24041/task/24099/stat : 24099 (java) S 24038 24041 20569 0 -1 1077944384 31439 12948 0 0 74 10 5 3 20 0 15 0 226012467 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636836391152 140637343353474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24100] ppid=24038 vsize=11016544 memory=3014096 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24100/stat : 24100 (java) S 24038 24041 20569 0 -1 1077944384 22 12948 0 0 0 0 5 3 20 0 15 0 226012467 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636221072608 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24101] ppid=24038 vsize=11016544 memory=3014096 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24101/stat : 24101 (java) S 24038 24041 20569 0 -1 1077944384 8 12948 0 0 0 0 5 3 20 0 15 0 226012468 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636019745536 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24102] ppid=24038 vsize=11016544 memory=3011016 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24102/stat : 24102 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140635712346064 140637343360923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24103] ppid=24038 vsize=11016544 memory=3007424 CPUtime=9.65 cores=0,2,4,6
/proc/24041/task/24103/stat : 24103 (java) S 24038 24041 20569 0 -1 1077944384 86933 12948 0 0 947 10 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636835338992 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24104] ppid=24038 vsize=11016544 memory=3007424 CPUtime=10.21 cores=0,2,4,6
/proc/24041/task/24104/stat : 24104 (java) S 24038 24041 20569 0 -1 1077944384 110743 12948 0 0 1003 10 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636834286448 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24105] ppid=24038 vsize=11016544 memory=3007424 CPUtime=3.46 cores=0,2,4,6
/proc/24041/task/24105/stat : 24105 (java) S 24038 24041 20569 0 -1 1077944384 78505 12948 0 0 327 11 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636833233392 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24106] ppid=24038 vsize=11016544 memory=3138608 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24106/stat : 24106 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140635281550176 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24107] ppid=24038 vsize=11016544 memory=1128 CPUtime=1.45 cores=0,2,4,6
/proc/24041/task/24107/stat : 24107 (java) S 24038 24041 20569 0 -1 1077944384 3638 12948 0 0 68 69 5 3 20 0 15 0 226012471 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636832180784 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3007424 KiB

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

[startup+2469.17 s]
# the end of solver process 24041 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.21 s, system=3.89916 s

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

[startup+2469.11 s]
/proc/loadavg: 1.49 1.44 1.53 3/215 24335
/proc/meminfo: memFree=7061316/32770624 swapFree=67108496/67108860
[pid=24041] ppid=24038 vsize=11016544 memory=3007424 CPUtime=2520.03 cores=0,2,4,6
/proc/24041/stat : 24041 (java) S 24038 24041 20569 0 -1 1077944320 697493 12948 0 0 251612 383 5 3 20 0 15 0 226012456 11280941056 751856 33554432000 4194304 4196468 140731954277856 140731954260400 140637343342327 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
/proc/24041/statm: 2754136 751856 3537 1 0 2715789 0
[pid=24041/tid=24094] ppid=24038 vsize=11016544 memory=3011016 CPUtime=2458.93 cores=0,2,4,6
/proc/24041/task/24094/stat : 24094 (java) R 24038 24041 20569 0 -1 4202560 255896 12948 0 0 245816 69 5 3 20 0 15 0 226012465 11280941056 751856 33554432000 4194304 4196468 140731954277856 140637315177120 140636932813163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24095] ppid=24038 vsize=11016544 memory=3018200 CPUtime=9.02 cores=0,2,4,6
/proc/24041/task/24095/stat : 24095 (java) S 24038 24041 20569 0 -1 1077944384 34236 12948 0 0 838 56 5 3 20 0 15 0 226012466 11280941056 751856 33554432000 4194304 4196468 140731954277856 140637347585040 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24096] ppid=24038 vsize=11016544 memory=3027432 CPUtime=9.03 cores=0,2,4,6
/proc/24041/task/24096/stat : 24096 (java) S 24038 24041 20569 0 -1 1077944384 30087 12948 0 0 840 55 5 3 20 0 15 0 226012466 11280941056 751856 33554432000 4194304 4196468 140731954277856 140637228850320 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24097] ppid=24038 vsize=11016544 memory=3030512 CPUtime=8.96 cores=0,2,4,6
/proc/24041/task/24097/stat : 24097 (java) S 24038 24041 20569 0 -1 1077944384 25372 12948 0 0 835 53 5 3 20 0 15 0 226012466 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636882393872 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24098] ppid=24038 vsize=11016544 memory=0 CPUtime=8.98 cores=0,2,4,6
/proc/24041/task/24098/stat : 24098 (java) S 24038 24041 20569 0 -1 1077944384 38415 12948 0 0 835 55 5 3 20 0 15 0 226012466 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636881341328 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24099] ppid=24038 vsize=11016544 memory=3143224 CPUtime=0.92 cores=0,2,4,6
/proc/24041/task/24099/stat : 24099 (java) S 24038 24041 20569 0 -1 1077944384 31439 12948 0 0 74 10 5 3 20 0 15 0 226012467 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636836391152 140637343353474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24100] ppid=24038 vsize=11016544 memory=3014096 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24100/stat : 24100 (java) S 24038 24041 20569 0 -1 1077944384 22 12948 0 0 0 0 5 3 20 0 15 0 226012467 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636221072608 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24101] ppid=24038 vsize=11016544 memory=3014096 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24101/stat : 24101 (java) S 24038 24041 20569 0 -1 1077944384 8 12948 0 0 0 0 5 3 20 0 15 0 226012468 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636019745536 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24102] ppid=24038 vsize=11016544 memory=3011016 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24102/stat : 24102 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140635712346064 140637343360923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24103] ppid=24038 vsize=11016544 memory=3007424 CPUtime=9.65 cores=0,2,4,6
/proc/24041/task/24103/stat : 24103 (java) S 24038 24041 20569 0 -1 1077944384 86933 12948 0 0 947 10 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636835338992 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24104] ppid=24038 vsize=11016544 memory=3007424 CPUtime=10.21 cores=0,2,4,6
/proc/24041/task/24104/stat : 24104 (java) S 24038 24041 20569 0 -1 1077944384 110743 12948 0 0 1003 10 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636834286448 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24105] ppid=24038 vsize=11016544 memory=3007424 CPUtime=3.46 cores=0,2,4,6
/proc/24041/task/24105/stat : 24105 (java) S 24038 24041 20569 0 -1 1077944384 78505 12948 0 0 327 11 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636833233392 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24106] ppid=24038 vsize=11016544 memory=3138608 CPUtime=0.08 cores=0,2,4,6
/proc/24041/task/24106/stat : 24106 (java) S 24038 24041 20569 0 -1 1077944384 3 12948 0 0 0 0 5 3 20 0 15 0 226012470 11280941056 751856 33554432000 4194304 4196468 140731954277856 140635281550176 140637343352533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
[pid=24041/tid=24107] ppid=24038 vsize=11016544 memory=1128 CPUtime=1.45 cores=0,2,4,6
/proc/24041/task/24107/stat : 24107 (java) S 24038 24041 20569 0 -1 1077944384 3638 12948 0 0 68 69 5 3 20 0 15 0 226012471 11280941056 751856 33554432000 4194304 4196468 140731954277856 140636832180784 140637343353474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37953536 140731954285165 140731954287964 140731954287964 140731954290639 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3007424 KiB

Child status: 143
Real time (s): 2469.17
CPU time (s): 2520.11
CPU user time (s): 2516.21
CPU system time (s): 3.89916
CPU usage (%): 102.063
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 3784536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.21
system time used= 3.89916
maximum resident set size= 3784536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 713002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77181
involuntary context switches= 3490


# summary of solver processes directly reported to runsolver:
#   pid: 24041
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2516.21
#   total CPU system time (s): 3.89916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3489 second user time and 23.7651 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-12 16:34:52
IDJOB=4304427
IDBENCH=141262
IDSOLVER=2780
FILE ID=node149/4304427-1534084492
RUNJOBID= node149-1534063810-20600
PBS_JOBID= 21036989
Free space on /tmp= 39004 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304427-1534084492/watcher-4304427-1534084492 -o /tmp/evaluation-result-4304427-1534084492/solver-4304427-1534084492 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20600 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=332205715 HOME/instance-4304427-1534084492.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=332205715

node149.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.60
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.60
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.60
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.60
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:        10750220 kB
MemAvailable:   29731492 kB
Buffers:          195068 kB
Cached:         18818408 kB
SwapCached:           28 kB
Active:          9997712 kB
Inactive:       11237620 kB
Active(anon):    2170976 kB
Inactive(anon):   103080 kB
Active(file):    7826736 kB
Inactive(file): 11134540 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:            117132 kB
Writeback:             0 kB
AnonPages:       2231084 kB
Mapped:            67408 kB
Shmem:             49616 kB
Slab:             476716 kB
SReclaimable:     448456 kB
SUnreclaim:        28260 kB
KernelStack:        3552 kB
PageTables:        12080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3013180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1982464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 38956 MiB
End job on node149 at 2018-08-12 17:16:02