Trace number 4293905

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13SAT (TO)27317500 2520.1 2468.85

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-04-0300_c18.xml
MD5SUMd2f9cd7b3c3026f57264f10c0685d9a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark26739930
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables5284
Number of constraints3360
Number of domains68
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":1859},{"size":11,"count":1561},{"size":12,"count":1},{"size":25,"count":10},{"size":29,"count":10},{"size":31,"count":42},{"size":33,"count":12},{"size":36,"count":26},{"size":39,"count":45},{"size":41,"count":7},{"size":45,"count":9},{"size":50,"count":6},{"size":51,"count":9},{"size":53,"count":7},{"size":57,"count":23},{"size":58,"count":6},{"size":61,"count":6},{"size":62,"count":10},{"size":67,"count":13},{"size":73,"count":1},{"size":74,"count":2},{"size":75,"count":8},{"size":77,"count":3},{"size":79,"count":9},{"size":81,"count":11},{"size":83,"count":7},{"size":84,"count":1},{"size":85,"count":1},{"size":87,"count":11},{"size":89,"count":6},{"size":93,"count":4},{"size":95,"count":35},{"size":97,"count":5},{"size":100,"count":29},{"size":102,"count":51},{"size":104,"count":11},{"size":105,"count":5},{"size":107,"count":8},{"size":109,"count":6},{"size":110,"count":32},{"size":117,"count":53},{"size":118,"count":63},{"size":122,"count":30},{"size":127,"count":118},{"size":130,"count":112},{"size":132,"count":30},{"size":135,"count":968}]
Minimum variable degree2
Maximum variable degree1562
Distribution of variable degrees[{"degree":2,"count":4684},{"degree":3,"count":6},{"degree":4,"count":6},{"degree":5,"count":11},{"degree":6,"count":24},{"degree":7,"count":24},{"degree":8,"count":40},{"degree":9,"count":42},{"degree":10,"count":48},{"degree":11,"count":68},{"degree":12,"count":79},{"degree":13,"count":128},{"degree":14,"count":97},{"degree":15,"count":11},{"degree":16,"count":8},{"degree":17,"count":6},{"degree":18,"count":1},{"degree":1562,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":238},{"arity":3,"count":1561},{"arity":6,"count":1561}]
Number of extensional constraints1561
Number of intensional constraints1799
Distribution of constraint types[{"type":"extension","count":1561},{"type":"intension","count":1799}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	27317500

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

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

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

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

solver pid=17766, runsolver pid=17763

[startup+0.100062 s]*
/proc/loadavg: 1.64 1.63 1.62 2/203 17819
/proc/meminfo: memFree=21159524/32770624 swapFree=67108860/67108860
[pid=17766] ppid=17763 vsize=9972712 memory=16280 CPUtime=0.08 cores=0,2,4,6
/proc/17766/stat : 17766 (java) S 17763 17766 15121 0 -1 1077944320 4234 13158 0 0 1 0 4 3 20 0 6 0 56153046 10212057088 4070 33554432000 4194304 4196468 140737348681344 140737348663888 140700394659575 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
/proc/17766/statm: 2493178 4070 1919 1 0 2481616 0
[pid=17766/tid=17819] ppid=17763 vsize=9972712 memory=4279135703913365389 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17819/stat : 17819 (java) R 17763 17766 15121 0 -1 4202560 2050 13158 0 0 0 0 4 3 20 0 6 0 56153055 10212057088 4070 33554432000 4194304 4196468 140737348681344 140700366496336 140700394681501 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17820] ppid=17763 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17820/stat : 17820 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 6 0 56153056 10212057088 4070 33554432000 4194304 4196468 140737348681344 140700398901648 140700394669781 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17821] ppid=17763 vsize=9972712 memory=140093741389440 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17821/stat : 17821 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 6 0 56153056 10212057088 4070 33554432000 4194304 4196468 140737348681344 140700313721104 140700394669781 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17822] ppid=17763 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17822/stat : 17822 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 6 0 56153056 10212057088 4070 33554432000 4194304 4196468 140737348681344 140700312668816 140700394669781 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17823] ppid=17763 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17823/stat : 17823 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 6 0 56153056 10212057088 4070 33554432000 4194304 4196468 140737348681344 140700311616016 140700394669781 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16280 KiB

[startup+0.210118 s]*
/proc/loadavg: 1.64 1.63 1.62 3/216 17832
/proc/meminfo: memFree=21133072/32770624 swapFree=67108860/67108860
[pid=17766] ppid=17763 vsize=10818904 memory=44320 CPUtime=0.25 cores=0,2,4,6
/proc/17766/stat : 17766 (java) S 17763 17766 15121 0 -1 1077944320 7249 13158 0 0 16 2 4 3 20 0 15 0 56153046 11078557696 11080 33554432000 4194304 4196468 140737348681344 140737348663888 140700394659575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
/proc/17766/statm: 2704726 11080 2945 1 0 2667149 0
[pid=17766/tid=17819] ppid=17763 vsize=10818904 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/17766/task/17819/stat : 17819 (java) R 17763 17766 15121 0 -1 4202560 3895 13158 0 0 10 1 4 3 20 0 15 0 56153055 11078557696 11146 33554432000 4194304 4196468 140737348681344 140700366464656 140700374935403 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17820] ppid=17763 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17820/stat : 17820 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11078557696 11146 33554432000 4194304 4196468 140737348681344 140700398901648 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17821] ppid=17763 vsize=10818904 memory=140093741389440 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17821/stat : 17821 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11078557696 11146 33554432000 4194304 4196468 140737348681344 140700313721104 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17822] ppid=17763 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17822/stat : 17822 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11078557696 11146 33554432000 4194304 4196468 140737348681344 140700312668816 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17823] ppid=17763 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17823/stat : 17823 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11078557696 11146 33554432000 4194304 4196468 140737348681344 140700311616016 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17824] ppid=17763 vsize=10818904 memory=140093741389440 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17824/stat : 17824 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153057 11078557696 11146 33554432000 4194304 4196468 140737348681344 140699599358576 140700394670722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17825] ppid=17763 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17825/stat : 17825 (java) S 17763 17766 15121 0 -1 1077944384 13 13158 0 0 0 0 4 3 20 0 15 0 56153058 11078557696 11146 33554432000 4194304 4196468 140737348681344 140699504731424 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17826] ppid=17763 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17826/stat : 17826 (java) S 17763 17766 15121 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 56153058 11078557696 11146 33554432000 4194304 4196468 140737348681344 140699370514032 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17827] ppid=17763 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17827/stat : 17827 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153061 11078557696 11146 33554432000 4194304 4196468 140737348681344 140699102079568 140700394678171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17828] ppid=17763 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17766/task/17828/stat : 17828 (java) S 17763 17766 15121 0 -1 1077944384 482 13158 0 0 1 0 4 3 20 0 15 0 56153061 11078557696 11212 33554432000 4194304 4196468 140737348681344 140699598305392 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17829] ppid=17763 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17829/stat : 17829 (java) S 17763 17766 15121 0 -1 1077944384 131 13158 0 0 0 0 4 3 20 0 15 0 56153061 11078557696 11212 33554432000 4194304 4196468 140737348681344 140699597252592 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17830] ppid=17763 vsize=10818904 memory=140093741389440 CPUtime=0.1 cores=0,2,4,6
/proc/17766/task/17830/stat : 17830 (java) S 17763 17766 15121 0 -1 1077944384 607 13158 0 0 3 0 4 3 20 0 15 0 56153061 11078557696 11212 33554432000 4194304 4196468 140737348681344 140699596200304 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17831] ppid=17763 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17831/stat : 17831 (java) S 17763 17766 15121 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 56153061 11078557696 11212 33554432000 4194304 4196468 140737348681344 140698632317408 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17832] ppid=17763 vsize=10818904 memory=140093741389440 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17832/stat : 17832 (java) S 17763 17766 15121 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 56153061 11078557696 11212 33554432000 4194304 4196468 140737348681344 140699595148208 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44320 KiB

[startup+0.310248 s]*
/proc/loadavg: 1.64 1.63 1.62 3/216 17832
/proc/meminfo: memFree=21119404/32770624 swapFree=67108860/67108860
[pid=17766] ppid=17763 vsize=10819352 memory=58284 CPUtime=0.37 cores=0,2,4,6
/proc/17766/stat : 17766 (java) S 17763 17766 15121 0 -1 1077944320 10559 13158 0 0 27 3 4 3 20 0 15 0 56153046 11079016448 14571 33554432000 4194304 4196468 140737348681344 140737348663888 140700394659575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
/proc/17766/statm: 2704838 14571 3096 1 0 2667149 0
[pid=17766/tid=17819] ppid=17763 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/17766/task/17819/stat : 17819 (java) R 17763 17766 15121 0 -1 4202560 7117 13158 0 0 18 2 4 3 20 0 15 0 56153055 11079016448 14571 33554432000 4194304 4196468 140737348681344 140700366471584 140700378740062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17820] ppid=17763 vsize=10819352 memory=7300986251812819024 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17820/stat : 17820 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11079016448 14571 33554432000 4194304 4196468 140737348681344 140700398901648 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17821] ppid=17763 vsize=10819352 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17821/stat : 17821 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11079016448 14571 33554432000 4194304 4196468 140737348681344 140700313721104 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17822] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17822/stat : 17822 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11079016448 14571 33554432000 4194304 4196468 140737348681344 140700312668816 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17823] ppid=17763 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17823/stat : 17823 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11079016448 14571 33554432000 4194304 4196468 140737348681344 140700311616016 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17824] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17824/stat : 17824 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153057 11079016448 14571 33554432000 4194304 4196468 140737348681344 140699599358576 140700394670722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17825] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17825/stat : 17825 (java) S 17763 17766 15121 0 -1 1077944384 13 13158 0 0 0 0 4 3 20 0 15 0 56153058 11079016448 14571 33554432000 4194304 4196468 140737348681344 140699504731424 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17826] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17826/stat : 17826 (java) S 17763 17766 15121 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 56153058 11079016448 14571 33554432000 4194304 4196468 140737348681344 140699370514032 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17827] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17827/stat : 17827 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153061 11079016448 14571 33554432000 4194304 4196468 140737348681344 140699102079568 140700394678171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17828] ppid=17763 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17766/task/17828/stat : 17828 (java) S 17763 17766 15121 0 -1 1077944384 483 13158 0 0 1 0 4 3 20 0 15 0 56153061 11079016448 14571 33554432000 4194304 4196468 140737348681344 140699598305392 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17829] ppid=17763 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17766/task/17829/stat : 17829 (java) S 17763 17766 15121 0 -1 1077944384 135 13158 0 0 1 0 4 3 20 0 15 0 56153061 11079016448 14571 33554432000 4194304 4196468 140737348681344 140699597252592 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17830] ppid=17763 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17766/task/17830/stat : 17830 (java) S 17763 17766 15121 0 -1 1077944384 613 13158 0 0 5 0 4 3 20 0 15 0 56153061 11079016448 14571 33554432000 4194304 4196468 140737348681344 140699596200304 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17831] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17831/stat : 17831 (java) S 17763 17766 15121 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 56153061 11079016448 14571 33554432000 4194304 4196468 140737348681344 140698632317408 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17832] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17832/stat : 17832 (java) S 17763 17766 15121 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 56153061 11079016448 14571 33554432000 4194304 4196468 140737348681344 140699595148208 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58284 KiB

[startup+0.700809 s]
/proc/loadavg: 1.64 1.63 1.62 3/216 17832
/proc/meminfo: memFree=21109356/32770624 swapFree=67108860/67108860
[pid=17766] ppid=17763 vsize=10819352 memory=90496 CPUtime=0.99 cores=0,2,4,6
/proc/17766/stat : 17766 (java) S 17763 17766 15121 0 -1 1077944320 16740 13158 0 0 87 5 4 3 20 0 15 0 56153046 11079016448 22624 33554432000 4194304 4196468 140737348681344 140737348663888 140700394659575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
/proc/17766/statm: 2704838 22624 3239 1 0 2667149 0
[pid=17766/tid=17819] ppid=17763 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/17766/task/17819/stat : 17819 (java) R 17763 17766 15121 0 -1 4202560 12188 13158 0 0 55 3 4 3 20 0 15 0 56153055 11079016448 22624 33554432000 4194304 4196468 140737348681344 140700366487456 140700394681501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17820] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17820/stat : 17820 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11079016448 22624 33554432000 4194304 4196468 140737348681344 140700398901648 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17821] ppid=17763 vsize=10819352 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17821/stat : 17821 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11079016448 22624 33554432000 4194304 4196468 140737348681344 140700313721104 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17822] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17822/stat : 17822 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11079016448 22624 33554432000 4194304 4196468 140737348681344 140700312668816 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17823] ppid=17763 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17823/stat : 17823 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153056 11079016448 22624 33554432000 4194304 4196468 140737348681344 140700311616016 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17824] ppid=17763 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17824/stat : 17824 (java) S 17763 17766 15121 0 -1 1077944384 5 13158 0 0 0 0 4 3 20 0 15 0 56153057 11079016448 22624 33554432000 4194304 4196468 140737348681344 140699599358576 140700394670722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17825] ppid=17763 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17825/stat : 17825 (java) S 17763 17766 15121 0 -1 1077944384 13 13158 0 0 0 0 4 3 20 0 15 0 56153058 11079016448 22624 33554432000 4194304 4196468 140737348681344 140699504731424 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17826] ppid=17763 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17826/stat : 17826 (java) S 17763 17766 15121 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 56153058 11079016448 22624 33554432000 4194304 4196468 140737348681344 140699370514032 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17827] ppid=17763 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17827/stat : 17827 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153061 11079016448 22624 33554432000 4194304 4196468 140737348681344 140699102079568 140700394678171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17828] ppid=17763 vsize=10819352 memory=13252 CPUtime=0.14 cores=0,2,4,6
/proc/17766/task/17828/stat : 17828 (java) S 17763 17766 15121 0 -1 1077944384 877 13158 0 0 7 0 4 3 20 0 15 0 56153061 11079016448 22624 33554432000 4194304 4196468 140737348681344 140699598305392 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17829] ppid=17763 vsize=10819352 memory=15460 CPUtime=0.16 cores=0,2,4,6
/proc/17766/task/17829/stat : 17829 (java) S 17763 17766 15121 0 -1 1077944384 770 13158 0 0 9 0 4 3 20 0 15 0 56153061 11079016448 22624 33554432000 4194304 4196468 140737348681344 140699597252592 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17830] ppid=17763 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/17766/task/17830/stat : 17830 (java) S 17763 17766 15121 0 -1 1077944384 681 13158 0 0 13 0 4 3 20 0 15 0 56153061 11079016448 22624 33554432000 4194304 4196468 140737348681344 140699596200304 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17831] ppid=17763 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17831/stat : 17831 (java) S 17763 17766 15121 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 56153061 11079016448 22624 33554432000 4194304 4196468 140737348681344 140698632317408 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17832] ppid=17763 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17832/stat : 17832 (java) S 17763 17766 15121 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 56153061 11079016448 22624 33554432000 4194304 4196468 140737348681344 140699595148208 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90496 KiB

[startup+1.5036 s]
/proc/loadavg: 1.64 1.63 1.62 3/216 17832
/proc/meminfo: memFree=21065692/32770624 swapFree=67108860/67108860
[pid=17766] ppid=17763 vsize=10828108 memory=322376 CPUtime=2.93 cores=0,2,4,6
/proc/17766/stat : 17766 (java) S 17763 17766 15121 0 -1 1077944320 23421 13158 0 0 263 23 4 3 20 0 15 0 56153046 11087982592 80594 33554432000 4194304 4196468 140737348681344 140737348663888 140700394659575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
/proc/17766/statm: 2707027 80594 3470 1 0 2668685 0
[pid=17766/tid=17819] ppid=17763 vsize=10828108 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/17766/task/17819/stat : 17819 (java) S 17763 17766 15121 0 -1 1077944384 14769 13158 0 0 124 8 4 3 20 0 15 0 56153055 11087982592 80594 33554432000 4194304 4196468 140737348681344 140700366493472 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17820] ppid=17763 vsize=10828108 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17766/task/17820/stat : 17820 (java) S 17763 17766 15121 0 -1 1077944384 283 13158 0 0 2 2 4 3 20 0 15 0 56153056 11087982592 80594 33554432000 4194304 4196468 140737348681344 140700398901648 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17821] ppid=17763 vsize=10828108 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17766/task/17821/stat : 17821 (java) S 17763 17766 15121 0 -1 1077944384 133 13158 0 0 2 2 4 3 20 0 15 0 56153056 11087982592 80594 33554432000 4194304 4196468 140737348681344 140700313721104 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17822] ppid=17763 vsize=10828108 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17766/task/17822/stat : 17822 (java) S 17763 17766 15121 0 -1 1077944384 46 13158 0 0 2 3 4 3 20 0 15 0 56153056 11087982592 80594 33554432000 4194304 4196468 140737348681344 140700312668816 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17823] ppid=17763 vsize=10828108 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/17766/task/17823/stat : 17823 (java) S 17763 17766 15121 0 -1 1077944384 163 13158 0 0 2 2 4 3 20 0 15 0 56153056 11087982592 80594 33554432000 4194304 4196468 140737348681344 140700311616016 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17824] ppid=17763 vsize=10828108 memory=1399103955520229747 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17824/stat : 17824 (java) R 17763 17766 15121 0 -1 1077944384 94 13158 0 0 0 0 4 3 20 0 15 0 56153057 11087982592 80594 33554432000 4194304 4196468 140737348681344 140699599358576 140700394670722 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17825] ppid=17763 vsize=10828108 memory=280187157686528 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17825/stat : 17825 (java) S 17763 17766 15121 0 -1 1077944384 14 13158 0 0 0 0 4 3 20 0 15 0 56153058 11087982592 80594 33554432000 4194304 4196468 140737348681344 140699504731488 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17826] ppid=17763 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17826/stat : 17826 (java) S 17763 17766 15121 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 56153058 11087982592 80594 33554432000 4194304 4196468 140737348681344 140699370514048 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17827] ppid=17763 vsize=10828108 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17827/stat : 17827 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153061 11087982592 80594 33554432000 4194304 4196468 140737348681344 140699102079568 140700394678171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17828] ppid=17763 vsize=10828108 memory=1704 CPUtime=0.57 cores=0,2,4,6
/proc/17766/task/17828/stat : 17828 (java) R 17763 17766 15121 0 -1 4202560 2489 13158 0 0 50 0 4 3 20 0 15 0 56153061 11087982592 80594 33554432000 4194304 4196468 140737348681344 140699598295504 140700373830241 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17829] ppid=17763 vsize=10828108 memory=9924 CPUtime=0.5 cores=0,2,4,6
/proc/17766/task/17829/stat : 17829 (java) R 17763 17766 15121 0 -1 4202560 1927 13158 0 0 43 0 4 3 20 0 15 0 56153061 11087982592 80594 33554432000 4194304 4196468 140737348681344 140699597243568 140700376203292 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17830] ppid=17763 vsize=10828108 memory=5788 CPUtime=0.41 cores=0,2,4,6
/proc/17766/task/17830/stat : 17830 (java) R 17763 17766 15121 0 -1 4202560 1303 13158 0 0 34 0 4 3 20 0 15 0 56153061 11087982592 80594 33554432000 4194304 4196468 140737348681344 140699596198096 140700373198665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17831] ppid=17763 vsize=10828108 memory=1936 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17831/stat : 17831 (java) S 17763 17766 15121 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 56153061 11087982592 80594 33554432000 4194304 4196468 140737348681344 140698632317408 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17832] ppid=17763 vsize=10828108 memory=1196 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17832/stat : 17832 (java) S 17763 17766 15121 0 -1 1077944384 1 13158 0 0 0 0 4 3 20 0 15 0 56153061 11087982592 80594 33554432000 4194304 4196468 140737348681344 140699595148208 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10828108 KiB

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

/proc/17766/task/17819/stat : 17819 (java) R 17763 17766 15121 0 -1 4202560 209237 13158 0 0 231214 68 4 3 20 0 15 0 56153055 11113168896 662548 33554432000 4194304 4196468 140737348681344 140700366494912 140700009356828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17820] ppid=17763 vsize=10852704 memory=2661460 CPUtime=8.21 cores=0,2,4,6
/proc/17766/task/17820/stat : 17820 (java) S 17763 17766 15121 0 -1 1077944384 25094 13158 0 0 746 68 4 3 20 0 15 0 56153056 11113168896 662548 33554432000 4194304 4196468 140737348681344 140700398901648 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17821] ppid=17763 vsize=10852704 memory=2716564 CPUtime=8.14 cores=0,2,4,6
/proc/17766/task/17821/stat : 17821 (java) S 17763 17766 15121 0 -1 1077944384 29236 13158 0 0 740 67 4 3 20 0 15 0 56153056 11113168896 662548 33554432000 4194304 4196468 140737348681344 140700313721104 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17822] ppid=17763 vsize=10852704 memory=2655320 CPUtime=8.2 cores=0,2,4,6
/proc/17766/task/17822/stat : 17822 (java) S 17763 17766 15121 0 -1 1077944384 29742 13158 0 0 744 69 4 3 20 0 15 0 56153056 11113168896 662548 33554432000 4194304 4196468 140737348681344 140700312668816 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17823] ppid=17763 vsize=10852704 memory=9924 CPUtime=8.16 cores=0,2,4,6
/proc/17766/task/17823/stat : 17823 (java) S 17763 17766 15121 0 -1 1077944384 27538 13158 0 0 741 68 4 3 20 0 15 0 56153056 11113168896 662548 33554432000 4194304 4196468 140737348681344 140700311616016 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17824] ppid=17763 vsize=10852704 memory=2652756 CPUtime=0.99 cores=0,2,4,6
/proc/17766/task/17824/stat : 17824 (java) S 17763 17766 15121 0 -1 1077944384 26899 13158 0 0 79 13 4 3 20 0 15 0 56153057 11113168896 662548 33554432000 4194304 4196468 140737348681344 140699599358576 140700394670722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17825] ppid=17763 vsize=10852704 memory=2650192 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17825/stat : 17825 (java) S 17763 17766 15121 0 -1 1077944384 18 13158 0 0 0 0 4 3 20 0 15 0 56153058 11113168896 662548 33554432000 4194304 4196468 140737348681344 140699504731552 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17826] ppid=17763 vsize=10852704 memory=2650192 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17826/stat : 17826 (java) S 17763 17766 15121 0 -1 1077944384 8 13158 0 0 0 0 4 3 20 0 15 0 56153058 11113168896 662548 33554432000 4194304 4196468 140737348681344 140699370514048 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17827] ppid=17763 vsize=10852704 memory=2650192 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17827/stat : 17827 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153061 11113168896 662548 33554432000 4194304 4196468 140737348681344 140699102079568 140700394678171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17828] ppid=17763 vsize=10852704 memory=2656860 CPUtime=10.89 cores=0,2,4,6
/proc/17766/task/17828/stat : 17828 (java) S 17763 17766 15121 0 -1 1077944384 94664 13158 0 0 1073 9 4 3 20 0 15 0 56153061 11113168896 662548 33554432000 4194304 4196468 140737348681344 140699598305392 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17829] ppid=17763 vsize=10852704 memory=2650192 CPUtime=9.97 cores=0,2,4,6
/proc/17766/task/17829/stat : 17829 (java) S 17763 17766 15121 0 -1 1077944384 81129 13158 0 0 983 7 4 3 20 0 15 0 56153061 11113168896 662548 33554432000 4194304 4196468 140737348681344 140699597252592 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17830] ppid=17763 vsize=10852704 memory=15868 CPUtime=3.46 cores=0,2,4,6
/proc/17766/task/17830/stat : 17830 (java) S 17763 17766 15121 0 -1 1077944384 63185 13158 0 0 331 8 4 3 20 0 15 0 56153061 11113168896 662548 33554432000 4194304 4196468 140737348681344 140699596200304 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17831] ppid=17763 vsize=10852704 memory=4052 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17831/stat : 17831 (java) S 17763 17766 15121 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 56153061 11113168896 662548 33554432000 4194304 4196468 140737348681344 140698632317408 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17832] ppid=17763 vsize=10852704 memory=2650192 CPUtime=1.47 cores=0,2,4,6
/proc/17766/task/17832/stat : 17832 (java) S 17763 17766 15121 0 -1 1077944384 2720 13158 0 0 68 72 4 3 20 0 15 0 56153061 11113168896 662548 33554432000 4194304 4196468 140737348681344 140699595148208 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
Current children cumulated CPU time: 2371.87 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 2650192 KiB

[startup+2382.3 s]
/proc/loadavg: 1.44 1.47 1.56 3/215 18063
/proc/meminfo: memFree=18121588/32770624 swapFree=67108860/67108860
[pid=17766] ppid=17763 vsize=10852704 memory=2578696 CPUtime=2432.52 cores=0,2,4,6
/proc/17766/stat : 17766 (java) S 17763 17766 15121 0 -1 1077944320 598275 13158 0 0 242814 431 4 3 20 0 15 0 56153046 11113168896 644674 33554432000 4194304 4196468 140737348681344 140737348663888 140700394659575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
/proc/17766/statm: 2713176 644674 3539 1 0 2674829 0
[pid=17766/tid=17819] ppid=17763 vsize=10852704 memory=2578696 CPUtime=2372.62 cores=0,2,4,6
/proc/17766/task/17819/stat : 17819 (java) R 17763 17766 15121 0 -1 4202560 210903 13158 0 0 237187 68 4 3 20 0 15 0 56153055 11113168896 644674 33554432000 4194304 4196468 140737348681344 140700366494912 140700008472948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17820] ppid=17763 vsize=10852704 memory=2609920 CPUtime=8.41 cores=0,2,4,6
/proc/17766/task/17820/stat : 17820 (java) S 17763 17766 15121 0 -1 1077944384 25219 13158 0 0 766 68 4 3 20 0 15 0 56153056 11113168896 644674 33554432000 4194304 4196468 140737348681344 140700398901648 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17821] ppid=17763 vsize=10852704 memory=2597164 CPUtime=8.35 cores=0,2,4,6
/proc/17766/task/17821/stat : 17821 (java) S 17763 17766 15121 0 -1 1077944384 29394 13158 0 0 761 67 4 3 20 0 15 0 56153056 11113168896 644674 33554432000 4194304 4196468 140737348681344 140700313721104 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17822] ppid=17763 vsize=10852704 memory=2583824 CPUtime=8.39 cores=0,2,4,6
/proc/17766/task/17822/stat : 17822 (java) S 17763 17766 15121 0 -1 1077944384 30643 13158 0 0 763 69 4 3 20 0 15 0 56153056 11113168896 644674 33554432000 4194304 4196468 140737348681344 140700312668816 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17823] ppid=17763 vsize=10852704 memory=2584852 CPUtime=8.36 cores=0,2,4,6
/proc/17766/task/17823/stat : 17823 (java) S 17763 17766 15121 0 -1 1077944384 27682 13158 0 0 761 68 4 3 20 0 15 0 56153056 11113168896 644674 33554432000 4194304 4196468 140737348681344 140700311616016 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17824] ppid=17763 vsize=10852704 memory=2606844 CPUtime=1.05 cores=0,2,4,6
/proc/17766/task/17824/stat : 17824 (java) S 17763 17766 15121 0 -1 1077944384 27229 13158 0 0 84 14 4 3 20 0 15 0 56153057 11113168896 644674 33554432000 4194304 4196468 140737348681344 140699599358576 140700394670722 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17825] ppid=17763 vsize=10852704 memory=2580748 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17825/stat : 17825 (java) S 17763 17766 15121 0 -1 1077944384 18 13158 0 0 0 0 4 3 20 0 15 0 56153058 11113168896 644674 33554432000 4194304 4196468 140737348681344 140699504731552 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17826] ppid=17763 vsize=10852704 memory=3601 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17826/stat : 17826 (java) S 17763 17766 15121 0 -1 1077944384 8 13158 0 0 0 0 4 3 20 0 15 0 56153058 11113168896 644674 33554432000 4194304 4196468 140737348681344 140699370514048 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17827] ppid=17763 vsize=10852704 memory=2578696 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17827/stat : 17827 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153061 11113168896 644674 33554432000 4194304 4196468 140737348681344 140699102079568 140700394678171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17828] ppid=17763 vsize=10852704 memory=10804 CPUtime=10.89 cores=0,2,4,6
/proc/17766/task/17828/stat : 17828 (java) S 17763 17766 15121 0 -1 1077944384 95279 13158 0 0 1073 9 4 3 20 0 15 0 56153061 11113168896 644674 33554432000 4194304 4196468 140737348681344 140699598305392 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17829] ppid=17763 vsize=10852704 memory=280187158393344 CPUtime=9.98 cores=0,2,4,6
/proc/17766/task/17829/stat : 17829 (java) S 17763 17766 15121 0 -1 1077944384 82853 13158 0 0 984 7 4 3 20 0 15 0 56153061 11113168896 644674 33554432000 4194304 4196468 140737348681344 140699597252592 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17830] ppid=17763 vsize=10852704 memory=6791534058613427641 CPUtime=3.47 cores=0,2,4,6
/proc/17766/task/17830/stat : 17830 (java) S 17763 17766 15121 0 -1 1077944384 64107 13158 0 0 332 8 4 3 20 0 15 0 56153061 11113168896 644674 33554432000 4194304 4196468 140737348681344 140699596200304 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17831] ppid=17763 vsize=10852704 memory=2578696 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17831/stat : 17831 (java) S 17763 17766 15121 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 56153061 11113168896 644674 33554432000 4194304 4196468 140737348681344 140698632317408 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17832] ppid=17763 vsize=10852704 memory=796 CPUtime=1.51 cores=0,2,4,6
/proc/17766/task/17832/stat : 17832 (java) S 17763 17766 15121 0 -1 1077944384 2744 13158 0 0 70 74 4 3 20 0 15 0 56153061 11113168896 644674 33554432000 4194304 4196468 140737348681344 140699595148208 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
Current children cumulated CPU time: 2432.52 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 2578696 KiB

[startup+2442.3 s]
/proc/loadavg: 1.42 1.46 1.56 3/215 18065
/proc/meminfo: memFree=18071568/32770624 swapFree=67108860/67108860
[pid=17766] ppid=17763 vsize=10852704 memory=2513108 CPUtime=2493.21 cores=0,2,4,6
/proc/17766/stat : 17766 (java) S 17763 17766 15121 0 -1 1077944320 605545 13158 0 0 248880 434 4 3 20 0 15 0 56153046 11113168896 628277 33554432000 4194304 4196468 140737348681344 140737348663888 140700394659575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
/proc/17766/statm: 2713176 628277 3539 1 0 2674829 0
[pid=17766/tid=17819] ppid=17763 vsize=10852704 memory=2514136 CPUtime=2432.33 cores=0,2,4,6
/proc/17766/task/17819/stat : 17819 (java) R 17763 17766 15121 0 -1 4202560 212967 13158 0 0 243157 69 4 3 20 0 15 0 56153055 11113168896 628277 33554432000 4194304 4196468 140737348681344 140700366494864 140699999390400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17820] ppid=17763 vsize=10852704 memory=2554940 CPUtime=8.63 cores=0,2,4,6
/proc/17766/task/17820/stat : 17820 (java) S 17763 17766 15121 0 -1 1077944384 26078 13158 0 0 788 68 4 3 20 0 15 0 56153056 11113168896 628277 33554432000 4194304 4196468 140737348681344 140700398901648 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17821] ppid=17763 vsize=10852704 memory=2552888 CPUtime=8.57 cores=0,2,4,6
/proc/17766/task/17821/stat : 17821 (java) S 17763 17766 15121 0 -1 1077944384 29709 13158 0 0 782 68 4 3 20 0 15 0 56153056 11113168896 628277 33554432000 4194304 4196468 140737348681344 140700313721104 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17822] ppid=17763 vsize=10852704 memory=2539180 CPUtime=8.62 cores=0,2,4,6
/proc/17766/task/17822/stat : 17822 (java) S 17763 17766 15121 0 -1 1077944384 31517 13158 0 0 785 70 4 3 20 0 15 0 56153056 11113168896 628277 33554432000 4194304 4196468 140737348681344 140700312668816 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17823] ppid=17763 vsize=10852704 memory=2534048 CPUtime=8.59 cores=0,2,4,6
/proc/17766/task/17823/stat : 17823 (java) S 17763 17766 15121 0 -1 1077944384 27975 13158 0 0 783 69 4 3 20 0 15 0 56153056 11113168896 628277 33554432000 4194304 4196468 140737348681344 140700311616016 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17824] ppid=17763 vsize=10852704 memory=2531996 CPUtime=1.1 cores=0,2,4,6
/proc/17766/task/17824/stat : 17824 (java) S 17763 17766 15121 0 -1 1077944384 27879 13158 0 0 88 15 4 3 20 0 15 0 56153057 11113168896 628277 33554432000 4194304 4196468 140737348681344 140699599358576 140700394670722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17825] ppid=17763 vsize=10852704 memory=2530476 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17825/stat : 17825 (java) S 17763 17766 15121 0 -1 1077944384 18 13158 0 0 0 0 4 3 20 0 15 0 56153058 11113168896 628277 33554432000 4194304 4196468 140737348681344 140699504731552 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17826] ppid=17763 vsize=10852704 memory=2525872 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17826/stat : 17826 (java) S 17763 17766 15121 0 -1 1077944384 8 13158 0 0 0 0 4 3 20 0 15 0 56153058 11113168896 628277 33554432000 4194304 4196468 140737348681344 140699370514048 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17827] ppid=17763 vsize=10852704 memory=2517664 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17827/stat : 17827 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153061 11113168896 628277 33554432000 4194304 4196468 140737348681344 140699102079568 140700394678171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17828] ppid=17763 vsize=10852704 memory=2514136 CPUtime=10.9 cores=0,2,4,6
/proc/17766/task/17828/stat : 17828 (java) S 17763 17766 15121 0 -1 1077944384 97006 13158 0 0 1074 9 4 3 20 0 15 0 56153061 11113168896 628277 33554432000 4194304 4196468 140737348681344 140699598305392 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17829] ppid=17763 vsize=10852704 memory=2513108 CPUtime=9.98 cores=0,2,4,6
/proc/17766/task/17829/stat : 17829 (java) S 17763 17766 15121 0 -1 1077944384 82858 13158 0 0 984 7 4 3 20 0 15 0 56153061 11113168896 628277 33554432000 4194304 4196468 140737348681344 140699597252592 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17830] ppid=17763 vsize=10852704 memory=2514136 CPUtime=3.47 cores=0,2,4,6
/proc/17766/task/17830/stat : 17830 (java) S 17763 17766 15121 0 -1 1077944384 64546 13158 0 0 332 8 4 3 20 0 15 0 56153061 11113168896 628277 33554432000 4194304 4196468 140737348681344 140699596200304 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17831] ppid=17763 vsize=10852704 memory=5931353312072527716 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17831/stat : 17831 (java) S 17763 17766 15121 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 56153061 11113168896 628277 33554432000 4194304 4196468 140737348681344 140698632317408 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17832] ppid=17763 vsize=10852704 memory=2522796 CPUtime=1.55 cores=0,2,4,6
/proc/17766/task/17832/stat : 17832 (java) S 17763 17766 15121 0 -1 1077944384 2788 13158 0 0 72 76 4 3 20 0 15 0 56153061 11113168896 628277 33554432000 4194304 4196468 140737348681344 140699595148208 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
Current children cumulated CPU time: 2493.21 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 2513108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2468.8 s]
/proc/loadavg: 1.38 1.45 1.55 3/215 18065
/proc/meminfo: memFree=18092248/32770624 swapFree=67108860/67108860
[pid=17766] ppid=17763 vsize=10852704 memory=2486440 CPUtime=2520.03 cores=0,2,4,6
/proc/17766/stat : 17766 (java) S 17763 17766 15121 0 -1 1077944320 608119 13158 0 0 251560 436 4 3 20 0 15 0 56153046 11113168896 621610 33554432000 4194304 4196468 140737348681344 140737348663888 140700394659575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
/proc/17766/statm: 2713176 621610 3539 1 0 2674829 0
[pid=17766/tid=17819] ppid=17763 vsize=10852704 memory=2344 CPUtime=2458.71 cores=0,2,4,6
/proc/17766/task/17819/stat : 17819 (java) R 17763 17766 15121 0 -1 4202560 213506 13158 0 0 245795 69 4 3 20 0 15 0 56153055 11113168896 621610 33554432000 4194304 4196468 140737348681344 140700366494912 140700003775704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17820] ppid=17763 vsize=10852704 memory=928 CPUtime=8.73 cores=0,2,4,6
/proc/17766/task/17820/stat : 17820 (java) S 17763 17766 15121 0 -1 1077944384 26091 13158 0 0 798 68 4 3 20 0 15 0 56153056 11113168896 621610 33554432000 4194304 4196468 140737348681344 140700398901648 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17821] ppid=17763 vsize=10852704 memory=1580 CPUtime=8.67 cores=0,2,4,6
/proc/17766/task/17821/stat : 17821 (java) S 17763 17766 15121 0 -1 1077944384 29728 13158 0 0 792 68 4 3 20 0 15 0 56153056 11113168896 621610 33554432000 4194304 4196468 140737348681344 140700313721104 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17822] ppid=17763 vsize=10852704 memory=6791534058613427641 CPUtime=8.72 cores=0,2,4,6
/proc/17766/task/17822/stat : 17822 (java) S 17763 17766 15121 0 -1 1077944384 31547 13158 0 0 795 70 4 3 20 0 15 0 56153056 11113168896 621610 33554432000 4194304 4196468 140737348681344 140700312668816 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17823] ppid=17763 vsize=10852704 memory=3848 CPUtime=8.68 cores=0,2,4,6
/proc/17766/task/17823/stat : 17823 (java) S 17763 17766 15121 0 -1 1077944384 28007 13158 0 0 792 69 4 3 20 0 15 0 56153056 11113168896 621610 33554432000 4194304 4196468 140737348681344 140700311616016 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17824] ppid=17763 vsize=10852704 memory=2656 CPUtime=1.12 cores=0,2,4,6
/proc/17766/task/17824/stat : 17824 (java) S 17763 17766 15121 0 -1 1077944384 27887 13158 0 0 90 15 4 3 20 0 15 0 56153057 11113168896 621610 33554432000 4194304 4196468 140737348681344 140699599358576 140700394670722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17825] ppid=17763 vsize=10852704 memory=796 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17825/stat : 17825 (java) S 17763 17766 15121 0 -1 1077944384 18 13158 0 0 0 0 4 3 20 0 15 0 56153058 11113168896 621610 33554432000 4194304 4196468 140737348681344 140699504731552 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17826] ppid=17763 vsize=10852704 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17826/stat : 17826 (java) S 17763 17766 15121 0 -1 1077944384 8 13158 0 0 0 0 4 3 20 0 15 0 56153058 11113168896 621610 33554432000 4194304 4196468 140737348681344 140699370514048 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17827] ppid=17763 vsize=10852704 memory=960 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17827/stat : 17827 (java) S 17763 17766 15121 0 -1 1077944384 2 13158 0 0 0 0 4 3 20 0 15 0 56153061 11113168896 621610 33554432000 4194304 4196468 140737348681344 140699102079568 140700394678171 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17828] ppid=17763 vsize=10852704 memory=1232 CPUtime=10.91 cores=0,2,4,6
/proc/17766/task/17828/stat : 17828 (java) S 17763 17766 15121 0 -1 1077944384 98615 13158 0 0 1075 9 4 3 20 0 15 0 56153061 11113168896 621610 33554432000 4194304 4196468 140737348681344 140699598305392 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17829] ppid=17763 vsize=10852704 memory=2344 CPUtime=9.98 cores=0,2,4,6
/proc/17766/task/17829/stat : 17829 (java) S 17763 17766 15121 0 -1 1077944384 82858 13158 0 0 984 7 4 3 20 0 15 0 56153061 11113168896 621610 33554432000 4194304 4196468 140737348681344 140699597252592 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17830] ppid=17763 vsize=10852704 memory=6791534058613427641 CPUtime=3.47 cores=0,2,4,6
/proc/17766/task/17830/stat : 17830 (java) S 17763 17766 15121 0 -1 1077944384 64868 13158 0 0 332 8 4 3 20 0 15 0 56153061 11113168896 621610 33554432000 4194304 4196468 140737348681344 140699596200304 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17831] ppid=17763 vsize=10852704 memory=-8253397942971374506 CPUtime=0.07 cores=0,2,4,6
/proc/17766/task/17831/stat : 17831 (java) S 17763 17766 15121 0 -1 1077944384 3 13158 0 0 0 0 4 3 20 0 15 0 56153061 11113168896 621610 33554432000 4194304 4196468 140737348681344 140698632317408 140700394669781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
[pid=17766/tid=17832] ppid=17763 vsize=10852704 memory=33 CPUtime=1.56 cores=0,2,4,6
/proc/17766/task/17832/stat : 17832 (java) S 17763 17766 15121 0 -1 1077944384 2790 13158 0 0 73 76 4 3 20 0 15 0 56153061 11113168896 621610 33554432000 4194304 4196468 140737348681344 140699595148208 140700394670722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22671360 140737348684399 140737348687196 140737348687196 140737348689871 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 2486440 KiB

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

[startup+2468.85 s]
# the end of solver process 17766 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.68 s, system=4.41674 s

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

Child status: 143
Real time (s): 2468.85
CPU time (s): 2520.1
CPU user time (s): 2515.68
CPU system time (s): 4.41674
CPU usage (%): 102.076
Max. virtual memory (cumulated for all children) (KiB): 10853364
Max. memory (cumulated for all children) (KiB): 3923016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.68
system time used= 4.41674
maximum resident set size= 3923016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622783
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79339
involuntary context switches= 3425


# summary of solver processes directly reported to runsolver:
#   pid: 17766
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.68
#   total CPU system time (s): 4.41674

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6617 second user time and 18.2335 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-24 00:44:59
IDJOB=4293905
IDBENCH=141261
IDSOLVER=2750
FILE ID=node105/4293905-1532385898
RUNJOBID= node105-1532371073-15152
PBS_JOBID= 21021573
Free space on /tmp= 44724 MiB

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

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

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=177212415

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21165284 kB
MemAvailable:   29215208 kB
Buffers:          203344 kB
Cached:          7991788 kB
SwapCached:            0 kB
Active:          4294796 kB
Inactive:        6673604 kB
Active(anon):    2727584 kB
Inactive(anon):    65652 kB
Active(file):    1567212 kB
Inactive(file):  6607952 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            132236 kB
Writeback:           152 kB
AnonPages:       2780748 kB
Mapped:            50644 kB
Shmem:             17036 kB
Slab:             331308 kB
SReclaimable:     303220 kB
SUnreclaim:        28088 kB
KernelStack:        3520 kB
PageTables:        10288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3790056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2523136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44632 MiB
End job on node105 at 2018-07-24 01:26:08