Trace number 4302943

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)27270670 252.074 178.854

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

Solver Data 

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

Verifier Data 

OK	27270670

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302943-1532896524/watcher-4302943-1532896524 -o /tmp/evaluation-result-4302943-1532896524/solver-4302943-1532896524 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9922 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2089384191 -superng HOME/instance-4302943-1532896524.xml 

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

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


[startup+0.100012 s]*
/proc/loadavg: 2.09 1.76 1.65 5/206 11645
/proc/meminfo: memFree=18384876/32770624 swapFree=67108860/67108860
[pid=11588] ppid=11585 vsize=10005480 memory=18592 CPUtime=0.09 cores=1,3,5,7
/proc/11588/stat : 11588 (java) S 11585 11588 8396 0 -1 1077944320 4282 13185 0 0 1 0 5 3 20 0 6 0 107215646 10245611520 4648 33554432000 4194304 4196468 140733901124048 140733901106592 140020456984311 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
/proc/11588/statm: 2501370 4648 1935 1 0 2489808 0
[pid=11588/tid=11641] ppid=11585 vsize=10005480 memory=4279135703946986127 CPUtime=0.09 cores=1,3,5,7
/proc/11588/task/11641/stat : 11641 (java) R 11585 11588 8396 0 -1 4202560 2101 13185 0 0 1 0 5 3 20 0 6 0 107215655 10245611520 4648 33554432000 4194304 4196468 140733901124048 140020428821072 140020441971360 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11642] ppid=11585 vsize=10012808 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11642/stat : 11642 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 6 0 107215656 10253115392 4648 33554432000 4194304 4196468 140733901124048 140020461226640 140020456994517 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11643] ppid=11585 vsize=10019504 memory=140655553414784 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11643/stat : 11643 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 6 0 107215656 10259972096 4648 33554432000 4194304 4196468 140733901124048 140020315945488 140020456994517 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11644] ppid=11585 vsize=10021560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11644/stat : 11644 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 6 0 107215656 10262077440 4714 33554432000 4194304 4196468 140733901124048 140020314892688 140020456994517 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11645] ppid=11585 vsize=10021560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11645/stat : 11645 (java) S 11585 11588 8396 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 6 0 107215656 10262077440 4714 33554432000 4194304 4196468 140733901124048 140020313839888 140020456994517 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18592 KiB

[startup+0.20974 s]*
/proc/loadavg: 2.09 1.76 1.65 5/215 11654
/proc/meminfo: memFree=18300312/32770624 swapFree=67108860/67108860
[pid=11588] ppid=11585 vsize=10985364 memory=48088 CPUtime=0.26 cores=1,3,5,7
/proc/11588/stat : 11588 (java) S 11585 11588 8396 0 -1 1077944320 8190 13185 0 0 17 1 5 3 20 0 15 0 107215646 11249012736 11956 33554432000 4194304 4196468 140733901124048 140733901106592 140020456984311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
/proc/11588/statm: 2746341 11956 2945 1 0 2708764 0
[pid=11588/tid=11641] ppid=11585 vsize=10982744 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/11588/task/11641/stat : 11641 (java) R 11585 11588 8396 0 -1 4202560 4997 13185 0 0 11 1 5 3 20 0 15 0 107215655 11246329856 11613 33554432000 4194304 4196468 140733901124048 140020428809120 140020450168424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11642] ppid=11585 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11642/stat : 11642 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246329856 11613 33554432000 4194304 4196468 140733901124048 140020461226640 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11643] ppid=11585 vsize=10982744 memory=140655553414784 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11643/stat : 11643 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246329856 11613 33554432000 4194304 4196468 140733901124048 140020315945488 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11644] ppid=11585 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11644/stat : 11644 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246329856 11613 33554432000 4194304 4196468 140733901124048 140020314892688 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11645] ppid=11585 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11645/stat : 11645 (java) S 11585 11588 8396 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246329856 11613 33554432000 4194304 4196468 140733901124048 140020313839888 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11646] ppid=11585 vsize=10982744 memory=140655553414784 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11646/stat : 11646 (java) S 11585 11588 8396 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 107215657 11246329856 11613 33554432000 4194304 4196468 140733901124048 140019882740592 140020456995458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11647] ppid=11585 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11647/stat : 11647 (java) S 11585 11588 8396 0 -1 1077944384 13 13185 0 0 0 0 5 3 20 0 15 0 107215657 11246329856 11613 33554432000 4194304 4196468 140733901124048 140019289286176 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11648] ppid=11585 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11648/stat : 11648 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215658 11246329856 11613 33554432000 4194304 4196468 140733901124048 140019087959408 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11649] ppid=11585 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11649/stat : 11649 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215660 11246329856 11613 33554432000 4194304 4196468 140733901124048 140018780559696 140020457002907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11650] ppid=11585 vsize=10982776 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11588/task/11650/stat : 11650 (java) S 11585 11588 8396 0 -1 1077944384 365 13185 0 0 1 0 5 3 20 0 15 0 107215660 11246362624 11613 33554432000 4194304 4196468 140733901124048 140019881687408 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11651] ppid=11585 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11651/stat : 11651 (java) S 11585 11588 8396 0 -1 1077944384 255 13185 0 0 0 0 5 3 20 0 15 0 107215660 11246362624 11613 33554432000 4194304 4196468 140733901124048 140019880634608 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11652] ppid=11585 vsize=10982776 memory=140655553414784 CPUtime=0.11 cores=1,3,5,7
/proc/11588/task/11652/stat : 11652 (java) S 11585 11588 8396 0 -1 1077944384 613 13185 0 0 3 0 5 3 20 0 15 0 107215660 11246362624 11613 33554432000 4194304 4196468 140733901124048 140019879581808 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11653] ppid=11585 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11653/stat : 11653 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215661 11246362624 11678 33554432000 4194304 4196468 140733901124048 140018349762784 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11654] ppid=11585 vsize=10982776 memory=140655553414784 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11654/stat : 11654 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215661 11246362624 11678 33554432000 4194304 4196468 140733901124048 140019878530224 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 48088 KiB

[startup+0.310148 s]*
/proc/loadavg: 2.09 1.76 1.65 7/215 11654
/proc/meminfo: memFree=18212380/32770624 swapFree=67108860/67108860
[pid=11588] ppid=11585 vsize=10983192 memory=56912 CPUtime=0.39 cores=1,3,5,7
/proc/11588/stat : 11588 (java) S 11585 11588 8396 0 -1 1077944320 10326 13185 0 0 29 2 5 3 20 0 15 0 107215646 11246788608 14228 33554432000 4194304 4196468 140733901124048 140733901106592 140020456984311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
/proc/11588/statm: 2745798 14228 3064 1 0 2708109 0
[pid=11588/tid=11641] ppid=11585 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/11588/task/11641/stat : 11641 (java) R 11585 11588 8396 0 -1 4202560 6856 13185 0 0 20 1 5 3 20 0 15 0 107215655 11246788608 14228 33554432000 4194304 4196468 140733901124048 140020428796320 140020449221438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11642] ppid=11585 vsize=10983192 memory=5937803012634333265 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11642/stat : 11642 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246788608 14228 33554432000 4194304 4196468 140733901124048 140020461226640 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11643] ppid=11585 vsize=10983192 memory=2072 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11643/stat : 11643 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246788608 14228 33554432000 4194304 4196468 140733901124048 140020315945488 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11644] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11644/stat : 11644 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246788608 14228 33554432000 4194304 4196468 140733901124048 140020314892688 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11645] ppid=11585 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11645/stat : 11645 (java) S 11585 11588 8396 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246788608 14228 33554432000 4194304 4196468 140733901124048 140020313839888 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11646] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11646/stat : 11646 (java) S 11585 11588 8396 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 107215657 11246788608 14228 33554432000 4194304 4196468 140733901124048 140019882740592 140020456995458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11647] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11647/stat : 11647 (java) S 11585 11588 8396 0 -1 1077944384 13 13185 0 0 0 0 5 3 20 0 15 0 107215657 11246788608 14228 33554432000 4194304 4196468 140733901124048 140019289286176 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11648] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11648/stat : 11648 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215658 11246788608 14228 33554432000 4194304 4196468 140733901124048 140019087959408 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11649] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11649/stat : 11649 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215660 11246788608 14228 33554432000 4194304 4196468 140733901124048 140018780559696 140020457002907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11650] ppid=11585 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11588/task/11650/stat : 11650 (java) S 11585 11588 8396 0 -1 1077944384 365 13185 0 0 1 0 5 3 20 0 15 0 107215660 11246788608 14228 33554432000 4194304 4196468 140733901124048 140019881687408 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11651] ppid=11585 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11588/task/11651/stat : 11651 (java) S 11585 11588 8396 0 -1 1077944384 262 13185 0 0 1 0 5 3 20 0 15 0 107215660 11246788608 14228 33554432000 4194304 4196468 140733901124048 140019880634608 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11652] ppid=11585 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/11588/task/11652/stat : 11652 (java) S 11585 11588 8396 0 -1 1077944384 621 13185 0 0 5 0 5 3 20 0 15 0 107215660 11246788608 14228 33554432000 4194304 4196468 140733901124048 140019879581808 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11653] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11653/stat : 11653 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215661 11246788608 14228 33554432000 4194304 4196468 140733901124048 140018349762784 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11654] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11654/stat : 11654 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215661 11246788608 14228 33554432000 4194304 4196468 140733901124048 140019878530224 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56912 KiB

[startup+0.700782 s]
/proc/loadavg: 2.09 1.76 1.65 3/215 11654
/proc/meminfo: memFree=18191284/32770624 swapFree=67108860/67108860
[pid=11588] ppid=11585 vsize=10983192 memory=89148 CPUtime=1 cores=1,3,5,7
/proc/11588/stat : 11588 (java) S 11585 11588 8396 0 -1 1077944320 16402 13185 0 0 88 4 5 3 20 0 15 0 107215646 11246788608 22287 33554432000 4194304 4196468 140733901124048 140733901106592 140020456984311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
/proc/11588/statm: 2745798 22287 3238 1 0 2708109 0
[pid=11588/tid=11641] ppid=11585 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/11588/task/11641/stat : 11641 (java) R 11585 11588 8396 0 -1 4202560 11873 13185 0 0 56 3 5 3 20 0 15 0 107215655 11246788608 22287 33554432000 4194304 4196468 140733901124048 140020428805136 140020437260163 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11642] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11642/stat : 11642 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246788608 22287 33554432000 4194304 4196468 140733901124048 140020461226640 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11643] ppid=11585 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11643/stat : 11643 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246788608 22287 33554432000 4194304 4196468 140733901124048 140020315945488 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11644] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11644/stat : 11644 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246788608 22287 33554432000 4194304 4196468 140733901124048 140020314892688 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11645] ppid=11585 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11645/stat : 11645 (java) S 11585 11588 8396 0 -1 1077944384 2 13185 0 0 0 0 5 3 20 0 15 0 107215656 11246788608 22287 33554432000 4194304 4196468 140733901124048 140020313839888 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11646] ppid=11585 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11646/stat : 11646 (java) S 11585 11588 8396 0 -1 1077944384 5 13185 0 0 0 0 5 3 20 0 15 0 107215657 11246788608 22287 33554432000 4194304 4196468 140733901124048 140019882740592 140020456995458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11647] ppid=11585 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11647/stat : 11647 (java) S 11585 11588 8396 0 -1 1077944384 13 13185 0 0 0 0 5 3 20 0 15 0 107215657 11246788608 22287 33554432000 4194304 4196468 140733901124048 140019289286176 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11648] ppid=11585 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11648/stat : 11648 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215658 11246788608 22287 33554432000 4194304 4196468 140733901124048 140019087959408 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11649] ppid=11585 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11649/stat : 11649 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215660 11246788608 22287 33554432000 4194304 4196468 140733901124048 140018780559696 140020457002907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11650] ppid=11585 vsize=10983192 memory=13252 CPUtime=0.18 cores=1,3,5,7
/proc/11588/task/11650/stat : 11650 (java) S 11585 11588 8396 0 -1 1077944384 981 13185 0 0 10 0 5 3 20 0 15 0 107215660 11246788608 22287 33554432000 4194304 4196468 140733901124048 140019881687408 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11651] ppid=11585 vsize=10983192 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/11588/task/11651/stat : 11651 (java) S 11585 11588 8396 0 -1 1077944384 652 13185 0 0 7 0 5 3 20 0 15 0 107215660 11246788608 22287 33554432000 4194304 4196468 140733901124048 140019880634608 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11652] ppid=11585 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/11588/task/11652/stat : 11652 (java) S 11585 11588 8396 0 -1 1077944384 669 13185 0 0 13 0 5 3 20 0 15 0 107215660 11246788608 22287 33554432000 4194304 4196468 140733901124048 140019879581808 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11653] ppid=11585 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11653/stat : 11653 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215661 11246788608 22287 33554432000 4194304 4196468 140733901124048 140018349762784 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11654] ppid=11585 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11654/stat : 11654 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215661 11246788608 22287 33554432000 4194304 4196468 140733901124048 140019878530224 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89148 KiB

[startup+1.50092 s]
/proc/loadavg: 2.09 1.76 1.65 5/215 11654
/proc/meminfo: memFree=18144952/32770624 swapFree=67108860/67108860
[pid=11588] ppid=11585 vsize=10991948 memory=384320 CPUtime=3.03 cores=1,3,5,7
/proc/11588/stat : 11588 (java) S 11585 11588 8396 0 -1 1077944320 23442 13185 0 0 265 30 5 3 20 0 15 0 107215646 11255754752 96080 33554432000 4194304 4196468 140733901124048 140733901106592 140020456984311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
/proc/11588/statm: 2747987 96080 3470 1 0 2709645 0
[pid=11588/tid=11641] ppid=11585 vsize=10991948 memory=0 CPUtime=1.37 cores=1,3,5,7
/proc/11588/task/11641/stat : 11641 (java) S 11585 11588 8396 0 -1 1077944384 14416 13185 0 0 121 8 5 3 20 0 15 0 107215655 11255754752 96080 33554432000 4194304 4196468 140733901124048 140020428818672 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11642] ppid=11585 vsize=10991948 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/11588/task/11642/stat : 11642 (java) R 11585 11588 8396 0 -1 4202560 184 13185 0 0 3 5 5 3 20 0 15 0 107215656 11255754752 96080 33554432000 4194304 4196468 140733901124048 140020461226528 140020450083971 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11643] ppid=11585 vsize=10991948 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/11588/task/11643/stat : 11643 (java) R 11585 11588 8396 0 -1 4202560 274 13185 0 0 4 5 5 3 20 0 15 0 107215656 11255754752 96124 33554432000 4194304 4196468 140733901124048 140020315945488 140020450087325 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11644] ppid=11585 vsize=10991948 memory=4051323354130624818 CPUtime=0.15 cores=1,3,5,7
/proc/11588/task/11644/stat : 11644 (java) R 11585 11588 8396 0 -1 4202560 395 13185 0 0 3 4 5 3 20 0 15 0 107215656 11255754752 96172 33554432000 4194304 4196468 140733901124048 140020314892888 140020450087028 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11645] ppid=11585 vsize=10991948 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/11588/task/11645/stat : 11645 (java) R 11585 11588 8396 0 -1 4202560 197 13185 0 0 4 4 5 3 20 0 15 0 107215656 11255754752 96172 33554432000 4194304 4196468 140733901124048 140020313839888 140020450084011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11646] ppid=11585 vsize=10991948 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11646/stat : 11646 (java) S 11585 11588 8396 0 -1 1077944384 96 13185 0 0 0 0 5 3 20 0 15 0 107215657 11255754752 96172 33554432000 4194304 4196468 140733901124048 140019882739104 140020456994517 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11647] ppid=11585 vsize=10991948 memory=281310828505344 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11647/stat : 11647 (java) S 11585 11588 8396 0 -1 1077944384 15 13185 0 0 0 0 5 3 20 0 15 0 107215657 11255754752 96172 33554432000 4194304 4196468 140733901124048 140019289286176 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11648] ppid=11585 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11648/stat : 11648 (java) S 11585 11588 8396 0 -1 1077944384 4 13185 0 0 0 0 5 3 20 0 15 0 107215658 11255754752 96172 33554432000 4194304 4196468 140733901124048 140019087959392 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11649] ppid=11585 vsize=10991948 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11649/stat : 11649 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215660 11255754752 96172 33554432000 4194304 4196468 140733901124048 140018780559696 140020457002907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11650] ppid=11585 vsize=10991948 memory=5788 CPUtime=0.59 cores=1,3,5,7
/proc/11588/task/11650/stat : 11650 (java) S 11585 11588 8396 0 -1 1077944384 2749 13185 0 0 51 0 5 3 20 0 15 0 107215660 11255754752 96172 33554432000 4194304 4196468 140733901124048 140019881678512 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11651] ppid=11585 vsize=10991948 memory=4616 CPUtime=0.47 cores=1,3,5,7
/proc/11588/task/11651/stat : 11651 (java) S 11585 11588 8396 0 -1 1077944384 1311 13185 0 0 39 0 5 3 20 0 15 0 107215660 11255754752 96172 33554432000 4194304 4196468 140733901124048 140019880625712 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11652] ppid=11585 vsize=10991948 memory=12032 CPUtime=0.43 cores=1,3,5,7
/proc/11588/task/11652/stat : 11652 (java) S 11585 11588 8396 0 -1 1077944384 1598 13185 0 0 35 0 5 3 20 0 15 0 107215660 11255754752 96172 33554432000 4194304 4196468 140733901124048 140019879581808 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11653] ppid=11585 vsize=10991948 memory=1008 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11653/stat : 11653 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215661 11255754752 96172 33554432000 4194304 4196468 140733901124048 140018349762784 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11654] ppid=11585 vsize=10991948 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11654/stat : 11654 (java) S 11585 11588 8396 0 -1 1077944384 1 13185 0 0 0 0 5 3 20 0 15 0 107215661 11255754752 96172 33554432000 4194304 4196468 140733901124048 140019878530224 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10991948 KiB

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

/proc/11588/task/11641/stat : 11641 (java) S 11585 11588 8396 0 -1 1077944384 43990 13185 0 0 4657 34 5 3 20 0 15 0 107215655 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140020428818160 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11642] ppid=11585 vsize=11010400 memory=3536512 CPUtime=4.01 cores=1,3,5,7
/proc/11588/task/11642/stat : 11642 (java) R 11585 11588 8396 0 -1 4202560 7730 13185 0 0 333 60 5 3 20 0 15 0 107215656 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140020461226160 140020438631882 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11643] ppid=11585 vsize=11010400 memory=3769 CPUtime=4 cores=1,3,5,7
/proc/11588/task/11643/stat : 11643 (java) R 11585 11588 8396 0 -1 4202560 6938 13185 0 0 331 61 5 3 20 0 15 0 107215656 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140020315945256 140020438631882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11644] ppid=11585 vsize=11010400 memory=3540312 CPUtime=4 cores=1,3,5,7
/proc/11588/task/11644/stat : 11644 (java) R 11585 11588 8396 0 -1 4202560 7381 13185 0 0 330 62 5 3 20 0 15 0 107215656 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140020314891976 140020442012194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11645] ppid=11585 vsize=11010400 memory=4140 CPUtime=3.99 cores=1,3,5,7
/proc/11588/task/11645/stat : 11645 (java) R 11585 11588 8396 0 -1 4202560 7070 13185 0 0 330 61 5 3 20 0 15 0 107215656 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140020313839320 140020440367346 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11646] ppid=11585 vsize=11010400 memory=792 CPUtime=0.2 cores=1,3,5,7
/proc/11588/task/11646/stat : 11646 (java) S 11585 11588 8396 0 -1 1077944384 5390 13185 0 0 12 0 5 3 20 0 15 0 107215657 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140019882739104 140020456994517 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11647] ppid=11585 vsize=11010400 memory=1716 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11647/stat : 11647 (java) S 11585 11588 8396 0 -1 1077944384 17 13185 0 0 0 0 5 3 20 0 15 0 107215657 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140019289286240 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11648] ppid=11585 vsize=11010400 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11648/stat : 11648 (java) S 11585 11588 8396 0 -1 1077944384 6 13185 0 0 0 0 5 3 20 0 15 0 107215658 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140019087959424 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11649] ppid=11585 vsize=11010400 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11649/stat : 11649 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215660 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140018780559696 140020457002907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11650] ppid=11585 vsize=11010400 memory=3540312 CPUtime=5.48 cores=1,3,5,7
/proc/11588/task/11650/stat : 11650 (java) S 11585 11588 8396 0 -1 1077944384 15528 13185 0 0 538 2 5 3 20 0 15 0 107215660 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140019881687408 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11651] ppid=11585 vsize=11010400 memory=12 CPUtime=5.4 cores=1,3,5,7
/proc/11588/task/11651/stat : 11651 (java) S 11585 11588 8396 0 -1 1077944384 14391 13185 0 0 529 3 5 3 20 0 15 0 107215660 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140019880634608 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11652] ppid=11585 vsize=11010400 memory=0 CPUtime=2.18 cores=1,3,5,7
/proc/11588/task/11652/stat : 11652 (java) S 11585 11588 8396 0 -1 1077944384 15611 13185 0 0 206 4 5 3 20 0 15 0 107215660 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140019879581808 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11653] ppid=11585 vsize=11010400 memory=2906620 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11653/stat : 11653 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215661 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140018349762784 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11654] ppid=11585 vsize=11010400 memory=7165335194727116904 CPUtime=0.1 cores=1,3,5,7
/proc/11588/task/11654/stat : 11654 (java) S 11585 11588 8396 0 -1 1077944384 1466 13185 0 0 1 1 5 3 20 0 15 0 107215661 11274649600 1001812 33554432000 4194304 4196468 140733901124048 140019878530224 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
Current children cumulated CPU time: 75.75 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 4007248 KiB

[startup+102.301 s]
/proc/loadavg: 2.29 1.93 1.72 3/215 11655
/proc/meminfo: memFree=14039308/32770624 swapFree=67108860/67108860
[pid=11588] ppid=11585 vsize=11016544 memory=4017436 CPUtime=159.48 cores=1,3,5,7
/proc/11588/stat : 11588 (java) S 11585 11588 8396 0 -1 1077944320 208091 13185 0 0 15633 307 5 3 20 0 15 0 107215646 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140733901106592 140020456984311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
/proc/11588/statm: 2754136 1004359 3545 1 0 2715789 0
[pid=11588/tid=11641] ppid=11585 vsize=11016544 memory=4017436 CPUtime=90.57 cores=1,3,5,7
/proc/11588/task/11641/stat : 11641 (java) R 11585 11588 8396 0 -1 4202560 61446 13185 0 0 9013 36 5 3 20 0 15 0 107215655 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140020428816736 140019997424110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11642] ppid=11585 vsize=11016544 memory=281310828915720 CPUtime=10.98 cores=1,3,5,7
/proc/11588/task/11642/stat : 11642 (java) S 11585 11588 8396 0 -1 1077944384 15511 13185 0 0 1029 61 5 3 20 0 15 0 107215656 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140020461226640 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11643] ppid=11585 vsize=11016544 memory=1228 CPUtime=10.93 cores=1,3,5,7
/proc/11588/task/11643/stat : 11643 (java) S 11585 11588 8396 0 -1 1077944384 15075 13185 0 0 1022 63 5 3 20 0 15 0 107215656 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140020315945488 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11644] ppid=11585 vsize=11016544 memory=1428 CPUtime=10.94 cores=1,3,5,7
/proc/11588/task/11644/stat : 11644 (java) S 11585 11588 8396 0 -1 1077944384 16808 13185 0 0 1023 63 5 3 20 0 15 0 107215656 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140020314892688 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11645] ppid=11585 vsize=11016544 memory=6791534058613427641 CPUtime=10.92 cores=1,3,5,7
/proc/11588/task/11645/stat : 11645 (java) S 11585 11588 8396 0 -1 1077944384 14483 13185 0 0 1022 62 5 3 20 0 15 0 107215656 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140020313839888 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11646] ppid=11585 vsize=11016544 memory=18484 CPUtime=0.83 cores=1,3,5,7
/proc/11588/task/11646/stat : 11646 (java) S 11585 11588 8396 0 -1 1077944384 10253 13185 0 0 74 1 5 3 20 0 15 0 107215657 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140019882740592 140020456995458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11647] ppid=11585 vsize=11016544 memory=4017428 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11647/stat : 11647 (java) S 11585 11588 8396 0 -1 1077944384 23 13185 0 0 0 0 5 3 20 0 15 0 107215657 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140019289286240 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11648] ppid=11585 vsize=11016544 memory=2412 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11648/stat : 11648 (java) S 11585 11588 8396 0 -1 1077944384 8 13185 0 0 0 0 5 3 20 0 15 0 107215658 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140019087959424 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11649] ppid=11585 vsize=11016544 memory=281310829329888 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11649/stat : 11649 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215660 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140018780559696 140020457002907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11650] ppid=11585 vsize=11016544 memory=281310828761968 CPUtime=10.84 cores=1,3,5,7
/proc/11588/task/11650/stat : 11650 (java) S 11585 11588 8396 0 -1 1077944384 26457 13185 0 0 1072 4 5 3 20 0 15 0 107215660 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140019881687408 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11651] ppid=11585 vsize=11016544 memory=281310829689280 CPUtime=10.68 cores=1,3,5,7
/proc/11588/task/11651/stat : 11651 (java) S 11585 11588 8396 0 -1 1077944384 24746 13185 0 0 1056 4 5 3 20 0 15 0 107215660 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140019880634608 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11652] ppid=11585 vsize=11016544 memory=31356350842106267 CPUtime=3.27 cores=1,3,5,7
/proc/11588/task/11652/stat : 11652 (java) S 11585 11588 8396 0 -1 1077944384 18858 13185 0 0 313 6 5 3 20 0 15 0 107215660 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140019879581808 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11653] ppid=11585 vsize=11016544 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11653/stat : 11653 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215661 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140018349762784 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11654] ppid=11585 vsize=11016544 memory=5788 CPUtime=0.13 cores=1,3,5,7
/proc/11588/task/11654/stat : 11654 (java) S 11585 11588 8396 0 -1 1077944384 2221 13185 0 0 2 3 5 3 20 0 15 0 107215661 11280941056 1004359 33554432000 4194304 4196468 140733901124048 140019878530224 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
Current children cumulated CPU time: 159.48 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4017436 KiB

[startup+162.301 s]
/proc/loadavg: 1.91 1.88 1.72 3/215 11656
/proc/meminfo: memFree=14034192/32770624 swapFree=67108860/67108860
[pid=11588] ppid=11585 vsize=11016544 memory=4022428 CPUtime=234.65 cores=1,3,5,7
/proc/11588/stat : 11588 (java) S 11585 11588 8396 0 -1 1077944320 255598 13185 0 0 23146 311 5 3 20 0 15 0 107215646 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140733901106592 140020456984311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
/proc/11588/statm: 2754136 1005607 3546 1 0 2715789 0
[pid=11588/tid=11641] ppid=11585 vsize=11016544 memory=4017432 CPUtime=145.52 cores=1,3,5,7
/proc/11588/task/11641/stat : 11641 (java) R 11585 11588 8396 0 -1 4202560 66014 13185 0 0 14508 36 5 3 20 0 15 0 107215655 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140020428819184 140020002103016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11642] ppid=11585 vsize=11016544 memory=281310828730880 CPUtime=15.91 cores=1,3,5,7
/proc/11588/task/11642/stat : 11642 (java) S 11585 11588 8396 0 -1 1077944384 21001 13185 0 0 1521 62 5 3 20 0 15 0 107215656 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140020461226640 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11643] ppid=11585 vsize=11016544 memory=4022436 CPUtime=15.87 cores=1,3,5,7
/proc/11588/task/11643/stat : 11643 (java) S 11585 11588 8396 0 -1 1077944384 23156 13185 0 0 1516 63 5 3 20 0 15 0 107215656 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140020315945488 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11644] ppid=11585 vsize=11016544 memory=4022436 CPUtime=15.89 cores=1,3,5,7
/proc/11588/task/11644/stat : 11644 (java) S 11585 11588 8396 0 -1 1077944384 23615 13185 0 0 1517 64 5 3 20 0 15 0 107215656 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140020314892688 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11645] ppid=11585 vsize=11016544 memory=4022436 CPUtime=15.82 cores=1,3,5,7
/proc/11588/task/11645/stat : 11645 (java) S 11585 11588 8396 0 -1 1077944384 19779 13185 0 0 1512 62 5 3 20 0 15 0 107215656 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140020313839888 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11646] ppid=11585 vsize=11016544 memory=22221 CPUtime=0.93 cores=1,3,5,7
/proc/11588/task/11646/stat : 11646 (java) S 11585 11588 8396 0 -1 1077944384 21403 13185 0 0 84 1 5 3 20 0 15 0 107215657 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140019882740592 140020456995458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11647] ppid=11585 vsize=11016544 memory=4022436 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11647/stat : 11647 (java) S 11585 11588 8396 0 -1 1077944384 23 13185 0 0 0 0 5 3 20 0 15 0 107215657 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140019289286240 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11648] ppid=11585 vsize=11016544 memory=4022436 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11648/stat : 11648 (java) S 11585 11588 8396 0 -1 1077944384 8 13185 0 0 0 0 5 3 20 0 15 0 107215658 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140019087959424 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11649] ppid=11585 vsize=11016544 memory=4022428 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11649/stat : 11649 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215660 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140018780559696 140020457002907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11650] ppid=11585 vsize=11016544 memory=4022436 CPUtime=11.07 cores=1,3,5,7
/proc/11588/task/11650/stat : 11650 (java) S 11585 11588 8396 0 -1 1077944384 29022 13185 0 0 1095 4 5 3 20 0 15 0 107215660 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140019881687408 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11651] ppid=11585 vsize=11016544 memory=0 CPUtime=10.82 cores=1,3,5,7
/proc/11588/task/11651/stat : 11651 (java) S 11585 11588 8396 0 -1 1077944384 25894 13185 0 0 1069 5 5 3 20 0 15 0 107215660 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140019880634608 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11652] ppid=11585 vsize=11016544 memory=4017320 CPUtime=3.28 cores=1,3,5,7
/proc/11588/task/11652/stat : 11652 (java) S 11585 11588 8396 0 -1 1077944384 21211 13185 0 0 314 6 5 3 20 0 15 0 107215660 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140019879581808 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11653] ppid=11585 vsize=11016544 memory=4022436 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11653/stat : 11653 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215661 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140018349762784 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11654] ppid=11585 vsize=11016544 memory=4022428 CPUtime=0.17 cores=1,3,5,7
/proc/11588/task/11654/stat : 11654 (java) S 11585 11588 8396 0 -1 1077944384 2270 13185 0 0 4 5 5 3 20 0 15 0 107215661 11280941056 1005607 33554432000 4194304 4196468 140733901124048 140019878530224 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
Current children cumulated CPU time: 234.65 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4022428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+178.801 s]
/proc/loadavg: 1.87 1.87 1.72 6/215 11656
/proc/meminfo: memFree=14038784/32770624 swapFree=67108860/67108860
[pid=11588] ppid=11585 vsize=11016544 memory=3988048 CPUtime=252.01 cores=1,3,5,7
/proc/11588/stat : 11588 (java) S 11585 11588 8396 0 -1 1077944320 258815 13185 0 0 24881 312 5 3 20 0 15 0 107215646 11280941056 997012 33554432000 4194304 4196468 140733901124048 140733901106592 140020456984311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
/proc/11588/statm: 2754136 997012 3546 1 0 2715789 0
[pid=11588/tid=11641] ppid=11585 vsize=11016544 memory=288230596050944315 CPUtime=161.75 cores=1,3,5,7
/proc/11588/task/11641/stat : 11641 (java) R 11585 11588 8396 0 -1 4202560 66685 13185 0 0 16131 36 5 3 20 0 15 0 107215655 11280941056 997012 33554432000 4194304 4196468 140733901124048 140020428819360 140020002152729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11642] ppid=11585 vsize=11016544 memory=14691911432671120 CPUtime=16.17 cores=1,3,5,7
/proc/11588/task/11642/stat : 11642 (java) S 11585 11588 8396 0 -1 1077944384 21063 13185 0 0 1547 62 5 3 20 0 15 0 107215656 11280941056 997012 33554432000 4194304 4196468 140733901124048 140020461226640 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11643] ppid=11585 vsize=11016544 memory=840 CPUtime=16.11 cores=1,3,5,7
/proc/11588/task/11643/stat : 11643 (java) S 11585 11588 8396 0 -1 1077944384 24278 13185 0 0 1540 63 5 3 20 0 15 0 107215656 11280941056 997012 33554432000 4194304 4196468 140733901124048 140020315945488 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11644] ppid=11585 vsize=11016544 memory=1796 CPUtime=16.15 cores=1,3,5,7
/proc/11588/task/11644/stat : 11644 (java) S 11585 11588 8396 0 -1 1077944384 23699 13185 0 0 1543 64 5 3 20 0 15 0 107215656 11280941056 997012 33554432000 4194304 4196468 140733901124048 140020314892688 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11645] ppid=11585 vsize=11016544 memory=0 CPUtime=16.08 cores=1,3,5,7
/proc/11588/task/11645/stat : 11645 (java) S 11585 11588 8396 0 -1 1077944384 19834 13185 0 0 1538 62 5 3 20 0 15 0 107215656 11280941056 997012 33554432000 4194304 4196468 140733901124048 140020313839888 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11646] ppid=11585 vsize=11016544 memory=281310830034240 CPUtime=0.93 cores=1,3,5,7
/proc/11588/task/11646/stat : 11646 (java) S 11585 11588 8396 0 -1 1077944384 21456 13185 0 0 84 1 5 3 20 0 15 0 107215657 11280941056 997012 33554432000 4194304 4196468 140733901124048 140019882740592 140020456995458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11647] ppid=11585 vsize=11016544 memory=140655415039720 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11647/stat : 11647 (java) S 11585 11588 8396 0 -1 1077944384 23 13185 0 0 0 0 5 3 20 0 15 0 107215657 11280941056 997012 33554432000 4194304 4196468 140733901124048 140019289286240 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11648] ppid=11585 vsize=11016544 memory=2680 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11648/stat : 11648 (java) S 11585 11588 8396 0 -1 1077944384 8 13185 0 0 0 0 5 3 20 0 15 0 107215658 11280941056 997012 33554432000 4194304 4196468 140733901124048 140019087959424 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11649] ppid=11585 vsize=11016544 memory=2592 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11649/stat : 11649 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215660 11280941056 997012 33554432000 4194304 4196468 140733901124048 140018780559696 140020457002907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11650] ppid=11585 vsize=11016544 memory=1408 CPUtime=11.07 cores=1,3,5,7
/proc/11588/task/11650/stat : 11650 (java) S 11585 11588 8396 0 -1 1077944384 29075 13185 0 0 1095 4 5 3 20 0 15 0 107215660 11280941056 997012 33554432000 4194304 4196468 140733901124048 140019881687408 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11651] ppid=11585 vsize=11016544 memory=3144 CPUtime=10.88 cores=1,3,5,7
/proc/11588/task/11651/stat : 11651 (java) S 11585 11588 8396 0 -1 1077944384 26790 13185 0 0 1075 5 5 3 20 0 15 0 107215660 11280941056 997012 33554432000 4194304 4196468 140733901124048 140019880634608 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11652] ppid=11585 vsize=11016544 memory=2197176 CPUtime=3.29 cores=1,3,5,7
/proc/11588/task/11652/stat : 11652 (java) S 11585 11588 8396 0 -1 1077944384 21424 13185 0 0 315 6 5 3 20 0 15 0 107215660 11280941056 997012 33554432000 4194304 4196468 140733901124048 140019879581808 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11653] ppid=11585 vsize=11016544 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/11588/task/11653/stat : 11653 (java) S 11585 11588 8396 0 -1 1077944384 3 13185 0 0 0 0 5 3 20 0 15 0 107215661 11280941056 997012 33554432000 4194304 4196468 140733901124048 140018349762784 140020456994517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
[pid=11588/tid=11654] ppid=11585 vsize=11016544 memory=7305489993544592738 CPUtime=0.18 cores=1,3,5,7
/proc/11588/task/11654/stat : 11654 (java) S 11585 11588 8396 0 -1 1077944384 2278 13185 0 0 4 6 5 3 20 0 15 0 107215661 11280941056 997012 33554432000 4194304 4196468 140733901124048 140019878530224 140020456995458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31916032 140733901126248 140733901129057 140733901129057 140733901131727 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3988048 KiB

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

[startup+178.854 s]
# the end of solver process 11588 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.884 s, system=3.19052 s

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

Child status: 143
Real time (s): 178.854
CPU time (s): 252.074
CPU user time (s): 248.884
CPU system time (s): 3.19052
CPU usage (%): 140.939
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 4089112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.884
system time used= 3.19052
maximum resident set size= 4089112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16587
involuntary context switches= 852


# summary of solver processes directly reported to runsolver:
#   pid: 11588
#   total CPU time (s): 252.074
#   total CPU user time (s): 248.884
#   total CPU system time (s): 3.19052

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.861394 second user time and 1.94587 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-29 22:35:24
IDJOB=4302943
IDBENCH=141261
IDSOLVER=2777
FILE ID=node103/4302943-1532896524
RUNJOBID= node103-1532895438-9922
PBS_JOBID= 21022525
Free space on /tmp= 56656 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302943-1532896524/watcher-4302943-1532896524 -o /tmp/evaluation-result-4302943-1532896524/solver-4302943-1532896524 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9922 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=2089384191 -superng HOME/instance-4302943-1532896524.xml

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

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=2089384191

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.48
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:        18438568 kB
MemAvailable:   30130176 kB
Buffers:          309672 kB
Cached:         11569320 kB
SwapCached:            0 kB
Active:          5777200 kB
Inactive:        7954704 kB
Active(anon):    1855452 kB
Inactive(anon):    25184 kB
Active(file):    3921748 kB
Inactive(file):  7929520 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            132204 kB
Writeback:             0 kB
AnonPages:       1891212 kB
Mapped:            58284 kB
Shmem:             25228 kB
Slab:             296956 kB
SReclaimable:     268800 kB
SUnreclaim:        28156 kB
KernelStack:        3792 kB
PageTables:         8868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3903304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1312768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56632 MiB
End job on node103 at 2018-07-29 22:38:24