Trace number 4302606

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)89722677 252.15 219.558

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test02-0250_c18.xml
MD5SUM2354d9b784d04df982f0d1b4068abd13
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark89722677
Best CPU time to get the best result obtained on this benchmark252.15
Satisfiable
(Un)Satisfiability was proved
Number of variables3894
Number of constraints2462
Number of domains32
Minimum domain size1
Maximum domain size175
Distribution of domain sizes[{"size":1,"count":1},{"size":2,"count":1380},{"size":11,"count":1131},{"size":12,"count":1},{"size":23,"count":45},{"size":47,"count":70},{"size":57,"count":33},{"size":60,"count":11},{"size":69,"count":36},{"size":70,"count":19},{"size":79,"count":14},{"size":81,"count":2},{"size":84,"count":6},{"size":93,"count":2},{"size":94,"count":10},{"size":110,"count":4},{"size":113,"count":12},{"size":118,"count":77},{"size":127,"count":39},{"size":137,"count":13},{"size":151,"count":17},{"size":153,"count":16},{"size":154,"count":100},{"size":170,"count":27},{"size":175,"count":828}]
Minimum variable degree2
Maximum variable degree1132
Distribution of variable degrees[{"degree":2,"count":3396},{"degree":3,"count":10},{"degree":4,"count":16},{"degree":5,"count":23},{"degree":6,"count":38},{"degree":7,"count":47},{"degree":8,"count":26},{"degree":9,"count":44},{"degree":10,"count":59},{"degree":11,"count":73},{"degree":12,"count":68},{"degree":13,"count":29},{"degree":14,"count":29},{"degree":15,"count":16},{"degree":16,"count":13},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":1132,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1131},{"arity":6,"count":1131}]
Number of extensional constraints1131
Number of intensional constraints1331
Distribution of constraint types[{"type":"extension","count":1131},{"type":"intension","count":1331}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
106.46/77.74	o 89733998
107.00/77.96	o 89733997
107.29/78.06	o 89722691
107.29/78.09	o 89722690
107.60/78.12	o 89722678
107.88/78.21	o 89722677
252.07/219.51	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.07/219.51		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.07/219.51		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.07/219.51		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
252.07/219.51		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.07/219.51		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.07/219.51		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.07/219.51		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
252.07/219.51		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.07/219.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.07/219.51		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.07/219.51		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.07/219.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.07/219.51		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.07/219.51		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.07/219.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.07/219.51		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.07/219.51		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.07/219.51		at scala.Option.map(Option.scala:146)
252.07/219.51		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.07/219.51		at concrete.MAC.mac(MAC.scala:203)
252.07/219.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.07/219.51		at scala.util.Try$.apply(Try.scala:209)
252.07/219.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.07/219.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.07/219.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.07/219.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.07/219.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.07/219.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.07/219.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.07/219.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.07/219.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.07/219.51		at concrete.MAC.oneRun(MAC.scala:253)
252.07/219.51		at concrete.MAC.nextSolution(MAC.scala:272)
252.07/219.51		at concrete.MAC.nextSolution(MAC.scala:355)
252.07/219.51		at concrete.Solver.hasNext(Solver.scala:166)
252.07/219.51		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.07/219.51		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.07/219.51		at concrete.Solver.foreach(Solver.scala:68)
252.07/219.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.07/219.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.07/219.51		at scala.util.Success.map(Try.scala:209)
252.07/219.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.07/219.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.07/219.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.07/219.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.07/219.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.07/219.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.07/219.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.07/219.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.07/219.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.07/219.51		at scala.collection.immutable.List.foreach(List.scala:389)
252.07/219.51		at scala.App.main(App.scala:76)
252.07/219.51		at scala.App.main$(App.scala:74)
252.07/219.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.07/219.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.07/219.52	v <instantiation cost="89722677">
252.07/219.52	v       <list>
252.07/219.52	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] 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] 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]
252.07/219.52	v       </list>
252.07/219.52	v       <values>
252.07/219.52	v         2236 2428 2916 2720 2640 2352 2452 2344 2780 2916 2344 2600 2220 2336 2368 2660 2268 2916 2648 2352 2752 2504 2860 2512 2868 2848 2484 2376 2532 2240 2232 2648 2280 2452 2240 2528 2228 2336 2268 2356 2660 2260 2620 2808 2804 2244 2348 2304 2820 2816 2876 2256 2440 2240 2592 2368 2736 2496 2916 2792 2844 2776 2376 2504 2280 2272 2840 2560 2876 2736 2544 2628 2596 2596 2696 2636 2876 2352 2812 2588 2592 2916 2884 2220 2688 2296 2512 2620 2732 2304 2304 2696 2876 2280 2544 2688 2232 2560 2504 2628 2876 2392 2604 2848 2552 2260 2648 2344 2536 2392 2548 2852 2648 2420 2432 2304 2612 2416 2308 2392 2876 2560 2284 2380 2916 2412 2668 2688 2572 2260 2588 2456 2504 2352 2552 2220 2304 2764 2304 2512 2344 2680 2272 2544 2760 2556 2792 2500 2692 2392 2496 2392 2316 2612 2580 2752 2628 2572 2800 2544 2340 2520 2568 2688 2648 2252 2472 2280 2240 2916 2620 2916 2564 2260 2568 2472 2220 2908 2772 2308 2804 2276 2564 2468 2344 2240 2324 2620 2876 2576 2808 2268 2400 2600 2600 2536 2524 2480 2256 2496 2720 2440 2304 2876 2356 2448 2528 2412 2740 2588 2540 2648 2424 2280 2444 2544 2688 2584 2488 2520 2248 2364 2380 2536 2396 2640 2376 2264 2532 2328 2660 2812 2328 2228 2572 2296 2464 2620 2572 2464 2504 2344 2580 2632 2876 2916 2844 2288 2292 2688 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 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 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 2 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 6 0 0 1 0 1 0 0 0 2 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 6 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 5 0 0 1 0 1 1 1 0 0 0 0 0 1 4 0 1 1 1 0 0 0 0 0 0 0 0 1 6 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 6 0 0 0 1 0 0 0 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 4 0 0 1 1 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 3 0 0 4 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 6 0 6 0 2 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 6 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 6 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 1 0 0 0 0 1 1 0 6 0 0 0 3 1 1 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 3 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 6 0 0 1 1 0 0 0 1 1 0 0 1 6 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 6 0 0 0 0 5 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 1 0 0 6 0 0 0 0 0 1 0 0 1 6 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 6 0 1 0 0 0 0 0 6 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 3 0 6 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 5 0 1 1 1 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 0 0 1 0 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 6 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 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 1 0 0 0 0 0 0 4 0 6 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 6 0 0 0 1 0 0 0 0 0 6 0 0 1 1 0 0 0 0 0 0 0 0 0 0 5 6 0 0 1 2 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 6 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 2 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 6 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 6 0 0 0 0 0 4 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 0 3 3 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 6 0 624 412 260 312 68 320 236 16 20 8 132 36 124 76 112 112 48 572 384 324 280 228 108 392 472 628 208 492 464 124 32 44 208 444 376 452 276 136 236 112 48 492 500 184 148 424 136 104 532 208 152 176 564 428 316 324 284 580 268 540 356 32 64 268 356 452 336 108 104 348 276 532 80 56 296 96 88 256 48 276 48 28 312 656 696 400 476 60 324 384 88 172 280 104 76 456 360 56 84 276 580 248 324 236 96 176 28 196 436 320 8 324 416 400 372 236 36 524 4 124 152 344 36 648 296 316 268 476 328 612 236 360 288 444 444 660 688 296 160 104 52 84 204 324 228 112 144 508 532 120 40 104 36 220 236 64 124 164 132 472 208 372 180 152 148 244 136 272 232 232 84 76 412 60 216 80 68 212 420 364 564 556 468 296 632 284 308 256 76 404 176 236 272 216 136 296 348 56 608 220 436 304 280 28 436 208 392 76 208 148 216 72 472 80 316 52 224 68 60 352 156 208 116 156 188 8 288 536 496 152 180 372 64 676 324 480 500 344 52 296 124 28 136 560 544 40 644 72 684 332 352 208 192 352 100 60 344 92 392 144 56 60 320 84 292 212 464 192 676 380 568 288 448 160 264 256 168 348 136 224 56 592 28 140 400 368 32 688 460 536 284 48 12 252 128 68 648 580 548 292 216 208 164 580 192 244 228 572 84 380 280 36 176 40 236 96 436 420 84 380 520 64 256 560 216 152 148 156 96 140 108 532 516 12 436 132 160 44 460 312 32 116 68 124 208 180 196 548 528 364 308 36 508 72 584 500 176 332 240 332 300 444 316 384 308 404 60 376 328 44 340 64 64 88 572 84 260 24 24 192 224 232 560 152 56 308 20 580 356 56 100 440 212 384 508 436 244 56 564 248 40 180 272 444 304 624 548 340 660 256 544 88 16 40 208 620 400 436 108 148 240 116 188 32 220 212 408 152 340 228 408 184 296 96 260 96 96 424 408 368 508 52 196 352 216 116 456 132 304 356 164 464 192 340 472 204 408 200 52 184 132 24 44 268 540 296 220 636 372 684 608 156 372 652 520 56 488 228 72 220 500 528 92 348 156 356 464 556 504 40 80 140 192 116 204 320 96 144 228 68 384 124 192 168 20 112 48 372 184 56 244 68 404 148 560 596 308 24 400 348 60 296 52 224 424 340 32 644 292 448 388 300 620 252 160 368 128 168 280 80 240 324 532 316 592 296 228 304 40 344 432 152 444 332 260 148 152 28 64 188 104 164 32 40 368 92 40 136 352 284 332 60 320 168 84 204 252 356 280 72 148 252 36 180 220 112 404 96 332 84 140 396 376 224 524 264 68 260 316 200 240 64 328 328 80 176 212 244 348 320 292 288 324 140 96 180 96 148 148 72 460 468 304 580 340 276 28 360 696 184 296 428 364 332 108 252 292 96 76 68 168 32 176 232 260 76 340 76 312 48 348 140 368 52 76 224 356 88 292 428 340 184 112 320 248 88 276 184 336 612 112 504 96 184 72 464 92 388 316 124 424 64 128 164 116 572 196 248 72 620 496 532 48 28 264 252 48 312 60 112 216 292 60 296 68 188 88 156 200 148 20 132 96 256 356 120 316 136 232 188 196 304 96 184 56 484 456 264 312 304 584 256 460 88 68 144 224 32 352 36 208 72 544 344 588 312 60 200 84 16 96 276 656 408 428 504 540 84 616 324 164 48 160 156 276 276 232 196 192 380 152 24 264 192 296 56 240 72 340 220 88 172 268 180 100 132 8 76 44 232 80 356 440 96 284 320 496 164 240 52 160 328 76 112 104 232 24 184 76 612 384 308 108 28 320 460 324 28 72 156 452 56 260 88 224 20 80 84 104 88 196 532 256 68 608 380 572 188 128 356 236 140 356 288 192 108 380 128 188 116 152 228 404 116 640 648 452 40 84 156 496 88 464 108 164 20 448 156 392 400 324 76 168 448 420 300 28 40 244 316 204 320 92 116 116 84 64 232 32 164 184 184 92 208 136 96 28 352 300 244 324 168 504 488 524 496 468 300 112 612 260 280 268 288 168 272 48 532 468 52 460 424 160 488 20 272 260 44 36 260 220 32 56 4 372 192 172 364 496 72 84 336 300 328 52 296 400 220 192 132 32 56 312 216 116 516 380 84 88 72 192 32 132 88 104 296 124 560 224 204 68 212 332 40 148 424 92 156 372 124 344 48 172 524 456 532 504 336 76 240 96 260 16 108 128 168 80 240 88 116 68 316 144 12 280 76 32 208 564 568 172 400 344 80 196 332 256 344 44 200 352 208 164 372 24 172 36 252 216 244 268 8 284 600 372 32 104 232 480 500 240 204 156 360 440 36 204 188 156 56 76 136 48 120 240 56 636 100 44 120 256 340 136 288 300 220 560 196 96 88 444 120 104 312 88 80 64 272 136 112 208 84 100 80 164 144 164 60 184 16 100 28 248 148 428 28 208 80 96 436 40 180 276 160 164 76 84 168 120 108 176 120 176 96 32 636 136 280 256 240 596 52 132 68 264 540 64 204 180 120 412
252.07/219.52	v       </values>
252.07/219.52	v     </instantiation>
252.07/219.52	s SATISFIABLE

Verifier Data 

OK	89722677

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302606-1532896530/watcher-4302606-1532896530 -o /tmp/evaluation-result-4302606-1532896530/solver-4302606-1532896530 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1719559322 HOME/instance-4302606-1532896530.xml 

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

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

solver pid=18702, runsolver pid=18699

[startup+0.100097 s]*
/proc/loadavg: 1.84 1.77 1.81 3/206 18759
/proc/meminfo: memFree=21609912/32770624 swapFree=67108860/67108860
[pid=18702] ppid=18699 vsize=10005480 memory=18864 CPUtime=0.08 cores=1,3,5,7
/proc/18702/stat : 18702 (java) S 18699 18702 12183 0 -1 1077944320 4337 13106 0 0 1 0 5 2 20 0 6 0 107216240 10245611520 4716 33554432000 4194304 4196468 140724064384960 140724064367504 140142091206391 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
/proc/18702/statm: 2501370 4716 1935 1 0 2489808 0
[pid=18702/tid=18755] ppid=18699 vsize=10005480 memory=4279135703980344719 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18755/stat : 18755 (java) R 18699 18702 12183 0 -1 4202560 2152 13106 0 0 0 0 5 2 20 0 6 0 107216249 10245611520 4716 33554432000 4194304 4196468 140724064384960 140142063043152 140142076888917 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18756] ppid=18699 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18756/stat : 18756 (java) S 18699 18702 12183 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 6 0 107216249 10245611520 4716 33554432000 4194304 4196468 140724064384960 140142095448464 140142091216597 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18757] ppid=18699 vsize=10005480 memory=140281111578240 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18757/stat : 18757 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 6 0 107216249 10245611520 4716 33554432000 4194304 4196468 140724064384960 140141966096656 140142091216597 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18758] ppid=18699 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18758/stat : 18758 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 6 0 107216249 10245611520 4716 33554432000 4194304 4196468 140724064384960 140141629594256 140142091216597 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18759] ppid=18699 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18759/stat : 18759 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 6 0 107216249 10245611520 4716 33554432000 4194304 4196468 140724064384960 140141628541456 140142091216597 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18864 KiB

[startup+0.209964 s]*
/proc/loadavg: 1.84 1.77 1.81 3/215 18768
/proc/meminfo: memFree=21585636/32770624 swapFree=67108860/67108860
[pid=18702] ppid=18699 vsize=10982744 memory=44616 CPUtime=0.25 cores=1,3,5,7
/proc/18702/stat : 18702 (java) S 18699 18702 12183 0 -1 1077944320 7838 13106 0 0 17 1 5 2 20 0 15 0 107216240 11246329856 11088 33554432000 4194304 4196468 140724064384960 140724064367504 140142091206391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
/proc/18702/statm: 2745686 11154 2948 1 0 2708109 0
[pid=18702/tid=18755] ppid=18699 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/18702/task/18755/stat : 18755 (java) R 18699 18702 12183 0 -1 4202560 4448 13106 0 0 10 1 5 2 20 0 15 0 107216249 11246329856 11154 33554432000 4194304 4196468 140724064384960 140142063003312 140141980704616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18756] ppid=18699 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18756/stat : 18756 (java) S 18699 18702 12183 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246329856 11154 33554432000 4194304 4196468 140724064384960 140142095448464 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18757] ppid=18699 vsize=10982744 memory=140281111578240 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18757/stat : 18757 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246329856 11154 33554432000 4194304 4196468 140724064384960 140141966096656 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18758] ppid=18699 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18758/stat : 18758 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246329856 11154 33554432000 4194304 4196468 140724064384960 140141629594256 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18759] ppid=18699 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18759/stat : 18759 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246329856 11154 33554432000 4194304 4196468 140724064384960 140141628541456 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18760] ppid=18699 vsize=10982744 memory=140281111578240 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18760/stat : 18760 (java) S 18699 18702 12183 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 107216251 11246329856 11154 33554432000 4194304 4196468 140724064384960 140141584288368 140142091217538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18761] ppid=18699 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18761/stat : 18761 (java) S 18699 18702 12183 0 -1 1077944384 13 13106 0 0 0 0 5 2 20 0 15 0 107216251 11246329856 11154 33554432000 4194304 4196468 140724064384960 140140823438624 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18762] ppid=18699 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18762/stat : 18762 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216252 11246329856 11154 33554432000 4194304 4196468 140724064384960 140140622112368 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18763] ppid=18699 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18763/stat : 18763 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11246329856 11154 33554432000 4194304 4196468 140724064384960 140140314712656 140142091224987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18764] ppid=18699 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18702/task/18764/stat : 18764 (java) S 18699 18702 12183 0 -1 1077944384 369 13106 0 0 1 0 5 2 20 0 15 0 107216254 11246329856 11154 33554432000 4194304 4196468 140724064384960 140141583235184 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18765] ppid=18699 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18765/stat : 18765 (java) S 18699 18702 12183 0 -1 1077944384 252 13106 0 0 0 0 5 2 20 0 15 0 107216254 11246329856 11154 33554432000 4194304 4196468 140724064384960 140141582182384 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18766] ppid=18699 vsize=10982744 memory=140281111578240 CPUtime=0.1 cores=1,3,5,7
/proc/18702/task/18766/stat : 18766 (java) R 18699 18702 12183 0 -1 4202560 616 13106 0 0 3 0 5 2 20 0 15 0 107216254 11246329856 11154 33554432000 4194304 4196468 140724064384960 140141581130096 140142070009520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18767] ppid=18699 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18767/stat : 18767 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11246329856 11154 33554432000 4194304 4196468 140724064384960 140139883915744 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18768] ppid=18699 vsize=10982744 memory=140281111578240 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18768/stat : 18768 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216255 11246329856 11154 33554432000 4194304 4196468 140724064384960 140141580078000 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44616 KiB

[startup+0.310275 s]*
/proc/loadavg: 1.84 1.77 1.81 4/215 18768
/proc/meminfo: memFree=21574260/32770624 swapFree=67108860/67108860
[pid=18702] ppid=18699 vsize=10983192 memory=55328 CPUtime=0.38 cores=1,3,5,7
/proc/18702/stat : 18702 (java) S 18699 18702 12183 0 -1 1077944320 10408 13106 0 0 28 3 5 2 20 0 15 0 107216240 11246788608 13832 33554432000 4194304 4196468 140724064384960 140724064367504 140142091206391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
/proc/18702/statm: 2745798 13832 3067 1 0 2708109 0
[pid=18702/tid=18755] ppid=18699 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18702/task/18755/stat : 18755 (java) R 18699 18702 12183 0 -1 4202560 6944 13106 0 0 19 2 5 2 20 0 15 0 107216249 11246788608 13832 33554432000 4194304 4196468 140724064384960 140142062995920 140142075286878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18756] ppid=18699 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18756/stat : 18756 (java) S 18699 18702 12183 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246788608 13832 33554432000 4194304 4196468 140724064384960 140142095448464 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18757] ppid=18699 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18757/stat : 18757 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246788608 13832 33554432000 4194304 4196468 140724064384960 140141966096656 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18758] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18758/stat : 18758 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246788608 13832 33554432000 4194304 4196468 140724064384960 140141629594256 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18759] ppid=18699 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18759/stat : 18759 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246788608 13832 33554432000 4194304 4196468 140724064384960 140141628541456 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18760] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18760/stat : 18760 (java) S 18699 18702 12183 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 107216251 11246788608 13832 33554432000 4194304 4196468 140724064384960 140141584288368 140142091217538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18761] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18761/stat : 18761 (java) S 18699 18702 12183 0 -1 1077944384 13 13106 0 0 0 0 5 2 20 0 15 0 107216251 11246788608 13832 33554432000 4194304 4196468 140724064384960 140140823438624 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18762] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18762/stat : 18762 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216252 11246788608 13832 33554432000 4194304 4196468 140724064384960 140140622112368 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18763] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18763/stat : 18763 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11246788608 13832 33554432000 4194304 4196468 140724064384960 140140314712656 140142091224987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18764] ppid=18699 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18702/task/18764/stat : 18764 (java) S 18699 18702 12183 0 -1 1077944384 369 13106 0 0 2 0 5 2 20 0 15 0 107216254 11246788608 13832 33554432000 4194304 4196468 140724064384960 140141583235184 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18765] ppid=18699 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18702/task/18765/stat : 18765 (java) S 18699 18702 12183 0 -1 1077944384 255 13106 0 0 1 0 5 2 20 0 15 0 107216254 11246788608 13832 33554432000 4194304 4196468 140724064384960 140141582182384 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18766] ppid=18699 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18702/task/18766/stat : 18766 (java) S 18699 18702 12183 0 -1 1077944384 631 13106 0 0 5 0 5 2 20 0 15 0 107216254 11246788608 13832 33554432000 4194304 4196468 140724064384960 140141581130096 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18767] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18767/stat : 18767 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11246788608 13832 33554432000 4194304 4196468 140724064384960 140139883915744 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18768] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18768/stat : 18768 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216255 11246788608 13832 33554432000 4194304 4196468 140724064384960 140141580078000 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55328 KiB

[startup+0.700771 s]
/proc/loadavg: 1.84 1.77 1.81 3/215 18768
/proc/meminfo: memFree=21562352/32770624 swapFree=67108860/67108860
[pid=18702] ppid=18699 vsize=10983192 memory=88644 CPUtime=0.98 cores=1,3,5,7
/proc/18702/stat : 18702 (java) S 18699 18702 12183 0 -1 1077944320 16747 13106 0 0 87 4 5 2 20 0 15 0 107216240 11246788608 22161 33554432000 4194304 4196468 140724064384960 140724064367504 140142091206391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
/proc/18702/statm: 2745798 22161 3247 1 0 2708109 0
[pid=18702/tid=18755] ppid=18699 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18702/task/18755/stat : 18755 (java) R 18699 18702 12183 0 -1 4202560 12192 13106 0 0 56 3 5 2 20 0 15 0 107216249 11246788608 22161 33554432000 4194304 4196468 140724064384960 140142063027216 140142071481785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18756] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18756/stat : 18756 (java) S 18699 18702 12183 0 -1 1077944384 2 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246788608 22161 33554432000 4194304 4196468 140724064384960 140142095448464 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18757] ppid=18699 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18757/stat : 18757 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246788608 22161 33554432000 4194304 4196468 140724064384960 140141966096656 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18758] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18758/stat : 18758 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246788608 22161 33554432000 4194304 4196468 140724064384960 140141629594256 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18759] ppid=18699 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18759/stat : 18759 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216249 11246788608 22161 33554432000 4194304 4196468 140724064384960 140141628541456 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18760] ppid=18699 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18760/stat : 18760 (java) S 18699 18702 12183 0 -1 1077944384 5 13106 0 0 0 0 5 2 20 0 15 0 107216251 11246788608 22161 33554432000 4194304 4196468 140724064384960 140141584288368 140142091217538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18761] ppid=18699 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18761/stat : 18761 (java) S 18699 18702 12183 0 -1 1077944384 13 13106 0 0 0 0 5 2 20 0 15 0 107216251 11246788608 22161 33554432000 4194304 4196468 140724064384960 140140823438624 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18762] ppid=18699 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18762/stat : 18762 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216252 11246788608 22161 33554432000 4194304 4196468 140724064384960 140140622112368 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18763] ppid=18699 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18763/stat : 18763 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11246788608 22161 33554432000 4194304 4196468 140724064384960 140140314712656 140142091224987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18764] ppid=18699 vsize=10983192 memory=13252 CPUtime=0.13 cores=1,3,5,7
/proc/18702/task/18764/stat : 18764 (java) S 18699 18702 12183 0 -1 1077944384 737 13106 0 0 6 0 5 2 20 0 15 0 107216254 11246788608 22161 33554432000 4194304 4196468 140724064384960 140141583235184 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18765] ppid=18699 vsize=10983192 memory=15460 CPUtime=0.17 cores=1,3,5,7
/proc/18702/task/18765/stat : 18765 (java) S 18699 18702 12183 0 -1 1077944384 874 13106 0 0 10 0 5 2 20 0 15 0 107216254 11246788608 22161 33554432000 4194304 4196468 140724064384960 140141582182384 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18766] ppid=18699 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/18702/task/18766/stat : 18766 (java) S 18699 18702 12183 0 -1 1077944384 724 13106 0 0 13 0 5 2 20 0 15 0 107216254 11246788608 22161 33554432000 4194304 4196468 140724064384960 140141581130096 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18767] ppid=18699 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18767/stat : 18767 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11246788608 22161 33554432000 4194304 4196468 140724064384960 140139883915744 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18768] ppid=18699 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18768/stat : 18768 (java) S 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216255 11246788608 22161 33554432000 4194304 4196468 140724064384960 140141580078000 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88644 KiB

[startup+1.5059 s]
/proc/loadavg: 1.84 1.77 1.81 3/215 18768
/proc/meminfo: memFree=21316248/32770624 swapFree=67108860/67108860
[pid=18702] ppid=18699 vsize=10991948 memory=317472 CPUtime=2.88 cores=1,3,5,7
/proc/18702/stat : 18702 (java) S 18699 18702 12183 0 -1 1077944320 22917 13106 0 0 260 21 5 2 20 0 15 0 107216240 11255754752 79368 33554432000 4194304 4196468 140724064384960 140724064367504 140142091206391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
/proc/18702/statm: 2747987 79368 3472 1 0 2709645 0
[pid=18702/tid=18755] ppid=18699 vsize=10991948 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/18702/task/18755/stat : 18755 (java) R 18699 18702 12183 0 -1 4202560 14832 13106 0 0 125 8 5 2 20 0 15 0 107216249 11255754752 79368 33554432000 4194304 4196468 140724064384960 140142063037120 140142075286878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18756] ppid=18699 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/18702/task/18756/stat : 18756 (java) S 18699 18702 12183 0 -1 1077944384 122 13106 0 0 2 2 5 2 20 0 15 0 107216249 11255754752 79368 33554432000 4194304 4196468 140724064384960 140142095448464 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18757] ppid=18699 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/18702/task/18757/stat : 18757 (java) S 18699 18702 12183 0 -1 1077944384 379 13106 0 0 2 2 5 2 20 0 15 0 107216249 11255754752 79368 33554432000 4194304 4196468 140724064384960 140141966096656 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18758] ppid=18699 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/18702/task/18758/stat : 18758 (java) S 18699 18702 12183 0 -1 1077944384 99 13106 0 0 2 2 5 2 20 0 15 0 107216249 11255754752 79368 33554432000 4194304 4196468 140724064384960 140141629594256 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18759] ppid=18699 vsize=10991948 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/18702/task/18759/stat : 18759 (java) S 18699 18702 12183 0 -1 1077944384 42 13106 0 0 2 2 5 2 20 0 15 0 107216249 11255754752 79368 33554432000 4194304 4196468 140724064384960 140141628541456 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18760] ppid=18699 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18760/stat : 18760 (java) S 18699 18702 12183 0 -1 1077944384 95 13106 0 0 0 0 5 2 20 0 15 0 107216251 11255754752 79368 33554432000 4194304 4196468 140724064384960 140141584288368 140142091217538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18761] ppid=18699 vsize=10991948 memory=280562027800832 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18761/stat : 18761 (java) S 18699 18702 12183 0 -1 1077944384 13 13106 0 0 0 0 5 2 20 0 15 0 107216251 11255754752 79368 33554432000 4194304 4196468 140724064384960 140140823438624 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18762] ppid=18699 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18762/stat : 18762 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216252 11255754752 79368 33554432000 4194304 4196468 140724064384960 140140622112368 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18763] ppid=18699 vsize=10991948 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18763/stat : 18763 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11255754752 79368 33554432000 4194304 4196468 140724064384960 140140314712656 140142091224987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18764] ppid=18699 vsize=10991948 memory=1232 CPUtime=0.53 cores=1,3,5,7
/proc/18702/task/18764/stat : 18764 (java) R 18699 18702 12183 0 -1 4202560 2374 13106 0 0 46 0 5 2 20 0 15 0 107216254 11255754752 79368 33554432000 4194304 4196468 140724064384960 140141583235312 140142091218326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18765] ppid=18699 vsize=10991948 memory=8560 CPUtime=0.48 cores=1,3,5,7
/proc/18702/task/18765/stat : 18765 (java) R 18699 18702 12183 0 -1 4202560 1427 13106 0 0 41 0 5 2 20 0 15 0 107216254 11255754752 79368 33554432000 4194304 4196468 140724064384960 140141582182512 140142091227738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18766] ppid=18699 vsize=10991948 memory=1712 CPUtime=0.43 cores=1,3,5,7
/proc/18702/task/18766/stat : 18766 (java) R 18699 18702 12183 0 -1 1077944384 1335 13106 0 0 36 0 5 2 20 0 15 0 107216254 11255754752 79368 33554432000 4194304 4196468 140724064384960 140141581125824 140142091216597 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18767] ppid=18699 vsize=10991948 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18767/stat : 18767 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11255754752 79368 33554432000 4194304 4196468 140724064384960 140139883915744 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18768] ppid=18699 vsize=10991948 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18768/stat : 18768 (java) R 18699 18702 12183 0 -1 1077944384 1 13106 0 0 0 0 5 2 20 0 15 0 107216255 11255754752 79368 33554432000 4194304 4196468 140724064384960 140141580078000 140142091217538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10991948 KiB

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

/proc/18702/task/18755/stat : 18755 (java) R 18699 18702 12183 0 -1 4202560 56823 13106 0 0 9765 39 5 2 20 0 15 0 107216249 11280941056 953107 33554432000 4194304 4196468 140724064384960 140142063020704 140141651605296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18756] ppid=18699 vsize=11016544 memory=3812440 CPUtime=3.92 cores=1,3,5,7
/proc/18702/task/18756/stat : 18756 (java) S 18699 18702 12183 0 -1 1077944384 4175 13106 0 0 333 52 5 2 20 0 15 0 107216249 11280941056 953107 33554432000 4194304 4196468 140724064384960 140142095448464 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18757] ppid=18699 vsize=11016544 memory=280562028590320 CPUtime=3.91 cores=1,3,5,7
/proc/18702/task/18757/stat : 18757 (java) S 18699 18702 12183 0 -1 1077944384 3004 13106 0 0 335 49 5 2 20 0 15 0 107216249 11280941056 953107 33554432000 4194304 4196468 140724064384960 140141966096656 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18758] ppid=18699 vsize=11016544 memory=280562028574832 CPUtime=3.97 cores=1,3,5,7
/proc/18702/task/18758/stat : 18758 (java) S 18699 18702 12183 0 -1 1077944384 4934 13106 0 0 337 53 5 2 20 0 15 0 107216249 11280941056 953107 33554432000 4194304 4196468 140724064384960 140141629594256 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18759] ppid=18699 vsize=11016544 memory=30696 CPUtime=3.96 cores=1,3,5,7
/proc/18702/task/18759/stat : 18759 (java) S 18699 18702 12183 0 -1 1077944384 3353 13106 0 0 339 50 5 2 20 0 15 0 107216249 11280941056 953107 33554432000 4194304 4196468 140724064384960 140141628541456 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18760] ppid=18699 vsize=11016544 memory=3812428 CPUtime=0.24 cores=1,3,5,7
/proc/18702/task/18760/stat : 18760 (java) S 18699 18702 12183 0 -1 1077944384 6316 13106 0 0 16 1 5 2 20 0 15 0 107216251 11280941056 953107 33554432000 4194304 4196468 140724064384960 140141584288368 140142091217538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18761] ppid=18699 vsize=11016544 memory=3812428 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18761/stat : 18761 (java) S 18699 18702 12183 0 -1 1077944384 20 13106 0 0 0 0 5 2 20 0 15 0 107216251 11280941056 953107 33554432000 4194304 4196468 140724064384960 140140823438752 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18762] ppid=18699 vsize=11016544 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18762/stat : 18762 (java) S 18699 18702 12183 0 -1 1077944384 20 13106 0 0 0 0 5 2 20 0 15 0 107216252 11280941056 953107 33554432000 4194304 4196468 140724064384960 140140622112384 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18763] ppid=18699 vsize=11016544 memory=3812428 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18763/stat : 18763 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11280941056 953107 33554432000 4194304 4196468 140724064384960 140140314712656 140142091224987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18764] ppid=18699 vsize=11016544 memory=3812428 CPUtime=8.22 cores=1,3,5,7
/proc/18702/task/18764/stat : 18764 (java) S 18699 18702 12183 0 -1 1077944384 23472 13106 0 0 811 4 5 2 20 0 15 0 107216254 11280941056 953107 33554432000 4194304 4196468 140724064384960 140141583235184 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18765] ppid=18699 vsize=11016544 memory=3812428 CPUtime=8.17 cores=1,3,5,7
/proc/18702/task/18765/stat : 18765 (java) S 18699 18702 12183 0 -1 1077944384 18549 13106 0 0 806 4 5 2 20 0 15 0 107216254 11280941056 953107 33554432000 4194304 4196468 140724064384960 140141582182384 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18766] ppid=18699 vsize=11016544 memory=4140 CPUtime=3.06 cores=1,3,5,7
/proc/18702/task/18766/stat : 18766 (java) S 18699 18702 12183 0 -1 1077944384 14614 13106 0 0 294 5 5 2 20 0 15 0 107216254 11280941056 953107 33554432000 4194304 4196468 140724064384960 140141581130096 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18767] ppid=18699 vsize=11016544 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18767/stat : 18767 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11280941056 953107 33554432000 4194304 4196468 140724064384960 140139883915744 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18768] ppid=18699 vsize=11016544 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/18702/task/18768/stat : 18768 (java) S 18699 18702 12183 0 -1 1077944384 1601 13106 0 0 2 3 5 2 20 0 15 0 107216255 11280941056 953107 33554432000 4194304 4196468 140724064384960 140141580078000 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
Current children cumulated CPU time: 133.15 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3812428 KiB

[startup+162.301 s]
/proc/loadavg: 2.11 1.96 1.88 3/215 18770
/proc/meminfo: memFree=17497972/32770624 swapFree=67108860/67108860
[pid=18702] ppid=18699 vsize=11016544 memory=3711788 CPUtime=194.21 cores=1,3,5,7
/proc/18702/stat : 18702 (java) S 18699 18702 12183 0 -1 1077944320 158159 13106 0 0 19144 270 5 2 20 0 15 0 107216240 11280941056 927947 33554432000 4194304 4196468 140724064384960 140724064367504 140142091206391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
/proc/18702/statm: 2754136 927947 3539 1 0 2715789 0
[pid=18702/tid=18755] ppid=18699 vsize=11016544 memory=3764624 CPUtime=157.88 cores=1,3,5,7
/proc/18702/task/18755/stat : 18755 (java) R 18699 18702 12183 0 -1 4202560 60936 13106 0 0 15741 40 5 2 20 0 15 0 107216249 11280941056 927947 33554432000 4194304 4196468 140724064384960 140142063041264 140141669465690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18756] ppid=18699 vsize=11016544 memory=3716916 CPUtime=4.14 cores=1,3,5,7
/proc/18702/task/18756/stat : 18756 (java) S 18699 18702 12183 0 -1 1077944384 5857 13106 0 0 354 53 5 2 20 0 15 0 107216249 11280941056 927947 33554432000 4194304 4196468 140724064384960 140142095448464 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18757] ppid=18699 vsize=11016544 memory=3716916 CPUtime=4.13 cores=1,3,5,7
/proc/18702/task/18757/stat : 18757 (java) S 18699 18702 12183 0 -1 1077944384 4376 13106 0 0 356 50 5 2 20 0 15 0 107216249 11280941056 927947 33554432000 4194304 4196468 140724064384960 140141966096656 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18758] ppid=18699 vsize=11016544 memory=4140 CPUtime=4.18 cores=1,3,5,7
/proc/18702/task/18758/stat : 18758 (java) S 18699 18702 12183 0 -1 1077944384 5871 13106 0 0 358 53 5 2 20 0 15 0 107216249 11280941056 927947 33554432000 4194304 4196468 140724064384960 140141629594256 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18759] ppid=18699 vsize=11016544 memory=30696 CPUtime=4.17 cores=1,3,5,7
/proc/18702/task/18759/stat : 18759 (java) S 18699 18702 12183 0 -1 1077944384 4207 13106 0 0 359 51 5 2 20 0 15 0 107216249 11280941056 927947 33554432000 4194304 4196468 140724064384960 140141628541456 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18760] ppid=18699 vsize=11016544 memory=-7023579799431922829 CPUtime=0.25 cores=1,3,5,7
/proc/18702/task/18760/stat : 18760 (java) S 18699 18702 12183 0 -1 1077944384 6681 13106 0 0 17 1 5 2 20 0 15 0 107216251 11280941056 927947 33554432000 4194304 4196468 140724064384960 140141584288368 140142091217538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18761] ppid=18699 vsize=11016544 memory=-8486080722631693414 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18761/stat : 18761 (java) S 18699 18702 12183 0 -1 1077944384 20 13106 0 0 0 0 5 2 20 0 15 0 107216251 11280941056 927947 33554432000 4194304 4196468 140724064384960 140140823438752 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18762] ppid=18699 vsize=11016544 memory=3716916 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18762/stat : 18762 (java) S 18699 18702 12183 0 -1 1077944384 20 13106 0 0 0 0 5 2 20 0 15 0 107216252 11280941056 927947 33554432000 4194304 4196468 140724064384960 140140622112384 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18763] ppid=18699 vsize=11016544 memory=3716916 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18763/stat : 18763 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11280941056 927947 33554432000 4194304 4196468 140724064384960 140140314712656 140142091224987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18764] ppid=18699 vsize=11016544 memory=4004 CPUtime=8.41 cores=1,3,5,7
/proc/18702/task/18764/stat : 18764 (java) S 18699 18702 12183 0 -1 1077944384 28157 13106 0 0 829 5 5 2 20 0 15 0 107216254 11280941056 927947 33554432000 4194304 4196468 140724064384960 140141583235184 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18765] ppid=18699 vsize=11016544 memory=18448 CPUtime=8.35 cores=1,3,5,7
/proc/18702/task/18765/stat : 18765 (java) S 18699 18702 12183 0 -1 1077944384 21897 13106 0 0 824 4 5 2 20 0 15 0 107216254 11280941056 927947 33554432000 4194304 4196468 140724064384960 140141582182384 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18766] ppid=18699 vsize=11016544 memory=4872558044660077418 CPUtime=3.07 cores=1,3,5,7
/proc/18702/task/18766/stat : 18766 (java) S 18699 18702 12183 0 -1 1077944384 16293 13106 0 0 295 5 5 2 20 0 15 0 107216254 11280941056 927947 33554432000 4194304 4196468 140724064384960 140141581130096 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18767] ppid=18699 vsize=11016544 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18767/stat : 18767 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11280941056 927947 33554432000 4194304 4196468 140724064384960 140139883915744 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18768] ppid=18699 vsize=11016544 memory=3711788 CPUtime=0.16 cores=1,3,5,7
/proc/18702/task/18768/stat : 18768 (java) S 18699 18702 12183 0 -1 1077944384 1649 13106 0 0 4 5 5 2 20 0 15 0 107216255 11280941056 927947 33554432000 4194304 4196468 140724064384960 140141580078000 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
Current children cumulated CPU time: 194.21 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3711788 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+219.501 s]
/proc/loadavg: 1.81 1.91 1.87 5/214 18802
/proc/meminfo: memFree=17756944/32770624 swapFree=67108860/67108860
[pid=18702] ppid=18699 vsize=11016544 memory=3616884 CPUtime=252.07 cores=1,3,5,7
/proc/18702/stat : 18702 (java) S 18699 18702 12183 0 -1 1077944320 172635 13106 0 0 24926 274 5 2 20 0 15 0 107216240 11280941056 904221 33554432000 4194304 4196468 140724064384960 140724064367504 140142091206391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
/proc/18702/statm: 2754136 904221 3540 1 0 2715789 0
[pid=18702/tid=18755] ppid=18699 vsize=11016544 memory=3616884 CPUtime=214.89 cores=1,3,5,7
/proc/18702/task/18755/stat : 18755 (java) R 18699 18702 12183 0 -1 4202560 64996 13106 0 0 21441 41 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140142063035632 140141669549232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18756] ppid=18699 vsize=11016544 memory=3616884 CPUtime=4.29 cores=1,3,5,7
/proc/18702/task/18756/stat : 18756 (java) S 18699 18702 12183 0 -1 1077944384 6759 13106 0 0 369 53 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140142095448464 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18757] ppid=18699 vsize=11016544 memory=3616884 CPUtime=4.28 cores=1,3,5,7
/proc/18702/task/18757/stat : 18757 (java) S 18699 18702 12183 0 -1 1077944384 5859 13106 0 0 371 50 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141966096656 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18758] ppid=18699 vsize=11016544 memory=3618932 CPUtime=4.33 cores=1,3,5,7
/proc/18702/task/18758/stat : 18758 (java) S 18699 18702 12183 0 -1 1077944384 6599 13106 0 0 373 53 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141629594256 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18759] ppid=18699 vsize=11016544 memory=3616880 CPUtime=4.33 cores=1,3,5,7
/proc/18702/task/18759/stat : 18759 (java) S 18699 18702 12183 0 -1 1077944384 5920 13106 0 0 374 52 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141628541456 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18760] ppid=18699 vsize=11016544 memory=1436 CPUtime=0.27 cores=1,3,5,7
/proc/18702/task/18760/stat : 18760 (java) S 18699 18702 12183 0 -1 1077944384 7032 13106 0 0 18 2 5 2 20 0 15 0 107216251 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141584288368 140142091217538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18761] ppid=18699 vsize=11016544 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18761/stat : 18761 (java) S 18699 18702 12183 0 -1 1077944384 20 13106 0 0 0 0 5 2 20 0 15 0 107216251 11280941056 904221 33554432000 4194304 4196468 140724064384960 140140823438752 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18762] ppid=18699 vsize=11016544 memory=8560 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18762/stat : 18762 (java) S 18699 18702 12183 0 -1 1077944384 20 13106 0 0 0 0 5 2 20 0 15 0 107216252 11280941056 904221 33554432000 4194304 4196468 140724064384960 140140622112384 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18763] ppid=18699 vsize=11016544 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18763/stat : 18763 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140140314712656 140142091224987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18764] ppid=18699 vsize=11016544 memory=8560 CPUtime=8.52 cores=1,3,5,7
/proc/18702/task/18764/stat : 18764 (java) S 18699 18702 12183 0 -1 1077944384 31069 13106 0 0 840 5 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141583235184 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18765] ppid=18699 vsize=11016544 memory=518244 CPUtime=8.4 cores=1,3,5,7
/proc/18702/task/18765/stat : 18765 (java) S 18699 18702 12183 0 -1 1077944384 23946 13106 0 0 829 4 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141582182384 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18766] ppid=18699 vsize=11016544 memory=6791534058613427641 CPUtime=3.08 cores=1,3,5,7
/proc/18702/task/18766/stat : 18766 (java) S 18699 18702 12183 0 -1 1077944384 16520 13106 0 0 296 5 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141581130096 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18767] ppid=18699 vsize=11016544 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18767/stat : 18767 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140139883915744 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18768] ppid=18699 vsize=11016544 memory=2244 CPUtime=0.2 cores=1,3,5,7
/proc/18702/task/18768/stat : 18768 (java) S 18699 18702 12183 0 -1 1077944384 1700 13106 0 0 6 7 5 2 20 0 15 0 107216255 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141580078000 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3616884 KiB

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

[startup+219.558 s]
# the end of solver process 18702 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.345 s, system=2.80547 s

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

[startup+219.501 s]
/proc/loadavg: 1.81 1.91 1.87 5/214 18802
/proc/meminfo: memFree=17756944/32770624 swapFree=67108860/67108860
[pid=18702] ppid=18699 vsize=11016544 memory=3616884 CPUtime=252.07 cores=1,3,5,7
/proc/18702/stat : 18702 (java) S 18699 18702 12183 0 -1 1077944320 172635 13106 0 0 24926 274 5 2 20 0 15 0 107216240 11280941056 904221 33554432000 4194304 4196468 140724064384960 140724064367504 140142091206391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
/proc/18702/statm: 2754136 904221 3540 1 0 2715789 0
[pid=18702/tid=18755] ppid=18699 vsize=11016544 memory=3616884 CPUtime=214.89 cores=1,3,5,7
/proc/18702/task/18755/stat : 18755 (java) R 18699 18702 12183 0 -1 4202560 64996 13106 0 0 21441 41 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140142063035632 140141669549232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18756] ppid=18699 vsize=11016544 memory=3616884 CPUtime=4.29 cores=1,3,5,7
/proc/18702/task/18756/stat : 18756 (java) S 18699 18702 12183 0 -1 1077944384 6759 13106 0 0 369 53 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140142095448464 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18757] ppid=18699 vsize=11016544 memory=3616884 CPUtime=4.28 cores=1,3,5,7
/proc/18702/task/18757/stat : 18757 (java) S 18699 18702 12183 0 -1 1077944384 5859 13106 0 0 371 50 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141966096656 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18758] ppid=18699 vsize=11016544 memory=3618932 CPUtime=4.33 cores=1,3,5,7
/proc/18702/task/18758/stat : 18758 (java) S 18699 18702 12183 0 -1 1077944384 6599 13106 0 0 373 53 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141629594256 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18759] ppid=18699 vsize=11016544 memory=3616880 CPUtime=4.33 cores=1,3,5,7
/proc/18702/task/18759/stat : 18759 (java) S 18699 18702 12183 0 -1 1077944384 5920 13106 0 0 374 52 5 2 20 0 15 0 107216249 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141628541456 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18760] ppid=18699 vsize=11016544 memory=1436 CPUtime=0.27 cores=1,3,5,7
/proc/18702/task/18760/stat : 18760 (java) S 18699 18702 12183 0 -1 1077944384 7032 13106 0 0 18 2 5 2 20 0 15 0 107216251 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141584288368 140142091217538 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18761] ppid=18699 vsize=11016544 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18761/stat : 18761 (java) S 18699 18702 12183 0 -1 1077944384 20 13106 0 0 0 0 5 2 20 0 15 0 107216251 11280941056 904221 33554432000 4194304 4196468 140724064384960 140140823438752 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18762] ppid=18699 vsize=11016544 memory=8560 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18762/stat : 18762 (java) S 18699 18702 12183 0 -1 1077944384 20 13106 0 0 0 0 5 2 20 0 15 0 107216252 11280941056 904221 33554432000 4194304 4196468 140724064384960 140140622112384 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18763] ppid=18699 vsize=11016544 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18763/stat : 18763 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140140314712656 140142091224987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18764] ppid=18699 vsize=11016544 memory=8560 CPUtime=8.52 cores=1,3,5,7
/proc/18702/task/18764/stat : 18764 (java) S 18699 18702 12183 0 -1 1077944384 31069 13106 0 0 840 5 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141583235184 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18765] ppid=18699 vsize=11016544 memory=518244 CPUtime=8.4 cores=1,3,5,7
/proc/18702/task/18765/stat : 18765 (java) S 18699 18702 12183 0 -1 1077944384 23946 13106 0 0 829 4 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141582182384 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18766] ppid=18699 vsize=11016544 memory=6791534058613427641 CPUtime=3.08 cores=1,3,5,7
/proc/18702/task/18766/stat : 18766 (java) S 18699 18702 12183 0 -1 1077944384 16520 13106 0 0 296 5 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141581130096 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18767] ppid=18699 vsize=11016544 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/18702/task/18767/stat : 18767 (java) S 18699 18702 12183 0 -1 1077944384 3 13106 0 0 0 0 5 2 20 0 15 0 107216254 11280941056 904221 33554432000 4194304 4196468 140724064384960 140139883915744 140142091216597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
[pid=18702/tid=18768] ppid=18699 vsize=11016544 memory=2244 CPUtime=0.2 cores=1,3,5,7
/proc/18702/task/18768/stat : 18768 (java) S 18699 18702 12183 0 -1 1077944384 1700 13106 0 0 6 7 5 2 20 0 15 0 107216255 11280941056 904221 33554432000 4194304 4196468 140724064384960 140141580078000 140142091217538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11206656 140724064393841 140724064396641 140724064396641 140724064399311 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3616884 KiB

Child status: 143
Real time (s): 219.558
CPU time (s): 252.15
CPU user time (s): 249.345
CPU system time (s): 2.80547
CPU usage (%): 114.845
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 3812440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.345
system time used= 2.80547
maximum resident set size= 3812440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17593
involuntary context switches= 490


# summary of solver processes directly reported to runsolver:
#   pid: 18702
#   total CPU time (s): 252.15
#   total CPU user time (s): 249.345
#   total CPU system time (s): 2.80547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.4416 second user time and 2.04807 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-29 22:35:30
IDJOB=4302606
IDBENCH=141267
IDSOLVER=2776
FILE ID=node107/4302606-1532896530
RUNJOBID= node107-1532892903-13713
PBS_JOBID= 21022519
Free space on /tmp= 60584 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test02-0250_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302606-1532896530/watcher-4302606-1532896530 -o /tmp/evaluation-result-4302606-1532896530/solver-4302606-1532896530 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1719559322 HOME/instance-4302606-1532896530.xml

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

MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13
RANDOM SEED=1719559322

node107.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.40
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.40
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.40
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.40
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:        21615116 kB
MemAvailable:   29071376 kB
Buffers:          247352 kB
Cached:          7471696 kB
SwapCached:            0 kB
Active:          6933152 kB
Inactive:        3726656 kB
Active(anon):    2891968 kB
Inactive(anon):    76484 kB
Active(file):    4041184 kB
Inactive(file):  3650172 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            122740 kB
Writeback:             0 kB
AnonPages:       2865832 kB
Mapped:            58144 kB
Shmem:             25228 kB
Slab:             189912 kB
SReclaimable:     161476 kB
SUnreclaim:        28436 kB
KernelStack:        3568 kB
PageTables:        10492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4492652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2734080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 60560 MiB
End job on node107 at 2018-07-29 22:39:10