Trace number 4293917

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13SAT (TO)223240009 2520.18 2468.44

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-02-0250_c18.xml
MD5SUM9ab3e648243ddfeac66c66819bd63413
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40498440
Best CPU time to get the best result obtained on this benchmark2520.15
Satisfiable
(Un)Satisfiability was proved
Number of variables4758
Number of constraints3055
Number of domains59
Minimum domain size1
Maximum domain size105
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}]
Minimum variable degree2
Maximum variable degree1420
Distribution of variable degrees[{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}]
Number of extensional constraints1419
Number of intensional constraints1636
Distribution of constraint types[{"type":"extension","count":1419},{"type":"intension","count":1636}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.73	c Concrete v3.8.1528841891564 running
73.19/48.70	o 223240016
74.27/49.23	o 223240009
2520.01/2468.40	Exception in thread "main" java.util.concurrent.TimeoutException
2520.01/2468.40		at concrete.MAC.mac(MAC.scala:188)
2520.01/2468.40		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2468.40		at scala.util.Try$.apply(Try.scala:209)
2520.01/2468.40		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2468.40		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2468.40		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2468.40		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2468.40		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2468.40		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2468.40		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2468.40		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2468.40		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2468.40		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2468.40		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2468.40		at concrete.MAC.nextSolution(MAC.scala:355)
2520.01/2468.40		at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2468.40		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2468.40		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2468.40		at concrete.Solver.foreach(Solver.scala:68)
2520.01/2468.40		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2468.40		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2468.40		at scala.util.Success.map(Try.scala:209)
2520.01/2468.40		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2468.40		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2468.40		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2468.40		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2468.40		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2468.40		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2468.40		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2468.40		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2468.40		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2468.40		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2468.40		at scala.App.main(App.scala:76)
2520.01/2468.40		at scala.App.main$(App.scala:74)
2520.01/2468.40		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2468.40		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.12/2468.41	v <instantiation cost="223240009">
2520.12/2468.41	v       <list>
2520.12/2468.41	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418]
2520.12/2468.41	v       </list>
2520.12/2468.41	v       <values>
2520.12/2468.41	v         2408 2404 2612 2428 2532 2256 2376 2512 2608 2416 2468 2284 2400 2556 2412 2448 2368 2364 2472 2384 2304 2516 2656 2612 2332 2408 2292 2264 2360 2556 2512 2244 2400 2608 2612 2620 2624 2280 2344 2240 2296 2240 2416 2616 2280 2512 2424 2552 2284 2332 2544 2612 2284 2512 2604 2472 2536 2416 2576 2436 2640 2492 2476 2516 2452 2576 2496 2344 2244 2612 2304 2400 2240 2532 2428 2516 2616 2240 2348 2520 2600 2584 2572 2280 2616 2608 2648 2476 2320 2480 2336 2276 2388 2240 2500 2456 2300 2644 2420 2604 2632 2424 2248 2388 2592 2652 2656 2596 2472 2616 2388 2400 2612 2572 2280 2464 2280 2552 2360 2288 2316 2376 2508 2240 2604 2608 2240 2472 2476 2388 2572 2572 2280 2568 2576 2656 2592 2576 2440 2616 2336 2580 2576 2432 2648 2452 2472 2572 2616 2588 2480 2420 2304 2552 2552 2244 2508 2280 2360 2592 2332 2584 2472 2644 2348 2292 2636 2348 2572 2652 2240 2556 2376 2612 2344 2436 2516 2444 2552 2372 2472 2400 2512 2632 2560 2656 2584 2600 2292 2332 2516 2360 2488 2240 2560 2292 2596 2240 2548 2460 2652 2592 2468 2564 2592 2600 2560 2476 2504 2408 2348 2616 2440 2404 2440 2544 2412 2512 2384 2260 2280 2448 2508 2564 2296 2280 2432 2600 2604 2548 2556 2332 2552 2380 2388 2380 2384 2412 2432 2376 2292 2568 2592 2476 2308 2372 2368 2280 2616 2516 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 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 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 1 1 0 0 0 0 1 0 11 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 1 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 1 1 10 0 10 0 0 0 0 0 0 0 2 0 0 10 0 10 0 0 1 10 0 5 0 0 0 0 8 6 1 6 0 0 0 0 0 0 0 0 0 9 0 10 0 10 10 10 0 10 10 0 0 2 1 0 0 1 0 0 1 0 9 10 0 1 10 0 0 2 10 0 1 10 0 7 0 0 0 0 0 10 1 0 8 0 7 10 0 0 0 0 0 7 7 0 0 0 0 0 0 0 1 4 0 0 0 0 6 1 10 1 0 0 0 0 0 4 1 10 1 0 10 0 1 0 0 0 0 0 0 5 0 0 0 0 1 4 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 3 0 10 1 0 1 0 0 1 0 0 10 7 0 10 0 3 10 0 0 0 1 0 9 0 8 0 0 0 0 1 0 8 2 9 0 0 1 0 0 0 0 0 0 0 0 6 0 0 1 0 10 0 4 0 0 4 0 0 0 0 1 0 0 0 0 0 10 0 0 0 0 0 10 4 10 1 0 9 0 0 9 10 4 0 1 0 0 0 1 0 0 10 1 1 0 0 0 0 0 0 10 0 0 0 0 0 5 1 0 0 0 0 0 4 1 0 10 0 9 0 8 1 0 0 0 0 0 0 0 0 0 8 10 0 0 0 1 0 0 9 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 1 0 10 0 0 1 0 4 0 0 10 0 0 2 0 2 1 0 0 10 0 1 5 8 0 10 6 0 0 0 1 9 0 0 1 0 0 10 10 10 0 0 0 0 0 0 9 0 10 1 1 0 0 10 0 0 10 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 9 9 0 9 0 0 3 0 1 0 0 0 0 0 0 10 10 0 0 10 8 0 0 1 0 0 6 0 10 9 0 2 9 0 0 10 0 0 10 3 0 4 1 0 7 0 10 0 0 0 0 7 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 9 0 3 10 1 3 3 0 1 1 5 1 0 0 0 0 1 0 0 6 10 0 0 8 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 10 10 0 10 0 0 0 0 5 7 0 0 10 0 0 0 1 10 0 10 0 10 0 0 0 3 0 0 0 5 0 4 4 0 1 7 0 0 0 0 0 0 0 0 1 0 0 0 8 1 0 10 0 1 0 0 10 0 0 0 1 0 0 0 0 0 0 0 9 5 0 10 0 0 0 1 0 0 0 10 1 1 0 0 0 10 0 0 9 10 7 0 0 10 1 0 0 0 0 0 0 0 0 10 0 0 0 0 10 4 1 0 0 1 0 10 0 10 0 1 0 0 0 10 10 5 0 1 0 0 1 10 0 0 0 0 10 0 1 10 10 1 10 0 0 7 10 0 0 0 7 7 10 0 10 3 0 10 0 0 0 0 10 0 0 10 0 10 0 0 0 7 0 0 0 10 0 0 10 0 3 0 0 0 0 0 0 0 0 2 0 7 0 0 0 0 0 5 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 3 7 10 10 10 10 0 0 9 0 0 0 2 0 5 2 0 0 8 0 10 7 0 0 0 2 1 9 7 0 10 1 0 10 10 0 0 1 10 0 0 0 0 8 0 0 0 0 10 0 0 0 0 10 10 3 0 0 8 0 0 0 5 6 0 0 0 0 0 5 0 0 10 0 5 10 10 0 6 1 0 0 0 0 0 0 1 0 0 0 0 10 0 0 0 0 0 2 8 0 0 0 0 0 0 10 0 10 10 0 0 0 0 9 0 1 8 9 0 0 0 0 10 1 10 0 7 0 0 5 10 1 1 0 0 0 0 1 0 0 0 0 0 9 0 0 0 0 7 10 0 1 0 0 0 10 0 0 0 1 0 0 0 9 0 0 4 1 10 0 0 0 8 0 4 0 0 0 0 0 10 0 0 4 0 0 5 0 0 0 0 1 0 0 0 7 10 0 0 0 0 0 0 0 1 10 5 0 4 0 3 0 0 3 10 10 0 0 0 0 1 0 10 0 0 0 0 10 3 0 0 0 0 0 9 0 8 0 0 0 1 0 0 7 0 0 0 0 0 1 0 0 0 7 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 10 6 0 0 0 0 1 1 0 10 0 0 0 0 0 0 0 0 10 0 0 9 0 5 1 0 0 0 1 0 0 2 10 6 0 7 0 0 10 6 0 0 1 0 0 0 0 0 1 0 1 10 10 0 2 0 10 0 2 3 10 0 0 8 3 0 0 0 0 0 10 0 0 0 0 0 3 0 10 0 0 1 0 0 0 10 0 8 0 1 0 0 0 0 0 0 0 1 0 0 9 0 0 0 0 0 0 0 10 1 9 3 0 0 0 0 10 0 10 0 0 0 1 10 1 0 0 0 10 0 1 10 0 0 0 10 0 0 8 0 0 10 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 9 8 10 10 0 0 0 0 0 0 10 3 0 1 0 0 6 0 0 0 10 0 0 8 0 0 0 0 0 8 10 2 0 0 0 0 0 0 0 0 0 10 0 4 0 0 0 0 0 0 10 0 8 0 0 0 0 1 1 0 1 5 10 0 0 0 1 0 10 0 0 0 0 0 0 0 1 0 0 10 1 0 0 0 0 0 0 0 8 10 7 0 0 0 0 0 0 0 0 7 0 10 0 0 10 0 0 1 10 8 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 8 0 0 10 0 0 0 0 0 1 10 1 0 0 1 1 0 0 0 5 0 0 0 0 0 0 0 0 0 1 0 10 0 0 5 0 0 0 5 0 3 0 0 0 0 0 10 7 1 0 0 1 0 10 0 0 0 0 0 0 10 0 0 1 0 0 0 10 0 0 0 0 0 10 10 6 0 10 10 0 10 0 1 1 0 5 0 0 0 1 0 10 0 0 1 0 0 0 0 0 10 0 0 0 9 0 0 0 0 10 10 3 0 1 0 10 0 10 0 0 0 0 0 0 0 0 0 0 8 0 10 6 1 0 0 2 0 60 24 76 168 88 168 108 8 176 208 128 172 88 56 84 76 68 164 200 72 248 208 140 112 72 124 212 332 316 192 188 36 332 232 52 20 44 184 84 124 12 136 56 80 36 68 40 52 144 20 292 88 32 28 128 84 236 152 160 320 276 360 252 256 92 180 104 12 268 228 216 272 84 220 92 184 128 36 8 108 216 96 24 60 60 88 136 92 140 48 152 24 80 92 4 140 12 72 248 260 16 152 72 200 136 80 164 160 144 60 156 136 68 176 172 228 52 188 148 188 40 176 132 88 88 372 124 132 328 192 248 232 288 136 188 232 64 228 4 332 212 120 216 108 244 116 88 192 68 12 104 264 44 316 4 140 48 76 100 32 36 36 200 144 172 84 160 160 168 144 36 200 120 148 132 44 84 208 128 160 160 68 100 204 20 56 36 100 240 88 244 124 64 92 128 88 284 184 204 212 80 72 20 88 120 72 120 208 292 228 236 240 188 88 136 112 0 64 40 88 80 228 108 80 228 228 248 92 56 92 352 212 136 252 288 104 68 64 64 0 172 4 28 276 84 376 80 308 408 40 212 272 56 12 280 332 224 224 324 36 56 240 280 20 204 228 84 28 140 52 44 28 124 204 128 196 76 176 108 104 60 32 4 128 124 240 280 128 180 160 260 12 144 260 268 92 80 324 28 328 300 168 196 76 68 160 120 80 156 140 80 280 16 32 144 44 172 36 88 272 72 76 40 132 128 228 332 232 324 336 200 168 128 204 96 132 120 76 12 232 120 248 152 116 88 192 160 52 8 132 364 0 36 24 32 328 120 160 312 140 136 292 156 372 32 368 332 236 332 4 336 144 12 212 380 320 72 8 48 52 344 276 220 176 328 76 236 304 128 268 104 80 44 64 132 108 16 240 4 308 124 236 104 4 40 148 328 136 360 356 164 40 56 20 320 52 52 4 220 372 336 240 404 160 236 376 120 196 204 52 308 140 0 20 100 80 8 136 152 92 80 96 8 152 108 324 256 176 212 144 272 4 360 288 308 80 12 280 28 104 96 124 92 152 140 36 252 36 72 80 108 176 48 136 36 120 128 220 92 64 136 76 124 312 76 132 128 216 96 0 60 140 44 164 104 32 292 372 308 120 156 224 12 188 68 116 224 8 72 48 208 64 200 184 76 56 0 328 28 372 236 44 40 52 68 228 208 172 304 332 60 92 96 76 0 132 168 128 364 216 12 52 132 116 128 156 176 100 36 232 120 76 44 120 60 56 52 124 60 160 176 136 140 72 236 200 336 120 276 296 216 284 128 144 200 100 16 196 16 92 120 60 156 144 240 108 160 176 204 268 172 176 96 160 120 148 52 60 112 200 168 96 140 196 176 136 180 88 56 136 56 28 168 40 148 116 212 32 152 32 76 36 96 64 232 104 176 72 136 120 116 136 164 20 8 96 56 44 272 4 292 160 68 76 400 308 44 4 36 36 308 48 352 52 372 188 224 40 20 280 28 64 40 232 200 96 84 160 16 84 136 32 204 288 352 256 216 248 216 192 44 160 260 356 236 116 64 172 72 292 60 52 252 56 172 180 52 148 4 44 88 24 268 64 72 212 44 268 280 280 36 4 272 16 212 68 324 336 360 148 0 212 120 344 52 136 412 320 28 104 52 196 88 160 252 56 68 88 220 12 56 48 12 240 44 88 44 152 324 16 16 184 12 208 24 52 224 136 20 28 76 184 0 4 40 12 56 8 188 336 108 40 36 372 144 176 52 204 140 336 332 368 100 32 36 64 196 328 44 172 312 4 36 136 64 300 368 316 356 280 200 96 168 128 4 20 188 80 264 332 312 148 224 232 20 152 92 200 120 104 148 48 76 104 36 88 52 20 320 248 256 316 112 300 300 312 320 136 112 36 268 88 224 172 176 404 236 336 40 360 108 208 148 80 48 64 68 156 160 160 212 72 112 332 252 292 316 56 172 44 304 284 404 364 52 364 284 196 348 260 184 192 152 12 180 136 148 12 52 228 52 360 4 100 216 272 156 296 80 300 340 152 128 168 168 192 16 124 400 4 324 312 84 200 264 52 248 172 264 212 56 4 116 20 244 132 160 36 364 408 60 280 68 360 56 240 36 84 144 56 416 188 180 132 156 248 44 304 128 216 4 100 172 36 72 88 40 152 336 64 284 144 180 172 256 20 108 148 148 184 64 204 56 128 264 32 172 72 88 28 372 224 36 180 20 252 172 316 232 240 332 240 28 96 160 272 312 316 104 184 76 184 16 88 132 48 132 104 376 172 312 372 20 20 176 48 220 244 292 240 120 116 8 280 304 220 268 272 312 260 144 76 276 60 232 180 84 108 44 44 164 8 48 212 128 312 268 412 304 52 68 40 300 20 92 20 256 344 40 12 56 60 16 176 236 232 160 52 200 312 328 88 60 100 4 120 16 204 92 172 148 96 212 128 120 240 12 72 332 12 80 4 292 56 12 184 192 292 356 236 352 304 372 224 272 108 104 8 56 16 276 160 180 136 48 104 4 176 80 24 172 296 72 284 364 224 88 12 20 156 40 76 136 132 92 76 68 28 56 140 284 280 12 104 104 40 268 96 100 232 148 12 64 296 128 280 144 188 116 132 244 108 132 8 12 24 112 128 280 224 200 60 312 28 188 160 172 256 68 176 232 184 100 112 44 292 36 164 72 8 84 76 136 16 136 8 12 204 352 28 64 288 48 40 184 260 44 204 176 136 272 36 176 52 216 228 32 16 108 28 68 84 68 292 184 20 76 60 16 116 68 232 100 140 88 72 300 8 204 232 364 224 96 256 16 84 144 80 184 12 312 256 264 120 264 88 44 132 252 284 100 168 28 20 188 200 276 136 304 372 272 316 104 272 52 364 172 136 56 112 264 316 276 84 68 320 88 272 32 112 4 4 68 108 168 236 88 100 152 68 164 84 76 80 92 196 104 88 232 88 144 192 76 80 88 192 232 192 144 148 92 164 232 104 116 256 340 352 148 180 184 292 96 304 36 44 188 16 140 92 276 56 76 48 100 76 8 156 108 104 108 164 184 96 356 4 212 208 28 180 96 144 280 124 212 132 28 76 84 184 36 216 116 160 84 128 268 140 140 92 48 120 196 24 160 84 236 24 8 60 56 108 212 252 124 220 168 184 92 340 48 156 128 260 288 180 44 36 136 32 56 84 76 12 220 76 108 64 248
2520.12/2468.41	v       </values>
2520.12/2468.41	v     </instantiation>
2520.12/2468.41	s SATISFIABLE

Verifier Data 

OK	223240009

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293917-1532386762/watcher-4293917-1532386762 -o /tmp/evaluation-result-4293917-1532386762/solver-4293917-1532386762 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15153 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=583705530 HOME/instance-4293917-1532386762.xml 

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

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

solver pid=17922, runsolver pid=17919

[startup+0.100114 s]*
/proc/loadavg: 1.88 1.67 1.67 3/206 17979
/proc/meminfo: memFree=20353296/32770624 swapFree=67108860/67108860
[pid=17922] ppid=17919 vsize=9972712 memory=17072 CPUtime=0.08 cores=1,3,5,7
/proc/17922/stat : 17922 (java) S 17919 17922 15121 0 -1 1077944320 4424 13150 0 0 1 0 4 3 20 0 6 0 56239386 10212057088 4268 33554432000 4194304 4196468 140737265536624 140737265519168 140638603771639 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
/proc/17922/statm: 2493178 4268 1934 1 0 2481616 0
[pid=17922/tid=17975] ppid=17919 vsize=9972712 memory=4279135703946853774 CPUtime=0.08 cores=1,3,5,7
/proc/17922/task/17975/stat : 17975 (java) R 17919 17922 15121 0 -1 4202560 2250 13150 0 0 1 0 4 3 20 0 6 0 56239395 10212057088 4268 33554432000 4194304 4196468 140737265536624 140638575608400 140638586964373 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17976] ppid=17919 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17976/stat : 17976 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 6 0 56239396 10212057088 4268 33554432000 4194304 4196468 140737265536624 140638608014224 140638603781845 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17977] ppid=17919 vsize=9972712 memory=140279698228864 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17977/stat : 17977 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 6 0 56239396 10212057088 4268 33554432000 4194304 4196468 140737265536624 140638506904336 140638603781845 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17978] ppid=17919 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17978/stat : 17978 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 6 0 56239396 10212057088 4268 33554432000 4194304 4196468 140737265536624 140638505852048 140638603781845 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17979] ppid=17919 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17979/stat : 17979 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 6 0 56239396 10212057088 4268 33554432000 4194304 4196468 140737265536624 140638504799248 140638603781845 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB

[startup+0.209957 s]*
/proc/loadavg: 1.88 1.67 1.67 3/215 17988
/proc/meminfo: memFree=20333412/32770624 swapFree=67108860/67108860
[pid=17922] ppid=17919 vsize=10819896 memory=44468 CPUtime=0.26 cores=1,3,5,7
/proc/17922/stat : 17922 (java) S 17919 17922 15121 0 -1 1077944320 8217 13150 0 0 17 2 4 3 20 0 15 0 56239386 11079573504 11051 33554432000 4194304 4196468 140737265536624 140737265519168 140638603771639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
/proc/17922/statm: 2704974 11051 2989 1 0 2667397 0
[pid=17922/tid=17975] ppid=17919 vsize=10821524 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/17922/task/17975/stat : 17975 (java) R 17919 17922 15121 0 -1 4202560 5034 13150 0 0 10 1 4 3 20 0 15 0 56239395 11081240576 11315 33554432000 4194304 4196468 140737265536624 140638575596448 140638596451357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17976] ppid=17919 vsize=10821524 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17976/stat : 17976 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239396 11081240576 11315 33554432000 4194304 4196468 140737265536624 140638608014224 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17977] ppid=17919 vsize=10821524 memory=140279698228864 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17977/stat : 17977 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239396 11081240576 11381 33554432000 4194304 4196468 140737265536624 140638506904336 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17978] ppid=17919 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17978/stat : 17978 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239396 11081240576 11381 33554432000 4194304 4196468 140737265536624 140638505852048 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17979] ppid=17919 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17979/stat : 17979 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 56239396 11081240576 11381 33554432000 4194304 4196468 140737265536624 140638504799248 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17980] ppid=17919 vsize=10821524 memory=140279698228864 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17980/stat : 17980 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 56239397 11081240576 11381 33554432000 4194304 4196468 140737265536624 140638063175792 140638603782786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17981] ppid=17919 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17981/stat : 17981 (java) S 17919 17922 15121 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 56239398 11081240576 11447 33554432000 4194304 4196468 140737265536624 140637965902624 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17982] ppid=17919 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17982/stat : 17982 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239398 11081240576 11447 33554432000 4194304 4196468 140737265536624 140637361923184 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17983] ppid=17919 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17983/stat : 17983 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11081240576 11447 33554432000 4194304 4196468 140737265536624 140637121632336 140638603790235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17984] ppid=17919 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17984/stat : 17984 (java) S 17919 17922 15121 0 -1 1077944384 540 13150 0 0 0 0 4 3 20 0 15 0 56239401 11081240576 11447 33554432000 4194304 4196468 140737265536624 140638062123632 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17985] ppid=17919 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17922/task/17985/stat : 17985 (java) S 17919 17922 15121 0 -1 1077944384 71 13150 0 0 1 0 4 3 20 0 15 0 56239401 11081240576 11513 33554432000 4194304 4196468 140737265536624 140638061070832 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17986] ppid=17919 vsize=10821524 memory=140279698228864 CPUtime=0.1 cores=1,3,5,7
/proc/17922/task/17986/stat : 17986 (java) S 17919 17922 15121 0 -1 1077944384 605 13150 0 0 3 0 4 3 20 0 15 0 56239401 11081240576 11513 33554432000 4194304 4196468 140737265536624 140638060018544 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17987] ppid=17919 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17987/stat : 17987 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11081240576 11513 33554432000 4194304 4196468 140737265536624 140637088074720 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17988] ppid=17919 vsize=10821524 memory=140279698228864 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17988/stat : 17988 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239401 11081240576 11513 33554432000 4194304 4196468 140737265536624 140638058965424 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 44468 KiB

[startup+0.310412 s]*
/proc/loadavg: 1.88 1.67 1.67 3/215 17988
/proc/meminfo: memFree=20291580/32770624 swapFree=67108860/67108860
[pid=17922] ppid=17919 vsize=10819352 memory=54392 CPUtime=0.38 cores=1,3,5,7
/proc/17922/stat : 17922 (java) S 17919 17922 15121 0 -1 1077944320 10615 13150 0 0 28 3 4 3 20 0 15 0 56239386 11079016448 13598 33554432000 4194304 4196468 140737265536624 140737265519168 140638603771639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
/proc/17922/statm: 2704838 13598 3108 1 0 2667149 0
[pid=17922/tid=17975] ppid=17919 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/17922/task/17975/stat : 17975 (java) R 17919 17922 15121 0 -1 4202560 7176 13150 0 0 19 2 4 3 20 0 15 0 56239395 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638575583648 140638603793565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17976] ppid=17919 vsize=10819352 memory=7300986251812819024 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17976/stat : 17976 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239396 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638608014224 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17977] ppid=17919 vsize=10819352 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17977/stat : 17977 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239396 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638506904336 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17978] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17978/stat : 17978 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239396 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638505852048 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17979] ppid=17919 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17979/stat : 17979 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 56239396 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638504799248 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17980] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17980/stat : 17980 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 56239397 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638063175792 140638603782786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17981] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17981/stat : 17981 (java) S 17919 17922 15121 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 56239398 11079016448 13598 33554432000 4194304 4196468 140737265536624 140637965902624 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17982] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17982/stat : 17982 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239398 11079016448 13598 33554432000 4194304 4196468 140737265536624 140637361923184 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17983] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17983/stat : 17983 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11079016448 13598 33554432000 4194304 4196468 140737265536624 140637121632336 140638603790235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17984] ppid=17919 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17922/task/17984/stat : 17984 (java) S 17919 17922 15121 0 -1 1077944384 543 13150 0 0 1 0 4 3 20 0 15 0 56239401 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638062123632 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17985] ppid=17919 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17922/task/17985/stat : 17985 (java) S 17919 17922 15121 0 -1 1077944384 71 13150 0 0 1 0 4 3 20 0 15 0 56239401 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638061070832 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17986] ppid=17919 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17922/task/17986/stat : 17986 (java) R 17919 17922 15121 0 -1 4202560 612 13150 0 0 5 0 4 3 20 0 15 0 56239401 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638060018544 140638582432193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17987] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17987/stat : 17987 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11079016448 13598 33554432000 4194304 4196468 140737265536624 140637088074720 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17988] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17988/stat : 17988 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 56239401 11079016448 13598 33554432000 4194304 4196468 140737265536624 140638058965424 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54392 KiB

[startup+0.700772 s]
/proc/loadavg: 1.88 1.67 1.67 3/215 17988
/proc/meminfo: memFree=20277112/32770624 swapFree=67108860/67108860
[pid=17922] ppid=17919 vsize=10819352 memory=86780 CPUtime=0.99 cores=1,3,5,7
/proc/17922/stat : 17922 (java) S 17919 17922 15121 0 -1 1077944320 16762 13150 0 0 88 4 4 3 20 0 15 0 56239386 11079016448 21695 33554432000 4194304 4196468 140737265536624 140737265519168 140638603771639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
/proc/17922/statm: 2704838 21695 3246 1 0 2667149 0
[pid=17922/tid=17975] ppid=17919 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/17922/task/17975/stat : 17975 (java) R 17919 17922 15121 0 -1 4202560 12238 13150 0 0 57 2 4 3 20 0 15 0 56239395 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638575592464 140638584046788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17976] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17976/stat : 17976 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239396 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638608014224 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17977] ppid=17919 vsize=10819352 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17977/stat : 17977 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239396 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638506904336 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17978] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17978/stat : 17978 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239396 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638505852048 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17979] ppid=17919 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17979/stat : 17979 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 56239396 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638504799248 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17980] ppid=17919 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17980/stat : 17980 (java) S 17919 17922 15121 0 -1 1077944384 5 13150 0 0 0 0 4 3 20 0 15 0 56239397 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638063175792 140638603782786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17981] ppid=17919 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17981/stat : 17981 (java) S 17919 17922 15121 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 56239398 11079016448 21695 33554432000 4194304 4196468 140737265536624 140637965902624 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17982] ppid=17919 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17982/stat : 17982 (java) S 17919 17922 15121 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 56239398 11079016448 21695 33554432000 4194304 4196468 140737265536624 140637361923184 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17983] ppid=17919 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17983/stat : 17983 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11079016448 21695 33554432000 4194304 4196468 140737265536624 140637121632336 140638603790235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17984] ppid=17919 vsize=10819352 memory=13252 CPUtime=0.13 cores=1,3,5,7
/proc/17922/task/17984/stat : 17984 (java) S 17919 17922 15121 0 -1 1077944384 928 13150 0 0 6 0 4 3 20 0 15 0 56239401 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638062123632 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17985] ppid=17919 vsize=10819352 memory=15460 CPUtime=0.17 cores=1,3,5,7
/proc/17922/task/17985/stat : 17985 (java) S 17919 17922 15121 0 -1 1077944384 692 13150 0 0 10 0 4 3 20 0 15 0 56239401 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638061070832 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17986] ppid=17919 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/17922/task/17986/stat : 17986 (java) S 17919 17922 15121 0 -1 1077944384 680 13150 0 0 13 0 4 3 20 0 15 0 56239401 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638060018544 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17987] ppid=17919 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17987/stat : 17987 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11079016448 21695 33554432000 4194304 4196468 140737265536624 140637088074720 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17988] ppid=17919 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17988/stat : 17988 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 56239401 11079016448 21695 33554432000 4194304 4196468 140737265536624 140638058965424 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86780 KiB

[startup+1.50847 s]
/proc/loadavg: 1.88 1.67 1.67 3/215 17988
/proc/meminfo: memFree=20231664/32770624 swapFree=67108860/67108860
[pid=17922] ppid=17919 vsize=10828108 memory=315824 CPUtime=3.12 cores=1,3,5,7
/proc/17922/stat : 17922 (java) S 17919 17922 15121 0 -1 1077944320 23887 13150 0 0 285 20 4 3 20 0 15 0 56239386 11087982592 78956 33554432000 4194304 4196468 140737265536624 140737265519168 140638603771639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
/proc/17922/statm: 2707027 78956 3472 1 0 2668685 0
[pid=17922/tid=17975] ppid=17919 vsize=10828108 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/17922/task/17975/stat : 17975 (java) R 17919 17922 15121 0 -1 4202560 14908 13150 0 0 126 7 4 3 20 0 15 0 56239395 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638575603488 140638187934678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17976] ppid=17919 vsize=10828108 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/17922/task/17976/stat : 17976 (java) S 17919 17922 15121 0 -1 1077944384 118 13150 0 0 2 2 4 3 20 0 15 0 56239396 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638608014224 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17977] ppid=17919 vsize=10828108 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/17922/task/17977/stat : 17977 (java) S 17919 17922 15121 0 -1 1077944384 56 13150 0 0 2 2 4 3 20 0 15 0 56239396 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638506904336 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17978] ppid=17919 vsize=10828108 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/17922/task/17978/stat : 17978 (java) S 17919 17922 15121 0 -1 1077944384 355 13150 0 0 2 2 4 3 20 0 15 0 56239396 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638505852048 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17979] ppid=17919 vsize=10828108 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/17922/task/17979/stat : 17979 (java) S 17919 17922 15121 0 -1 1077944384 107 13150 0 0 2 2 4 3 20 0 15 0 56239396 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638504799248 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17980] ppid=17919 vsize=10828108 memory=1399103955520229747 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17980/stat : 17980 (java) S 17919 17922 15121 0 -1 1077944384 88 13150 0 0 0 0 4 3 20 0 15 0 56239397 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638063175792 140638603782786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17981] ppid=17919 vsize=10828108 memory=280559075010816 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17981/stat : 17981 (java) S 17919 17922 15121 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 56239398 11087982592 78956 33554432000 4194304 4196468 140737265536624 140637965902624 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17982] ppid=17919 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17982/stat : 17982 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 56239398 11087982592 78956 33554432000 4194304 4196468 140737265536624 140637361923184 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17983] ppid=17919 vsize=10828108 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17983/stat : 17983 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11087982592 78956 33554432000 4194304 4196468 140737265536624 140637121632336 140638603790235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17984] ppid=17919 vsize=10828108 memory=1704 CPUtime=0.58 cores=1,3,5,7
/proc/17922/task/17984/stat : 17984 (java) R 17919 17922 15121 0 -1 4202560 2462 13150 0 0 51 0 4 3 20 0 15 0 56239401 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638062114352 140638589826814 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17985] ppid=17919 vsize=10828108 memory=9924 CPUtime=0.59 cores=1,3,5,7
/proc/17922/task/17985/stat : 17985 (java) R 17919 17922 15121 0 -1 4202560 2031 13150 0 0 52 0 4 3 20 0 15 0 56239401 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638061057616 140638587268427 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17986] ppid=17919 vsize=10828108 memory=5788 CPUtime=0.5 cores=1,3,5,7
/proc/17922/task/17986/stat : 17986 (java) S 17919 17922 15121 0 -1 1077944384 1547 13150 0 0 43 0 4 3 20 0 15 0 56239401 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638060018544 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17987] ppid=17919 vsize=10828108 memory=1936 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17987/stat : 17987 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11087982592 78956 33554432000 4194304 4196468 140737265536624 140637088074720 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17988] ppid=17919 vsize=10828108 memory=1196 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17988/stat : 17988 (java) S 17919 17922 15121 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 56239401 11087982592 78956 33554432000 4194304 4196468 140737265536624 140638058965424 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10828108 KiB

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

/proc/17922/task/17975/stat : 17975 (java) R 17919 17922 15121 0 -1 4202560 358661 13150 0 0 237157 72 4 3 20 0 15 0 56239395 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638575606816 140638207433486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17976] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.15 cores=1,3,5,7
/proc/17922/task/17976/stat : 17976 (java) S 17919 17922 15121 0 -1 1077944384 32651 13150 0 0 815 93 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638608014224 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17977] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.17 cores=1,3,5,7
/proc/17922/task/17977/stat : 17977 (java) S 17919 17922 15121 0 -1 1077944384 31804 13150 0 0 820 90 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638506904336 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17978] ppid=17919 vsize=10852704 memory=3441972 CPUtime=9.14 cores=1,3,5,7
/proc/17922/task/17978/stat : 17978 (java) S 17919 17922 15121 0 -1 1077944384 37199 13150 0 0 815 92 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638505852048 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17979] ppid=17919 vsize=10852704 memory=-9174445032661854264 CPUtime=9.16 cores=1,3,5,7
/proc/17922/task/17979/stat : 17979 (java) S 17919 17922 15121 0 -1 1077944384 29428 13150 0 0 819 90 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638504799248 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17980] ppid=17919 vsize=10852704 memory=3441972 CPUtime=0.82 cores=1,3,5,7
/proc/17922/task/17980/stat : 17980 (java) S 17919 17922 15121 0 -1 1077944384 30451 13150 0 0 63 12 4 3 20 0 15 0 56239397 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638063175792 140638603782786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17981] ppid=17919 vsize=10852704 memory=3441972 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17981/stat : 17981 (java) S 17919 17922 15121 0 -1 1077944384 28 13150 0 0 0 0 4 3 20 0 15 0 56239398 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637965902688 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17982] ppid=17919 vsize=10852704 memory=3441972 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17982/stat : 17982 (java) S 17919 17922 15121 0 -1 1077944384 16 13150 0 0 0 0 4 3 20 0 15 0 56239398 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637361923200 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17983] ppid=17919 vsize=10852704 memory=3442092 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17983/stat : 17983 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637121632336 140638603790235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17984] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.53 cores=1,3,5,7
/proc/17922/task/17984/stat : 17984 (java) S 17919 17922 15121 0 -1 1077944384 90537 13150 0 0 936 10 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638062123632 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17985] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.93 cores=1,3,5,7
/proc/17922/task/17985/stat : 17985 (java) S 17919 17922 15121 0 -1 1077944384 99600 13150 0 0 976 10 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638061070832 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17986] ppid=17919 vsize=10852704 memory=3442092 CPUtime=3.42 cores=1,3,5,7
/proc/17922/task/17986/stat : 17986 (java) S 17919 17922 15121 0 -1 1077944384 67385 13150 0 0 327 8 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638060018544 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17987] ppid=17919 vsize=10852704 memory=3442092 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17987/stat : 17987 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637088074720 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17988] ppid=17919 vsize=10852704 memory=280559076317792 CPUtime=1.49 cores=1,3,5,7
/proc/17922/task/17988/stat : 17988 (java) S 17919 17922 15121 0 -1 1077944384 4071 13150 0 0 57 85 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638058965424 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
Current children cumulated CPU time: 2433.65 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3442092 KiB

[startup+2442.3 s]
/proc/loadavg: 1.69 1.76 1.70 3/215 18227
/proc/meminfo: memFree=16940596/32770624 swapFree=67108860/67108860
[pid=17922] ppid=17919 vsize=10852704 memory=3442092 CPUtime=2493.9 cores=1,3,5,7
/proc/17922/stat : 17922 (java) S 17919 17922 15121 0 -1 1077944320 800497 13150 0 0 248836 547 4 3 20 0 15 0 56239386 11113168896 860523 33554432000 4194304 4196468 140737265536624 140737265519168 140638603771639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
/proc/17922/statm: 2713176 860523 3535 1 0 2674829 0
[pid=17922/tid=17975] ppid=17919 vsize=10852704 memory=3442092 CPUtime=2432.29 cores=1,3,5,7
/proc/17922/task/17975/stat : 17975 (java) R 17919 17922 15121 0 -1 4202560 369332 13150 0 0 243149 73 4 3 20 0 15 0 56239395 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638575603696 140638207430805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17976] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.21 cores=1,3,5,7
/proc/17922/task/17976/stat : 17976 (java) S 17919 17922 15121 0 -1 1077944384 32788 13150 0 0 821 93 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638608014224 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17977] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.24 cores=1,3,5,7
/proc/17922/task/17977/stat : 17977 (java) S 17919 17922 15121 0 -1 1077944384 33146 13150 0 0 826 91 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638506904336 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17978] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.2 cores=1,3,5,7
/proc/17922/task/17978/stat : 17978 (java) S 17919 17922 15121 0 -1 1077944384 37462 13150 0 0 821 92 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638505852048 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17979] ppid=17919 vsize=10852704 memory=3441972 CPUtime=9.22 cores=1,3,5,7
/proc/17922/task/17979/stat : 17979 (java) S 17919 17922 15121 0 -1 1077944384 29976 13150 0 0 825 90 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638504799248 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17980] ppid=17919 vsize=10852704 memory=-9174445032661854264 CPUtime=0.83 cores=1,3,5,7
/proc/17922/task/17980/stat : 17980 (java) S 17919 17922 15121 0 -1 1077944384 30762 13150 0 0 64 12 4 3 20 0 15 0 56239397 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638063175792 140638603782786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17981] ppid=17919 vsize=10852704 memory=3442092 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17981/stat : 17981 (java) S 17919 17922 15121 0 -1 1077944384 28 13150 0 0 0 0 4 3 20 0 15 0 56239398 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637965902688 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17982] ppid=17919 vsize=10852704 memory=3442092 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17982/stat : 17982 (java) S 17919 17922 15121 0 -1 1077944384 16 13150 0 0 0 0 4 3 20 0 15 0 56239398 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637361923200 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17983] ppid=17919 vsize=10852704 memory=3442092 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17983/stat : 17983 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637121632336 140638603790235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17984] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.53 cores=1,3,5,7
/proc/17922/task/17984/stat : 17984 (java) S 17919 17922 15121 0 -1 1077944384 90540 13150 0 0 936 10 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638062123632 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17985] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.94 cores=1,3,5,7
/proc/17922/task/17985/stat : 17985 (java) S 17919 17922 15121 0 -1 1077944384 101889 13150 0 0 977 10 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638061070832 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17986] ppid=17919 vsize=10852704 memory=3442092 CPUtime=3.43 cores=1,3,5,7
/proc/17922/task/17986/stat : 17986 (java) S 17919 17922 15121 0 -1 1077944384 68249 13150 0 0 328 8 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638060018544 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17987] ppid=17919 vsize=10852704 memory=3442092 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17987/stat : 17987 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637088074720 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17988] ppid=17919 vsize=10852704 memory=3442092 CPUtime=1.52 cores=1,3,5,7
/proc/17922/task/17988/stat : 17988 (java) S 17919 17922 15121 0 -1 1077944384 4111 13150 0 0 58 87 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638058965424 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
Current children cumulated CPU time: 2493.9 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3442092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2468.3 s]
/proc/loadavg: 1.66 1.75 1.70 3/215 18228
/proc/meminfo: memFree=16941324/32770624 swapFree=67108860/67108860
[pid=17922] ppid=17919 vsize=10852704 memory=3442092 CPUtime=2520.01 cores=1,3,5,7
/proc/17922/stat : 17922 (java) S 17919 17922 15121 0 -1 1077944320 806442 13150 0 0 251445 549 4 3 20 0 15 0 56239386 11113168896 860523 33554432000 4194304 4196468 140737265536624 140737265519168 140638603771639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
/proc/17922/statm: 2713176 860523 3535 1 0 2674829 0
[pid=17922/tid=17975] ppid=17919 vsize=10852704 memory=-9174445032661854264 CPUtime=2458.26 cores=1,3,5,7
/proc/17922/task/17975/stat : 17975 (java) R 17919 17922 15121 0 -1 4202560 375248 13150 0 0 245745 74 4 3 20 0 15 0 56239395 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638575607040 140638206757304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17976] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.25 cores=1,3,5,7
/proc/17922/task/17976/stat : 17976 (java) S 17919 17922 15121 0 -1 1077944384 32795 13150 0 0 825 93 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638608014224 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17977] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.27 cores=1,3,5,7
/proc/17922/task/17977/stat : 17977 (java) S 17919 17922 15121 0 -1 1077944384 33147 13150 0 0 829 91 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638506904336 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17978] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.23 cores=1,3,5,7
/proc/17922/task/17978/stat : 17978 (java) S 17919 17922 15121 0 -1 1077944384 37467 13150 0 0 824 92 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638505852048 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17979] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.25 cores=1,3,5,7
/proc/17922/task/17979/stat : 17979 (java) S 17919 17922 15121 0 -1 1077944384 29979 13150 0 0 828 90 4 3 20 0 15 0 56239396 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638504799248 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17980] ppid=17919 vsize=10852704 memory=3442092 CPUtime=0.83 cores=1,3,5,7
/proc/17922/task/17980/stat : 17980 (java) S 17919 17922 15121 0 -1 1077944384 30770 13150 0 0 64 12 4 3 20 0 15 0 56239397 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638063175792 140638603782786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17981] ppid=17919 vsize=10852704 memory=18252 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17981/stat : 17981 (java) S 17919 17922 15121 0 -1 1077944384 28 13150 0 0 0 0 4 3 20 0 15 0 56239398 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637965902688 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17982] ppid=17919 vsize=10852704 memory=3442092 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17982/stat : 17982 (java) S 17919 17922 15121 0 -1 1077944384 16 13150 0 0 0 0 4 3 20 0 15 0 56239398 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637361923200 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17983] ppid=17919 vsize=10852704 memory=1424 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17983/stat : 17983 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637121632336 140638603790235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17984] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.53 cores=1,3,5,7
/proc/17922/task/17984/stat : 17984 (java) S 17919 17922 15121 0 -1 1077944384 90540 13150 0 0 936 10 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638062123632 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17985] ppid=17919 vsize=10852704 memory=3442092 CPUtime=9.94 cores=1,3,5,7
/proc/17922/task/17985/stat : 17985 (java) S 17919 17922 15121 0 -1 1077944384 101889 13150 0 0 977 10 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638061070832 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17986] ppid=17919 vsize=10852704 memory=3442092 CPUtime=3.43 cores=1,3,5,7
/proc/17922/task/17986/stat : 17986 (java) S 17919 17922 15121 0 -1 1077944384 68249 13150 0 0 328 8 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638060018544 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17987] ppid=17919 vsize=10852704 memory=3442092 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17987/stat : 17987 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140637088074720 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17988] ppid=17919 vsize=10852704 memory=3442092 CPUtime=1.53 cores=1,3,5,7
/proc/17922/task/17988/stat : 17988 (java) S 17919 17922 15121 0 -1 1077944384 4116 13150 0 0 58 88 4 3 20 0 15 0 56239401 11113168896 860523 33554432000 4194304 4196468 140737265536624 140638058965424 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3442092 KiB

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

[startup+2468.44 s]
# the end of solver process 17922 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.62 s, system=5.55483 s

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

[startup+2468.41 s]
/proc/loadavg: 1.66 1.75 1.70 3/215 18228
/proc/meminfo: memFree=16941324/32770624 swapFree=67108860/67108860
[pid=17922] ppid=17919 vsize=11049320 memory=3446320 CPUtime=2520.12 cores=1,3,5,7
/proc/17922/stat : 17922 (java) S 17919 17922 15121 0 -1 1077944320 807943 13150 0 0 251456 549 4 3 20 0 17 0 56239386 11314503680 861580 33554432000 4194304 4196468 140737265536624 140737265519168 140638603771639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
/proc/17922/statm: 2762330 861580 3537 1 0 2723983 0
[pid=17922/tid=17975] ppid=17919 vsize=11049320 memory=6791534058613427641 CPUtime=2458.36 cores=1,3,5,7
/proc/17922/task/17975/stat : 17975 (java) S 17919 17922 15121 0 -1 1077944384 375721 13150 0 0 245755 74 4 3 20 0 17 0 56239395 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638575615152 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17976] ppid=17919 vsize=11049320 memory=1704 CPUtime=9.25 cores=1,3,5,7
/proc/17922/task/17976/stat : 17976 (java) S 17919 17922 15121 0 -1 1077944384 32795 13150 0 0 825 93 4 3 20 0 17 0 56239396 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638608014224 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17977] ppid=17919 vsize=11049320 memory=9924 CPUtime=9.27 cores=1,3,5,7
/proc/17922/task/17977/stat : 17977 (java) S 17919 17922 15121 0 -1 1077944384 33147 13150 0 0 829 91 4 3 20 0 17 0 56239396 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638506904336 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17978] ppid=17919 vsize=11049320 memory=5788 CPUtime=9.23 cores=1,3,5,7
/proc/17922/task/17978/stat : 17978 (java) S 17919 17922 15121 0 -1 1077944384 37467 13150 0 0 824 92 4 3 20 0 17 0 56239396 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638505852048 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17979] ppid=17919 vsize=11049320 memory=1936 CPUtime=9.25 cores=1,3,5,7
/proc/17922/task/17979/stat : 17979 (java) S 17919 17922 15121 0 -1 1077944384 29979 13150 0 0 828 90 4 3 20 0 17 0 56239396 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638504799248 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17980] ppid=17919 vsize=11049320 memory=1196 CPUtime=0.83 cores=1,3,5,7
/proc/17922/task/17980/stat : 17980 (java) S 17919 17922 15121 0 -1 1077944384 30770 13150 0 0 64 12 4 3 20 0 17 0 56239397 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638063175792 140638603782786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17981] ppid=17919 vsize=11049320 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17981/stat : 17981 (java) S 17919 17922 15121 0 -1 1077944384 28 13150 0 0 0 0 4 3 20 0 17 0 56239398 11314503680 861580 33554432000 4194304 4196468 140737265536624 140637965902688 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17982] ppid=17919 vsize=11049320 memory=3104 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17982/stat : 17982 (java) S 17919 17922 15121 0 -1 1077944384 16 13150 0 0 0 0 4 3 20 0 17 0 56239398 11314503680 861580 33554432000 4194304 4196468 140737265536624 140637361923200 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17983] ppid=17919 vsize=11049320 memory=3442092 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17983/stat : 17983 (java) S 17919 17922 15121 0 -1 1077944384 200 13150 0 0 0 0 4 3 20 0 17 0 56239401 11314503680 861580 33554432000 4194304 4196468 140737265536624 140637121632336 140638603790235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17984] ppid=17919 vsize=11049320 memory=1408 CPUtime=9.53 cores=1,3,5,7
/proc/17922/task/17984/stat : 17984 (java) S 17919 17922 15121 0 -1 1077944384 90540 13150 0 0 936 10 4 3 20 0 17 0 56239401 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638062123632 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17985] ppid=17919 vsize=11049320 memory=3296 CPUtime=9.94 cores=1,3,5,7
/proc/17922/task/17985/stat : 17985 (java) S 17919 17922 15121 0 -1 1077944384 101908 13150 0 0 977 10 4 3 20 0 17 0 56239401 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638061070832 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17986] ppid=17919 vsize=11049320 memory=3427856 CPUtime=3.43 cores=1,3,5,7
/proc/17922/task/17986/stat : 17986 (java) R 17919 17922 15121 0 -1 4202560 68937 13150 0 0 328 8 4 3 20 0 17 0 56239401 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638060018432 140638589446783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17987] ppid=17919 vsize=11049320 memory=4100 CPUtime=0.07 cores=1,3,5,7
/proc/17922/task/17987/stat : 17987 (java) S 17919 17922 15121 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 17 0 56239401 11314503680 861580 33554432000 4194304 4196468 140737265536624 140637088074720 140638603781845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
[pid=17922/tid=17988] ppid=17919 vsize=11049320 memory=6791534058613427641 CPUtime=1.53 cores=1,3,5,7
/proc/17922/task/17988/stat : 17988 (java) S 17919 17922 15121 0 -1 1077944384 4116 13150 0 0 58 88 4 3 20 0 17 0 56239401 11314503680 861580 33554432000 4194304 4196468 140737265536624 140638058965424 140638603782786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23875584 140737265539695 140737265542492 140737265542492 140737265545167 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 11049320 KiB
Current children cumulated memory: 3446320 KiB

Child status: 143
Real time (s): 2468.44
CPU time (s): 2520.18
CPU user time (s): 2514.62
CPU system time (s): 5.55483
CPU usage (%): 102.096
Max. virtual memory (cumulated for all children) (KiB): 11049320
Max. memory (cumulated for all children) (KiB): 3622264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.62
system time used= 5.55483
maximum resident set size= 3622264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 822522
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= 75182
involuntary context switches= 2031


# summary of solver processes directly reported to runsolver:
#   pid: 17922
#   total CPU time (s): 2520.18
#   total CPU user time (s): 2514.62
#   total CPU system time (s): 5.55483

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8069 second user time and 24.0295 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-24 00:59:22
IDJOB=4293917
IDBENCH=141264
IDSOLVER=2750
FILE ID=node105/4293917-1532386762
RUNJOBID= node105-1532371073-15153
PBS_JOBID= 21021573
Free space on /tmp= 44656 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-02-0250_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293917-1532386762/watcher-4293917-1532386762 -o /tmp/evaluation-result-4293917-1532386762/solver-4293917-1532386762 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15153 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=583705530 HOME/instance-4293917-1532386762.xml

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

MD5SUM BENCH= 9ab3e648243ddfeac66c66819bd63413
RANDOM SEED=583705530

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20362096 kB
MemAvailable:   28480256 kB
Buffers:          203804 kB
Cached:          8059340 kB
SwapCached:            0 kB
Active:          5096776 kB
Inactive:        6673636 kB
Active(anon):    3461472 kB
Inactive(anon):    65652 kB
Active(file):    1635304 kB
Inactive(file):  6607984 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             94200 kB
Writeback:             0 kB
AnonPages:       3514776 kB
Mapped:            50664 kB
Shmem:             17036 kB
Slab:             330940 kB
SReclaimable:     303332 kB
SUnreclaim:        27608 kB
KernelStack:        3504 kB
PageTables:        12056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4063920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3258368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44612 MiB
End job on node105 at 2018-07-24 01:40:31