Trace number 4304432

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)60577345 2520.1 2451.76

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	60577345

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304432-1534088811/watcher-4304432-1534088811 -o /tmp/evaluation-result-4304432-1534088811/solver-4304432-1534088811 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=95897052 -superng HOME/instance-4304432-1534088811.xml 

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

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

solver pid=25445, runsolver pid=25442

[startup+0.100109 s]*
/proc/loadavg: 2.06 1.82 1.79 3/206 25502
/proc/meminfo: memFree=8861380/32770624 swapFree=67108404/67108860
[pid=25445] ppid=25442 vsize=10005480 memory=18328 CPUtime=0.08 cores=1,3,5,7
/proc/25445/stat : 25445 (java) S 25442 25445 21340 0 -1 1077944320 4259 12922 0 0 1 0 5 2 20 0 6 0 226444322 10245611520 4582 33554432000 4194304 4196468 140721266523872 140721266506416 139777648303863 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
/proc/25445/statm: 2501370 4582 1930 1 0 2489808 0
[pid=25445/tid=25498] ppid=25442 vsize=10005480 memory=4279135704047190159 CPUtime=0.08 cores=1,3,5,7
/proc/25445/task/25498/stat : 25498 (java) R 25442 25445 21340 0 -1 4202560 2062 12922 0 0 1 0 5 2 20 0 6 0 226444330 10245611520 4648 33554432000 4194304 4196468 140721266523872 139777620140624 139777633986389 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25499] ppid=25442 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25499/stat : 25499 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 6 0 226444331 10245611520 4648 33554432000 4194304 4196468 140721266523872 139777652546064 139777648314069 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25500] ppid=25442 vsize=10005480 memory=140618730890880 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25500/stat : 25500 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 6 0 226444331 10245611520 4648 33554432000 4194304 4196468 140721266523872 139777507265168 139777648314069 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25501] ppid=25442 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25501/stat : 25501 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 6 0 226444331 10245611520 4648 33554432000 4194304 4196468 140721266523872 139777506212112 139777648314069 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25502] ppid=25442 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25502/stat : 25502 (java) S 25442 25445 21340 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 6 0 226444331 10245611520 4648 33554432000 4194304 4196468 140721266523872 139777505159568 139777648314069 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB

[startup+0.209849 s]*
/proc/loadavg: 2.06 1.82 1.79 3/215 25511
/proc/meminfo: memFree=8835884/32770624 swapFree=67108404/67108860
[pid=25445] ppid=25442 vsize=10983736 memory=47056 CPUtime=0.25 cores=1,3,5,7
/proc/25445/stat : 25445 (java) S 25442 25445 21340 0 -1 1077944320 7870 12922 0 0 16 2 5 2 20 0 15 0 226444322 11247345664 11764 33554432000 4194304 4196468 140721266523872 140721266506416 139777648303863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
/proc/25445/statm: 2745934 11764 2983 1 0 2708357 0
[pid=25445/tid=25498] ppid=25442 vsize=10983736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/25445/task/25498/stat : 25498 (java) R 25442 25445 21340 0 -1 4202560 4549 12922 0 0 11 1 5 2 20 0 15 0 226444330 11247345664 11830 33554432000 4194304 4196468 140721266523872 139777620128672 139777640983581 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25499] ppid=25442 vsize=10983736 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25499/stat : 25499 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444331 11247345664 11896 33554432000 4194304 4196468 140721266523872 139777652546064 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25500] ppid=25442 vsize=10983736 memory=140618730912509 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25500/stat : 25500 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444331 11247345664 11896 33554432000 4194304 4196468 140721266523872 139777507265168 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25501] ppid=25442 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25501/stat : 25501 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444331 11247345664 11896 33554432000 4194304 4196468 140721266523872 139777506212112 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25502] ppid=25442 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25502/stat : 25502 (java) S 25442 25445 21340 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 226444331 11249012736 11896 33554432000 4194304 4196468 140721266523872 139777505159568 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25503] ppid=25442 vsize=10985364 memory=140618730890880 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25503/stat : 25503 (java) S 25442 25445 21340 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 226444333 11249012736 11896 33554432000 4194304 4196468 140721266523872 139777073429232 139777648315010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25504] ppid=25442 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25504/stat : 25504 (java) S 25442 25445 21340 0 -1 1077944384 13 12922 0 0 0 0 5 2 20 0 15 0 226444333 11249012736 11962 33554432000 4194304 4196468 140721266523872 139776435938976 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25505] ppid=25442 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25505/stat : 25505 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444333 11249012736 11962 33554432000 4194304 4196468 140721266523872 139776288089328 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25506] ppid=25442 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25506/stat : 25506 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11249012736 11962 33554432000 4194304 4196468 140721266523872 139775980689872 139777648322459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25507] ppid=25442 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25445/task/25507/stat : 25507 (java) S 25442 25445 21340 0 -1 1077944384 542 12922 0 0 1 0 5 2 20 0 15 0 226444336 11249012736 11962 33554432000 4194304 4196468 140721266523872 139777072376048 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25508] ppid=25442 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25508/stat : 25508 (java) S 25442 25445 21340 0 -1 1077944384 67 12922 0 0 0 0 5 2 20 0 15 0 226444336 11249012736 12028 33554432000 4194304 4196468 140721266523872 139777071323504 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25509] ppid=25442 vsize=10985364 memory=140618730890880 CPUtime=0.1 cores=1,3,5,7
/proc/25445/task/25509/stat : 25509 (java) S 25442 25445 21340 0 -1 1077944384 610 12922 0 0 3 0 5 2 20 0 15 0 226444336 11249012736 12028 33554432000 4194304 4196468 140721266523872 139777070270448 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25510] ppid=25442 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25510/stat : 25510 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11249012736 12028 33554432000 4194304 4196468 140721266523872 139775549892960 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25511] ppid=25442 vsize=10985364 memory=140618730890880 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25511/stat : 25511 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444336 11249012736 12028 33554432000 4194304 4196468 140721266523872 139777069218864 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 47056 KiB

[startup+0.310185 s]*
/proc/loadavg: 2.06 1.82 1.79 3/215 25511
/proc/meminfo: memFree=8823852/32770624 swapFree=67108404/67108860
[pid=25445] ppid=25442 vsize=10983192 memory=57240 CPUtime=0.38 cores=1,3,5,7
/proc/25445/stat : 25445 (java) S 25442 25445 21340 0 -1 1077944320 10311 12922 0 0 28 3 5 2 20 0 15 0 226444322 11246788608 14310 33554432000 4194304 4196468 140721266523872 140721266506416 139777648303863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
/proc/25445/statm: 2745798 14310 3102 1 0 2708109 0
[pid=25445/tid=25498] ppid=25442 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/25445/task/25498/stat : 25498 (java) R 25442 25445 21340 0 -1 4202560 6857 12922 0 0 19 2 5 2 20 0 15 0 226444330 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777620115872 139777648325789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25499] ppid=25442 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25499/stat : 25499 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444331 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777652546064 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25500] ppid=25442 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25500/stat : 25500 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444331 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777507265168 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25501] ppid=25442 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25501/stat : 25501 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444331 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777506212112 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25502] ppid=25442 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25502/stat : 25502 (java) S 25442 25445 21340 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 226444331 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777505159568 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25503] ppid=25442 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25503/stat : 25503 (java) S 25442 25445 21340 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 226444333 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777073429232 139777648315010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25504] ppid=25442 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25504/stat : 25504 (java) S 25442 25445 21340 0 -1 1077944384 13 12922 0 0 0 0 5 2 20 0 15 0 226444333 11246788608 14310 33554432000 4194304 4196468 140721266523872 139776435938976 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25505] ppid=25442 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25505/stat : 25505 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444333 11246788608 14310 33554432000 4194304 4196468 140721266523872 139776288089328 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25506] ppid=25442 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25506/stat : 25506 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11246788608 14310 33554432000 4194304 4196468 140721266523872 139775980689872 139777648322459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25507] ppid=25442 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25445/task/25507/stat : 25507 (java) S 25442 25445 21340 0 -1 1077944384 544 12922 0 0 1 0 5 2 20 0 15 0 226444336 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777072376048 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25508] ppid=25442 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25445/task/25508/stat : 25508 (java) S 25442 25445 21340 0 -1 1077944384 70 12922 0 0 1 0 5 2 20 0 15 0 226444336 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777071323504 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25509] ppid=25442 vsize=10983192 memory=140618730890880 CPUtime=0.12 cores=1,3,5,7
/proc/25445/task/25509/stat : 25509 (java) R 25442 25445 21340 0 -1 4202560 616 12922 0 0 5 0 5 2 20 0 15 0 226444336 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777070270448 139777632485217 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25510] ppid=25442 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25510/stat : 25510 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11246788608 14310 33554432000 4194304 4196468 140721266523872 139775549892960 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25511] ppid=25442 vsize=10983192 memory=140618730890880 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25511/stat : 25511 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444336 11246788608 14310 33554432000 4194304 4196468 140721266523872 139777069218864 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57240 KiB

[startup+0.700732 s]
/proc/loadavg: 2.06 1.82 1.79 3/215 25511
/proc/meminfo: memFree=8813572/32770624 swapFree=67108404/67108860
[pid=25445] ppid=25442 vsize=10983192 memory=89368 CPUtime=0.98 cores=1,3,5,7
/proc/25445/stat : 25445 (java) S 25442 25445 21340 0 -1 1077944320 16415 12922 0 0 87 4 5 2 20 0 15 0 226444322 11246788608 22342 33554432000 4194304 4196468 140721266523872 140721266506416 139777648303863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
/proc/25445/statm: 2745798 22342 3247 1 0 2708109 0
[pid=25445/tid=25498] ppid=25442 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/25445/task/25498/stat : 25498 (java) R 25442 25445 21340 0 -1 4202560 11861 12922 0 0 56 3 5 2 20 0 15 0 226444330 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777620124688 139777633469456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25499] ppid=25442 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25499/stat : 25499 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444331 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777652546064 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25500] ppid=25442 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25500/stat : 25500 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444331 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777507265168 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25501] ppid=25442 vsize=10983192 memory=140618571592496 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25501/stat : 25501 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444331 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777506212112 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25502] ppid=25442 vsize=10983192 memory=140621524238924 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25502/stat : 25502 (java) S 25442 25445 21340 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 226444331 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777505159568 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25503] ppid=25442 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25503/stat : 25503 (java) S 25442 25445 21340 0 -1 1077944384 5 12922 0 0 0 0 5 2 20 0 15 0 226444333 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777073429232 139777648315010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25504] ppid=25442 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25504/stat : 25504 (java) S 25442 25445 21340 0 -1 1077944384 13 12922 0 0 0 0 5 2 20 0 15 0 226444333 11246788608 22342 33554432000 4194304 4196468 140721266523872 139776435938976 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25505] ppid=25442 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25505/stat : 25505 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444333 11246788608 22342 33554432000 4194304 4196468 140721266523872 139776288089328 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25506] ppid=25442 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25506/stat : 25506 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11246788608 22342 33554432000 4194304 4196468 140721266523872 139775980689872 139777648322459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25507] ppid=25442 vsize=10983192 memory=33996 CPUtime=0.17 cores=1,3,5,7
/proc/25445/task/25507/stat : 25507 (java) S 25442 25445 21340 0 -1 1077944384 1183 12922 0 0 10 0 5 2 20 0 15 0 226444336 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777072376048 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25508] ppid=25442 vsize=10983192 memory=14644 CPUtime=0.13 cores=1,3,5,7
/proc/25445/task/25508/stat : 25508 (java) S 25442 25445 21340 0 -1 1077944384 475 12922 0 0 6 0 5 2 20 0 15 0 226444336 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777071323504 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25509] ppid=25442 vsize=10983192 memory=1720 CPUtime=0.2 cores=1,3,5,7
/proc/25445/task/25509/stat : 25509 (java) S 25442 25445 21340 0 -1 1077944384 669 12922 0 0 13 0 5 2 20 0 15 0 226444336 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777070270448 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25510] ppid=25442 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25510/stat : 25510 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11246788608 22342 33554432000 4194304 4196468 140721266523872 139775549892960 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25511] ppid=25442 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25511/stat : 25511 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444336 11246788608 22342 33554432000 4194304 4196468 140721266523872 139777069218864 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89368 KiB

[startup+1.50584 s]
/proc/loadavg: 2.06 1.82 1.79 3/215 25511
/proc/meminfo: memFree=8767488/32770624 swapFree=67108404/67108860
[pid=25445] ppid=25442 vsize=10991948 memory=321504 CPUtime=3.12 cores=1,3,5,7
/proc/25445/stat : 25445 (java) S 25442 25445 21340 0 -1 1077944320 23172 12922 0 0 285 20 5 2 20 0 15 0 226444322 11255754752 80376 33554432000 4194304 4196468 140721266523872 140721266506416 139777648303863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
/proc/25445/statm: 2747987 80376 3471 1 0 2709645 0
[pid=25445/tid=25498] ppid=25442 vsize=10991948 memory=66028 CPUtime=1.4 cores=1,3,5,7
/proc/25445/task/25498/stat : 25498 (java) R 25442 25445 21340 0 -1 4202560 14388 12922 0 0 125 8 5 2 20 0 15 0 226444330 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777620137360 139777177426092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25499] ppid=25442 vsize=10991948 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/25445/task/25499/stat : 25499 (java) S 25442 25445 21340 0 -1 1077944384 370 12922 0 0 2 2 5 2 20 0 15 0 226444331 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777652546064 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25500] ppid=25442 vsize=10991948 memory=281237143216288 CPUtime=0.11 cores=1,3,5,7
/proc/25445/task/25500/stat : 25500 (java) S 25442 25445 21340 0 -1 1077944384 117 12922 0 0 2 2 5 2 20 0 15 0 226444331 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777507265168 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25501] ppid=25442 vsize=10991948 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25445/task/25501/stat : 25501 (java) S 25442 25445 21340 0 -1 1077944384 36 12922 0 0 1 2 5 2 20 0 15 0 226444331 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777506212112 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25502] ppid=25442 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/25445/task/25502/stat : 25502 (java) S 25442 25445 21340 0 -1 1077944384 100 12922 0 0 2 2 5 2 20 0 15 0 226444331 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777505159568 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25503] ppid=25442 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25503/stat : 25503 (java) S 25442 25445 21340 0 -1 1077944384 94 12922 0 0 0 0 5 2 20 0 15 0 226444333 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777073429232 139777648315010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25504] ppid=25442 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25504/stat : 25504 (java) S 25442 25445 21340 0 -1 1077944384 13 12922 0 0 0 0 5 2 20 0 15 0 226444333 11255754752 80376 33554432000 4194304 4196468 140721266523872 139776435938976 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25505] ppid=25442 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25505/stat : 25505 (java) S 25442 25445 21340 0 -1 1077944384 2 12922 0 0 0 0 5 2 20 0 15 0 226444333 11255754752 80376 33554432000 4194304 4196468 140721266523872 139776288089328 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25506] ppid=25442 vsize=10991948 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25506/stat : 25506 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11255754752 80376 33554432000 4194304 4196468 140721266523872 139775980689872 139777648322459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25507] ppid=25442 vsize=10991948 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/25445/task/25507/stat : 25507 (java) R 25442 25445 21340 0 -1 4202560 2386 12922 0 0 54 0 5 2 20 0 15 0 226444336 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777072361248 139777628155999 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25508] ppid=25442 vsize=10991948 memory=10 CPUtime=0.59 cores=1,3,5,7
/proc/25445/task/25508/stat : 25508 (java) R 25442 25445 21340 0 -1 4202560 1994 12922 0 0 52 0 5 2 20 0 15 0 226444336 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777071313888 139777628474980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25509] ppid=25442 vsize=10991948 memory=6791534058613427641 CPUtime=0.48 cores=1,3,5,7
/proc/25445/task/25509/stat : 25509 (java) R 25442 25445 21340 0 -1 4202560 1469 12922 0 0 41 0 5 2 20 0 15 0 226444336 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777070266208 139777627273276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25510] ppid=25442 vsize=10991948 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25510/stat : 25510 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11255754752 80376 33554432000 4194304 4196468 140721266523872 139775549892960 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25511] ppid=25442 vsize=10991948 memory=281237143460800 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25511/stat : 25511 (java) S 25442 25445 21340 0 -1 1077944384 1 12922 0 0 0 0 5 2 20 0 15 0 226444336 11255754752 80376 33554432000 4194304 4196468 140721266523872 139777069218864 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10991948 KiB

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

/proc/25445/task/25498/stat : 25498 (java) R 25442 25445 21340 0 -1 4202560 220794 12922 0 0 236639 78 5 2 20 0 15 0 226444330 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777620138872 139777195414380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25499] ppid=25442 vsize=11016544 memory=3793776 CPUtime=14.18 cores=1,3,5,7
/proc/25445/task/25499/stat : 25499 (java) S 25442 25445 21340 0 -1 1077944384 36887 12922 0 0 1352 59 5 2 20 0 15 0 226444331 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777652546064 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25500] ppid=25442 vsize=11016544 memory=3793776 CPUtime=14.11 cores=1,3,5,7
/proc/25445/task/25500/stat : 25500 (java) S 25442 25445 21340 0 -1 1077944384 36226 12922 0 0 1345 59 5 2 20 0 15 0 226444331 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777507265168 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25501] ppid=25442 vsize=11016544 memory=281237143449984 CPUtime=14.13 cores=1,3,5,7
/proc/25445/task/25501/stat : 25501 (java) S 25442 25445 21340 0 -1 1077944384 33133 12922 0 0 1349 57 5 2 20 0 15 0 226444331 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777506212112 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25502] ppid=25442 vsize=11016544 memory=3793776 CPUtime=14.19 cores=1,3,5,7
/proc/25445/task/25502/stat : 25502 (java) S 25442 25445 21340 0 -1 1077944384 28791 12922 0 0 1353 59 5 2 20 0 15 0 226444331 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777505159568 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25503] ppid=25442 vsize=11016544 memory=3793776 CPUtime=0.73 cores=1,3,5,7
/proc/25445/task/25503/stat : 25503 (java) S 25442 25445 21340 0 -1 1077944384 39609 12922 0 0 57 9 5 2 20 0 15 0 226444333 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777073429232 139777648315010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25504] ppid=25442 vsize=11016544 memory=1224 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25504/stat : 25504 (java) S 25442 25445 21340 0 -1 1077944384 34 12922 0 0 0 0 5 2 20 0 15 0 226444333 11280941056 948444 33554432000 4194304 4196468 140721266523872 139776435939104 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25505] ppid=25442 vsize=11016544 memory=3793776 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25505/stat : 25505 (java) S 25442 25445 21340 0 -1 1077944384 18 12922 0 0 0 0 5 2 20 0 15 0 226444333 11280941056 948444 33554432000 4194304 4196468 140721266523872 139776288089344 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25506] ppid=25442 vsize=11016544 memory=3793776 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25506/stat : 25506 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11280941056 948444 33554432000 4194304 4196468 140721266523872 139775980689872 139777648322459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25507] ppid=25442 vsize=11016544 memory=3793776 CPUtime=10.79 cores=1,3,5,7
/proc/25445/task/25507/stat : 25507 (java) S 25442 25445 21340 0 -1 1077944384 85616 12922 0 0 1063 9 5 2 20 0 15 0 226444336 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777072376048 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25508] ppid=25442 vsize=11016544 memory=3793776 CPUtime=10.53 cores=1,3,5,7
/proc/25445/task/25508/stat : 25508 (java) S 25442 25445 21340 0 -1 1077944384 81080 12922 0 0 1037 9 5 2 20 0 15 0 226444336 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777071323504 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25509] ppid=25442 vsize=11016544 memory=3793776 CPUtime=3.44 cores=1,3,5,7
/proc/25445/task/25509/stat : 25509 (java) S 25442 25445 21340 0 -1 1077944384 50542 12922 0 0 330 7 5 2 20 0 15 0 226444336 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777070270448 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25510] ppid=25442 vsize=11016544 memory=3793776 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25510/stat : 25510 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11280941056 948444 33554432000 4194304 4196468 140721266523872 139775549892960 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25511] ppid=25442 vsize=11016544 memory=3684 CPUtime=1.42 cores=1,3,5,7
/proc/25445/task/25511/stat : 25511 (java) S 25442 25445 21340 0 -1 1077944384 3456 12922 0 0 58 77 5 2 20 0 15 0 226444336 11280941056 948444 33554432000 4194304 4196468 140721266523872 139777069218864 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
Current children cumulated CPU time: 2450.24 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3793776 KiB

[startup+2442.3 s]
/proc/loadavg: 1.69 1.85 1.84 3/215 25870
/proc/meminfo: memFree=4866676/32770624 swapFree=67108404/67108860
[pid=25445] ppid=25442 vsize=11016544 memory=3793848 CPUtime=2510.58 cores=1,3,5,7
/proc/25445/stat : 25445 (java) S 25442 25445 21340 0 -1 1077944320 628924 12922 0 0 250637 414 5 2 20 0 15 0 226444322 11280941056 948462 33554432000 4194304 4196468 140721266523872 140721266506416 139777648303863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
/proc/25445/statm: 2754136 948462 3541 1 0 2715789 0
[pid=25445/tid=25498] ppid=25442 vsize=11016544 memory=3793844 CPUtime=2427.13 cores=1,3,5,7
/proc/25445/task/25498/stat : 25498 (java) R 25442 25445 21340 0 -1 4202560 224950 12922 0 0 242627 79 5 2 20 0 15 0 226444330 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777620139008 139777180117959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25499] ppid=25442 vsize=11016544 memory=3793792 CPUtime=14.28 cores=1,3,5,7
/proc/25445/task/25499/stat : 25499 (java) S 25442 25445 21340 0 -1 1077944384 37650 12922 0 0 1362 59 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777652546064 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25500] ppid=25442 vsize=11016544 memory=3793844 CPUtime=14.2 cores=1,3,5,7
/proc/25445/task/25500/stat : 25500 (java) S 25442 25445 21340 0 -1 1077944384 36865 12922 0 0 1354 59 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777507265168 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25501] ppid=25442 vsize=11016544 memory=3793844 CPUtime=14.22 cores=1,3,5,7
/proc/25445/task/25501/stat : 25501 (java) S 25442 25445 21340 0 -1 1077944384 33473 12922 0 0 1358 57 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777506212112 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25502] ppid=25442 vsize=11016544 memory=3793844 CPUtime=14.28 cores=1,3,5,7
/proc/25445/task/25502/stat : 25502 (java) S 25442 25445 21340 0 -1 1077944384 30103 12922 0 0 1362 59 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777505159568 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25503] ppid=25442 vsize=11016544 memory=3793844 CPUtime=0.74 cores=1,3,5,7
/proc/25445/task/25503/stat : 25503 (java) S 25442 25445 21340 0 -1 1077944384 39909 12922 0 0 58 9 5 2 20 0 15 0 226444333 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777073429232 139777648315010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25504] ppid=25442 vsize=11016544 memory=3793848 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25504/stat : 25504 (java) S 25442 25445 21340 0 -1 1077944384 34 12922 0 0 0 0 5 2 20 0 15 0 226444333 11280941056 948462 33554432000 4194304 4196468 140721266523872 139776435939104 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25505] ppid=25442 vsize=11016544 memory=3793848 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25505/stat : 25505 (java) S 25442 25445 21340 0 -1 1077944384 18 12922 0 0 0 0 5 2 20 0 15 0 226444333 11280941056 948462 33554432000 4194304 4196468 140721266523872 139776288089344 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25506] ppid=25442 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25506/stat : 25506 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139775980689872 139777648322459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25507] ppid=25442 vsize=11016544 memory=3793848 CPUtime=10.79 cores=1,3,5,7
/proc/25445/task/25507/stat : 25507 (java) S 25442 25445 21340 0 -1 1077944384 85620 12922 0 0 1063 9 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777072376048 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25508] ppid=25442 vsize=11016544 memory=3793848 CPUtime=10.55 cores=1,3,5,7
/proc/25445/task/25508/stat : 25508 (java) S 25442 25445 21340 0 -1 1077944384 83186 12922 0 0 1039 9 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777071323504 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25509] ppid=25442 vsize=11016544 memory=3793844 CPUtime=3.45 cores=1,3,5,7
/proc/25445/task/25509/stat : 25509 (java) S 25442 25445 21340 0 -1 1077944384 51434 12922 0 0 331 7 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777070270448 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25510] ppid=25442 vsize=11016544 memory=3684 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25510/stat : 25510 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139775549892960 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25511] ppid=25442 vsize=11016544 memory=812 CPUtime=1.46 cores=1,3,5,7
/proc/25445/task/25511/stat : 25511 (java) S 25442 25445 21340 0 -1 1077944384 3480 12922 0 0 59 80 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777069218864 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
Current children cumulated CPU time: 2510.58 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3793848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2451.7 s]
/proc/loadavg: 1.66 1.84 1.84 3/215 25870
/proc/meminfo: memFree=4843900/32770624 swapFree=67108404/67108860
[pid=25445] ppid=25442 vsize=11016544 memory=3793848 CPUtime=2520.02 cores=1,3,5,7
/proc/25445/stat : 25445 (java) S 25442 25445 21340 0 -1 1077944320 630108 12922 0 0 251581 414 5 2 20 0 15 0 226444322 11280941056 948462 33554432000 4194304 4196468 140721266523872 140721266506416 139777648303863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
/proc/25445/statm: 2754136 948462 3541 1 0 2715789 0
[pid=25445/tid=25498] ppid=25442 vsize=11016544 memory=3793848 CPUtime=2436.52 cores=1,3,5,7
/proc/25445/task/25498/stat : 25498 (java) R 25442 25445 21340 0 -1 4202560 225206 12922 0 0 243566 79 5 2 20 0 15 0 226444330 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777620139040 139777202114998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25499] ppid=25442 vsize=11016544 memory=3793848 CPUtime=14.28 cores=1,3,5,7
/proc/25445/task/25499/stat : 25499 (java) S 25442 25445 21340 0 -1 1077944384 37655 12922 0 0 1362 59 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777652546064 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25500] ppid=25442 vsize=11016544 memory=3793848 CPUtime=14.21 cores=1,3,5,7
/proc/25445/task/25500/stat : 25500 (java) S 25442 25445 21340 0 -1 1077944384 36872 12922 0 0 1355 59 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777507265168 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25501] ppid=25442 vsize=11016544 memory=3793848 CPUtime=14.23 cores=1,3,5,7
/proc/25445/task/25501/stat : 25501 (java) S 25442 25445 21340 0 -1 1077944384 33480 12922 0 0 1359 57 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777506212112 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25502] ppid=25442 vsize=11016544 memory=3793844 CPUtime=14.29 cores=1,3,5,7
/proc/25445/task/25502/stat : 25502 (java) S 25442 25445 21340 0 -1 1077944384 30107 12922 0 0 1363 59 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777505159568 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25503] ppid=25442 vsize=11016544 memory=3793844 CPUtime=0.74 cores=1,3,5,7
/proc/25445/task/25503/stat : 25503 (java) S 25442 25445 21340 0 -1 1077944384 39910 12922 0 0 58 9 5 2 20 0 15 0 226444333 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777073429232 139777648315010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25504] ppid=25442 vsize=11016544 memory=3793792 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25504/stat : 25504 (java) S 25442 25445 21340 0 -1 1077944384 34 12922 0 0 0 0 5 2 20 0 15 0 226444333 11280941056 948462 33554432000 4194304 4196468 140721266523872 139776435939104 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25505] ppid=25442 vsize=11016544 memory=3793848 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25505/stat : 25505 (java) S 25442 25445 21340 0 -1 1077944384 18 12922 0 0 0 0 5 2 20 0 15 0 226444333 11280941056 948462 33554432000 4194304 4196468 140721266523872 139776288089344 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25506] ppid=25442 vsize=11016544 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25506/stat : 25506 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139775980689872 139777648322459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25507] ppid=25442 vsize=11016544 memory=3793848 CPUtime=10.8 cores=1,3,5,7
/proc/25445/task/25507/stat : 25507 (java) S 25442 25445 21340 0 -1 1077944384 86095 12922 0 0 1064 9 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777072376048 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25508] ppid=25442 vsize=11016544 memory=3793848 CPUtime=10.55 cores=1,3,5,7
/proc/25445/task/25508/stat : 25508 (java) S 25442 25445 21340 0 -1 1077944384 83186 12922 0 0 1039 9 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777071323504 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25509] ppid=25442 vsize=11016544 memory=0 CPUtime=3.45 cores=1,3,5,7
/proc/25445/task/25509/stat : 25509 (java) S 25442 25445 21340 0 -1 1077944384 51863 12922 0 0 331 7 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777070270448 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25510] ppid=25442 vsize=11016544 memory=3793848 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25510/stat : 25510 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139775549892960 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25511] ppid=25442 vsize=11016544 memory=1616 CPUtime=1.46 cores=1,3,5,7
/proc/25445/task/25511/stat : 25511 (java) S 25442 25445 21340 0 -1 1077944384 3480 12922 0 0 59 80 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777069218864 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3793848 KiB

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

[startup+2451.76 s]
# the end of solver process 25445 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.89 s, system=4.20605 s

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

[startup+2451.7 s]
/proc/loadavg: 1.66 1.84 1.84 3/215 25870
/proc/meminfo: memFree=4843900/32770624 swapFree=67108404/67108860
[pid=25445] ppid=25442 vsize=11016544 memory=3793848 CPUtime=2520.02 cores=1,3,5,7
/proc/25445/stat : 25445 (java) S 25442 25445 21340 0 -1 1077944320 630108 12922 0 0 251581 414 5 2 20 0 15 0 226444322 11280941056 948462 33554432000 4194304 4196468 140721266523872 140721266506416 139777648303863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
/proc/25445/statm: 2754136 948462 3541 1 0 2715789 0
[pid=25445/tid=25498] ppid=25442 vsize=11016544 memory=3793848 CPUtime=2436.52 cores=1,3,5,7
/proc/25445/task/25498/stat : 25498 (java) R 25442 25445 21340 0 -1 4202560 225206 12922 0 0 243566 79 5 2 20 0 15 0 226444330 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777620139040 139777202114998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25499] ppid=25442 vsize=11016544 memory=3793848 CPUtime=14.28 cores=1,3,5,7
/proc/25445/task/25499/stat : 25499 (java) S 25442 25445 21340 0 -1 1077944384 37655 12922 0 0 1362 59 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777652546064 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25500] ppid=25442 vsize=11016544 memory=3793848 CPUtime=14.21 cores=1,3,5,7
/proc/25445/task/25500/stat : 25500 (java) S 25442 25445 21340 0 -1 1077944384 36872 12922 0 0 1355 59 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777507265168 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25501] ppid=25442 vsize=11016544 memory=3793848 CPUtime=14.23 cores=1,3,5,7
/proc/25445/task/25501/stat : 25501 (java) S 25442 25445 21340 0 -1 1077944384 33480 12922 0 0 1359 57 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777506212112 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25502] ppid=25442 vsize=11016544 memory=3793844 CPUtime=14.29 cores=1,3,5,7
/proc/25445/task/25502/stat : 25502 (java) S 25442 25445 21340 0 -1 1077944384 30107 12922 0 0 1363 59 5 2 20 0 15 0 226444331 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777505159568 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25503] ppid=25442 vsize=11016544 memory=3793844 CPUtime=0.74 cores=1,3,5,7
/proc/25445/task/25503/stat : 25503 (java) S 25442 25445 21340 0 -1 1077944384 39910 12922 0 0 58 9 5 2 20 0 15 0 226444333 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777073429232 139777648315010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25504] ppid=25442 vsize=11016544 memory=3793792 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25504/stat : 25504 (java) S 25442 25445 21340 0 -1 1077944384 34 12922 0 0 0 0 5 2 20 0 15 0 226444333 11280941056 948462 33554432000 4194304 4196468 140721266523872 139776435939104 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25505] ppid=25442 vsize=11016544 memory=3793848 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25505/stat : 25505 (java) S 25442 25445 21340 0 -1 1077944384 18 12922 0 0 0 0 5 2 20 0 15 0 226444333 11280941056 948462 33554432000 4194304 4196468 140721266523872 139776288089344 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25506] ppid=25442 vsize=11016544 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25506/stat : 25506 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139775980689872 139777648322459 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25507] ppid=25442 vsize=11016544 memory=3793848 CPUtime=10.8 cores=1,3,5,7
/proc/25445/task/25507/stat : 25507 (java) S 25442 25445 21340 0 -1 1077944384 86095 12922 0 0 1064 9 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777072376048 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25508] ppid=25442 vsize=11016544 memory=3793848 CPUtime=10.55 cores=1,3,5,7
/proc/25445/task/25508/stat : 25508 (java) S 25442 25445 21340 0 -1 1077944384 83186 12922 0 0 1039 9 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777071323504 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25509] ppid=25442 vsize=11016544 memory=0 CPUtime=3.45 cores=1,3,5,7
/proc/25445/task/25509/stat : 25509 (java) S 25442 25445 21340 0 -1 1077944384 51863 12922 0 0 331 7 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777070270448 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25510] ppid=25442 vsize=11016544 memory=3793848 CPUtime=0.07 cores=1,3,5,7
/proc/25445/task/25510/stat : 25510 (java) S 25442 25445 21340 0 -1 1077944384 3 12922 0 0 0 0 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139775549892960 139777648314069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
[pid=25445/tid=25511] ppid=25442 vsize=11016544 memory=1616 CPUtime=1.46 cores=1,3,5,7
/proc/25445/task/25511/stat : 25511 (java) S 25442 25445 21340 0 -1 1077944384 3480 12922 0 0 59 80 5 2 20 0 15 0 226444336 11280941056 948462 33554432000 4194304 4196468 140721266523872 139777069218864 139777648315010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35061760 140721266530917 140721266533724 140721266533724 140721266536399 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3793848 KiB

Child status: 143
Real time (s): 2451.76
CPU time (s): 2520.1
CPU user time (s): 2515.89
CPU system time (s): 4.20605
CPU usage (%): 102.787
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 3795420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.89
system time used= 4.20605
maximum resident set size= 3798068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644940
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72084
involuntary context switches= 2154


# summary of solver processes directly reported to runsolver:
#   pid: 25445
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.89
#   total CPU system time (s): 4.20605

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1544 second user time and 27.5459 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-12 17:46:52
IDJOB=4304432
IDBENCH=141264
IDSOLVER=2781
FILE ID=node148/4304432-1534088811
RUNJOBID= node148-1534062012-21372
PBS_JOBID= 21036979
Free space on /tmp= 33848 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-02-0250_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304432-1534088811/watcher-4304432-1534088811 -o /tmp/evaluation-result-4304432-1534088811/solver-4304432-1534088811 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=95897052 -superng HOME/instance-4304432-1534088811.xml

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

MD5SUM BENCH= 9ab3e648243ddfeac66c66819bd63413
RANDOM SEED=95897052

node148.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.50
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.50
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.50
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.50
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:         8867796 kB
MemAvailable:   27984244 kB
Buffers:          248972 kB
Cached:         18833944 kB
SwapCached:          352 kB
Active:         12896624 kB
Inactive:       10157068 kB
Active(anon):    3898868 kB
Inactive(anon):   124452 kB
Active(file):    8997756 kB
Inactive(file): 10032616 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             94268 kB
Writeback:             0 kB
AnonPages:       3978044 kB
Mapped:            67380 kB
Shmem:             49592 kB
Slab:             542804 kB
SReclaimable:     514536 kB
SUnreclaim:        28268 kB
KernelStack:        3520 kB
PageTables:        13148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4893540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3518464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33724 MiB
End job on node148 at 2018-08-12 18:27:44