Trace number 4302591

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)40498464 252.17 220.447

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

Verifier Data 

OK	40498464

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302591-1532896513/watcher-4302591-1532896513 -o /tmp/evaluation-result-4302591-1532896513/solver-4302591-1532896513 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1621 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=100595019 HOME/instance-4302591-1532896513.xml 

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

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


[startup+0.109937 s]*
/proc/loadavg: 1.72 1.70 1.70 3/206 5471
/proc/meminfo: memFree=26681888/32770624 swapFree=67108860/67108860
[pid=5414] ppid=5411 vsize=10219200 memory=20536 CPUtime=0.09 cores=1,3,5,7
/proc/5414/stat : 5414 (java) S 5411 5414 22004 0 -1 1077944320 4765 13249 0 0 2 0 4 3 20 0 8 0 107214488 10464460800 5134 33554432000 4194304 4196468 140728150858320 140728150840864 139958195379959 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
/proc/5414/statm: 2554800 5134 2077 1 0 2543238 0
[pid=5414/tid=5467] ppid=5411 vsize=10453864 memory=8326441112148417179 CPUtime=0.08 cores=1,3,5,7
/proc/5414/task/5467/stat : 5467 (java) R 5411 5414 22004 0 -1 4202560 2614 13249 0 0 1 0 4 3 20 0 9 0 107214497 10704756736 5693 33554432000 4194304 4196468 140728150858320 139958167215984 139958179460446 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5468] ppid=5411 vsize=10453864 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5468/stat : 5468 (java) S 5411 5414 22004 0 -1 1077944384 2 13249 0 0 0 0 4 3 20 0 9 0 107214498 10704756736 5693 33554432000 4194304 4196468 140728150858320 139958199622032 139958195390165 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5469] ppid=5411 vsize=10453864 memory=140128424191616 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5469/stat : 5469 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 9 0 107214498 10704756736 5693 33554432000 4194304 4196468 140728150858320 139957734549776 139958195390165 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5470] ppid=5411 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5470/stat : 5470 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 9 0 107214498 10704756736 5693 33554432000 4194304 4196468 140728150858320 139957733497488 139958195390165 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5471] ppid=5411 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5471/stat : 5471 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 9 0 107214498 10704756736 5693 33554432000 4194304 4196468 140728150858320 139957732444688 139958195390165 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5472] ppid=5411 vsize=10453864 memory=140128424191616 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5472/stat : 5472 (java) S 5411 5414 22004 0 -1 1077944384 2 13249 0 0 0 0 4 3 20 0 9 0 107214500 10704756736 5693 33554432000 4194304 4196468 140728150858320 139957688486512 139958195391106 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5473] ppid=5411 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5473/stat : 5473 (java) S 5411 5414 22004 0 -1 1077944384 13 13249 0 0 0 0 4 3 20 0 9 0 107214500 10704756736 5693 33554432000 4194304 4196468 140728150858320 139957012260128 139958195390165 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5474] ppid=5411 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5474/stat : 5474 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 9 0 107214500 10704756736 5693 33554432000 4194304 4196468 140728150858320 139956810933936 139958195390165 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10219200 KiB
Current children cumulated memory: 20536 KiB

[startup+0.210091 s]*
/proc/loadavg: 1.72 1.70 1.70 3/215 5480
/proc/meminfo: memFree=26659044/32770624 swapFree=67108860/67108860
[pid=5414] ppid=5411 vsize=10982744 memory=47488 CPUtime=0.25 cores=1,3,5,7
/proc/5414/stat : 5414 (java) S 5411 5414 22004 0 -1 1077944320 8059 13249 0 0 16 2 4 3 20 0 15 0 107214488 11246329856 11872 33554432000 4194304 4196468 140728150858320 140728150840864 139958195379959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
/proc/5414/statm: 2745686 11872 2952 1 0 2708109 0
[pid=5414/tid=5467] ppid=5411 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/5414/task/5467/stat : 5467 (java) D 5411 5414 22004 0 -1 1077944384 4706 13249 0 0 10 1 4 3 20 0 15 0 107214497 11246329856 11938 33554432000 4194304 4196468 140728150858320 139958167204768 139958188059181 0 4 0 16800975 18446744072101756452 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5468] ppid=5411 vsize=10982744 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5468/stat : 5468 (java) S 5411 5414 22004 0 -1 1077944384 2 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246329856 11938 33554432000 4194304 4196468 140728150858320 139958199622032 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5469] ppid=5411 vsize=10982744 memory=3616589110316525216 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5469/stat : 5469 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246329856 11938 33554432000 4194304 4196468 140728150858320 139957734549776 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5470] ppid=5411 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5470/stat : 5470 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246329856 11938 33554432000 4194304 4196468 140728150858320 139957733497488 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5471] ppid=5411 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5471/stat : 5471 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246329856 11938 33554432000 4194304 4196468 140728150858320 139957732444688 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5472] ppid=5411 vsize=10982744 memory=140128424191616 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5472/stat : 5472 (java) S 5411 5414 22004 0 -1 1077944384 2 13249 0 0 0 0 4 3 20 0 15 0 107214500 11246329856 11938 33554432000 4194304 4196468 140728150858320 139957688486512 139958195391106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5473] ppid=5411 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5473/stat : 5473 (java) S 5411 5414 22004 0 -1 1077944384 13 13249 0 0 0 0 4 3 20 0 15 0 107214500 11246329856 11938 33554432000 4194304 4196468 140728150858320 139957012260128 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5474] ppid=5411 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5474/stat : 5474 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214500 11246362624 11938 33554432000 4194304 4196468 140728150858320 139956810933872 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5475] ppid=5411 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5475/stat : 5475 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11246362624 11938 33554432000 4194304 4196468 140728150858320 139956503534160 139958195398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5476] ppid=5411 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5414/task/5476/stat : 5476 (java) S 5411 5414 22004 0 -1 1077944384 557 13249 0 0 1 0 4 3 20 0 15 0 107214503 11247345664 11938 33554432000 4194304 4196468 140728150858320 139957687433328 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5477] ppid=5411 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5414/task/5477/stat : 5477 (java) S 5411 5414 22004 0 -1 1077944384 64 13249 0 0 1 0 4 3 20 0 15 0 107214503 11247345664 11938 33554432000 4194304 4196468 140728150858320 139957686380528 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5478] ppid=5411 vsize=10983736 memory=140128424191616 CPUtime=0.1 cores=1,3,5,7
/proc/5414/task/5478/stat : 5478 (java) S 5411 5414 22004 0 -1 1077944384 623 13249 0 0 3 0 4 3 20 0 15 0 107214503 11247345664 12004 33554432000 4194304 4196468 140728150858320 139957685328240 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5479] ppid=5411 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5479/stat : 5479 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11247345664 12004 33554432000 4194304 4196468 140728150858320 139956072737248 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5480] ppid=5411 vsize=10983736 memory=140128424191616 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5480/stat : 5480 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214503 11247345664 12004 33554432000 4194304 4196468 140728150858320 139957361437616 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 47488 KiB

[startup+0.310222 s]*
/proc/loadavg: 1.72 1.70 1.70 4/215 5480
/proc/meminfo: memFree=26647500/32770624 swapFree=67108860/67108860
[pid=5414] ppid=5411 vsize=10983192 memory=58392 CPUtime=0.37 cores=1,3,5,7
/proc/5414/stat : 5414 (java) S 5411 5414 22004 0 -1 1077944320 10657 13249 0 0 27 3 4 3 20 0 15 0 107214488 11246788608 14598 33554432000 4194304 4196468 140728150858320 140728150840864 139958195379959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
/proc/5414/statm: 2745798 14598 3071 1 0 2708109 0
[pid=5414/tid=5467] ppid=5411 vsize=10983192 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/5414/task/5467/stat : 5467 (java) R 5411 5414 22004 0 -1 4202560 7195 13249 0 0 19 2 4 3 20 0 15 0 107214497 11246788608 14598 33554432000 4194304 4196468 140728150858320 139958167191968 139958195401885 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5468] ppid=5411 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5468/stat : 5468 (java) S 5411 5414 22004 0 -1 1077944384 2 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246788608 14598 33554432000 4194304 4196468 140728150858320 139958199622032 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5469] ppid=5411 vsize=10983192 memory=8226496019563244444 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5469/stat : 5469 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246788608 14598 33554432000 4194304 4196468 140728150858320 139957734549776 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5470] ppid=5411 vsize=10983192 memory=8325818968683490714 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5470/stat : 5470 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246788608 14598 33554432000 4194304 4196468 140728150858320 139957733497488 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5471] ppid=5411 vsize=10983192 memory=6935054825532540783 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5471/stat : 5471 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246788608 14598 33554432000 4194304 4196468 140728150858320 139957732444688 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5472] ppid=5411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5472/stat : 5472 (java) S 5411 5414 22004 0 -1 1077944384 2 13249 0 0 0 0 4 3 20 0 15 0 107214500 11246788608 14598 33554432000 4194304 4196468 140728150858320 139957688486512 139958195391106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5473] ppid=5411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5473/stat : 5473 (java) S 5411 5414 22004 0 -1 1077944384 13 13249 0 0 0 0 4 3 20 0 15 0 107214500 11246788608 14598 33554432000 4194304 4196468 140728150858320 139957012260128 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5474] ppid=5411 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5474/stat : 5474 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214500 11246788608 14598 33554432000 4194304 4196468 140728150858320 139956810933872 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5475] ppid=5411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5475/stat : 5475 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11246788608 14598 33554432000 4194304 4196468 140728150858320 139956503534160 139958195398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5476] ppid=5411 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5414/task/5476/stat : 5476 (java) S 5411 5414 22004 0 -1 1077944384 559 13249 0 0 1 0 4 3 20 0 15 0 107214503 11246788608 14598 33554432000 4194304 4196468 140728150858320 139957687433328 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5477] ppid=5411 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5414/task/5477/stat : 5477 (java) S 5411 5414 22004 0 -1 1077944384 64 13249 0 0 1 0 4 3 20 0 15 0 107214503 11246788608 14598 33554432000 4194304 4196468 140728150858320 139957686380528 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5478] ppid=5411 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5414/task/5478/stat : 5478 (java) S 5411 5414 22004 0 -1 1077944384 629 13249 0 0 5 0 4 3 20 0 15 0 107214503 11246788608 14598 33554432000 4194304 4196468 140728150858320 139957685328240 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5479] ppid=5411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5479/stat : 5479 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11246788608 14598 33554432000 4194304 4196468 140728150858320 139956072737248 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5480] ppid=5411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5480/stat : 5480 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214503 11246788608 14598 33554432000 4194304 4196468 140728150858320 139957361437616 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58392 KiB

[startup+0.700779 s]
/proc/loadavg: 1.72 1.70 1.70 3/215 5480
/proc/meminfo: memFree=26636832/32770624 swapFree=67108860/67108860
[pid=5414] ppid=5411 vsize=10983192 memory=90832 CPUtime=0.98 cores=1,3,5,7
/proc/5414/stat : 5414 (java) S 5411 5414 22004 0 -1 1077944320 16754 13249 0 0 86 5 4 3 20 0 15 0 107214488 11246788608 22708 33554432000 4194304 4196468 140728150858320 140728150840864 139958195379959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
/proc/5414/statm: 2745798 22708 3238 1 0 2708109 0
[pid=5414/tid=5467] ppid=5411 vsize=10983192 memory=140131897967142 CPUtime=0.65 cores=1,3,5,7
/proc/5414/task/5467/stat : 5467 (java) R 5411 5414 22004 0 -1 4202560 12224 13249 0 0 55 3 4 3 20 0 15 0 107214497 11246788608 22708 33554432000 4194304 4196468 140728150858320 139958167200784 139958175655757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5468] ppid=5411 vsize=10983192 memory=140131897967163 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5468/stat : 5468 (java) S 5411 5414 22004 0 -1 1077944384 2 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246788608 22708 33554432000 4194304 4196468 140728150858320 139958199622032 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5469] ppid=5411 vsize=10983192 memory=140131897967166 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5469/stat : 5469 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246788608 22708 33554432000 4194304 4196468 140728150858320 139957734549776 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5470] ppid=5411 vsize=10983192 memory=140131897967167 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5470/stat : 5470 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246788608 22708 33554432000 4194304 4196468 140728150858320 139957733497488 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5471] ppid=5411 vsize=10983192 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5471/stat : 5471 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214498 11246788608 22708 33554432000 4194304 4196468 140728150858320 139957732444688 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5472] ppid=5411 vsize=10983192 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5472/stat : 5472 (java) S 5411 5414 22004 0 -1 1077944384 5 13249 0 0 0 0 4 3 20 0 15 0 107214500 11246788608 22708 33554432000 4194304 4196468 140728150858320 139957688486512 139958195391106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5473] ppid=5411 vsize=10983192 memory=7368003809538238292 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5473/stat : 5473 (java) S 5411 5414 22004 0 -1 1077944384 13 13249 0 0 0 0 4 3 20 0 15 0 107214500 11246788608 22708 33554432000 4194304 4196468 140728150858320 139957012260128 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5474] ppid=5411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5474/stat : 5474 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214500 11246788608 22708 33554432000 4194304 4196468 140728150858320 139956810933872 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5475] ppid=5411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5475/stat : 5475 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11246788608 22708 33554432000 4194304 4196468 140728150858320 139956503534160 139958195398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5476] ppid=5411 vsize=10983192 memory=7521689052252035429 CPUtime=0.14 cores=1,3,5,7
/proc/5414/task/5476/stat : 5476 (java) S 5411 5414 22004 0 -1 1077944384 961 13249 0 0 7 0 4 3 20 0 15 0 107214503 11246788608 22708 33554432000 4194304 4196468 140728150858320 139957687433328 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5477] ppid=5411 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/5414/task/5477/stat : 5477 (java) S 5411 5414 22004 0 -1 1077944384 670 13249 0 0 9 0 4 3 20 0 15 0 107214503 11246788608 22708 33554432000 4194304 4196468 140728150858320 139957686380528 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5478] ppid=5411 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/5414/task/5478/stat : 5478 (java) S 5411 5414 22004 0 -1 1077944384 678 13249 0 0 13 0 4 3 20 0 15 0 107214503 11246788608 22708 33554432000 4194304 4196468 140728150858320 139957685328240 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5479] ppid=5411 vsize=10983192 memory=4028 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5479/stat : 5479 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11246788608 22708 33554432000 4194304 4196468 140728150858320 139956072737248 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5480] ppid=5411 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5480/stat : 5480 (java) S 5411 5414 22004 0 -1 1077944384 1 13249 0 0 0 0 4 3 20 0 15 0 107214503 11246788608 22708 33554432000 4194304 4196468 140728150858320 139957361437616 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90832 KiB

[startup+1.50098 s]
/proc/loadavg: 1.72 1.70 1.70 4/215 5480
/proc/meminfo: memFree=26590228/32770624 swapFree=67108860/67108860
[pid=5414] ppid=5411 vsize=10991948 memory=323588 CPUtime=3.1 cores=1,3,5,7
/proc/5414/stat : 5414 (java) S 5411 5414 22004 0 -1 1077944320 24253 13249 0 0 279 24 4 3 20 0 15 0 107214488 11255754752 80897 33554432000 4194304 4196468 140728150858320 140728150840864 139958195379959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
/proc/5414/statm: 2747987 80897 3470 1 0 2709645 0
[pid=5414/tid=5467] ppid=5411 vsize=10991948 memory=14775 CPUtime=1.39 cores=1,3,5,7
/proc/5414/task/5467/stat : 5467 (java) R 5411 5414 22004 0 -1 4202560 14969 13249 0 0 123 9 4 3 20 0 15 0 107214497 11255754752 80897 33554432000 4194304 4196468 140728150858320 139958167212432 139957768712913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5468] ppid=5411 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5414/task/5468/stat : 5468 (java) S 5411 5414 22004 0 -1 1077944384 365 13249 0 0 2 2 4 3 20 0 15 0 107214498 11255754752 80897 33554432000 4194304 4196468 140728150858320 139958199622032 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5469] ppid=5411 vsize=10991948 memory=-7595718147998060693 CPUtime=0.11 cores=1,3,5,7
/proc/5414/task/5469/stat : 5469 (java) S 5411 5414 22004 0 -1 1077944384 94 13249 0 0 2 2 4 3 20 0 15 0 107214498 11255754752 80897 33554432000 4194304 4196468 140728150858320 139957734549776 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5470] ppid=5411 vsize=10991948 memory=8028674168966910323 CPUtime=0.12 cores=1,3,5,7
/proc/5414/task/5470/stat : 5470 (java) S 5411 5414 22004 0 -1 1077944384 121 13249 0 0 2 3 4 3 20 0 15 0 107214498 11255754752 80897 33554432000 4194304 4196468 140728150858320 139957733497488 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5471] ppid=5411 vsize=10991948 memory=-7523660553960122769 CPUtime=0.12 cores=1,3,5,7
/proc/5414/task/5471/stat : 5471 (java) S 5411 5414 22004 0 -1 1077944384 65 13249 0 0 2 3 4 3 20 0 15 0 107214498 11255754752 80897 33554432000 4194304 4196468 140728150858320 139957732444688 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5472] ppid=5411 vsize=10991948 memory=-3704326594973231466 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5472/stat : 5472 (java) S 5411 5414 22004 0 -1 1077944384 95 13249 0 0 0 0 4 3 20 0 15 0 107214500 11255754752 80897 33554432000 4194304 4196468 140728150858320 139957688486512 139958195391106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5473] ppid=5411 vsize=10991948 memory=4 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5473/stat : 5473 (java) S 5411 5414 22004 0 -1 1077944384 14 13249 0 0 0 0 4 3 20 0 15 0 107214500 11255754752 80897 33554432000 4194304 4196468 140728150858320 139957012260128 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5474] ppid=5411 vsize=10991948 memory=5 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5474/stat : 5474 (java) S 5411 5414 22004 0 -1 1077944384 2 13249 0 0 0 0 4 3 20 0 15 0 107214500 11255754752 80897 33554432000 4194304 4196468 140728150858320 139956810933872 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5475] ppid=5411 vsize=10991948 memory=5 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5475/stat : 5475 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11255754752 80897 33554432000 4194304 4196468 140728150858320 139956503534160 139958195398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5476] ppid=5411 vsize=10991948 memory=1278 CPUtime=0.55 cores=1,3,5,7
/proc/5414/task/5476/stat : 5476 (java) R 5411 5414 22004 0 -1 4202560 2598 13249 0 0 48 0 4 3 20 0 15 0 107214503 11255754752 80897 33554432000 4194304 4196468 140728150858320 139957687419352 139958180505265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5477] ppid=5411 vsize=10991948 memory=483 CPUtime=0.6 cores=1,3,5,7
/proc/5414/task/5477/stat : 5477 (java) R 5411 5414 22004 0 -1 4202560 2126 13249 0 0 53 0 4 3 20 0 15 0 107214503 11255754752 80897 33554432000 4194304 4196468 140728150858320 139957686364336 139958176902288 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5478] ppid=5411 vsize=10991948 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/5414/task/5478/stat : 5478 (java) S 5411 5414 22004 0 -1 1077944384 1607 13249 0 0 41 0 4 3 20 0 15 0 107214503 11255754752 80897 33554432000 4194304 4196468 140728150858320 139957685328240 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0

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

/proc/5414/task/5467/stat : 5467 (java) R 5411 5414 22004 0 -1 4202560 54794 13249 0 0 4834 42 4 3 20 0 15 0 107214497 11348049920 848349 33554432000 4194304 4196468 140728150858320 139958167210832 139957788353340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5468] ppid=5411 vsize=11082080 memory=2982336 CPUtime=2.13 cores=1,3,5,7
/proc/5414/task/5468/stat : 5468 (java) S 5411 5414 22004 0 -1 1077944384 2286 13249 0 0 169 37 4 3 20 0 15 0 107214498 11348049920 848349 33554432000 4194304 4196468 140728150858320 139958199622032 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5469] ppid=5411 vsize=11082080 memory=55 CPUtime=2.11 cores=1,3,5,7
/proc/5414/task/5469/stat : 5469 (java) S 5411 5414 22004 0 -1 1077944384 2332 13249 0 0 171 33 4 3 20 0 15 0 107214498 11348049920 848349 33554432000 4194304 4196468 140728150858320 139957734549776 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5470] ppid=5411 vsize=11082080 memory=14737 CPUtime=2.13 cores=1,3,5,7
/proc/5414/task/5470/stat : 5470 (java) S 5411 5414 22004 0 -1 1077944384 2149 13249 0 0 167 39 4 3 20 0 15 0 107214498 11348049920 848349 33554432000 4194304 4196468 140728150858320 139957733497488 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5471] ppid=5411 vsize=11082080 memory=3393396 CPUtime=2.1 cores=1,3,5,7
/proc/5414/task/5471/stat : 5471 (java) S 5411 5414 22004 0 -1 1077944384 1825 13249 0 0 168 35 4 3 20 0 15 0 107214498 11348049920 848349 33554432000 4194304 4196468 140728150858320 139957732444688 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5472] ppid=5411 vsize=11082080 memory=3392444 CPUtime=0.16 cores=1,3,5,7
/proc/5414/task/5472/stat : 5472 (java) S 5411 5414 22004 0 -1 1077944384 5896 13249 0 0 9 0 4 3 20 0 15 0 107214500 11348049920 848349 33554432000 4194304 4196468 140728150858320 139957688486512 139958195391106 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5473] ppid=5411 vsize=11082080 memory=3291364 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5473/stat : 5473 (java) S 5411 5414 22004 0 -1 1077944384 16 13249 0 0 0 0 4 3 20 0 15 0 107214500 11348049920 848349 33554432000 4194304 4196468 140728150858320 139957012260256 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5474] ppid=5411 vsize=11082080 memory=4028 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5474/stat : 5474 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214500 11348049920 848349 33554432000 4194304 4196468 140728150858320 139956810933888 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5475] ppid=5411 vsize=11082080 memory=30512 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5475/stat : 5475 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11348049920 848349 33554432000 4194304 4196468 140728150858320 139956503534160 139958195398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5476] ppid=5411 vsize=11082080 memory=1296 CPUtime=8.49 cores=1,3,5,7
/proc/5414/task/5476/stat : 5476 (java) S 5411 5414 22004 0 -1 1077944384 9066 13249 0 0 840 2 4 3 20 0 15 0 107214503 11348049920 848349 33554432000 4194304 4196468 140728150858320 139957687433328 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5477] ppid=5411 vsize=11082080 memory=8112282956445269571 CPUtime=8.52 cores=1,3,5,7
/proc/5414/task/5477/stat : 5477 (java) S 5411 5414 22004 0 -1 1077944384 13407 13249 0 0 841 4 4 3 20 0 15 0 107214503 11348049920 848349 33554432000 4194304 4196468 140728150858320 139957686380528 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5478] ppid=5411 vsize=11082080 memory=18152 CPUtime=2.99 cores=1,3,5,7
/proc/5414/task/5478/stat : 5478 (java) S 5411 5414 22004 0 -1 1077944384 13055 13249 0 0 288 4 4 3 20 0 15 0 107214503 11348049920 848349 33554432000 4194304 4196468 140728150858320 139957685328240 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5479] ppid=5411 vsize=11082080 memory=4052 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5479/stat : 5479 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11348049920 848349 33554432000 4194304 4196468 140728150858320 139956072737248 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5480] ppid=5411 vsize=11082080 memory=18248 CPUtime=0.08 cores=1,3,5,7
/proc/5414/task/5480/stat : 5480 (java) S 5411 5414 22004 0 -1 1077944384 604 13249 0 0 0 1 4 3 20 0 15 0 107214503 11348049920 848349 33554432000 4194304 4196468 140728150858320 139957361437616 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
Current children cumulated CPU time: 77.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3393396 KiB

[startup+102.301 s]
/proc/loadavg: 2.05 1.86 1.77 3/215 5481
/proc/meminfo: memFree=23091000/32770624 swapFree=67108860/67108860
[pid=5414] ppid=5411 vsize=11082080 memory=3511324 CPUtime=132.23 cores=1,3,5,7
/proc/5414/stat : 5414 (java) S 5411 5414 22004 0 -1 1077944320 130797 13249 0 0 12999 217 4 3 20 0 15 0 107214488 11348049920 877831 33554432000 4194304 4196468 140728150858320 140728150840864 139958195379959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
/proc/5414/statm: 2770520 877831 3538 1 0 2732173 0
[pid=5414/tid=5467] ppid=5411 vsize=11082080 memory=3511324 CPUtime=99.22 cores=1,3,5,7
/proc/5414/task/5467/stat : 5467 (java) R 5411 5414 22004 0 -1 4202560 61417 13249 0 0 9871 44 4 3 20 0 15 0 107214497 11348049920 877831 33554432000 4194304 4196468 140728150858320 139958167212952 139957788230184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5468] ppid=5411 vsize=11082080 memory=3464192 CPUtime=2.91 cores=1,3,5,7
/proc/5414/task/5468/stat : 5468 (java) S 5411 5414 22004 0 -1 1077944384 4161 13249 0 0 245 39 4 3 20 0 15 0 107214498 11348049920 877831 33554432000 4194304 4196468 140728150858320 139958199622032 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5469] ppid=5411 vsize=11082080 memory=3416648 CPUtime=2.88 cores=1,3,5,7
/proc/5414/task/5469/stat : 5469 (java) S 5411 5414 22004 0 -1 1077944384 2933 13249 0 0 245 36 4 3 20 0 15 0 107214498 11348049920 877831 33554432000 4194304 4196468 140728150858320 139957734549776 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5470] ppid=5411 vsize=11082080 memory=4028 CPUtime=2.88 cores=1,3,5,7
/proc/5414/task/5470/stat : 5470 (java) S 5411 5414 22004 0 -1 1077944384 2652 13249 0 0 240 41 4 3 20 0 15 0 107214498 11348049920 877831 33554432000 4194304 4196468 140728150858320 139957733497488 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5471] ppid=5411 vsize=11082080 memory=3511324 CPUtime=2.87 cores=1,3,5,7
/proc/5414/task/5471/stat : 5471 (java) S 5411 5414 22004 0 -1 1077944384 3065 13249 0 0 243 37 4 3 20 0 15 0 107214498 11348049920 877831 33554432000 4194304 4196468 140728150858320 139957732444688 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5472] ppid=5411 vsize=11082080 memory=1200 CPUtime=0.2 cores=1,3,5,7
/proc/5414/task/5472/stat : 5472 (java) S 5411 5414 22004 0 -1 1077944384 6220 13249 0 0 12 1 4 3 20 0 15 0 107214500 11348049920 877831 33554432000 4194304 4196468 140728150858320 139957688486512 139958195391106 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5473] ppid=5411 vsize=11082080 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5473/stat : 5473 (java) S 5411 5414 22004 0 -1 1077944384 18 13249 0 0 0 0 4 3 20 0 15 0 107214500 11348049920 877831 33554432000 4194304 4196468 140728150858320 139957012260256 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5474] ppid=5411 vsize=11082080 memory=3224388 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5474/stat : 5474 (java) S 5411 5414 22004 0 -1 1077944384 6 13249 0 0 0 0 4 3 20 0 15 0 107214500 11348049920 877831 33554432000 4194304 4196468 140728150858320 139956810933888 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5475] ppid=5411 vsize=11082080 memory=1416 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5475/stat : 5475 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11348049920 877831 33554432000 4194304 4196468 140728150858320 139956503534160 139958195398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5476] ppid=5411 vsize=11082080 memory=4612 CPUtime=9.33 cores=1,3,5,7
/proc/5414/task/5476/stat : 5476 (java) S 5411 5414 22004 0 -1 1077944384 13324 13249 0 0 924 2 4 3 20 0 15 0 107214503 11348049920 877831 33554432000 4194304 4196468 140728150858320 139957687433328 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5477] ppid=5411 vsize=11082080 memory=280256548522400 CPUtime=9.21 cores=1,3,5,7
/proc/5414/task/5477/stat : 5477 (java) S 5411 5414 22004 0 -1 1077944384 18940 13249 0 0 910 4 4 3 20 0 15 0 107214503 11348049920 877831 33554432000 4194304 4196468 140728150858320 139957686380528 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5478] ppid=5411 vsize=11082080 memory=288230596017404081 CPUtime=3.12 cores=1,3,5,7
/proc/5414/task/5478/stat : 5478 (java) S 5411 5414 22004 0 -1 1077944384 14795 13249 0 0 300 5 4 3 20 0 15 0 107214503 11348049920 877831 33554432000 4194304 4196468 140728150858320 139957685328240 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5479] ppid=5411 vsize=11082080 memory=14696283692620214 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5479/stat : 5479 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11348049920 877831 33554432000 4194304 4196468 140728150858320 139956072737248 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5480] ppid=5411 vsize=11082080 memory=3414644 CPUtime=0.12 cores=1,3,5,7
/proc/5414/task/5480/stat : 5480 (java) S 5411 5414 22004 0 -1 1077944384 1070 13249 0 0 2 3 4 3 20 0 15 0 107214503 11348049920 877831 33554432000 4194304 4196468 140728150858320 139957361437616 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
Current children cumulated CPU time: 132.23 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3511324 KiB

[startup+162.301 s]
/proc/loadavg: 2.02 1.89 1.78 3/215 5482
/proc/meminfo: memFree=22981280/32770624 swapFree=67108860/67108860
[pid=5414] ppid=5411 vsize=11082080 memory=3523804 CPUtime=193.56 cores=1,3,5,7
/proc/5414/stat : 5414 (java) S 5411 5414 22004 0 -1 1077944320 150226 13249 0 0 19125 224 4 3 20 0 15 0 107214488 11348049920 880951 33554432000 4194304 4196468 140728150858320 140728150840864 139958195379959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
/proc/5414/statm: 2770520 880951 3539 1 0 2732173 0
[pid=5414/tid=5467] ppid=5411 vsize=11082080 memory=3547904 CPUtime=159 cores=1,3,5,7
/proc/5414/task/5467/stat : 5467 (java) R 5411 5414 22004 0 -1 4202560 65256 13249 0 0 15849 44 4 3 20 0 15 0 107214497 11348049920 880951 33554432000 4194304 4196468 140728150858320 139958167206864 139957779017534 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5468] ppid=5411 vsize=11082080 memory=3523804 CPUtime=3.11 cores=1,3,5,7
/proc/5414/task/5468/stat : 5468 (java) S 5411 5414 22004 0 -1 1077944384 5288 13249 0 0 264 40 4 3 20 0 15 0 107214498 11348049920 880951 33554432000 4194304 4196468 140728150858320 139958199622032 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5469] ppid=5411 vsize=11082080 memory=3523804 CPUtime=3.08 cores=1,3,5,7
/proc/5414/task/5469/stat : 5469 (java) S 5411 5414 22004 0 -1 1077944384 4463 13249 0 0 264 37 4 3 20 0 15 0 107214498 11348049920 880951 33554432000 4194304 4196468 140728150858320 139957734549776 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5470] ppid=5411 vsize=11082080 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/5414/task/5470/stat : 5470 (java) S 5411 5414 22004 0 -1 1077944384 3360 13249 0 0 258 42 4 3 20 0 15 0 107214498 11348049920 880951 33554432000 4194304 4196468 140728150858320 139957733497488 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5471] ppid=5411 vsize=11082080 memory=3523804 CPUtime=3.07 cores=1,3,5,7
/proc/5414/task/5471/stat : 5471 (java) S 5411 5414 22004 0 -1 1077944384 3682 13249 0 0 262 38 4 3 20 0 15 0 107214498 11348049920 880951 33554432000 4194304 4196468 140728150858320 139957732444688 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5472] ppid=5411 vsize=11082080 memory=55 CPUtime=0.21 cores=1,3,5,7
/proc/5414/task/5472/stat : 5472 (java) S 5411 5414 22004 0 -1 1077944384 6532 13249 0 0 13 1 4 3 20 0 15 0 107214500 11348049920 880951 33554432000 4194304 4196468 140728150858320 139957688486512 139958195391106 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5473] ppid=5411 vsize=11082080 memory=7234303152781525078 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5473/stat : 5473 (java) S 5411 5414 22004 0 -1 1077944384 18 13249 0 0 0 0 4 3 20 0 15 0 107214500 11348049920 880951 33554432000 4194304 4196468 140728150858320 139957012260256 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5474] ppid=5411 vsize=11082080 memory=8508 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5474/stat : 5474 (java) S 5411 5414 22004 0 -1 1077944384 6 13249 0 0 0 0 4 3 20 0 15 0 107214500 11348049920 880951 33554432000 4194304 4196468 140728150858320 139956810933888 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5475] ppid=5411 vsize=11082080 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5475/stat : 5475 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11348049920 880951 33554432000 4194304 4196468 140728150858320 139956503534160 139958195398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5476] ppid=5411 vsize=11082080 memory=3523804 CPUtime=9.72 cores=1,3,5,7
/proc/5414/task/5476/stat : 5476 (java) S 5411 5414 22004 0 -1 1077944384 17806 13249 0 0 963 2 4 3 20 0 15 0 107214503 11348049920 880951 33554432000 4194304 4196468 140728150858320 139957687433328 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5477] ppid=5411 vsize=11082080 memory=3523804 CPUtime=9.51 cores=1,3,5,7
/proc/5414/task/5477/stat : 5477 (java) S 5411 5414 22004 0 -1 1077944384 21729 13249 0 0 939 5 4 3 20 0 15 0 107214503 11348049920 880951 33554432000 4194304 4196468 140728150858320 139957686380528 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5478] ppid=5411 vsize=11082080 memory=18152 CPUtime=3.15 cores=1,3,5,7
/proc/5414/task/5478/stat : 5478 (java) S 5411 5414 22004 0 -1 1077944384 18792 13249 0 0 303 5 4 3 20 0 15 0 107214503 11348049920 880951 33554432000 4194304 4196468 140728150858320 139957685328240 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5479] ppid=5411 vsize=11082080 memory=4052 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5479/stat : 5479 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11348049920 880951 33554432000 4194304 4196468 140728150858320 139956072737248 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5480] ppid=5411 vsize=11082080 memory=3523804 CPUtime=0.16 cores=1,3,5,7
/proc/5414/task/5480/stat : 5480 (java) S 5411 5414 22004 0 -1 1077944384 1098 13249 0 0 3 6 4 3 20 0 15 0 107214503 11348049920 880951 33554432000 4194304 4196468 140728150858320 139957361437616 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
Current children cumulated CPU time: 193.56 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3523804 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+220.401 s]
/proc/loadavg: 1.88 1.87 1.78 3/214 5640
/proc/meminfo: memFree=23855760/32770624 swapFree=67108860/67108860
[pid=5414] ppid=5411 vsize=11082080 memory=3377596 CPUtime=252.09 cores=1,3,5,7
/proc/5414/stat : 5414 (java) S 5411 5414 22004 0 -1 1077944320 164908 13249 0 0 24975 227 4 3 20 0 15 0 107214488 11348049920 844399 33554432000 4194304 4196468 140728150858320 140728150840864 139958195379959 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
/proc/5414/statm: 2770520 844399 3539 1 0 2732173 0
[pid=5414/tid=5467] ppid=5411 vsize=11082080 memory=2200 CPUtime=216.97 cores=1,3,5,7
/proc/5414/task/5467/stat : 5467 (java) R 5411 5414 22004 0 -1 4202560 69567 13249 0 0 21645 45 4 3 20 0 15 0 107214497 11348049920 844399 33554432000 4194304 4196468 140728150858320 139958167214976 139957784406592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5468] ppid=5411 vsize=11082080 memory=8148 CPUtime=3.22 cores=1,3,5,7
/proc/5414/task/5468/stat : 5468 (java) S 5411 5414 22004 0 -1 1077944384 5798 13249 0 0 275 40 4 3 20 0 15 0 107214498 11348049920 844399 33554432000 4194304 4196468 140728150858320 139958199622032 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5469] ppid=5411 vsize=11082080 memory=8112282956445269571 CPUtime=3.2 cores=1,3,5,7
/proc/5414/task/5469/stat : 5469 (java) S 5411 5414 22004 0 -1 1077944384 5130 13249 0 0 276 37 4 3 20 0 15 0 107214498 11348049920 844399 33554432000 4194304 4196468 140728150858320 139957734549776 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5470] ppid=5411 vsize=11082080 memory=15872 CPUtime=3.19 cores=1,3,5,7
/proc/5414/task/5470/stat : 5470 (java) S 5411 5414 22004 0 -1 1077944384 3921 13249 0 0 270 42 4 3 20 0 15 0 107214498 11348049920 844399 33554432000 4194304 4196468 140728150858320 139957733497488 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5471] ppid=5411 vsize=11082080 memory=18152 CPUtime=3.18 cores=1,3,5,7
/proc/5414/task/5471/stat : 5471 (java) S 5411 5414 22004 0 -1 1077944384 5583 13249 0 0 273 38 4 3 20 0 15 0 107214498 11348049920 844399 33554432000 4194304 4196468 140728150858320 139957732444688 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5472] ppid=5411 vsize=11082080 memory=4052 CPUtime=0.24 cores=1,3,5,7
/proc/5414/task/5472/stat : 5472 (java) S 5411 5414 22004 0 -1 1077944384 6807 13249 0 0 15 2 4 3 20 0 15 0 107214500 11348049920 844399 33554432000 4194304 4196468 140728150858320 139957688486512 139958195391106 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5473] ppid=5411 vsize=11082080 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5473/stat : 5473 (java) S 5411 5414 22004 0 -1 1077944384 18 13249 0 0 0 0 4 3 20 0 15 0 107214500 11348049920 844399 33554432000 4194304 4196468 140728150858320 139957012260256 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5474] ppid=5411 vsize=11082080 memory=1796 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5474/stat : 5474 (java) S 5411 5414 22004 0 -1 1077944384 6 13249 0 0 0 0 4 3 20 0 15 0 107214500 11348049920 844399 33554432000 4194304 4196468 140728150858320 139956810933888 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5475] ppid=5411 vsize=11082080 memory=916 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5475/stat : 5475 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11348049920 844399 33554432000 4194304 4196468 140728150858320 139956503534160 139958195398555 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5476] ppid=5411 vsize=11082080 memory=3848 CPUtime=9.74 cores=1,3,5,7
/proc/5414/task/5476/stat : 5476 (java) S 5411 5414 22004 0 -1 1077944384 19544 13249 0 0 965 2 4 3 20 0 15 0 107214503 11348049920 844399 33554432000 4194304 4196468 140728150858320 139957687433328 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5477] ppid=5411 vsize=11082080 memory=6935054825532540783 CPUtime=9.53 cores=1,3,5,7
/proc/5414/task/5477/stat : 5477 (java) S 5411 5414 22004 0 -1 1077944384 25294 13249 0 0 941 5 4 3 20 0 15 0 107214503 11348049920 844399 33554432000 4194304 4196468 140728150858320 139957686380528 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5478] ppid=5411 vsize=11082080 memory=7 CPUtime=3.15 cores=1,3,5,7
/proc/5414/task/5478/stat : 5478 (java) S 5411 5414 22004 0 -1 1077944384 19916 13249 0 0 303 5 4 3 20 0 15 0 107214503 11348049920 844399 33554432000 4194304 4196468 140728150858320 139957685328240 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5479] ppid=5411 vsize=11082080 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/5414/task/5479/stat : 5479 (java) S 5411 5414 22004 0 -1 1077944384 3 13249 0 0 0 0 4 3 20 0 15 0 107214503 11348049920 844399 33554432000 4194304 4196468 140728150858320 139956072737248 139958195390165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
[pid=5414/tid=5480] ppid=5411 vsize=11082080 memory=7 CPUtime=0.19 cores=1,3,5,7
/proc/5414/task/5480/stat : 5480 (java) S 5411 5414 22004 0 -1 1077944384 1128 13249 0 0 5 7 4 3 20 0 15 0 107214503 11348049920 844399 33554432000 4194304 4196468 140728150858320 139957361437616 139958195391106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22282240 140728150862450 140728150865249 140728150865249 140728150867919 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3377596 KiB

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

[startup+220.447 s]
# the end of solver process 5414 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.831 s, system=2.33908 s

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

Child status: 143
Real time (s): 220.447
CPU time (s): 252.17
CPU user time (s): 249.831
CPU system time (s): 2.33908
CPU usage (%): 114.39
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3558536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.831
system time used= 2.33908
maximum resident set size= 3558536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179399
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17461
involuntary context switches= 351


# summary of solver processes directly reported to runsolver:
#   pid: 5414
#   total CPU time (s): 252.17
#   total CPU user time (s): 249.831
#   total CPU system time (s): 2.33908

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29024 second user time and 2.16485 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-29 22:35:13
IDJOB=4302591
IDBENCH=141264
IDSOLVER=2776
FILE ID=node151/4302591-1532896513
RUNJOBID= node151-1532894133-1621
PBS_JOBID= 21022509
Free space on /tmp= 59220 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-4302591-1532896513/watcher-4302591-1532896513 -o /tmp/evaluation-result-4302591-1532896513/solver-4302591-1532896513 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1621 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=100595019 HOME/instance-4302591-1532896513.xml

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

MD5SUM BENCH= 9ab3e648243ddfeac66c66819bd63413
RANDOM SEED=100595019

node151.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.87
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.87
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.87
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.87
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:        26692252 kB
MemAvailable:   30497652 kB
Buffers:          217748 kB
Cached:          3861616 kB
SwapCached:            0 kB
Active:          2976388 kB
Inactive:        2630740 kB
Active(anon):    1477756 kB
Inactive(anon):    78188 kB
Active(file):    1498632 kB
Inactive(file):  2552552 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             94444 kB
Writeback:             8 kB
AnonPages:       1536080 kB
Mapped:            57780 kB
Shmem:             25224 kB
Slab:             168432 kB
SReclaimable:     140104 kB
SUnreclaim:        28328 kB
KernelStack:        3584 kB
PageTables:         8264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2870776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1306624 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= 59112 MiB
End job on node151 at 2018-07-29 22:38:54