Trace number 4304431

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)40498440 2520.15 2470.55

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.74	c Concrete v3.9.2.1532736233296 running
81.56/55.71	o 40498446
81.84/55.87	o 40498445
113.64/85.28	o 40498444
113.93/85.31	o 40498443
113.93/85.34	o 40498442
113.93/85.39	o 40498441
181.55/151.32	o 40498440
2520.09/2470.50	Exception in thread "main" java.util.concurrent.TimeoutException
2520.09/2470.50		at concrete.MAC.mac(MAC.scala:188)
2520.09/2470.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.09/2470.50		at scala.util.Try$.apply(Try.scala:209)
2520.09/2470.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2470.50		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2470.50		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2470.50		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2470.50		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.09/2470.50		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2470.50		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2470.50		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2470.50		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2470.50		at concrete.MAC.oneRun(MAC.scala:253)
2520.09/2470.50		at concrete.MAC.nextSolution(MAC.scala:272)
2520.09/2470.50		at concrete.MAC.nextSolution(MAC.scala:355)
2520.09/2470.50		at concrete.Solver.hasNext(Solver.scala:166)
2520.09/2470.50		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.09/2470.50		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.09/2470.51		at concrete.Solver.foreach(Solver.scala:68)
2520.09/2470.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.09/2470.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2470.51		at scala.util.Success.map(Try.scala:209)
2520.09/2470.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.09/2470.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.09/2470.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.09/2470.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.09/2470.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.09/2470.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2470.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2470.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2470.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2470.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2470.51		at scala.App.main(App.scala:76)
2520.09/2470.51		at scala.App.main$(App.scala:74)
2520.09/2470.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.09/2470.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2470.52	v <instantiation cost="40498440">
2520.09/2470.52	v       <list>
2520.09/2470.52	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.09/2470.52	v       </list>
2520.09/2470.52	v       <values>
2520.09/2470.52	v         2452 2488 2616 2312 2540 2280 2500 2384 2292 2264 2616 2256 2596 2516 2368 2500 2492 2448 2576 2584 2436 2516 2504 2612 2292 2360 2332 2352 2440 2540 2524 2268 2460 2432 2252 2612 2548 2280 2544 2240 2564 2288 2424 2452 2248 2624 2416 2548 2308 2292 2516 2576 2280 2616 2624 2472 2556 2460 2576 2328 2528 2376 2580 2580 2436 2596 2436 2408 2296 2320 2368 2444 2240 2656 2488 2524 2612 2264 2440 2564 2568 2556 2568 2656 2544 2612 2472 2368 2644 2472 2524 2240 2448 2240 2432 2396 2252 2656 2420 2368 2652 2420 2356 2352 2612 2656 2528 2644 2516 2488 2480 2444 2608 2500 2616 2576 2336 2644 2500 2396 2280 2304 2548 2376 2616 2480 2576 2472 2508 2456 2292 2616 2280 2572 2580 2652 2596 2412 2404 2656 2460 2652 2608 2476 2252 2416 2424 2616 2616 2596 2524 2424 2312 2560 2584 2240 2552 2268 2604 2388 2592 2584 2472 2644 2496 2332 2604 2524 2572 2360 2308 2564 2384 2656 2476 2468 2540 2476 2556 2372 2484 2400 2604 2348 2644 2616 2588 2600 2332 2292 2524 2636 2540 2616 2560 2292 2556 2356 2556 2472 2616 2588 2508 2408 2600 2648 2608 2476 2616 2332 2452 2620 2512 2436 2404 2624 2396 2512 2380 2292 2280 2400 2576 2584 2240 2316 2512 2604 2604 2592 2564 2332 2548 2380 2412 2384 2376 2412 2432 2500 2552 2520 2588 2332 2564 2408 2292 2304 2648 2292 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 164 132 160 188 192 144 88 52 136 196 52 88 112 48 156 16 36 112 128 20 128 168 136 64 156 184 20 336 52 196 196 364 300 232 188 188 272 300 312 236 92 20 96 104 104 28 28 68 188 20 232 64 132 76 104 140 300 80 144 316 376 332 272 324 172 40 28 52 156 132 96 248 168 56 8 108 116 88 208 228 180 40 172 52 184 36 80 40 12 260 252 156 204 220 92 324 320 264 208 232 308 88 144 224 72 196 388 344 344 212 28 16 20 284 88 376 52 40 72 36 64 28 16 236 232 248 104 168 320 324 400 268 36 168 216 284 196 256 24 392 344 260 60 44 48 56 56 8 88 200 356 184 8 276 32 56 148 136 136 80 72 72 244 172 80 68 200 132 284 196 16 288 36 192 52 76 52 260 76 112 104 24 56 116 8 116 104 92 60 244 84 196 124 252 252 96 164 152 124 160 92 252 80 188 180 120 152 156 204 60 200 156 100 8 144 28 92 244 64 196 148 332 208 216 24 72 236 108 72 32 68 88 32 128 152 104 28 144 80 8 40 88 24 100 88 256 72 64 148 112 28 124 100 64 320 44 164 132 216 360 48 240 320 24 280 236 132 208 180 88 208 32 296 248 256 256 232 224 180 244 92 152 52 56 128 324 236 88 140 84 228 64 136 224 312 48 56 244 20 236 232 80 100 132 48 124 84 136 148 80 40 300 76 56 144 28 164 48 104 52 120 72 52 140 148 204 308 100 304 384 208 144 140 164 92 196 104 92 12 192 156 208 100 80 80 128 148 8 20 148 136 180 224 220 176 164 108 32 192 220 116 392 144 124 400 12 64 248 52 160 304 244 40 280 252 180 96 108 60 68 280 52 112 148 308 44 136 276 72 224 280 124 64 208 36 128 60 40 20 184 36 340 168 56 416 208 332 144 360 316 196 40 324 324 52 324 68 232 272 288 288 184 368 156 220 368 316 180 188 4 268 96 36 96 100 100 4 220 148 152 104 112 160 124 96 120 184 60 16 168 300 32 280 324 348 388 44 360 316 136 144 168 200 20 252 148 332 32 20 8 240 152 100 20 40 104 168 228 124 220 144 36 176 308 180 128 128 88 296 36 108 152 28 136 172 28 300 308 292 128 96 268 68 272 152 108 272 40 28 80 56 8 40 120 8 132 108 296 20 336 272 4 216 68 48 196 96 116 316 368 180 248 136 20 104 236 296 44 360 272 32 64 140 84 148 192 220 144 80 164 128 120 180 28 48 40 40 160 224 116 196 192 104 80 156 188 336 180 324 240 76 244 176 64 76 244 108 88 96 148 236 172 260 92 84 128 56 48 60 156 268 96 220 16 280 100 248 136 8 176 76 36 36 312 220 76 340 168 12 76 36 40 128 248 68 88 196 16 68 12 52 104 120 24 188 80 196 16 64 180 220 200 104 144 116 52 36 48 248 88 196 208 12 348 360 348 100 280 16 28 260 36 260 56 56 100 160 28 68 272 264 236 296 60 92 76 80 208 28 88 36 92 184 20 248 84 212 192 172 56 32 116 192 404 236 184 12 156 40 348 172 68 376 324 80 124 16 152 12 64 52 52 168 128 72 212 36 172 88 152 252 44 136 264 176 20 60 308 304 184 24 152 340 320 68 120 352 344 204 200 40 184 148 136 164 112 136 48 312 16 16 140 12 296 88 132 232 272 328 88 20 112 56 252 76 48 80 156 28 8 96 112 276 40 88 20 44 160 192 112 208 108 108 304 60 32 40 132 212 240 372 372 64 200 4 12 216 332 28 104 52 184 136 132 116 20 192 140 80 180 128 248 276 128 116 392 96 268 60 284 296 136 20 96 40 180 28 136 28 112 180 40 92 28 272 168 172 244 92 64 64 372 216 172 368 356 316 156 16 28 80 60 208 196 136 416 268 368 28 408 212 160 172 12 124 152 80 212 260 220 156 16 124 400 392 344 404 12 220 224 352 156 80 376 60 388 20 256 416 280 52 188 128 56 112 144 100 244 160 64 284 128 232 248 44 152 144 192 96 360 360 160 136 168 180 200 16 172 104 116 216 288 64 44 304 52 252 208 264 296 20 24 104 4 88 140 100 168 260 416 268 284 68 324 100 244 8 88 76 72 88 20 196 68 240 120 88 352 136 264 8 100 128 48 116 140 84 88 208 96 104 16 20 12 148 68 144 104 96 188 64 92 112 60 136 32 172 28 96 36 32 152 196 132 220 28 204 368 228 200 304 92 100 24 88 28 20 60 236 240 120 324 52 192 284 64 244 56 316 80 52 280 352 28 260 44 352 116 140 100 144 168 208 176 200 156 168 248 204 196 36 96 108 104 176 260 12 108 12 36 72 24 76 308 164 184 176 16 248 176 188 72 304 32 12 28 164 324 32 32 80 76 120 48 72 152 176 284 172 28 56 92 60 96 16 48 36 140 68 188 160 164 192 164 124 300 292 352 16 352 324 8 348 92 56 204 232 336 324 260 68 308 336 336 268 132 96 36 32 16 240 240 160 140 76 108 8 180 36 20 144 48 68 280 360 140 132 56 24 128 248 72 100 212 92 136 32 60 48 180 324 156 8 52 56 220 144 28 128 128 220 132 360 340 208 368 96 196 80 108 184 60 172 56 12 84 160 176 284 92 244 12 324 12 240 204 140 20 60 212 240 184 324 120 28 356 48 120 32 16 60 40 140 44 140 12 8 240 304 20 304 288 40 48 268 252 28 132 84 144 52 68 260 8 260 272 220 28 144 12 272 128 312 12 20 224 136 228 68 76 292 164 100 180 136 72 168 28 132 248 364 76 20 108 164 52 136 40 144 52 272 260 232 80 232 48 16 12 224 176 124 232 28 28 196 164 24 164 92 80 20 256 168 296 16 296 104 192 92 88 232 208 260 88 32 104 44 172 32 124 36 64 48 208 88 260 64 108 144 24 172 48 224 40 92 148 40 76 128 124 136 204 108 64 108 180 52 188 224 192 164 152 324 44 176 152 204 44 248 260 144 256 48 308 16 36 188 48 100 64 92 52 64 16 96 12 52 344 16 60 160 180 60 120 200 32 176 144 36 264 92 40 208 80 204 140 4 116 128 28 36 100 268 136 132 176 56 144 172 220 68 240 52 44 188 60 236 32 112 128 136 188 292 72 196 224 168 140 48 312 272 152 192 324 204 64 168 256 88 28 68 140 260 248 180 296 40 156 356
2520.09/2470.52	v       </values>
2520.09/2470.52	v     </instantiation>
2520.09/2470.52	s SATISFIABLE

Verifier Data 

OK	40498440

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304431-1534086058/watcher-4304431-1534086058 -o /tmp/evaluation-result-4304431-1534086058/solver-4304431-1534086058 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20601 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=779871531 HOME/instance-4304431-1534086058.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
solver pid=24223, runsolver pid=24220
Current StackSize limit: 8192 KiB


[startup+0.109068 s]*
/proc/loadavg: 1.71 1.71 1.63 4/206 24280
/proc/meminfo: memFree=9458972/32770624 swapFree=67108496/67108860
[pid=24223] ppid=24220 vsize=10453864 memory=23732 CPUtime=0.1 cores=1,3,5,7
/proc/24223/stat : 24223 (java) S 24220 24223 20569 0 -1 1077944320 4559 12916 0 0 2 0 5 3 20 0 9 0 226169020 10704756736 5933 33554432000 4194304 4196468 140720312850400 140720312832944 139941996343031 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
/proc/24223/statm: 2613466 5933 2101 1 0 2576007 0
[pid=24223/tid=24276] ppid=24220 vsize=10453864 memory=4351193297984521354 CPUtime=0.09 cores=1,3,5,7
/proc/24223/task/24276/stat : 24276 (java) R 24220 24223 20569 0 -1 4202560 2347 12916 0 0 1 0 5 3 20 0 9 0 226169028 10704756736 5933 33554432000 4194304 4196468 140720312850400 139941968179056 139941980423518 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24277] ppid=24220 vsize=10453864 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24277/stat : 24277 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 9 0 226169029 10704756736 5933 33554432000 4194304 4196468 140720312850400 139942000584976 139941996353237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24278] ppid=24220 vsize=10453864 memory=140084919760512 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24278/stat : 24278 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 9 0 226169029 10704756736 5933 33554432000 4194304 4196468 140720312850400 139941855304080 139941996353237 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24279] ppid=24220 vsize=10453864 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24279/stat : 24279 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 9 0 226169029 10704756736 5933 33554432000 4194304 4196468 140720312850400 139941854251536 139941996353237 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24280] ppid=24220 vsize=10453864 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24280/stat : 24280 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 9 0 226169029 10704756736 5933 33554432000 4194304 4196468 140720312850400 139941853198992 139941996353237 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24281] ppid=24220 vsize=10453864 memory=140084919760512 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24281/stat : 24281 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 9 0 226169031 10704756736 5933 33554432000 4194304 4196468 140720312850400 139941287766512 139941996354178 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24282] ppid=24220 vsize=10453864 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24282/stat : 24282 (java) S 24220 24223 20569 0 -1 1077944384 13 12916 0 0 0 0 5 3 20 0 9 0 226169031 10704756736 5933 33554432000 4194304 4196468 140720312850400 139940839024032 139941996353237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24283] ppid=24220 vsize=10453864 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24283/stat : 24283 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 9 0 226169031 10704756736 5933 33554432000 4194304 4196468 140720312850400 139940637697584 139941996353237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 23732 KiB

[startup+0.210223 s]*
/proc/loadavg: 1.71 1.71 1.63 3/215 24289
/proc/meminfo: memFree=9438140/32770624 swapFree=67108496/67108860
[pid=24223] ppid=24220 vsize=10985364 memory=49184 CPUtime=0.26 cores=1,3,5,7
/proc/24223/stat : 24223 (java) S 24220 24223 20569 0 -1 1077944320 8459 12916 0 0 17 1 5 3 20 0 15 0 226169020 11249012736 12296 33554432000 4194304 4196468 140720312850400 140720312832944 139941996343031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
/proc/24223/statm: 2746341 12296 2978 1 0 2708764 0
[pid=24223/tid=24276] ppid=24220 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/24223/task/24276/stat : 24276 (java) R 24220 24223 20569 0 -1 4202560 4999 12916 0 0 11 0 5 3 20 0 15 0 226169028 11246329856 11681 33554432000 4194304 4196468 140720312850400 139941968167840 139941989022253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24277] ppid=24220 vsize=10982744 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24277/stat : 24277 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246329856 11681 33554432000 4194304 4196468 140720312850400 139942000584976 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24278] ppid=24220 vsize=10982744 memory=288370461071472256 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24278/stat : 24278 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246329856 11681 33554432000 4194304 4196468 140720312850400 139941855304080 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24279] ppid=24220 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24279/stat : 24279 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246329856 11681 33554432000 4194304 4196468 140720312850400 139941854251536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24280] ppid=24220 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24280/stat : 24280 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246329856 11681 33554432000 4194304 4196468 140720312850400 139941853198992 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24281] ppid=24220 vsize=10982744 memory=140084919760512 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24281/stat : 24281 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 15 0 226169031 11246329856 11681 33554432000 4194304 4196468 140720312850400 139941287766512 139941996354178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24282] ppid=24220 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24282/stat : 24282 (java) S 24220 24223 20569 0 -1 1077944384 13 12916 0 0 0 0 5 3 20 0 15 0 226169031 11246362624 11681 33554432000 4194304 4196468 140720312850400 139940839024032 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24283] ppid=24220 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24283/stat : 24283 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169031 11246362624 11681 33554432000 4194304 4196468 140720312850400 139940637697520 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24284] ppid=24220 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24284/stat : 24284 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11246362624 11681 33554432000 4194304 4196468 140720312850400 139940330298064 139941996361627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24285] ppid=24220 vsize=10982776 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24223/task/24285/stat : 24285 (java) S 24220 24223 20569 0 -1 1077944384 558 12916 0 0 1 0 5 3 20 0 15 0 226169034 11246362624 11681 33554432000 4194304 4196468 140720312850400 139941286713328 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24286] ppid=24220 vsize=10982776 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24223/task/24286/stat : 24286 (java) S 24220 24223 20569 0 -1 1077944384 68 12916 0 0 1 0 5 3 20 0 15 0 226169034 11246362624 11746 33554432000 4194304 4196468 140720312850400 139941285660784 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24287] ppid=24220 vsize=10982776 memory=140084919760512 CPUtime=0.11 cores=1,3,5,7
/proc/24223/task/24287/stat : 24287 (java) S 24220 24223 20569 0 -1 1077944384 612 12916 0 0 3 0 5 3 20 0 15 0 226169034 11246362624 11746 33554432000 4194304 4196468 140720312850400 139941284608240 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24288] ppid=24220 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24288/stat : 24288 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11246362624 11746 33554432000 4194304 4196468 140720312850400 139939899501152 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24289] ppid=24220 vsize=10982776 memory=140084919760512 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24289/stat : 24289 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169034 11246362624 11812 33554432000 4194304 4196468 140720312850400 139941283556144 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 49184 KiB

[startup+0.310454 s]*
/proc/loadavg: 1.71 1.71 1.63 3/215 24289
/proc/meminfo: memFree=9424744/32770624 swapFree=67108496/67108860
[pid=24223] ppid=24220 vsize=10983192 memory=57184 CPUtime=0.39 cores=1,3,5,7
/proc/24223/stat : 24223 (java) S 24220 24223 20569 0 -1 1077944320 10324 12916 0 0 29 2 5 3 20 0 15 0 226169020 11246788608 14296 33554432000 4194304 4196468 140720312850400 140720312832944 139941996343031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
/proc/24223/statm: 2745798 14296 3097 1 0 2708109 0
[pid=24223/tid=24276] ppid=24220 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24223/task/24276/stat : 24276 (java) R 24220 24223 20569 0 -1 4202560 6856 12916 0 0 20 1 5 3 20 0 15 0 226169028 11246788608 14296 33554432000 4194304 4196468 140720312850400 139941968155040 139941976614768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24277] ppid=24220 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24277/stat : 24277 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246788608 14296 33554432000 4194304 4196468 140720312850400 139942000584976 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24278] ppid=24220 vsize=10983192 memory=140084919771105 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24278/stat : 24278 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246788608 14296 33554432000 4194304 4196468 140720312850400 139941855304080 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24279] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24279/stat : 24279 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246788608 14296 33554432000 4194304 4196468 140720312850400 139941854251536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24280] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24280/stat : 24280 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246788608 14296 33554432000 4194304 4196468 140720312850400 139941853198992 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24281] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24281/stat : 24281 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 15 0 226169031 11246788608 14296 33554432000 4194304 4196468 140720312850400 139941287766512 139941996354178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24282] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24282/stat : 24282 (java) S 24220 24223 20569 0 -1 1077944384 13 12916 0 0 0 0 5 3 20 0 15 0 226169031 11246788608 14296 33554432000 4194304 4196468 140720312850400 139940839024032 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24283] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24283/stat : 24283 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169031 11246788608 14296 33554432000 4194304 4196468 140720312850400 139940637697520 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24284] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24284/stat : 24284 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11246788608 14296 33554432000 4194304 4196468 140720312850400 139940330298064 139941996361627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24285] ppid=24220 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24223/task/24285/stat : 24285 (java) S 24220 24223 20569 0 -1 1077944384 558 12916 0 0 1 0 5 3 20 0 15 0 226169034 11246788608 14296 33554432000 4194304 4196468 140720312850400 139941286713328 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24286] ppid=24220 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24223/task/24286/stat : 24286 (java) S 24220 24223 20569 0 -1 1077944384 69 12916 0 0 1 0 5 3 20 0 15 0 226169034 11246788608 14296 33554432000 4194304 4196468 140720312850400 139941285660784 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24287] ppid=24220 vsize=10983192 memory=140084919760512 CPUtime=0.13 cores=1,3,5,7
/proc/24223/task/24287/stat : 24287 (java) R 24220 24223 20569 0 -1 4202560 620 12916 0 0 5 0 5 3 20 0 15 0 226169034 11246788608 14296 33554432000 4194304 4196468 140720312850400 139941284608240 139941974711402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24288] ppid=24220 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24288/stat : 24288 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11246788608 14296 33554432000 4194304 4196468 140720312850400 139939899501152 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24289] ppid=24220 vsize=10983192 memory=140084919760512 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24289/stat : 24289 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169034 11246788608 14296 33554432000 4194304 4196468 140720312850400 139941283556144 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57184 KiB

[startup+0.700743 s]
/proc/loadavg: 1.71 1.71 1.63 3/215 24289
/proc/meminfo: memFree=9415440/32770624 swapFree=67108496/67108860
[pid=24223] ppid=24220 vsize=10983192 memory=89500 CPUtime=0.99 cores=1,3,5,7
/proc/24223/stat : 24223 (java) S 24220 24223 20569 0 -1 1077944320 16400 12916 0 0 87 4 5 3 20 0 15 0 226169020 11246788608 22375 33554432000 4194304 4196468 140720312850400 140720312832944 139941996343031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
/proc/24223/statm: 2745798 22375 3239 1 0 2708109 0
[pid=24223/tid=24276] ppid=24220 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/24223/task/24276/stat : 24276 (java) R 24220 24223 20569 0 -1 4202560 11826 12916 0 0 55 3 5 3 20 0 15 0 226169028 11246788608 22375 33554432000 4194304 4196468 140720312850400 139941968163856 139941980423518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24277] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24277/stat : 24277 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246788608 22375 33554432000 4194304 4196468 140720312850400 139942000584976 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24278] ppid=24220 vsize=10983192 memory=2448265577985 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24278/stat : 24278 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246788608 22375 33554432000 4194304 4196468 140720312850400 139941855304080 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24279] ppid=24220 vsize=10983192 memory=8730491 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24279/stat : 24279 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246788608 22375 33554432000 4194304 4196468 140720312850400 139941854251536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24280] ppid=24220 vsize=10983192 memory=-7453528518462155811 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24280/stat : 24280 (java) S 24220 24223 20569 0 -1 1077944384 2 12916 0 0 0 0 5 3 20 0 15 0 226169029 11246788608 22375 33554432000 4194304 4196468 140720312850400 139941853198992 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24281] ppid=24220 vsize=10983192 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24281/stat : 24281 (java) S 24220 24223 20569 0 -1 1077944384 5 12916 0 0 0 0 5 3 20 0 15 0 226169031 11246788608 22375 33554432000 4194304 4196468 140720312850400 139941287766512 139941996354178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24282] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24282/stat : 24282 (java) S 24220 24223 20569 0 -1 1077944384 13 12916 0 0 0 0 5 3 20 0 15 0 226169031 11246788608 22375 33554432000 4194304 4196468 140720312850400 139940839024032 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24283] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24283/stat : 24283 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169031 11246788608 22375 33554432000 4194304 4196468 140720312850400 139940637697520 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24284] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24284/stat : 24284 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11246788608 22375 33554432000 4194304 4196468 140720312850400 139940330298064 139941996361627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24285] ppid=24220 vsize=10983192 memory=8551153264016595330 CPUtime=0.15 cores=1,3,5,7
/proc/24223/task/24285/stat : 24285 (java) S 24220 24223 20569 0 -1 1077944384 944 12916 0 0 7 0 5 3 20 0 15 0 226169034 11246788608 22375 33554432000 4194304 4196468 140720312850400 139941286713328 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24286] ppid=24220 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/24223/task/24286/stat : 24286 (java) S 24220 24223 20569 0 -1 1077944384 734 12916 0 0 9 0 5 3 20 0 15 0 226169034 11246788608 22375 33554432000 4194304 4196468 140720312850400 139941285660784 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24287] ppid=24220 vsize=10983192 memory=140084919763025 CPUtime=0.21 cores=1,3,5,7
/proc/24223/task/24287/stat : 24287 (java) R 24220 24223 20569 0 -1 4202560 672 12916 0 0 13 0 5 3 20 0 15 0 226169034 11246788608 22375 33554432000 4194304 4196468 140720312850400 139941284608240 139941975263327 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24288] ppid=24220 vsize=10983192 memory=3872 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24288/stat : 24288 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11246788608 22375 33554432000 4194304 4196468 140720312850400 139939899501152 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24289] ppid=24220 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24289/stat : 24289 (java) S 24220 24223 20569 0 -1 1077944384 1 12916 0 0 0 0 5 3 20 0 15 0 226169034 11246788608 22375 33554432000 4194304 4196468 140720312850400 139941283556144 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89500 KiB

[startup+1.50207 s]
/proc/loadavg: 1.71 1.71 1.63 3/215 24289
/proc/meminfo: memFree=9370100/32770624 swapFree=67108496/67108860
[pid=24223] ppid=24220 vsize=10991948 memory=321496 CPUtime=3.12 cores=1,3,5,7
/proc/24223/stat : 24223 (java) S 24220 24223 20569 0 -1 1077944320 23716 12916 0 0 281 23 5 3 20 0 15 0 226169020 11255754752 80374 33554432000 4194304 4196468 140720312850400 140720312832944 139941996343031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
/proc/24223/statm: 2747987 80374 3473 1 0 2709645 0
[pid=24223/tid=24276] ppid=24220 vsize=10991948 memory=9168 CPUtime=1.39 cores=1,3,5,7
/proc/24223/task/24276/stat : 24276 (java) R 24220 24223 20569 0 -1 4202560 14473 12916 0 0 123 8 5 3 20 0 15 0 226169028 11255754752 80374 33554432000 4194304 4196468 140720312850400 139941968173816 139941996354966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24277] ppid=24220 vsize=10991948 memory=33 CPUtime=0.12 cores=1,3,5,7
/proc/24223/task/24277/stat : 24277 (java) S 24220 24223 20569 0 -1 1077944384 48 12916 0 0 2 2 5 3 20 0 15 0 226169029 11255754752 80374 33554432000 4194304 4196468 140720312850400 139942000584976 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24278] ppid=24220 vsize=10991948 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24223/task/24278/stat : 24278 (java) S 24220 24223 20569 0 -1 1077944384 349 12916 0 0 2 2 5 3 20 0 15 0 226169029 11255754752 80374 33554432000 4194304 4196468 140720312850400 139941855304080 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24279] ppid=24220 vsize=10991948 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24223/task/24279/stat : 24279 (java) S 24220 24223 20569 0 -1 1077944384 161 12916 0 0 2 2 5 3 20 0 15 0 226169029 11255754752 80374 33554432000 4194304 4196468 140720312850400 139941854251536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24280] ppid=24220 vsize=10991948 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/24223/task/24280/stat : 24280 (java) S 24220 24223 20569 0 -1 1077944384 109 12916 0 0 2 3 5 3 20 0 15 0 226169029 11255754752 80374 33554432000 4194304 4196468 140720312850400 139941853198992 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24281] ppid=24220 vsize=10991948 memory=8551153264016595330 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24281/stat : 24281 (java) S 24220 24223 20569 0 -1 1077944384 96 12916 0 0 0 0 5 3 20 0 15 0 226169031 11255754752 80374 33554432000 4194304 4196468 140720312850400 139941287766512 139941996354178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24282] ppid=24220 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24282/stat : 24282 (java) S 24220 24223 20569 0 -1 1077944384 14 12916 0 0 0 0 5 3 20 0 15 0 226169031 11255754752 80374 33554432000 4194304 4196468 140720312850400 139940839024032 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24283] ppid=24220 vsize=10991948 memory=140084919763025 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24283/stat : 24283 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169031 11255754752 80374 33554432000 4194304 4196468 140720312850400 139940637697520 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24284] ppid=24220 vsize=10991948 memory=756 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24284/stat : 24284 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11255754752 80374 33554432000 4194304 4196468 140720312850400 139940330298064 139941996361627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24285] ppid=24220 vsize=10991948 memory=1624 CPUtime=0.6 cores=1,3,5,7
/proc/24223/task/24285/stat : 24285 (java) R 24220 24223 20569 0 -1 4202560 2526 12916 0 0 52 0 5 3 20 0 15 0 226169034 11255754752 80374 33554432000 4194304 4196468 140720312850400 139941286698192 139941974090479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24286] ppid=24220 vsize=10991948 memory=1836 CPUtime=0.61 cores=1,3,5,7
/proc/24223/task/24286/stat : 24286 (java) R 24220 24223 20569 0 -1 4202560 1962 12916 0 0 53 0 5 3 20 0 15 0 226169034 11255754752 80374 33554432000 4194304 4196468 140720312850400 139941285648352 139941977043335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24287] ppid=24220 vsize=10991948 memory=1132 CPUtime=0.49 cores=1,3,5,7
/proc/24223/task/24287/stat : 24287 (java) R 24220 24223 20569 0 -1 4202560 1776 12916 0 0 41 0 5 3 20 0 15 0 226169034 11255754752 80374 33554432000 4194304 4196468 140720312850400 139941284608240 139941980451117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0

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

/proc/24223/task/24276/stat : 24276 (java) R 24220 24223 20569 0 -1 4202560 461887 12916 0 0 237178 83 5 3 20 0 15 0 226169028 11280941056 793403 33554432000 4194304 4196468 140720312850400 139941968178304 139941535294343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24277] ppid=24220 vsize=11016544 memory=3159240 CPUtime=8.25 cores=1,3,5,7
/proc/24223/task/24277/stat : 24277 (java) S 24220 24223 20569 0 -1 1077944384 45893 12916 0 0 744 73 5 3 20 0 15 0 226169029 11280941056 793403 33554432000 4194304 4196468 140720312850400 139942000584976 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24278] ppid=24220 vsize=11016544 memory=3145328 CPUtime=8.24 cores=1,3,5,7
/proc/24223/task/24278/stat : 24278 (java) S 24220 24223 20569 0 -1 1077944384 39878 12916 0 0 742 74 5 3 20 0 15 0 226169029 11280941056 793403 33554432000 4194304 4196468 140720312850400 139941855304080 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24279] ppid=24220 vsize=11016544 memory=3151952 CPUtime=8.26 cores=1,3,5,7
/proc/24223/task/24279/stat : 24279 (java) S 24220 24223 20569 0 -1 1077944384 37994 12916 0 0 743 75 5 3 20 0 15 0 226169029 11280941056 793403 33554432000 4194304 4196468 140720312850400 139941854251536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24280] ppid=24220 vsize=11016544 memory=3173612 CPUtime=8.27 cores=1,3,5,7
/proc/24223/task/24280/stat : 24280 (java) S 24220 24223 20569 0 -1 1077944384 42477 12916 0 0 745 74 5 3 20 0 15 0 226169029 11280941056 793403 33554432000 4194304 4196468 140720312850400 139941853198992 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24281] ppid=24220 vsize=11016544 memory=3173612 CPUtime=1.14 cores=1,3,5,7
/proc/24223/task/24281/stat : 24281 (java) S 24220 24223 20569 0 -1 1077944384 33057 12916 0 0 85 21 5 3 20 0 15 0 226169031 11280941056 793403 33554432000 4194304 4196468 140720312850400 139941287766512 139941996354178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24282] ppid=24220 vsize=11016544 memory=3173612 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24282/stat : 24282 (java) S 24220 24223 20569 0 -1 1077944384 24 12916 0 0 0 0 5 3 20 0 15 0 226169031 11280941056 793403 33554432000 4194304 4196468 140720312850400 139940839024096 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24283] ppid=24220 vsize=11016544 memory=3165384 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24283/stat : 24283 (java) S 24220 24223 20569 0 -1 1077944384 10 12916 0 0 0 0 5 3 20 0 15 0 226169031 11280941056 793403 33554432000 4194304 4196468 140720312850400 139940637697536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24284] ppid=24220 vsize=11016544 memory=3145328 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24284/stat : 24284 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11280941056 793403 33554432000 4194304 4196468 140720312850400 139940330298064 139941996361627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24285] ppid=24220 vsize=11016544 memory=280169577215472 CPUtime=10.39 cores=1,3,5,7
/proc/24223/task/24285/stat : 24285 (java) S 24220 24223 20569 0 -1 1077944384 102779 12916 0 0 1021 10 5 3 20 0 15 0 226169034 11280941056 793403 33554432000 4194304 4196468 140720312850400 139941286713328 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24286] ppid=24220 vsize=11016544 memory=3173612 CPUtime=10.07 cores=1,3,5,7
/proc/24223/task/24286/stat : 24286 (java) S 24220 24223 20569 0 -1 1077944384 86717 12916 0 0 991 8 5 3 20 0 15 0 226169034 11280941056 793403 33554432000 4194304 4196468 140720312850400 139941285660784 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24287] ppid=24220 vsize=11016544 memory=1836 CPUtime=3.37 cores=1,3,5,7
/proc/24223/task/24287/stat : 24287 (java) S 24220 24223 20569 0 -1 1077944384 66773 12916 0 0 319 10 5 3 20 0 15 0 226169034 11280941056 793403 33554432000 4194304 4196468 140720312850400 139941284608240 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24288] ppid=24220 vsize=11016544 memory=1224 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24288/stat : 24288 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11280941056 793403 33554432000 4194304 4196468 140720312850400 139939899501152 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24289] ppid=24220 vsize=11016544 memory=2260 CPUtime=1.47 cores=1,3,5,7
/proc/24223/task/24289/stat : 24289 (java) S 24220 24223 20569 0 -1 1077944384 3087 12916 0 0 57 82 5 3 20 0 15 0 226169034 11280941056 793403 33554432000 4194304 4196468 140720312850400 139941283556144 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
Current children cumulated CPU time: 2431.52 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3173612 KiB

[startup+2442.3 s]
/proc/loadavg: 1.68 1.72 1.67 3/215 24517
/proc/meminfo: memFree=3677416/32770624 swapFree=67108496/67108860
[pid=24223] ppid=24220 vsize=11016544 memory=3224692 CPUtime=2491.79 cores=1,3,5,7
/proc/24223/stat : 24223 (java) S 24220 24223 20569 0 -1 1077944320 945519 12916 0 0 248670 501 5 3 20 0 15 0 226169020 11280941056 806173 33554432000 4194304 4196468 140720312850400 140720312832944 139941996343031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
/proc/24223/statm: 2754136 806173 3538 1 0 2715789 0
[pid=24223/tid=24276] ppid=24220 vsize=11016544 memory=3222624 CPUtime=2432.61 cores=1,3,5,7
/proc/24223/task/24276/stat : 24276 (java) R 24220 24223 20569 0 -1 4202560 475171 12916 0 0 243169 84 5 3 20 0 15 0 226169028 11280941056 806173 33554432000 4194304 4196468 140720312850400 139941968178432 139941551662706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24277] ppid=24220 vsize=11016544 memory=3145328 CPUtime=8.31 cores=1,3,5,7
/proc/24223/task/24277/stat : 24277 (java) S 24220 24223 20569 0 -1 1077944384 48142 12916 0 0 749 74 5 3 20 0 15 0 226169029 11280941056 806173 33554432000 4194304 4196468 140720312850400 139942000584976 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24278] ppid=24220 vsize=11016544 memory=3209184 CPUtime=8.3 cores=1,3,5,7
/proc/24223/task/24278/stat : 24278 (java) S 24220 24223 20569 0 -1 1077944384 40317 12916 0 0 747 75 5 3 20 0 15 0 226169029 11280941056 806173 33554432000 4194304 4196468 140720312850400 139941855304080 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24279] ppid=24220 vsize=11016544 memory=3218296 CPUtime=8.33 cores=1,3,5,7
/proc/24223/task/24279/stat : 24279 (java) S 24220 24223 20569 0 -1 1077944384 38375 12916 0 0 749 76 5 3 20 0 15 0 226169029 11280941056 806173 33554432000 4194304 4196468 140720312850400 139941854251536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24280] ppid=24220 vsize=11016544 memory=3222624 CPUtime=8.33 cores=1,3,5,7
/proc/24223/task/24280/stat : 24280 (java) S 24220 24223 20569 0 -1 1077944384 43160 12916 0 0 750 75 5 3 20 0 15 0 226169029 11280941056 806173 33554432000 4194304 4196468 140720312850400 139941853198992 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24281] ppid=24220 vsize=11016544 memory=3222624 CPUtime=1.15 cores=1,3,5,7
/proc/24223/task/24281/stat : 24281 (java) S 24220 24223 20569 0 -1 1077944384 33414 12916 0 0 86 21 5 3 20 0 15 0 226169031 11280941056 806173 33554432000 4194304 4196468 140720312850400 139941287766512 139941996354178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24282] ppid=24220 vsize=11016544 memory=3222624 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24282/stat : 24282 (java) S 24220 24223 20569 0 -1 1077944384 24 12916 0 0 0 0 5 3 20 0 15 0 226169031 11280941056 806173 33554432000 4194304 4196468 140720312850400 139940839024096 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24283] ppid=24220 vsize=11016544 memory=3224692 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24283/stat : 24283 (java) S 24220 24223 20569 0 -1 1077944384 10 12916 0 0 0 0 5 3 20 0 15 0 226169031 11280941056 806173 33554432000 4194304 4196468 140720312850400 139940637697536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24284] ppid=24220 vsize=11016544 memory=3222624 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24284/stat : 24284 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11280941056 806173 33554432000 4194304 4196468 140720312850400 139940330298064 139941996361627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24285] ppid=24220 vsize=11016544 memory=3224692 CPUtime=10.42 cores=1,3,5,7
/proc/24223/task/24285/stat : 24285 (java) S 24220 24223 20569 0 -1 1077944384 105954 12916 0 0 1023 11 5 3 20 0 15 0 226169034 11280941056 806173 33554432000 4194304 4196468 140720312850400 139941286713328 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24286] ppid=24220 vsize=11016544 memory=5420 CPUtime=10.08 cores=1,3,5,7
/proc/24223/task/24286/stat : 24286 (java) S 24220 24223 20569 0 -1 1077944384 86865 12916 0 0 992 8 5 3 20 0 15 0 226169034 11280941056 806173 33554432000 4194304 4196468 140720312850400 139941285660784 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24287] ppid=24220 vsize=11016544 memory=3224692 CPUtime=3.38 cores=1,3,5,7
/proc/24223/task/24287/stat : 24287 (java) S 24220 24223 20569 0 -1 1077944384 68696 12916 0 0 320 10 5 3 20 0 15 0 226169034 11280941056 806173 33554432000 4194304 4196468 140720312850400 139941284608240 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24288] ppid=24220 vsize=11016544 memory=3872 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24288/stat : 24288 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11280941056 806173 33554432000 4194304 4196468 140720312850400 139939899501152 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24289] ppid=24220 vsize=11016544 memory=61272 CPUtime=1.51 cores=1,3,5,7
/proc/24223/task/24289/stat : 24289 (java) S 24220 24223 20569 0 -1 1077944384 3192 12916 0 0 58 85 5 3 20 0 15 0 226169034 11280941056 806173 33554432000 4194304 4196468 140720312850400 139941283556144 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
Current children cumulated CPU time: 2491.79 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3224692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2470.5 s]
/proc/loadavg: 1.56 1.68 1.66 3/215 24517
/proc/meminfo: memFree=3652280/32770624 swapFree=67108496/67108860
[pid=24223] ppid=24220 vsize=11016544 memory=3247484 CPUtime=2520.09 cores=1,3,5,7
/proc/24223/stat : 24223 (java) S 24220 24223 20569 0 -1 1077944320 954842 12916 0 0 251496 505 5 3 20 0 15 0 226169020 11280941056 811871 33554432000 4194304 4196468 140720312850400 140720312832944 139941996343031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
/proc/24223/statm: 2754136 811871 3538 1 0 2715789 0
[pid=24223/tid=24276] ppid=24220 vsize=11016544 memory=0 CPUtime=2460.79 cores=1,3,5,7
/proc/24223/task/24276/stat : 24276 (java) R 24220 24223 20569 0 -1 4202560 482742 12916 0 0 245985 86 5 3 20 0 15 0 226169028 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941968178272 139941551439560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24277] ppid=24220 vsize=11016544 memory=3247484 CPUtime=8.33 cores=1,3,5,7
/proc/24223/task/24277/stat : 24277 (java) S 24220 24223 20569 0 -1 1077944384 48154 12916 0 0 751 74 5 3 20 0 15 0 226169029 11280941056 811871 33554432000 4194304 4196468 140720312850400 139942000584976 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24278] ppid=24220 vsize=11016544 memory=3241324 CPUtime=8.33 cores=1,3,5,7
/proc/24223/task/24278/stat : 24278 (java) S 24220 24223 20569 0 -1 1077944384 40326 12916 0 0 749 76 5 3 20 0 15 0 226169029 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941855304080 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24279] ppid=24220 vsize=11016544 memory=3232900 CPUtime=8.36 cores=1,3,5,7
/proc/24223/task/24279/stat : 24279 (java) S 24220 24223 20569 0 -1 1077944384 38386 12916 0 0 751 77 5 3 20 0 15 0 226169029 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941854251536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24280] ppid=24220 vsize=11016544 memory=3237212 CPUtime=8.35 cores=1,3,5,7
/proc/24223/task/24280/stat : 24280 (java) S 24220 24223 20569 0 -1 1077944384 43167 12916 0 0 752 75 5 3 20 0 15 0 226169029 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941853198992 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24281] ppid=24220 vsize=11016544 memory=3241324 CPUtime=1.15 cores=1,3,5,7
/proc/24223/task/24281/stat : 24281 (java) S 24220 24223 20569 0 -1 1077944384 33427 12916 0 0 86 21 5 3 20 0 15 0 226169031 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941287766512 139941996354178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24282] ppid=24220 vsize=11016544 memory=3237212 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24282/stat : 24282 (java) S 24220 24223 20569 0 -1 1077944384 24 12916 0 0 0 0 5 3 20 0 15 0 226169031 11280941056 811871 33554432000 4194304 4196468 140720312850400 139940839024096 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24283] ppid=24220 vsize=11016544 memory=3222624 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24283/stat : 24283 (java) S 24220 24223 20569 0 -1 1077944384 10 12916 0 0 0 0 5 3 20 0 15 0 226169031 11280941056 811871 33554432000 4194304 4196468 140720312850400 139940637697536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24284] ppid=24220 vsize=11016544 memory=3988 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24284/stat : 24284 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139940330298064 139941996361627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24285] ppid=24220 vsize=11016544 memory=3247484 CPUtime=10.43 cores=1,3,5,7
/proc/24223/task/24285/stat : 24285 (java) S 24220 24223 20569 0 -1 1077944384 106407 12916 0 0 1024 11 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941286713328 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24286] ppid=24220 vsize=11016544 memory=8 CPUtime=10.08 cores=1,3,5,7
/proc/24223/task/24286/stat : 24286 (java) S 24220 24223 20569 0 -1 1077944384 87418 12916 0 0 992 8 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941285660784 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24287] ppid=24220 vsize=11016544 memory=3241324 CPUtime=3.38 cores=1,3,5,7
/proc/24223/task/24287/stat : 24287 (java) S 24220 24223 20569 0 -1 1077944384 69388 12916 0 0 320 10 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941284608240 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24288] ppid=24220 vsize=11016544 memory=3241324 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24288/stat : 24288 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139939899501152 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24289] ppid=24220 vsize=11016544 memory=3241324 CPUtime=1.52 cores=1,3,5,7
/proc/24223/task/24289/stat : 24289 (java) S 24220 24223 20569 0 -1 1077944384 3194 12916 0 0 58 86 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941283556144 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3247484 KiB

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

[startup+2470.55 s]
# the end of solver process 24223 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.03 s, system=5.1197 s

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

[startup+2470.5 s]
/proc/loadavg: 1.56 1.68 1.66 3/215 24517
/proc/meminfo: memFree=3652280/32770624 swapFree=67108496/67108860
[pid=24223] ppid=24220 vsize=11016544 memory=3247484 CPUtime=2520.09 cores=1,3,5,7
/proc/24223/stat : 24223 (java) S 24220 24223 20569 0 -1 1077944320 954842 12916 0 0 251496 505 5 3 20 0 15 0 226169020 11280941056 811871 33554432000 4194304 4196468 140720312850400 140720312832944 139941996343031 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
/proc/24223/statm: 2754136 811871 3538 1 0 2715789 0
[pid=24223/tid=24276] ppid=24220 vsize=11016544 memory=0 CPUtime=2460.79 cores=1,3,5,7
/proc/24223/task/24276/stat : 24276 (java) R 24220 24223 20569 0 -1 4202560 482742 12916 0 0 245985 86 5 3 20 0 15 0 226169028 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941968178272 139941551439560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24277] ppid=24220 vsize=11016544 memory=3247484 CPUtime=8.33 cores=1,3,5,7
/proc/24223/task/24277/stat : 24277 (java) S 24220 24223 20569 0 -1 1077944384 48154 12916 0 0 751 74 5 3 20 0 15 0 226169029 11280941056 811871 33554432000 4194304 4196468 140720312850400 139942000584976 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24278] ppid=24220 vsize=11016544 memory=3241324 CPUtime=8.33 cores=1,3,5,7
/proc/24223/task/24278/stat : 24278 (java) S 24220 24223 20569 0 -1 1077944384 40326 12916 0 0 749 76 5 3 20 0 15 0 226169029 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941855304080 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24279] ppid=24220 vsize=11016544 memory=3232900 CPUtime=8.36 cores=1,3,5,7
/proc/24223/task/24279/stat : 24279 (java) S 24220 24223 20569 0 -1 1077944384 38386 12916 0 0 751 77 5 3 20 0 15 0 226169029 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941854251536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24280] ppid=24220 vsize=11016544 memory=3237212 CPUtime=8.35 cores=1,3,5,7
/proc/24223/task/24280/stat : 24280 (java) S 24220 24223 20569 0 -1 1077944384 43167 12916 0 0 752 75 5 3 20 0 15 0 226169029 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941853198992 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24281] ppid=24220 vsize=11016544 memory=3241324 CPUtime=1.15 cores=1,3,5,7
/proc/24223/task/24281/stat : 24281 (java) S 24220 24223 20569 0 -1 1077944384 33427 12916 0 0 86 21 5 3 20 0 15 0 226169031 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941287766512 139941996354178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24282] ppid=24220 vsize=11016544 memory=3237212 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24282/stat : 24282 (java) S 24220 24223 20569 0 -1 1077944384 24 12916 0 0 0 0 5 3 20 0 15 0 226169031 11280941056 811871 33554432000 4194304 4196468 140720312850400 139940839024096 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24283] ppid=24220 vsize=11016544 memory=3222624 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24283/stat : 24283 (java) S 24220 24223 20569 0 -1 1077944384 10 12916 0 0 0 0 5 3 20 0 15 0 226169031 11280941056 811871 33554432000 4194304 4196468 140720312850400 139940637697536 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24284] ppid=24220 vsize=11016544 memory=3988 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24284/stat : 24284 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139940330298064 139941996361627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24285] ppid=24220 vsize=11016544 memory=3247484 CPUtime=10.43 cores=1,3,5,7
/proc/24223/task/24285/stat : 24285 (java) S 24220 24223 20569 0 -1 1077944384 106407 12916 0 0 1024 11 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941286713328 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24286] ppid=24220 vsize=11016544 memory=8 CPUtime=10.08 cores=1,3,5,7
/proc/24223/task/24286/stat : 24286 (java) S 24220 24223 20569 0 -1 1077944384 87418 12916 0 0 992 8 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941285660784 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24287] ppid=24220 vsize=11016544 memory=3241324 CPUtime=3.38 cores=1,3,5,7
/proc/24223/task/24287/stat : 24287 (java) S 24220 24223 20569 0 -1 1077944384 69388 12916 0 0 320 10 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941284608240 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24288] ppid=24220 vsize=11016544 memory=3241324 CPUtime=0.08 cores=1,3,5,7
/proc/24223/task/24288/stat : 24288 (java) S 24220 24223 20569 0 -1 1077944384 3 12916 0 0 0 0 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139939899501152 139941996353237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
[pid=24223/tid=24289] ppid=24220 vsize=11016544 memory=3241324 CPUtime=1.52 cores=1,3,5,7
/proc/24223/task/24289/stat : 24289 (java) S 24220 24223 20569 0 -1 1077944384 3194 12916 0 0 58 86 5 3 20 0 15 0 226169034 11280941056 811871 33554432000 4194304 4196468 140720312850400 139941283556144 139941996354178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33431552 140720312859245 140720312862044 140720312862044 140720312864719 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3247484 KiB

Child status: 143
Real time (s): 2470.55
CPU time (s): 2520.15
CPU user time (s): 2515.03
CPU system time (s): 5.1197
CPU usage (%): 102.008
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 3555512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.03
system time used= 5.1197
maximum resident set size= 3555512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 969333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80468
involuntary context switches= 2505


# summary of solver processes directly reported to runsolver:
#   pid: 24223
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2515.03
#   total CPU system time (s): 5.1197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2817 second user time and 24.1158 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-12 17:00:58
IDJOB=4304431
IDBENCH=141264
IDSOLVER=2780
FILE ID=node149/4304431-1534086058
RUNJOBID= node149-1534063810-20601
PBS_JOBID= 21036989
Free space on /tmp= 38980 MiB

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

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

MD5SUM BENCH= 9ab3e648243ddfeac66c66819bd63413
RANDOM SEED=779871531

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         9469488 kB
MemAvailable:   28474172 kB
Buffers:          195960 kB
Cached:         18841492 kB
SwapCached:           28 kB
Active:         11276736 kB
Inactive:       11238316 kB
Active(anon):    3427216 kB
Inactive(anon):   103080 kB
Active(file):    7849520 kB
Inactive(file): 11135236 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:             94380 kB
Writeback:             0 kB
AnonPages:       3485396 kB
Mapped:            67444 kB
Shmem:             49616 kB
Slab:             476828 kB
SReclaimable:     448388 kB
SUnreclaim:        28440 kB
KernelStack:        3488 kB
PageTables:        12096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4246152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3229696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 38832 MiB
End job on node149 at 2018-08-12 17:42:09