Trace number 4302593

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)27286280 252.123 217.445

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 benchmark27270670
Best CPU time to get the best result obtained on this benchmark252.074
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.9.2.1532736233296 running
120.74/90.09	o 27317500
121.21/90.24	o 27286280
252.05/217.41	Exception in thread "main" java.util.concurrent.TimeoutException
252.05/217.41		at concrete.MAC.mac(MAC.scala:188)
252.05/217.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.05/217.41		at scala.util.Try$.apply(Try.scala:209)
252.05/217.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.05/217.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.05/217.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.05/217.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.05/217.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.05/217.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.05/217.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.05/217.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.05/217.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.05/217.41		at concrete.MAC.oneRun(MAC.scala:253)
252.05/217.41		at concrete.MAC.nextSolution(MAC.scala:272)
252.05/217.41		at concrete.MAC.nextSolution(MAC.scala:355)
252.05/217.41		at concrete.Solver.hasNext(Solver.scala:166)
252.05/217.41		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.05/217.41		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.05/217.41		at concrete.Solver.foreach(Solver.scala:68)
252.05/217.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.05/217.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.05/217.41		at scala.util.Success.map(Try.scala:209)
252.05/217.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.05/217.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.05/217.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.05/217.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.05/217.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.05/217.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.05/217.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.05/217.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.05/217.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.05/217.41		at scala.collection.immutable.List.foreach(List.scala:389)
252.05/217.41		at scala.App.main(App.scala:76)
252.05/217.41		at scala.App.main$(App.scala:74)
252.05/217.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.05/217.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.05/217.42	v <instantiation cost="27286280">
252.05/217.42	v       <list>
252.05/217.42	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]
252.05/217.42	v       </list>
252.05/217.42	v       <values>
252.05/217.42	v         2632 2448 2232 2172 2224 2416 2656 2264 2660 2436 2688 2512 2552 2392 2432 2452 2504 2508 2160 2244 2328 2632 2372 2468 2224 2564 2300 2436 2276 2576 2268 2580 2524 2696 2412 2252 2560 2212 2612 2204 2160 2452 2592 2276 2260 2288 2552 2568 2396 2620 2228 2628 2636 2468 2252 2620 2196 2200 2356 2676 2412 2480 2200 2556 2684 2524 2580 2672 2440 2288 2588 2272 2272 2324 2160 2600 2632 2616 2392 2184 2544 2164 2568 2656 2376 2696 2564 2536 2412 2204 2696 2632 2696 2524 2276 2236 2512 2160 2616 2360 2416 2484 2656 2464 2380 2436 2400 2592 2564 2636 2212 2588 2440 2660 2308 2652 2668 2580 2340 2588 2676 2660 2528 2644 2624 2480 2476 2644 2204 2512 2628 2232 2532 2652 2300 2244 2296 2316 2656 2564 2292 2164 2628 2268 2524 2388 2160 2540 2328 2656 2276 2636 2180 2316 2284 2568 2332 2584 2336 2680 2344 2300 2380 2656 2296 2628 2160 2640 2580 2476 2576 2604 2688 2616 2680 2200 2696 2368 2304 2656 2528 2236 2236 2372 2260 2644 2500 2164 2664 2628 2236 2540 2204 2664 2572 2204 2604 2508 2472 2648 2456 2644 2524 2408 2676 2676 2364 2420 2476 2292 2432 2640 2160 2200 2344 2612 2572 2336 2164 2472 2624 2392 2580 2500 2588 2372 2336 2516 2436 2620 2668 2552 2260 2620 2616 2592 2428 2620 2432 2520 2648 2200 2672 2488 2548 2412 2252 2432 2480 2616 2304 2300 2292 2684 2200 2252 2628 2424 2692 2628 2620 2524 2636 2396 2696 2384 2664 2528 2588 2508 2524 2276 2380 2340 2516 2472 2608 2220 2564 2160 2576 2540 2572 2592 2592 2656 2236 2376 2624 2540 2368 2484 2408 2200 2200 2248 2532 2656 2472 2340 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 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 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 460 388 308 472 48 36 108 44 472 92 120 180 76 92 48 32 116 188 212 200 52 236 228 204 344 44 48 292 72 52 104 32 112 416 396 484 332 52 104 204 156 28 64 468 300 520 420 24 472 188 436 356 116 308 316 184 440 304 152 220 148 96 148 116 240 60 256 80 164 32 180 432 380 496 428 280 120 364 328 456 420 16 168 40 288 24 200 300 4 36 264 244 104 72 312 92 116 280 496 92 316 460 224 108 68 132 280 64 40 80 120 260 240 204 100 180 160 172 360 436 12 248 164 328 96 44 372 352 412 148 308 224 88 276 280 20 352 104 168 80 212 224 264 144 88 252 76 80 72 248 260 76 168 132 192 132 4 228 88 232 180 264 92 156 132 256 140 188 140 232 56 52 40 180 268 176 208 136 120 108 252 20 84 228 344 128 212 140 136 32 244 16 112 188 16 32 24 168 116 140 420 252 392 316 352 528 380 276 224 48 168 44 392 72 436 80 328 60 368 52 108 72 152 320 348 172 368 108 220 88 24 104 8 316 316 132 292 148 300 12 104 56 248 276 256 152 252 92 168 168 212 196 152 124 92 52 64 288 68 120 420 416 248 364 392 200 468 16 240 400 28 88 60 24 56 16 60 112 288 88 16 176 324 180 184 164 260 180 200 184 116 360 380 352 196 312 416 316 316 416 76 188 240 88 88 132 296 368 48 360 232 248 68 416 428 128 168 116 12 80 92 28 240 108 104 208 92 144 492 44 452 40 220 404 72 300 420 156 112 284 220 168 76 64 160 20 256 360 92 68 336 404 128 88 120 264 272 144 404 116 36 92 84 396 104 12 32 32 76 56 88 444 392 316 416 260 124 40 92 172 364 12 336 136 76 64 192 8 4 272 84 396 328 44 272 412 140 416 228 48 368 452 216 136 132 184 76 484 312 456 532 432 192 176 40 164 200 112 208 116 160 136 232 304 36 36 152 24 212 356 388 20 160 112 196 216 24 80 312 56 88 304 208 264 396 304 80 108 388 136 120 312 364 392 316 184 16 96 300 52 80 88 12 84 92 104 84 268 144 184 52 112 52 88 116 88 88 84 60 52 24 172 56 168 260 100 180 228 232 232 196 56 36 36 24 80 256 200 4 52 328 104 244 308 284 64 100 116 8 412 32 260 196 464 364 48 304 468 148 248 16 112 20 404 384 44 88 96 304 100 96 112 48 224 376 416 376 232 420 420 52 460 324 72 8 460 48 268 456 468 36 56 188 40 496 364 212 416 140 368 180 444 180 44 208 120 292 144 312 328 264 340 152 316 32 496 360 48 96 308 384 400 136 204 52 104 232 116 212 192 144 88 184 184 124 184 436 324 284 12 396 8 28 32 164 120 8 216 96 500 524 60 312 64 164 144 132 292 224 120 124 324 84 48 420 244 40 68 380 40 56 108 36 84 92 28 196 32 52 56 420 200 264 84 124 132 204 52 260 124 188 140 60 100 52 128 128 188 232 12 300 228 188 24 48 252 60 88 68 156 108 32 76 368 140 320 68 68 236 340 108 280 256 260 60 388 40 356 392 300 148 64 392 200 268 104 332 312 208 64 184 200 292 88 264 372 84 124 76 484 412 488 60 432 396 200 64 308 108 8 80 452 332 284 52 116 224 260 52 88 64 228 124 144 140 472 148 396 52 180 208 156 288 80 108 24 68 120 420 216 172 456 360 232 36 188 268 128 264 12 60 80 224 68 160 136 32 268 264 212 112 316 216 68 328 92 164 24 64 48 56 152 24 240 244 208 336 300 108 52 156 56 28 72 248 232 252 136 168 244 492 236 336 304 404 232 220 184 44 396 92 224 360 392 312 252 260 264 148 224 256 68 104 300 476 164 136 280 344 156 132 92 116 340 304 380 296 180 112 316 380 352 344 440 152 76 240 108 380 196 64 336 212 168 312 276 132 128 76 252 220 484 172 520 444 460 320 456 44 64 276 100 40 368 84 116 200 220 256 296 84 180 108 120 60 200 196 232 116 124 240 180 88 12 8 452 84 124 204 164 8 128 160 80 112 212 120 160 204 100 88 116 80 256 196 284 148 380 4 308 64 72 388 156 184 16 16 304 64 56 128 312 104 340 212 108 48 164 228 104 432 328 124 216 40 364 196 48 408 216 40 72 68 148 352 8 132 36 92 356 316 68 128 320 272 32 68 172 24 112 80 368 288 48 20 468 196 56 192 84 288 304 280 184 40 312 92 428 352 132 424 428 36 376 288 176 152 104 340 48 20 32 296 24 284 368 364 148 328 280 484 368 36 40 144 264 32 328 20 420 204 288 8 156 104 244 188 216 128 112 92 216 44 220 136 16 276 408 16 104 268 168 388 224 360 172 140 244 168 212 144 40 260 128 64 48 324 76 88 140 416 340 60 292 176 424 96 188 48 100 104 40 28 124 180 492 400 348 276 156 124 140 172 40 88 92 188 56 384 380 132 32 280 96 176 328 292 128 396 296 328 380 312 380 208 200 292 156 72 32 48 328 304 56 64 120 56 404 36 52 92 348 296 32 324 132 300 376 112 176 176 368 292 376 388 336 360 108 68 360 32 108 68 188 156 40 88 96 132 168 136 100 40 512 252 140 224 376 128 52 128 92 144 260 68 160 288 8 176 96 400 96 340 116 256 476 60 228 136 400 188 476 400 96 312 52 80 156 344 256 372 92 84 52 88 128 184 100 184 324 140 212 24 384 292 340 276 188 76 16 520 344 296 104 444 480 144 300 296 244 84 356 304 140 36 276 64 100 144 240 140 192 4 180 28 184 320 352 80 420 284 180 228 76 260 28 220 352 252 316 456 140 476 496 404 20 20 272 212 84 172 140 132 176 80 96 112 120 316 88 444 68 192 352 368 116 92 52 184 344 92 340 340 272 288 416 92 392 68 116 180 284 132 108 152 308 352 104 56 228 248 108 380 100 56 192 100 276 144 48 292 328 376 264 448 244 448 292 40 136 32 312 352 96 396 24 16 304 80 64 68 28 500 408 484 308 204 244 60 48 44 116 468 244 428 408 404 236 352 24 252 380 456 356 176 340 12 88 216 468 460 176 112 140 92 72 116 52 56 8 84 372 324 72 80 20 168 44 76 112 136 220 88 312 272 284 356 236 28 48 428 220 24 16 256 76 16 56 156 28 220 48 52 152 100 304 148 132 212 208 148 136 300 152 328 264 44 160 172 84 192 232 140 188 52 380 152 24 48 224 76 40 372 496 408 424 44 320 180 100 56 84 32 100 248 232 308 460 116 16 120 108 40 60 256 152 80 100 304 108 208 120 196 280 328 104 60 252 72 24 108 268 4 128 120 376 128 40 352 112 184 360 228 164 432 8 280 364 28 144 392 4 176 112 8 252 272 192 100 152 88 112 140 268 308 100 144 128 104 348 40 212 272 160 92 188 84 112 76 24 272 68 272 356 64 12 464 152 372 88 268 212 184 232 100 68 40 76 116 120 28 192 148 184 444 40 464 80 64 116 40 132 60 92 340 376 408 124 8 332 284
252.05/217.42	v       </values>
252.05/217.42	v     </instantiation>
252.05/217.42	s SATISFIABLE

Verifier Data 

OK	27286280

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302593-1532896458/watcher-4302593-1532896458 -o /tmp/evaluation-result-4302593-1532896458/solver-4302593-1532896458 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13369 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1642562800 HOME/instance-4302593-1532896458.xml 

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

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

solver pid=14774, runsolver pid=14771

[startup+0.100079 s]*
/proc/loadavg: 1.85 1.64 1.52 3/207 14832
/proc/meminfo: memFree=24858500/32770624 swapFree=67108688/67108860
[pid=14774] ppid=14771 vsize=10005480 memory=18332 CPUtime=0.08 cores=1,3,5,7
/proc/14774/stat : 14774 (java) S 14771 14774 6529 0 -1 1077944320 4244 13108 0 0 1 0 5 2 20 0 6 0 107208749 10245611520 4583 33554432000 4194304 4196468 140733126949696 140733126932240 140575905148663 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
/proc/14774/statm: 2501370 4583 1931 1 0 2489808 0
[pid=14774/tid=14828] ppid=14771 vsize=10005480 memory=4279135703946592399 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14828/stat : 14828 (java) R 14771 14774 6529 0 -1 4202560 2055 13108 0 0 0 0 5 2 20 0 6 0 107208758 10245611520 4583 33554432000 4194304 4196468 140733126949696 140575876985424 140575905170589 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14829] ppid=14771 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14829/stat : 14829 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 6 0 107208759 10245611520 4583 33554432000 4194304 4196468 140733126949696 140575909390736 140575905158869 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14830] ppid=14771 vsize=10005480 memory=140211113449088 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14830/stat : 14830 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 6 0 107208759 10245611520 4583 33554432000 4194304 4196468 140733126949696 140575764109584 140575905158869 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14831] ppid=14771 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14831/stat : 14831 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 6 0 107208759 10245611520 4583 33554432000 4194304 4196468 140733126949696 140575763057296 140575905158869 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14832] ppid=14771 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14832/stat : 14832 (java) S 14771 14774 6529 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 6 0 107208759 10245611520 4583 33554432000 4194304 4196468 140733126949696 140575762004496 140575905158869 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB

[startup+0.20994 s]*
/proc/loadavg: 1.85 1.64 1.52 3/216 14841
/proc/meminfo: memFree=24833120/32770624 swapFree=67108688/67108860
[pid=14774] ppid=14771 vsize=10982744 memory=46532 CPUtime=0.25 cores=1,3,5,7
/proc/14774/stat : 14774 (java) S 14771 14774 6529 0 -1 1077944320 7800 13108 0 0 17 1 5 2 20 0 15 0 107208749 11246329856 11633 33554432000 4194304 4196468 140733126949696 140733126932240 140575905148663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
/proc/14774/statm: 2745686 11633 2975 1 0 2708109 0
[pid=14774/tid=14828] ppid=14771 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/14774/task/14828/stat : 14828 (java) R 14771 14774 6529 0 -1 4202560 4554 13108 0 0 11 0 5 2 20 0 15 0 107208758 11247345664 11831 33554432000 4194304 4196468 140733126949696 140575876973472 140575897828381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14829] ppid=14771 vsize=10983736 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14829/stat : 14829 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208759 11247345664 11897 33554432000 4194304 4196468 140733126949696 140575909390736 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14830] ppid=14771 vsize=10983736 memory=140211114088390 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14830/stat : 14830 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208759 11247345664 11897 33554432000 4194304 4196468 140733126949696 140575764109584 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14831] ppid=14771 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14831/stat : 14831 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208759 11247345664 11897 33554432000 4194304 4196468 140733126949696 140575763057296 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14832] ppid=14771 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14832/stat : 14832 (java) S 14771 14774 6529 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 107208759 11249012736 11897 33554432000 4194304 4196468 140733126949696 140575762004496 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14833] ppid=14771 vsize=10985364 memory=140211113449088 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14833/stat : 14833 (java) S 14771 14774 6529 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 107208760 11249012736 11963 33554432000 4194304 4196468 140733126949696 140575195990640 140575905159810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14834] ppid=14771 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14834/stat : 14834 (java) S 14771 14774 6529 0 -1 1077944384 13 13108 0 0 0 0 5 2 20 0 15 0 107208760 11249012736 11963 33554432000 4194304 4196468 140733126949696 140574749353248 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14835] ppid=14771 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14835/stat : 14835 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208761 11249012736 11963 33554432000 4194304 4196468 140733126949696 140574548026992 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14836] ppid=14771 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14836/stat : 14836 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11249012736 11963 33554432000 4194304 4196468 140733126949696 140574240627280 140575905167259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14837] ppid=14771 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14774/task/14837/stat : 14837 (java) S 14771 14774 6529 0 -1 1077944384 484 13108 0 0 1 0 5 2 20 0 15 0 107208763 11249012736 12029 33554432000 4194304 4196468 140733126949696 140575194937456 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14838] ppid=14771 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14838/stat : 14838 (java) S 14771 14774 6529 0 -1 1077944384 134 13108 0 0 0 0 5 2 20 0 15 0 107208763 11249012736 12029 33554432000 4194304 4196468 140733126949696 140575193884656 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14839] ppid=14771 vsize=10985364 memory=140211113449088 CPUtime=0.1 cores=1,3,5,7
/proc/14774/task/14839/stat : 14839 (java) S 14771 14774 6529 0 -1 1077944384 612 13108 0 0 3 0 5 2 20 0 15 0 107208763 11249012736 12029 33554432000 4194304 4196468 140733126949696 140575192832368 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14840] ppid=14771 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14840/stat : 14840 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11249012736 12029 33554432000 4194304 4196468 140733126949696 140573809830368 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14841] ppid=14771 vsize=10985364 memory=140211113449088 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14841/stat : 14841 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208764 11249012736 12029 33554432000 4194304 4196468 140733126949696 140575191780272 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46532 KiB

[startup+0.310461 s]*
/proc/loadavg: 1.85 1.64 1.52 3/216 14841
/proc/meminfo: memFree=24820592/32770624 swapFree=67108688/67108860
[pid=14774] ppid=14771 vsize=10983192 memory=57216 CPUtime=0.38 cores=1,3,5,7
/proc/14774/stat : 14774 (java) S 14771 14774 6529 0 -1 1077944320 10307 13108 0 0 29 2 5 2 20 0 15 0 107208749 11246788608 14304 33554432000 4194304 4196468 140733126949696 140733126932240 140575905148663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
/proc/14774/statm: 2745798 14304 3094 1 0 2708109 0
[pid=14774/tid=14828] ppid=14771 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/14774/task/14828/stat : 14828 (java) R 14771 14774 6529 0 -1 4202560 6857 13108 0 0 19 1 5 2 20 0 15 0 107208758 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575876960672 140575889229150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14829] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14829/stat : 14829 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208759 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575909390736 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14830] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14830/stat : 14830 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208759 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575764109584 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14831] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14831/stat : 14831 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208759 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575763057296 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14832] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14832/stat : 14832 (java) S 14771 14774 6529 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 107208759 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575762004496 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14833] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14833/stat : 14833 (java) S 14771 14774 6529 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 107208760 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575195990640 140575905159810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14834] ppid=14771 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14834/stat : 14834 (java) S 14771 14774 6529 0 -1 1077944384 13 13108 0 0 0 0 5 2 20 0 15 0 107208760 11246788608 14304 33554432000 4194304 4196468 140733126949696 140574749353248 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14835] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14835/stat : 14835 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208761 11246788608 14304 33554432000 4194304 4196468 140733126949696 140574548026992 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14836] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14836/stat : 14836 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11246788608 14304 33554432000 4194304 4196468 140733126949696 140574240627280 140575905167259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14837] ppid=14771 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14774/task/14837/stat : 14837 (java) S 14771 14774 6529 0 -1 1077944384 484 13108 0 0 2 0 5 2 20 0 15 0 107208763 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575194937456 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14838] ppid=14771 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14774/task/14838/stat : 14838 (java) S 14771 14774 6529 0 -1 1077944384 137 13108 0 0 1 0 5 2 20 0 15 0 107208763 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575193884656 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14839] ppid=14771 vsize=10983192 memory=140211113449088 CPUtime=0.12 cores=1,3,5,7
/proc/14774/task/14839/stat : 14839 (java) R 14771 14774 6529 0 -1 4202560 618 13108 0 0 5 0 5 2 20 0 15 0 107208763 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575192832368 140575884088978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14840] ppid=14771 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14840/stat : 14840 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11246788608 14304 33554432000 4194304 4196468 140733126949696 140573809830368 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14841] ppid=14771 vsize=10983192 memory=140211113449088 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14841/stat : 14841 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208764 11246788608 14304 33554432000 4194304 4196468 140733126949696 140575191780272 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57216 KiB

[startup+0.700782 s]
/proc/loadavg: 1.85 1.64 1.52 3/216 14841
/proc/meminfo: memFree=24811040/32770624 swapFree=67108688/67108860
[pid=14774] ppid=14771 vsize=10983192 memory=89248 CPUtime=0.99 cores=1,3,5,7
/proc/14774/stat : 14774 (java) S 14771 14774 6529 0 -1 1077944320 16420 13108 0 0 88 4 5 2 20 0 15 0 107208749 11246788608 22312 33554432000 4194304 4196468 140733126949696 140733126932240 140575905148663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
/proc/14774/statm: 2745798 22312 3238 1 0 2708109 0
[pid=14774/tid=14828] ppid=14771 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/14774/task/14828/stat : 14828 (java) R 14771 14774 6529 0 -1 4202560 11929 13108 0 0 56 3 5 2 20 0 15 0 107208758 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575876969488 140575905162512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14829] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14829/stat : 14829 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208759 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575909390736 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14830] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14830/stat : 14830 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208759 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575764109584 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14831] ppid=14771 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14831/stat : 14831 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208759 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575763057296 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14832] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14832/stat : 14832 (java) S 14771 14774 6529 0 -1 1077944384 2 13108 0 0 0 0 5 2 20 0 15 0 107208759 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575762004496 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14833] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14833/stat : 14833 (java) S 14771 14774 6529 0 -1 1077944384 5 13108 0 0 0 0 5 2 20 0 15 0 107208760 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575195990640 140575905159810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14834] ppid=14771 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14834/stat : 14834 (java) S 14771 14774 6529 0 -1 1077944384 13 13108 0 0 0 0 5 2 20 0 15 0 107208760 11246788608 22312 33554432000 4194304 4196468 140733126949696 140574749353248 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14835] ppid=14771 vsize=10983192 memory=140210952352528 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14835/stat : 14835 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208761 11246788608 22312 33554432000 4194304 4196468 140733126949696 140574548026992 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14836] ppid=14771 vsize=10983192 memory=140213502345809 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14836/stat : 14836 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11246788608 22312 33554432000 4194304 4196468 140733126949696 140574240627280 140575905167259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14837] ppid=14771 vsize=10983192 memory=14076 CPUtime=0.15 cores=1,3,5,7
/proc/14774/task/14837/stat : 14837 (java) S 14771 14774 6529 0 -1 1077944384 881 13108 0 0 8 0 5 2 20 0 15 0 107208763 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575194937456 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14838] ppid=14771 vsize=10983192 memory=4639098309541127269 CPUtime=0.15 cores=1,3,5,7
/proc/14774/task/14838/stat : 14838 (java) S 14771 14774 6529 0 -1 1077944384 713 13108 0 0 8 0 5 2 20 0 15 0 107208763 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575193884656 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14839] ppid=14771 vsize=10983192 memory=7885635084775281009 CPUtime=0.2 cores=1,3,5,7
/proc/14774/task/14839/stat : 14839 (java) S 14771 14774 6529 0 -1 1077944384 672 13108 0 0 13 0 5 2 20 0 15 0 107208763 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575192832368 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14840] ppid=14771 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14840/stat : 14840 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11246788608 22312 33554432000 4194304 4196468 140733126949696 140573809830368 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14841] ppid=14771 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14841/stat : 14841 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208764 11246788608 22312 33554432000 4194304 4196468 140733126949696 140575191780272 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89248 KiB

[startup+1.50106 s]
/proc/loadavg: 1.85 1.64 1.52 3/216 14841
/proc/meminfo: memFree=24765328/32770624 swapFree=67108688/67108860
[pid=14774] ppid=14771 vsize=10991948 memory=366808 CPUtime=2.99 cores=1,3,5,7
/proc/14774/stat : 14774 (java) S 14771 14774 6529 0 -1 1077944320 23460 13108 0 0 266 26 5 2 20 0 15 0 107208749 11255754752 91702 33554432000 4194304 4196468 140733126949696 140733126932240 140575905148663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
/proc/14774/statm: 2747987 91702 3469 1 0 2709645 0
[pid=14774/tid=14828] ppid=14771 vsize=10991948 memory=12848 CPUtime=1.37 cores=1,3,5,7
/proc/14774/task/14828/stat : 14828 (java) S 14771 14774 6529 0 -1 1077944384 14406 13108 0 0 122 8 5 2 20 0 15 0 107208758 11255754752 91702 33554432000 4194304 4196468 140733126949696 140575876983904 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14829] ppid=14771 vsize=10991948 memory=6791534058613427641 CPUtime=0.13 cores=1,3,5,7
/proc/14774/task/14829/stat : 14829 (java) R 14771 14774 6529 0 -1 4202560 405 13108 0 0 3 3 5 2 20 0 15 0 107208759 11255754752 91702 33554432000 4194304 4196468 140733126949696 140575909390936 140575898251736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14830] ppid=14771 vsize=10991948 memory=1408 CPUtime=0.14 cores=1,3,5,7
/proc/14774/task/14830/stat : 14830 (java) R 14771 14774 6529 0 -1 4202560 216 13108 0 0 4 3 5 2 20 0 15 0 107208759 11255754752 91702 33554432000 4194304 4196468 140733126949696 140575764109784 140575898251656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14831] ppid=14771 vsize=10991948 memory=3140 CPUtime=0.13 cores=1,3,5,7
/proc/14774/task/14831/stat : 14831 (java) R 14771 14774 6529 0 -1 4202560 168 13108 0 0 3 3 5 2 20 0 15 0 107208759 11255754752 91702 33554432000 4194304 4196468 140733126949696 140575763057296 140575898251380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14832] ppid=14771 vsize=10991948 memory=89248 CPUtime=0.14 cores=1,3,5,7
/proc/14774/task/14832/stat : 14832 (java) R 14771 14774 6529 0 -1 4202560 211 13108 0 0 3 4 5 2 20 0 15 0 107208759 11255754752 91702 33554432000 4194304 4196468 140733126949696 140575762004496 140575898251702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14833] ppid=14771 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14833/stat : 14833 (java) S 14771 14774 6529 0 -1 1077944384 96 13108 0 0 0 0 5 2 20 0 15 0 107208760 11255754752 91702 33554432000 4194304 4196468 140733126949696 140575195989152 140575905158869 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14834] ppid=14771 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14834/stat : 14834 (java) S 14771 14774 6529 0 -1 1077944384 13 13108 0 0 0 0 5 2 20 0 15 0 107208760 11255754752 91702 33554432000 4194304 4196468 140733126949696 140574749353312 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14835] ppid=14771 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14835/stat : 14835 (java) S 14771 14774 6529 0 -1 1077944384 5 13108 0 0 0 0 5 2 20 0 15 0 107208761 11255754752 91702 33554432000 4194304 4196468 140733126949696 140574548027008 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14836] ppid=14771 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14836/stat : 14836 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11255754752 92214 33554432000 4194304 4196468 140733126949696 140574240627280 140575905167259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14837] ppid=14771 vsize=10991948 memory=6935649255759568960 CPUtime=0.56 cores=1,3,5,7
/proc/14774/task/14837/stat : 14837 (java) S 14771 14774 6529 0 -1 1077944384 2927 13108 0 0 49 0 5 2 20 0 15 0 107208763 11255754752 92214 33554432000 4194304 4196468 140733126949696 140575194922352 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14838] ppid=14771 vsize=10991948 memory=280421904980864 CPUtime=0.49 cores=1,3,5,7
/proc/14774/task/14838/stat : 14838 (java) S 14771 14774 6529 0 -1 1077944384 1344 13108 0 0 42 0 5 2 20 0 15 0 107208763 11255754752 92214 33554432000 4194304 4196468 140733126949696 140575193864208 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14839] ppid=14771 vsize=10991948 memory=6944656592452938395 CPUtime=0.42 cores=1,3,5,7
/proc/14774/task/14839/stat : 14839 (java) S 14771 14774 6529 0 -1 1077944384 1468 13108 0 0 35 0 5 2 20 0 15 0 107208763 11255754752 92214 33554432000 4194304 4196468 140733126949696 140575192832368 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14840] ppid=14771 vsize=10991948 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14840/stat : 14840 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11255754752 92214 33554432000 4194304 4196468 140733126949696 140573809830368 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14841] ppid=14771 vsize=10991948 memory=4206468019014099040 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14841/stat : 14841 (java) S 14771 14774 6529 0 -1 1077944384 1 13108 0 0 0 0 5 2 20 0 15 0 107208764 11255754752 92214 33554432000 4194304 4196468 140733126949696 140575191780272 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10991948 KiB

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

/proc/14774/task/14828/stat : 14828 (java) R 14771 14774 6529 0 -1 4202560 52749 13108 0 0 4771 36 5 2 20 0 15 0 107208758 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575876978032 140575905160598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14829] ppid=14771 vsize=11014496 memory=3601712 CPUtime=2.79 cores=1,3,5,7
/proc/14774/task/14829/stat : 14829 (java) S 14771 14774 6529 0 -1 1077944384 2427 13108 0 0 226 46 5 2 20 0 15 0 107208759 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575909390736 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14830] ppid=14771 vsize=11014496 memory=0 CPUtime=2.82 cores=1,3,5,7
/proc/14774/task/14830/stat : 14830 (java) S 14771 14774 6529 0 -1 1077944384 3101 13108 0 0 229 46 5 2 20 0 15 0 107208759 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575764109584 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14831] ppid=14771 vsize=11014496 memory=3490684 CPUtime=2.79 cores=1,3,5,7
/proc/14774/task/14831/stat : 14831 (java) S 14771 14774 6529 0 -1 1077944384 2161 13108 0 0 226 46 5 2 20 0 15 0 107208759 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575763057296 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14832] ppid=14771 vsize=11014496 memory=280421905086432 CPUtime=2.82 cores=1,3,5,7
/proc/14774/task/14832/stat : 14832 (java) S 14771 14774 6529 0 -1 1077944384 2209 13108 0 0 227 48 5 2 20 0 15 0 107208759 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575762004496 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14833] ppid=14771 vsize=11014496 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/14774/task/14833/stat : 14833 (java) S 14771 14774 6529 0 -1 1077944384 4650 13108 0 0 10 1 5 2 20 0 15 0 107208760 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575195990640 140575905159810 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14834] ppid=14771 vsize=11014496 memory=611 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14834/stat : 14834 (java) S 14771 14774 6529 0 -1 1077944384 16 13108 0 0 0 0 5 2 20 0 15 0 107208760 11278843904 908051 33554432000 4194304 4196468 140733126949696 140574749353312 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14835] ppid=14771 vsize=11014496 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14835/stat : 14835 (java) S 14771 14774 6529 0 -1 1077944384 7 13108 0 0 0 0 5 2 20 0 15 0 107208761 11278843904 908051 33554432000 4194304 4196468 140733126949696 140574548027008 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14836] ppid=14771 vsize=11014496 memory=8099531882097108048 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14836/stat : 14836 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11278843904 908051 33554432000 4194304 4196468 140733126949696 140574240627280 140575905167259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14837] ppid=14771 vsize=11014496 memory=4140 CPUtime=6.23 cores=1,3,5,7
/proc/14774/task/14837/stat : 14837 (java) R 14771 14774 6529 0 -1 4202560 22525 13108 0 0 611 5 5 2 20 0 15 0 107208763 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575194928456 140575890078133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14838] ppid=14771 vsize=11014496 memory=30608 CPUtime=6.37 cores=1,3,5,7
/proc/14774/task/14838/stat : 14838 (java) R 14771 14774 6529 0 -1 4202560 17466 13108 0 0 626 4 5 2 20 0 15 0 107208763 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575193875984 140575884395104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14839] ppid=14771 vsize=11014496 memory=1296 CPUtime=2.55 cores=1,3,5,7
/proc/14774/task/14839/stat : 14839 (java) S 14771 14774 6529 0 -1 1077944384 15944 13108 0 0 243 5 5 2 20 0 15 0 107208763 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575192832368 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14840] ppid=14771 vsize=11014496 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14840/stat : 14840 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11278843904 908051 33554432000 4194304 4196468 140733126949696 140573809830368 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14841] ppid=14771 vsize=11014496 memory=30608 CPUtime=0.09 cores=1,3,5,7
/proc/14774/task/14841/stat : 14841 (java) S 14771 14774 6529 0 -1 1077944384 1382 13108 0 0 1 1 5 2 20 0 15 0 107208764 11278843904 908051 33554432000 4194304 4196468 140733126949696 140575191780272 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
Current children cumulated CPU time: 74.27 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3632204 KiB

[startup+102.301 s]
/proc/loadavg: 1.84 1.68 1.54 3/215 14973
/proc/meminfo: memFree=18021000/32770624 swapFree=67108688/67108860
[pid=14774] ppid=14771 vsize=11016544 memory=3834488 CPUtime=134.8 cores=1,3,5,7
/proc/14774/stat : 14774 (java) S 14771 14774 6529 0 -1 1077944320 136695 13108 0 0 13211 262 5 2 20 0 15 0 107208749 11280941056 958622 33554432000 4194304 4196468 140733126949696 140733126932240 140575905148663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
/proc/14774/statm: 2754136 958622 3536 1 0 2715789 0
[pid=14774/tid=14828] ppid=14771 vsize=11016544 memory=280421905327360 CPUtime=97.99 cores=1,3,5,7
/proc/14774/task/14828/stat : 14828 (java) R 14771 14774 6529 0 -1 4202560 56535 13108 0 0 9754 38 5 2 20 0 15 0 107208758 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575876970032 140575458206698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14829] ppid=14771 vsize=11016544 memory=3811948 CPUtime=4.07 cores=1,3,5,7
/proc/14774/task/14829/stat : 14829 (java) S 14771 14774 6529 0 -1 1077944384 3157 13108 0 0 350 50 5 2 20 0 15 0 107208759 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575909390736 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14830] ppid=14771 vsize=11016544 memory=3811948 CPUtime=4.1 cores=1,3,5,7
/proc/14774/task/14830/stat : 14830 (java) S 14771 14774 6529 0 -1 1077944384 3625 13108 0 0 353 50 5 2 20 0 15 0 107208759 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575764109584 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14831] ppid=14771 vsize=11016544 memory=3811948 CPUtime=4.06 cores=1,3,5,7
/proc/14774/task/14831/stat : 14831 (java) S 14771 14774 6529 0 -1 1077944384 3098 13108 0 0 349 50 5 2 20 0 15 0 107208759 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575763057296 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14832] ppid=14771 vsize=11016544 memory=3811948 CPUtime=4.09 cores=1,3,5,7
/proc/14774/task/14832/stat : 14832 (java) S 14771 14774 6529 0 -1 1077944384 2975 13108 0 0 350 52 5 2 20 0 15 0 107208759 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575762004496 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14833] ppid=14771 vsize=11016544 memory=4140 CPUtime=0.23 cores=1,3,5,7
/proc/14774/task/14833/stat : 14833 (java) S 14771 14774 6529 0 -1 1077944384 4715 13108 0 0 15 1 5 2 20 0 15 0 107208760 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575195990640 140575905159810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14834] ppid=14771 vsize=11016544 memory=30608 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14834/stat : 14834 (java) S 14771 14774 6529 0 -1 1077944384 17 13108 0 0 0 0 5 2 20 0 15 0 107208760 11280941056 958622 33554432000 4194304 4196468 140733126949696 140574749353376 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14835] ppid=14771 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14835/stat : 14835 (java) S 14771 14774 6529 0 -1 1077944384 10 13108 0 0 0 0 5 2 20 0 15 0 107208761 11280941056 958622 33554432000 4194304 4196468 140733126949696 140574548027008 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14836] ppid=14771 vsize=11016544 memory=-7674914008656224160 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14836/stat : 14836 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11280941056 958622 33554432000 4194304 4196468 140733126949696 140574240627280 140575905167259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14837] ppid=14771 vsize=11016544 memory=280421905182656 CPUtime=8.71 cores=1,3,5,7
/proc/14774/task/14837/stat : 14837 (java) S 14771 14774 6529 0 -1 1077944384 23552 13108 0 0 858 6 5 2 20 0 15 0 107208763 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575194937456 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14838] ppid=14771 vsize=11016544 memory=320425177064407330 CPUtime=8.84 cores=1,3,5,7
/proc/14774/task/14838/stat : 14838 (java) S 14771 14774 6529 0 -1 1077944384 18690 13108 0 0 872 5 5 2 20 0 15 0 107208763 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575193884656 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14839] ppid=14771 vsize=11016544 memory=388 CPUtime=3.12 cores=1,3,5,7
/proc/14774/task/14839/stat : 14839 (java) S 14771 14774 6529 0 -1 1077944384 16729 13108 0 0 300 5 5 2 20 0 15 0 107208763 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575192832368 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14840] ppid=14771 vsize=11016544 memory=393 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14840/stat : 14840 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11280941056 958622 33554432000 4194304 4196468 140733126949696 140573809830368 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14841] ppid=14771 vsize=11016544 memory=4140 CPUtime=0.13 cores=1,3,5,7
/proc/14774/task/14841/stat : 14841 (java) S 14771 14774 6529 0 -1 1077944384 1392 13108 0 0 3 3 5 2 20 0 15 0 107208764 11280941056 958622 33554432000 4194304 4196468 140733126949696 140575191780272 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
Current children cumulated CPU time: 134.8 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3834488 KiB

[startup+162.301 s]
/proc/loadavg: 1.63 1.65 1.54 3/215 14974
/proc/meminfo: memFree=18674700/32770624 swapFree=67108688/67108860
[pid=14774] ppid=14771 vsize=11016544 memory=3310684 CPUtime=196.64 cores=1,3,5,7
/proc/14774/stat : 14774 (java) S 14771 14774 6529 0 -1 1077944320 164240 13108 0 0 19386 271 5 2 20 0 15 0 107208749 11280941056 827671 33554432000 4194304 4196468 140733126949696 140733126932240 140575905148663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
/proc/14774/statm: 2754136 827671 3537 1 0 2715789 0
[pid=14774/tid=14828] ppid=14771 vsize=11016544 memory=3320432 CPUtime=157.47 cores=1,3,5,7
/proc/14774/task/14828/stat : 14828 (java) R 14771 14774 6529 0 -1 4202560 60521 13108 0 0 15702 38 5 2 20 0 15 0 107208758 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575876977616 140575462356405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14829] ppid=14771 vsize=11016544 memory=3320432 CPUtime=4.49 cores=1,3,5,7
/proc/14774/task/14829/stat : 14829 (java) S 14771 14774 6529 0 -1 1077944384 3370 13108 0 0 391 51 5 2 20 0 15 0 107208759 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575909390736 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14830] ppid=14771 vsize=11016544 memory=3394688 CPUtime=4.54 cores=1,3,5,7
/proc/14774/task/14830/stat : 14830 (java) S 14771 14774 6529 0 -1 1077944384 5894 13108 0 0 395 52 5 2 20 0 15 0 107208759 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575764109584 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14831] ppid=14771 vsize=11016544 memory=3388020 CPUtime=4.5 cores=1,3,5,7
/proc/14774/task/14831/stat : 14831 (java) S 14771 14774 6529 0 -1 1077944384 4171 13108 0 0 392 51 5 2 20 0 15 0 107208759 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575763057296 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14832] ppid=14771 vsize=11016544 memory=3413696 CPUtime=4.53 cores=1,3,5,7
/proc/14774/task/14832/stat : 14832 (java) S 14771 14774 6529 0 -1 1077944384 4668 13108 0 0 393 53 5 2 20 0 15 0 107208759 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575762004496 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14833] ppid=14771 vsize=11016544 memory=3349032 CPUtime=0.3 cores=1,3,5,7
/proc/14774/task/14833/stat : 14833 (java) S 14771 14774 6529 0 -1 1077944384 12417 13108 0 0 21 2 5 2 20 0 15 0 107208760 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575195990640 140575905159810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14834] ppid=14771 vsize=11016544 memory=3349032 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14834/stat : 14834 (java) S 14771 14774 6529 0 -1 1077944384 17 13108 0 0 0 0 5 2 20 0 15 0 107208760 11280941056 827671 33554432000 4194304 4196468 140733126949696 140574749353376 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14835] ppid=14771 vsize=11016544 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14835/stat : 14835 (java) S 14771 14774 6529 0 -1 1077944384 10 13108 0 0 0 0 5 2 20 0 15 0 107208761 11280941056 827671 33554432000 4194304 4196468 140733126949696 140574548027008 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14836] ppid=14771 vsize=11016544 memory=3320432 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14836/stat : 14836 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11280941056 827671 33554432000 4194304 4196468 140733126949696 140574240627280 140575905167259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14837] ppid=14771 vsize=11016544 memory=3320432 CPUtime=8.93 cores=1,3,5,7
/proc/14774/task/14837/stat : 14837 (java) S 14771 14774 6529 0 -1 1077944384 27906 13108 0 0 880 6 5 2 20 0 15 0 107208763 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575194937456 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14838] ppid=14771 vsize=11016544 memory=3310684 CPUtime=9.1 cores=1,3,5,7
/proc/14774/task/14838/stat : 14838 (java) S 14771 14774 6529 0 -1 1077944384 24419 13108 0 0 898 5 5 2 20 0 15 0 107208763 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575193884656 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14839] ppid=14771 vsize=11016544 memory=3413736 CPUtime=3.13 cores=1,3,5,7
/proc/14774/task/14839/stat : 14839 (java) S 14771 14774 6529 0 -1 1077944384 17192 13108 0 0 301 5 5 2 20 0 15 0 107208763 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575192832368 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14840] ppid=14771 vsize=11016544 memory=203952562516648 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14840/stat : 14840 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11280941056 827671 33554432000 4194304 4196468 140733126949696 140573809830368 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14841] ppid=14771 vsize=11016544 memory=3320432 CPUtime=0.16 cores=1,3,5,7
/proc/14774/task/14841/stat : 14841 (java) S 14771 14774 6529 0 -1 1077944384 1455 13108 0 0 4 5 5 2 20 0 15 0 107208764 11280941056 827671 33554432000 4194304 4196468 140733126949696 140575191780272 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
Current children cumulated CPU time: 196.64 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3310684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+217.401 s]
/proc/loadavg: 1.45 1.59 1.52 3/215 14975
/proc/meminfo: memFree=18935680/32770624 swapFree=67108688/67108860
[pid=14774] ppid=14771 vsize=11016544 memory=3138316 CPUtime=252.05 cores=1,3,5,7
/proc/14774/stat : 14774 (java) S 14771 14774 6529 0 -1 1077944320 177059 13108 0 0 24923 275 5 2 20 0 15 0 107208749 11280941056 784579 33554432000 4194304 4196468 140733126949696 140733126932240 140575905148663 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
/proc/14774/statm: 2754136 784579 3537 1 0 2715789 0
[pid=14774/tid=14828] ppid=14771 vsize=11016544 memory=6943526294502006880 CPUtime=212.46 cores=1,3,5,7
/proc/14774/task/14828/stat : 14828 (java) R 14771 14774 6529 0 -1 4202560 64744 13108 0 0 21201 38 5 2 20 0 15 0 107208758 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575876983232 140575456558116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14829] ppid=14771 vsize=11016544 memory=6656426216303648864 CPUtime=4.57 cores=1,3,5,7
/proc/14774/task/14829/stat : 14829 (java) S 14771 14774 6529 0 -1 1077944384 4104 13108 0 0 399 51 5 2 20 0 15 0 107208759 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575909390736 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14830] ppid=14771 vsize=11016544 memory=6943526294502006880 CPUtime=4.62 cores=1,3,5,7
/proc/14774/task/14830/stat : 14830 (java) S 14771 14774 6529 0 -1 1077944384 6072 13108 0 0 403 52 5 2 20 0 15 0 107208759 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575764109584 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14831] ppid=14771 vsize=11016544 memory=6944656592455359580 CPUtime=4.58 cores=1,3,5,7
/proc/14774/task/14831/stat : 14831 (java) S 14771 14774 6529 0 -1 1077944384 4268 13108 0 0 400 51 5 2 20 0 15 0 107208759 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575763057296 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14832] ppid=14771 vsize=11016544 memory=-3252517613199061085 CPUtime=4.6 cores=1,3,5,7
/proc/14774/task/14832/stat : 14832 (java) S 14771 14774 6529 0 -1 1077944384 5828 13108 0 0 400 53 5 2 20 0 15 0 107208759 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575762004496 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14833] ppid=14771 vsize=11016544 memory=3053811428040725072 CPUtime=0.31 cores=1,3,5,7
/proc/14774/task/14833/stat : 14833 (java) S 14771 14774 6529 0 -1 1077944384 12707 13108 0 0 22 2 5 2 20 0 15 0 107208760 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575195990640 140575905159810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14834] ppid=14771 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14834/stat : 14834 (java) S 14771 14774 6529 0 -1 1077944384 17 13108 0 0 0 0 5 2 20 0 15 0 107208760 11280941056 784579 33554432000 4194304 4196468 140733126949696 140574749353376 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14835] ppid=14771 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14835/stat : 14835 (java) S 14771 14774 6529 0 -1 1077944384 10 13108 0 0 0 0 5 2 20 0 15 0 107208761 11280941056 784579 33554432000 4194304 4196468 140733126949696 140574548027008 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14836] ppid=14771 vsize=11016544 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14836/stat : 14836 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11280941056 784579 33554432000 4194304 4196468 140733126949696 140574240627280 140575905167259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14837] ppid=14771 vsize=11016544 memory=0 CPUtime=8.95 cores=1,3,5,7
/proc/14774/task/14837/stat : 14837 (java) S 14771 14774 6529 0 -1 1077944384 29937 13108 0 0 882 6 5 2 20 0 15 0 107208763 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575194937456 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14838] ppid=14771 vsize=11016544 memory=0 CPUtime=9.12 cores=1,3,5,7
/proc/14774/task/14838/stat : 14838 (java) S 14771 14774 6529 0 -1 1077944384 25949 13108 0 0 900 5 5 2 20 0 15 0 107208763 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575193884656 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14839] ppid=14771 vsize=11016544 memory=288230574492221466 CPUtime=3.15 cores=1,3,5,7
/proc/14774/task/14839/stat : 14839 (java) S 14771 14774 6529 0 -1 1077944384 19739 13108 0 0 302 6 5 2 20 0 15 0 107208763 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575192832368 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14840] ppid=14771 vsize=11016544 memory=288230583166042425 CPUtime=0.07 cores=1,3,5,7
/proc/14774/task/14840/stat : 14840 (java) S 14771 14774 6529 0 -1 1077944384 3 13108 0 0 0 0 5 2 20 0 15 0 107208763 11280941056 784579 33554432000 4194304 4196468 140733126949696 140573809830368 140575905158869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
[pid=14774/tid=14841] ppid=14771 vsize=11016544 memory=13846365516073407 CPUtime=0.19 cores=1,3,5,7
/proc/14774/task/14841/stat : 14841 (java) S 14771 14774 6529 0 -1 1077944384 1484 13108 0 0 5 7 5 2 20 0 15 0 107208764 11280941056 784579 33554432000 4194304 4196468 140733126949696 140575191780272 140575905159810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140733126957681 140733126960481 140733126960481 140733126963151 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3138316 KiB

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

[startup+217.445 s]
# the end of solver process 14774 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.317 s, system=2.80535 s

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

Child status: 143
Real time (s): 217.445
CPU time (s): 252.123
CPU user time (s): 249.317
CPU system time (s): 2.80535
CPU usage (%): 115.948
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 3910376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.317
system time used= 2.80534
maximum resident set size= 3910376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192269
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17247
involuntary context switches= 478


# summary of solver processes directly reported to runsolver:
#   pid: 14774
#   total CPU time (s): 252.123
#   total CPU user time (s): 249.317
#   total CPU system time (s): 2.80535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31034 second user time and 2.15487 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-29 22:34:19
IDJOB=4302593
IDBENCH=141261
IDSOLVER=2776
FILE ID=node106/4302593-1532896458
RUNJOBID= node106-1532895551-13369
PBS_JOBID= 21022522
Free space on /tmp= 54596 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302593-1532896458/watcher-4302593-1532896458 -o /tmp/evaluation-result-4302593-1532896458/solver-4302593-1532896458 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532895551-13369 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1642562800 HOME/instance-4302593-1532896458.xml

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

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=1642562800

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        24865096 kB
MemAvailable:   31341488 kB
Buffers:          247256 kB
Cached:          6462368 kB
SwapCached:            0 kB
Active:          3129036 kB
Inactive:        4225880 kB
Active(anon):     592540 kB
Inactive(anon):    80476 kB
Active(file):    2536496 kB
Inactive(file):  4145404 kB
Unevictable:        6960 kB
Mlocked:            6960 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:            132348 kB
Writeback:             0 kB
AnonPages:        684892 kB
Mapped:            58132 kB
Shmem:             25056 kB
Slab:             248584 kB
SReclaimable:     220652 kB
SUnreclaim:        27932 kB
KernelStack:        3808 kB
PageTables:         6656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1790132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    452608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 54480 MiB
End job on node106 at 2018-07-29 22:37:56