Trace number 4304438

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)141863787 2520.14 2354.37

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 benchmark89666091
Best CPU time to get the best result obtained on this benchmark2520.12
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.99/0.75	c Concrete v3.9.2.1532736233296 running
115.82/80.73	o 141863799
116.48/81.13	o 141863791
116.48/81.18	o 141863790
116.75/81.24	o 141863789
117.05/81.30	o 141863787
2520.05/2354.32	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.05/2354.32		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.05/2354.32		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.05/2354.32		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.05/2354.32		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:254)
2520.05/2354.32		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2520.05/2354.32		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.05/2354.32		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.05/2354.32		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.05/2354.32		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2354.32		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2354.32		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2354.32		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2354.32		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2354.32		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2354.32		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2354.32		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.05/2354.32		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.05/2354.32		at scala.Option.map(Option.scala:146)
2520.05/2354.32		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.05/2354.32		at concrete.MAC.mac(MAC.scala:203)
2520.05/2354.32		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2354.32		at scala.util.Try$.apply(Try.scala:209)
2520.05/2354.32		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2354.32		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2354.32		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2354.32		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2354.32		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2354.32		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2354.32		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2354.32		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2354.32		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2354.32		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2354.32		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2354.32		at concrete.MAC.nextSolution(MAC.scala:355)
2520.05/2354.32		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2354.32		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2354.32		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2354.32		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2354.32		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2354.32		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2354.32		at scala.util.Success.map(Try.scala:209)
2520.05/2354.32		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2354.32		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2354.32		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2354.32		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2354.32		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2354.32		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2354.32		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2354.32		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2354.32		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2354.32		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2354.32		at scala.App.main(App.scala:76)
2520.05/2354.32		at scala.App.main$(App.scala:74)
2520.05/2354.32		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2354.32		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2354.33	v <instantiation cost="141863787">
2520.05/2354.33	v       <list>
2520.05/2354.33	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]
2520.05/2354.33	v       </list>
2520.05/2354.33	v       <values>
2520.05/2354.33	v         2860 2540 2916 2260 2564 2340 2596 2344 2360 2768 2344 2492 2220 2876 2356 2640 2876 2260 2548 2344 2624 2664 2232 2516 2700 2748 2452 2392 2496 2556 2220 2916 2840 2544 2304 2384 2748 2352 2788 2600 2644 2260 2680 2788 2876 2260 2348 2392 2272 2916 2260 2260 2580 2744 2572 2888 2596 2452 2220 2664 2776 2876 2916 2572 2764 2260 2468 2916 2692 2260 2584 2544 2576 2460 2636 2420 2220 2336 2324 2432 2576 2260 2876 2276 2624 2220 2608 2664 2692 2308 2384 2220 2872 2596 2468 2688 2220 2548 2624 2260 2260 2392 2220 2620 2568 2796 2608 2352 2412 2260 2392 2220 2648 2652 2220 2376 2824 2600 2916 2380 2728 2320 2220 2612 2912 2636 2500 2876 2784 2264 2584 2236 2592 2352 2616 2224 2788 2916 2876 2456 2336 2220 2260 2632 2916 2536 2876 2500 2652 2384 2476 2376 2316 2540 2508 2916 2540 2500 2428 2532 2324 2588 2580 2508 2512 2256 2556 2784 2800 2772 2684 2220 2604 2236 2424 2496 2836 2740 2364 2308 2816 2820 2260 2500 2828 2804 2304 2548 2732 2620 2580 2284 2328 2280 2524 2660 2644 2620 2640 2276 2876 2368 2304 2876 2356 2404 2620 2504 2320 2220 2540 2664 2452 2264 2412 2704 2552 2428 2444 2876 2232 2344 2364 2436 2560 2452 2640 2916 2756 2316 2704 2260 2848 2324 2456 2680 2412 2636 2716 2720 2680 2348 2596 2612 2220 2652 2916 2272 2296 2568 1 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 10 0 0 0 0 10 0 8 0 0 0 1 0 10 0 1 0 1 0 10 0 0 8 0 10 0 7 0 10 0 0 0 0 1 0 0 0 1 0 0 10 0 0 0 6 0 0 0 0 0 0 0 0 9 0 8 8 0 1 0 0 0 10 0 1 0 10 6 0 0 10 8 0 10 1 10 7 0 0 0 0 0 1 0 0 2 0 0 6 1 10 0 0 10 0 0 10 10 7 1 0 10 0 1 9 0 10 0 0 0 0 0 8 4 0 0 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 1 0 4 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 10 0 10 0 0 0 10 8 8 10 0 1 0 10 0 0 6 0 0 0 0 0 9 0 0 0 4 1 1 0 6 1 1 10 0 0 0 0 1 0 6 9 0 9 0 0 0 10 0 0 0 0 1 10 0 0 0 10 10 0 0 0 0 0 10 0 0 0 1 0 8 0 1 0 10 0 0 10 0 8 0 10 0 0 1 0 0 1 0 4 0 0 0 9 0 0 10 0 0 0 10 2 0 0 1 0 0 0 10 0 0 9 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 9 1 2 10 0 0 0 8 0 0 6 0 0 10 0 1 0 0 6 10 0 0 1 0 0 0 0 0 0 0 1 10 10 0 8 9 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 1 0 0 0 10 0 0 0 9 0 0 0 0 10 0 0 8 0 10 0 0 0 1 10 0 0 4 4 10 0 0 0 0 0 3 0 0 10 0 0 4 0 0 0 1 0 1 0 7 0 10 5 0 0 0 0 1 0 0 0 0 0 1 0 10 0 0 5 0 10 0 0 0 7 0 9 0 0 0 0 10 0 0 9 1 0 0 10 0 0 0 1 1 10 1 0 4 1 0 0 0 0 0 0 0 1 0 10 0 0 4 1 1 1 9 0 0 7 10 0 0 0 0 10 0 0 0 10 1 0 10 10 0 10 0 0 8 1 0 0 3 0 0 0 0 6 8 0 0 0 0 1 0 0 0 1 10 10 0 1 1 0 4 0 0 10 1 0 0 0 7 10 0 0 1 8 8 0 0 0 0 10 0 0 0 0 10 0 5 5 0 0 0 0 0 0 0 0 7 0 5 8 0 0 0 3 0 0 5 0 0 0 0 1 5 0 0 0 0 9 1 0 7 0 0 0 1 0 0 10 0 0 0 1 0 0 0 1 3 0 0 0 7 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 8 0 1 10 0 0 10 10 9 8 0 5 0 0 0 0 4 0 0 3 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 10 0 0 3 10 0 0 0 10 0 0 1 10 0 0 0 10 1 0 0 9 1 0 4 10 0 10 0 6 10 0 0 10 0 10 0 0 0 0 0 0 10 10 0 1 10 1 0 0 0 0 0 9 0 0 0 0 0 0 0 1 0 1 0 0 0 10 1 0 9 0 1 0 0 9 4 1 0 0 0 0 0 0 0 1 0 10 0 4 0 7 1 0 10 10 0 5 9 10 0 10 0 0 0 0 0 0 1 0 0 10 0 0 0 5 0 0 0 1 1 0 0 0 1 0 0 10 0 0 0 0 0 0 10 10 0 10 0 0 1 10 0 9 0 0 1 0 10 0 4 0 1 0 9 1 0 1 0 8 0 0 0 0 1 3 0 0 0 1 1 0 0 0 10 0 0 0 0 7 7 0 8 0 0 1 1 0 1 0 0 0 0 0 0 10 3 0 0 10 0 0 0 0 10 4 8 0 0 0 0 10 0 9 9 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 0 8 0 0 0 10 10 0 2 1 0 10 0 1 0 10 0 7 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 10 0 3 0 8 0 0 0 10 0 10 0 7 0 0 0 1 0 8 0 0 1 0 0 9 1 0 7 0 0 0 0 0 9 10 0 10 0 0 7 1 0 0 0 0 3 0 0 0 8 0 0 0 0 1 1 7 0 10 0 3 0 0 2 1 0 0 7 0 4 10 10 0 3 0 0 9 0 10 10 0 10 10 0 0 10 10 8 1 6 1 0 0 0 0 0 10 1 0 10 0 0 8 5 0 3 0 10 10 10 0 0 0 0 0 0 9 0 10 0 0 0 0 0 0 0 0 0 0 4 0 0 7 0 1 0 10 0 3 0 0 0 0 1 0 0 0 0 0 0 0 0 10 1 10 0 0 0 0 10 7 0 0 0 0 0 2 0 1 10 0 0 10 1 10 0 0 0 1 9 0 0 0 0 0 0 9 10 0 0 0 0 7 0 0 0 0 0 0 0 0 2 0 0 0 0 10 0 0 10 1 0 0 0 0 0 10 628 56 408 468 72 324 364 24 220 536 8 148 164 188 224 0 176 572 420 344 496 408 336 272 504 644 256 488 0 316 616 656 196 560 568 24 304 60 168 56 52 436 120 320 212 280 376 40 348 272 132 244 396 20 360 124 84 108 220 376 148 108 548 120 448 356 172 200 400 308 340 532 108 72 100 80 132 140 156 384 172 36 220 40 0 444 0 376 248 0 696 160 280 656 616 212 240 616 224 52 656 448 172 160 96 276 32 248 460 196 284 288 380 404 368 212 656 212 616 616 224 52 0 656 616 448 656 320 324 528 40 276 280 296 236 380 64 204 240 36 88 144 328 244 184 112 132 112 532 124 48 108 28 156 124 292 364 404 40 28 156 12 160 344 64 404 224 212 404 404 12 156 444 404 212 236 52 684 348 220 12 556 152 372 92 232 244 256 84 396 360 304 288 164 8 200 176 440 444 488 112 116 168 16 244 296 240 96 200 160 180 84 228 156 260 88 132 20 80 380 128 192 168 144 148 336 172 320 296 296 96 268 320 336 296 320 236 128 260 164 380 40 668 444 656 40 40 656 0 40 208 336 448 696 524 332 128 380 276 236 488 564 316 496 384 200 284 308 468 244 276 316 264 504 280 124 252 124 124 492 44 476 488 140 204 172 48 164 128 168 292 72 56 128 392 68 528 92 524 92 264 280 148 420 268 244 336 320 452 180 396 0 376 464 108 340 64 276 340 340 340 52 224 380 116 320 36 52 40 232 628 404 616 0 376 0 392 616 616 456 36 108 8 204 176 528 248 552 524 296 424 408 656 4 652 88 336 320 272 380 324 364 288 0 308 348 116 424 196 12 276 128 352 12 336 168 212 128 76 272 304 160 524 228 644 184 156 532 448 52 696 0 696 696 0 304 132 0 660 492 40 40 40 40 524 4 588 316 652 196 168 568 544 420 460 40 112 292 188 4 360 44 40 24 256 256 136 368 236 244 80 292 308 116 352 96 64 224 12 628 628 236 628 12 460 68 0 376 376 16 188 336 108 36 320 160 252 232 60 232 88 104 88 128 696 444 0 376 248 0 696 696 484 696 404 404 212 404 212 52 368 460 140 500 224 332 412 504 616 616 240 656 448 172 160 696 320 696 696 0 0 660 492 212 356 0 68 352 52 252 308 72 168 216 296 108 180 24 544 224 72 144 440 84 376 564 616 40 0 616 444 456 192 116 248 88 228 524 652 464 272 124 340 372 472 184 180 236 376 0 616 168 36 364 364 68 200 84 36 228 80 220 32 112 252 132 44 372 276 284 136 164 336 340 120 148 252 228 268 184 56 112 152 376 416 208 340 272 112 196 56 380 184 84 132 320 116 244 152 216 176 552 364 480 68 484 4 396 372 148 248 212 316 116 112 60 68 256 164 300 24 144 368 572 44 0 44 320 376 0 248 388 320 268 28 172 364 156 616 104 272 76 100 176 244 444 68 196 252 120 404 252 408 240 40 104 252 92 184 384 312 80 8 188 308 68 200 136 144 344 216 196 56 60 256 0 0 696 392 564 40 696 204 536 40 84 652 332 56 232 508 524 376 320 108 160 252 248 248 248 448 212 428 312 4 44 164 228 0 392 36 124 628 172 224 180 328 96 232 308 316 44 344 152 196 0 392 564 0 456 36 216 172 16 88 160 392 564 36 204 340 536 244 28 384 40 28 348 68 92 96 384 116 296 80 120 368 32 576 304 348 28 240 148 332 196 268 188 84 500 464 44 16 416 392 208 268 308 192 564 616 0 444 456 36 172 144 104 288 464 144 56 284 32 304 332 432 224 52 392 40 696 136 484 628 284 112 68 12 276 192 52 52 396 528 276 280 188 156 144 0 660 492 356 160 68 116 72 104 76 160 392 180 148 444 452 424 160 232 332 368 232 232 236 172 352 304 356 188 304 144 36 456 484 92 628 192 692 160 56 104 332 96 240 404 376 276 44 320 216 152 40 288 72 592 524 80 28 64 356 148 332 364 28 88 96 140 272 208 400 84 24 116 280 108 48 20 276 364 188 248 232 208 96 112 632 236 196 696 656 616 448 160 28 372 348 264 396 76 320 616 420 656 656 4 444 496 132 124 184 328 12 108 92 20 492 696 356 0 4 20 300 104 212 144 400 500 376 596 172 0 88 240 88 72 356 20 76 80 104 172 144 132 72 104 192 52 560 224 560 84 212 276 84 128 600 212 16 100 140 272 48 172 392 400 144 252 292 208 228 128 200 32 80 76 20 84 264 16 52 128 168 304 660 500 592 124 340 132 220 296 348 316 144 656 208 484 496 272 260 48 264 216 376 280 136 332 340 144 172 392 512 156 432 304 452 368 176 68 272 556 536 152 404 472 16 200 100 616 144 544 208 148 108 184 124 584 148 40 108 184 284 412 512 256 264 348 436 52 116 588 340 4 8 28 352 88 208 112 208 344 24 192 232 92 280 76 80 60 100 284 316 44 160 580 136 296 508 20 16 44 80 256 68 276 60 188 92 208 292 196 164 220 136 32 388 184 212 432 212 684 48 356 288 188 12 68 92 352 64 500
2520.05/2354.33	v       </values>
2520.05/2354.33	v     </instantiation>
2520.05/2354.33	s SATISFIABLE

Verifier Data 

OK	141863787

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304438-1534090210/watcher-4304438-1534090210 -o /tmp/evaluation-result-4304438-1534090210/solver-4304438-1534090210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534063459-27644 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=127975534 -superng HOME/instance-4304438-1534090210.xml 

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

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


[startup+0.100105 s]*
/proc/loadavg: 1.67 1.71 1.85 3/202 32434
/proc/meminfo: memFree=23158676/32770624 swapFree=67108804/67108860
[pid=32381] ppid=32378 vsize=10005480 memory=18328 CPUtime=0.09 cores=0,2,4,6
/proc/32381/stat : 32381 (java) S 32378 32381 27613 0 -1 1077944320 4212 13170 0 0 1 0 5 3 20 0 6 0 226584240 10245611520 4582 33554432000 4194304 4196468 140728763574208 140728763556752 140185862213367 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
/proc/32381/statm: 2501370 4582 1930 1 0 2489808 0
[pid=32381/tid=32434] ppid=32378 vsize=10005480 memory=4279135704047190159 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32434/stat : 32434 (java) R 32378 32381 27613 0 -1 4202560 2017 13170 0 0 0 0 5 3 20 0 6 0 226584250 10245611520 4582 33554432000 4194304 4196468 140728763574208 140185834050128 140185842484428 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32435] ppid=32378 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32435/stat : 32435 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 6 0 226584251 10245611520 4582 33554432000 4194304 4196468 140728763574208 140185866455568 140185862223573 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32436] ppid=32378 vsize=10005480 memory=140049152755328 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32436/stat : 32436 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 6 0 226584251 10245611520 4582 33554432000 4194304 4196468 140728763574208 140185721174672 140185862223573 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32437] ppid=32378 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32437/stat : 32437 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 6 0 226584251 10245611520 4582 33554432000 4194304 4196468 140728763574208 140185400502544 140185862223573 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32438] ppid=32378 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32438/stat : 32438 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 6 0 226584251 10245611520 4582 33554432000 4194304 4196468 140728763574208 140185399450000 140185862223573 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB

[startup+0.21013 s]*
/proc/loadavg: 1.67 1.71 1.85 3/215 32447
/proc/meminfo: memFree=23134696/32770624 swapFree=67108804/67108860
[pid=32381] ppid=32378 vsize=10982744 memory=41684 CPUtime=0.26 cores=0,2,4,6
/proc/32381/stat : 32381 (java) S 32378 32381 27613 0 -1 1077944320 7141 13170 0 0 17 1 5 3 20 0 15 0 226584240 11246329856 10421 33554432000 4194304 4196468 140728763574208 140728763556752 140185862213367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
/proc/32381/statm: 2745686 10421 2959 1 0 2708109 0
[pid=32381/tid=32434] ppid=32378 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/32381/task/32434/stat : 32434 (java) R 32378 32381 27613 0 -1 4202560 3704 13170 0 0 11 0 5 3 20 0 15 0 226584250 11246329856 10421 33554432000 4194304 4196468 140728763574208 140185834005792 140185854450494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32435] ppid=32378 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32435/stat : 32435 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246329856 10421 33554432000 4194304 4196468 140728763574208 140185866455568 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32436] ppid=32378 vsize=10982744 memory=140049152755328 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32436/stat : 32436 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246329856 10421 33554432000 4194304 4196468 140728763574208 140185721174672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32437] ppid=32378 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32437/stat : 32437 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246329856 10421 33554432000 4194304 4196468 140728763574208 140185400502544 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32438] ppid=32378 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32438/stat : 32438 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246329856 10421 33554432000 4194304 4196468 140728763574208 140185399450000 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32439] ppid=32378 vsize=10982744 memory=140049152755328 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32439/stat : 32439 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 226584252 11246329856 10487 33554432000 4194304 4196468 140728763574208 140185288059632 140185862224514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32440] ppid=32378 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32440/stat : 32440 (java) S 32378 32381 27613 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 226584252 11246329856 10487 33554432000 4194304 4196468 140728763574208 140184712636064 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32441] ppid=32378 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32441/stat : 32441 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584253 11246329856 10487 33554432000 4194304 4196468 140728763574208 140184511309040 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32442] ppid=32378 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32442/stat : 32442 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584255 11246329856 10487 33554432000 4194304 4196468 140728763574208 140184203909584 140185862231963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32443] ppid=32378 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32381/task/32443/stat : 32443 (java) S 32378 32381 27613 0 -1 1077944384 410 13170 0 0 1 0 5 3 20 0 15 0 226584255 11246329856 10487 33554432000 4194304 4196468 140728763574208 140185287006448 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32444] ppid=32378 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/32381/task/32444/stat : 32444 (java) S 32378 32381 27613 0 -1 1077944384 187 13170 0 0 1 0 5 3 20 0 15 0 226584255 11246329856 10487 33554432000 4194304 4196468 140728763574208 140185285953904 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32445] ppid=32378 vsize=10982744 memory=140049152755328 CPUtime=0.11 cores=0,2,4,6
/proc/32381/task/32445/stat : 32445 (java) S 32378 32381 27613 0 -1 1077944384 640 13170 0 0 3 0 5 3 20 0 15 0 226584255 11246329856 10487 33554432000 4194304 4196468 140728763574208 140185284900848 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32446] ppid=32378 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32446/stat : 32446 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584256 11246329856 10487 33554432000 4194304 4196468 140728763574208 140183773112672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32447] ppid=32378 vsize=10982744 memory=140049152755328 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32447/stat : 32447 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584256 11246329856 10487 33554432000 4194304 4196468 140728763574208 140185283849264 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41684 KiB

[startup+0.310169 s]*
/proc/loadavg: 1.67 1.71 1.85 3/215 32447
/proc/meminfo: memFree=23121272/32770624 swapFree=67108804/67108860
[pid=32381] ppid=32378 vsize=10983192 memory=55140 CPUtime=0.39 cores=0,2,4,6
/proc/32381/stat : 32381 (java) S 32378 32381 27613 0 -1 1077944320 10385 13170 0 0 29 2 5 3 20 0 15 0 226584240 11246788608 13785 33554432000 4194304 4196468 140728763574208 140728763556752 140185862213367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
/proc/32381/statm: 2745798 13785 3078 1 0 2708109 0
[pid=32381/tid=32434] ppid=32378 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/32381/task/32434/stat : 32434 (java) R 32378 32381 27613 0 -1 4202560 6906 13170 0 0 19 1 5 3 20 0 15 0 226584250 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185834025376 140185846293854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32435] ppid=32378 vsize=10983192 memory=7084813469699035216 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32435/stat : 32435 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185866455568 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32436] ppid=32378 vsize=10983192 memory=2080 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32436/stat : 32436 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185721174672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32437] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32437/stat : 32437 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185400502544 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32438] ppid=32378 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32438/stat : 32438 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185399450000 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32439] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32439/stat : 32439 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 226584252 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185288059632 140185862224514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32440] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32440/stat : 32440 (java) S 32378 32381 27613 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 226584252 11246788608 13785 33554432000 4194304 4196468 140728763574208 140184712636064 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32441] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32441/stat : 32441 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584253 11246788608 13785 33554432000 4194304 4196468 140728763574208 140184511309040 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32442] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32442/stat : 32442 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584255 11246788608 13785 33554432000 4194304 4196468 140728763574208 140184203909584 140185862231963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32443] ppid=32378 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32381/task/32443/stat : 32443 (java) S 32378 32381 27613 0 -1 1077944384 410 13170 0 0 1 0 5 3 20 0 15 0 226584255 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185287006448 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32444] ppid=32378 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32381/task/32444/stat : 32444 (java) S 32378 32381 27613 0 -1 1077944384 191 13170 0 0 1 0 5 3 20 0 15 0 226584255 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185285953904 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32445] ppid=32378 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/32381/task/32445/stat : 32445 (java) S 32378 32381 27613 0 -1 1077944384 655 13170 0 0 5 0 5 3 20 0 15 0 226584255 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185284900848 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32446] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32446/stat : 32446 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584256 11246788608 13785 33554432000 4194304 4196468 140728763574208 140183773112672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32447] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32447/stat : 32447 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584256 11246788608 13785 33554432000 4194304 4196468 140728763574208 140185283849264 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55140 KiB

[startup+0.700741 s]
/proc/loadavg: 1.67 1.71 1.85 3/215 32447
/proc/meminfo: memFree=23110108/32770624 swapFree=67108804/67108860
[pid=32381] ppid=32378 vsize=10983192 memory=88440 CPUtime=0.99 cores=0,2,4,6
/proc/32381/stat : 32381 (java) S 32378 32381 27613 0 -1 1077944320 16730 13170 0 0 88 3 5 3 20 0 15 0 226584240 11246788608 22110 33554432000 4194304 4196468 140728763574208 140728763556752 140185862213367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
/proc/32381/statm: 2745798 22110 3238 1 0 2708109 0
[pid=32381/tid=32434] ppid=32378 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/32381/task/32434/stat : 32434 (java) R 32378 32381 27613 0 -1 4202560 12181 13170 0 0 56 2 5 3 20 0 15 0 226584250 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185834036368 140185847379006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32435] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32435/stat : 32435 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185866455568 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32436] ppid=32378 vsize=10983192 memory=3708 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32436/stat : 32436 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185721174672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32437] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32437/stat : 32437 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185400502544 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32438] ppid=32378 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32438/stat : 32438 (java) S 32378 32381 27613 0 -1 1077944384 2 13170 0 0 0 0 5 3 20 0 15 0 226584251 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185399450000 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32439] ppid=32378 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32439/stat : 32439 (java) S 32378 32381 27613 0 -1 1077944384 5 13170 0 0 0 0 5 3 20 0 15 0 226584252 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185288059632 140185862224514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32440] ppid=32378 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32440/stat : 32440 (java) S 32378 32381 27613 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 226584252 11246788608 22110 33554432000 4194304 4196468 140728763574208 140184712636064 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32441] ppid=32378 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32441/stat : 32441 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584253 11246788608 22110 33554432000 4194304 4196468 140728763574208 140184511309040 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32442] ppid=32378 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32442/stat : 32442 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584255 11246788608 22110 33554432000 4194304 4196468 140728763574208 140184203909584 140185862231963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32443] ppid=32378 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/32381/task/32443/stat : 32443 (java) S 32378 32381 27613 0 -1 1077944384 1016 13170 0 0 9 0 5 3 20 0 15 0 226584255 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185287006448 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32444] ppid=32378 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/32381/task/32444/stat : 32444 (java) S 32378 32381 27613 0 -1 1077944384 563 13170 0 0 7 0 5 3 20 0 15 0 226584255 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185285953904 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32445] ppid=32378 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/32381/task/32445/stat : 32445 (java) S 32378 32381 27613 0 -1 1077944384 742 13170 0 0 13 0 5 3 20 0 15 0 226584255 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185284900848 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32446] ppid=32378 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32446/stat : 32446 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584256 11246788608 22110 33554432000 4194304 4196468 140728763574208 140183773112672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32447] ppid=32378 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32447/stat : 32447 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584256 11246788608 22110 33554432000 4194304 4196468 140728763574208 140185283849264 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88440 KiB

[startup+1.50087 s]
/proc/loadavg: 1.70 1.72 1.85 3/215 32447
/proc/meminfo: memFree=23112752/32770624 swapFree=67108804/67108860
[pid=32381] ppid=32378 vsize=10991948 memory=317144 CPUtime=2.86 cores=0,2,4,6
/proc/32381/stat : 32381 (java) S 32378 32381 27613 0 -1 1077944320 22828 13170 0 0 256 22 5 3 20 0 15 0 226584240 11255754752 79286 33554432000 4194304 4196468 140728763574208 140728763556752 140185862213367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
/proc/32381/statm: 2747987 79286 3470 1 0 2709645 0
[pid=32381/tid=32434] ppid=32378 vsize=10991948 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/32381/task/32434/stat : 32434 (java) R 32378 32381 27613 0 -1 4202560 14865 13170 0 0 124 8 5 3 20 0 15 0 226584250 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185834047424 140185404568053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32435] ppid=32378 vsize=10991948 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/32381/task/32435/stat : 32435 (java) S 32378 32381 27613 0 -1 1077944384 125 13170 0 0 2 3 5 3 20 0 15 0 226584251 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185866455568 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32436] ppid=32378 vsize=10991948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32381/task/32436/stat : 32436 (java) S 32378 32381 27613 0 -1 1077944384 92 13170 0 0 2 2 5 3 20 0 15 0 226584251 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185721174672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32437] ppid=32378 vsize=10991948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32381/task/32437/stat : 32437 (java) S 32378 32381 27613 0 -1 1077944384 73 13170 0 0 2 2 5 3 20 0 15 0 226584251 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185400502544 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32438] ppid=32378 vsize=10991948 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/32381/task/32438/stat : 32438 (java) S 32378 32381 27613 0 -1 1077944384 365 13170 0 0 2 3 5 3 20 0 15 0 226584251 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185399450000 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32439] ppid=32378 vsize=10991948 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32439/stat : 32439 (java) S 32378 32381 27613 0 -1 1077944384 95 13170 0 0 0 0 5 3 20 0 15 0 226584252 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185288059632 140185862224514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32440] ppid=32378 vsize=10991948 memory=280098037115136 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32440/stat : 32440 (java) S 32378 32381 27613 0 -1 1077944384 14 13170 0 0 0 0 5 3 20 0 15 0 226584252 11255754752 79286 33554432000 4194304 4196468 140728763574208 140184712636064 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32441] ppid=32378 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32441/stat : 32441 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584253 11255754752 79286 33554432000 4194304 4196468 140728763574208 140184511309040 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32442] ppid=32378 vsize=10991948 memory=1084 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32442/stat : 32442 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584255 11255754752 79286 33554432000 4194304 4196468 140728763574208 140184203909584 140185862231963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32443] ppid=32378 vsize=10991948 memory=1600 CPUtime=0.45 cores=0,2,4,6
/proc/32381/task/32443/stat : 32443 (java) R 32378 32381 27613 0 -1 4202560 1468 13170 0 0 37 0 5 3 20 0 15 0 226584255 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185286992544 140185843405475 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32444] ppid=32378 vsize=10991948 memory=7952 CPUtime=0.54 cores=0,2,4,6
/proc/32381/task/32444/stat : 32444 (java) R 32378 32381 27613 0 -1 4202560 2038 13170 0 0 46 0 5 3 20 0 15 0 226584255 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185285932800 140185847132327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32445] ppid=32378 vsize=10991948 memory=4088 CPUtime=0.43 cores=0,2,4,6
/proc/32381/task/32445/stat : 32445 (java) R 32378 32381 27613 0 -1 4202560 1487 13170 0 0 35 0 5 3 20 0 15 0 226584255 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185284900848 140185841682315 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32446] ppid=32378 vsize=10991948 memory=1784 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32446/stat : 32446 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584256 11255754752 79286 33554432000 4194304 4196468 140728763574208 140183773112672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32447] ppid=32378 vsize=10991948 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32447/stat : 32447 (java) S 32378 32381 27613 0 -1 1077944384 1 13170 0 0 0 0 5 3 20 0 15 0 226584256 11255754752 79286 33554432000 4194304 4196468 140728763574208 140185283849264 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 10991948 KiB

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

/proc/32381/task/32434/stat : 32434 (java) R 32378 32381 27613 0 -1 4202560 268333 13170 0 0 221411 67 5 3 20 0 15 0 226584250 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185834047136 140185411225414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32435] ppid=32378 vsize=11016544 memory=6731184 CPUtime=45.89 cores=0,2,4,6
/proc/32381/task/32435/stat : 32435 (java) S 32378 32381 27613 0 -1 1077944384 77625 13170 0 0 4424 157 5 3 20 0 15 0 226584251 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185866455568 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32436] ppid=32378 vsize=11016544 memory=6731184 CPUtime=45.98 cores=0,2,4,6
/proc/32381/task/32436/stat : 32436 (java) S 32378 32381 27613 0 -1 1077944384 72883 13170 0 0 4434 156 5 3 20 0 15 0 226584251 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185721174672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32437] ppid=32378 vsize=11016544 memory=6731184 CPUtime=45.96 cores=0,2,4,6
/proc/32381/task/32437/stat : 32437 (java) S 32378 32381 27613 0 -1 1077944384 71883 13170 0 0 4436 152 5 3 20 0 15 0 226584251 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185400502544 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32438] ppid=32378 vsize=11016544 memory=6731184 CPUtime=45.87 cores=0,2,4,6
/proc/32381/task/32438/stat : 32438 (java) S 32378 32381 27613 0 -1 1077944384 79290 13170 0 0 4423 156 5 3 20 0 15 0 226584251 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185399450000 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32439] ppid=32378 vsize=11016544 memory=3304 CPUtime=1.16 cores=0,2,4,6
/proc/32381/task/32439/stat : 32439 (java) S 32378 32381 27613 0 -1 1077944384 64270 13170 0 0 98 10 5 3 20 0 15 0 226584252 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185288059632 140185862224514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32440] ppid=32378 vsize=11016544 memory=2080 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32440/stat : 32440 (java) S 32378 32381 27613 0 -1 1077944384 21 13170 0 0 0 0 5 3 20 0 15 0 226584252 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140184712636128 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32441] ppid=32378 vsize=11016544 memory=6728052 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32441/stat : 32441 (java) S 32378 32381 27613 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 226584253 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140184511309056 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32442] ppid=32378 vsize=11016544 memory=6731184 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32442/stat : 32442 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584255 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140184203909584 140185862231963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32443] ppid=32378 vsize=11016544 memory=5808 CPUtime=11.24 cores=0,2,4,6
/proc/32381/task/32443/stat : 32443 (java) S 32378 32381 27613 0 -1 1077944384 64474 13170 0 0 1108 8 5 3 20 0 15 0 226584255 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185287006448 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32444] ppid=32378 vsize=11016544 memory=6791534058613427641 CPUtime=11.07 cores=0,2,4,6
/proc/32381/task/32444/stat : 32444 (java) S 32378 32381 27613 0 -1 1077944384 76725 13170 0 0 1091 8 5 3 20 0 15 0 226584255 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185285953904 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32445] ppid=32378 vsize=11016544 memory=6725516 CPUtime=3.49 cores=0,2,4,6
/proc/32381/task/32445/stat : 32445 (java) S 32378 32381 27613 0 -1 1077944384 48759 13170 0 0 333 8 5 3 20 0 15 0 226584255 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185284900848 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32446] ppid=32378 vsize=11016544 memory=6729132 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32446/stat : 32446 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584256 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140183773112672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32447] ppid=32378 vsize=11016544 memory=3708 CPUtime=1.43 cores=0,2,4,6
/proc/32381/task/32447/stat : 32447 (java) S 32378 32381 27613 0 -1 1077944384 2571 13170 0 0 62 73 5 3 20 0 15 0 226584256 11280941056 1682796 33554432000 4194304 4196468 140728763574208 140185283849264 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
Current children cumulated CPU time: 2426.32 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6731184 KiB

[startup+2322.3 s]
/proc/loadavg: 1.74 1.74 1.78 3/215 303
/proc/meminfo: memFree=15141348/32770624 swapFree=67108804/67108860
[pid=32381] ppid=32378 vsize=11016544 memory=6731240 CPUtime=2487.45 cores=0,2,4,6
/proc/32381/stat : 32381 (java) S 32378 32381 27613 0 -1 1077944320 850612 13170 0 0 247957 780 5 3 20 0 15 0 226584240 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140728763556752 140185862213367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
/proc/32381/statm: 2754136 1682810 3542 1 0 2715789 0
[pid=32381/tid=32434] ppid=32378 vsize=11016544 memory=6731240 CPUtime=2274.48 cores=0,2,4,6
/proc/32381/task/32434/stat : 32434 (java) R 32378 32381 27613 0 -1 4202560 274824 13170 0 0 227372 68 5 3 20 0 15 0 226584250 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185834047344 140185423384585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32435] ppid=32378 vsize=11016544 memory=6731240 CPUtime=46.25 cores=0,2,4,6
/proc/32381/task/32435/stat : 32435 (java) S 32378 32381 27613 0 -1 1077944384 80453 13170 0 0 4459 158 5 3 20 0 15 0 226584251 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185866455568 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32436] ppid=32378 vsize=11016544 memory=6731240 CPUtime=46.33 cores=0,2,4,6
/proc/32381/task/32436/stat : 32436 (java) S 32378 32381 27613 0 -1 1077944384 74420 13170 0 0 4469 156 5 3 20 0 15 0 226584251 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185721174672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32437] ppid=32378 vsize=11016544 memory=6731240 CPUtime=46.32 cores=0,2,4,6
/proc/32381/task/32437/stat : 32437 (java) S 32378 32381 27613 0 -1 1077944384 74703 13170 0 0 4472 152 5 3 20 0 15 0 226584251 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185400502544 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32438] ppid=32378 vsize=11016544 memory=4615 CPUtime=46.22 cores=0,2,4,6
/proc/32381/task/32438/stat : 32438 (java) S 32378 32381 27613 0 -1 1077944384 81181 13170 0 0 4458 156 5 3 20 0 15 0 226584251 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185399450000 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32439] ppid=32378 vsize=11016544 memory=4613 CPUtime=1.17 cores=0,2,4,6
/proc/32381/task/32439/stat : 32439 (java) S 32378 32381 27613 0 -1 1077944384 64638 13170 0 0 99 10 5 3 20 0 15 0 226584252 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185288059632 140185862224514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32440] ppid=32378 vsize=11016544 memory=61624 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32440/stat : 32440 (java) S 32378 32381 27613 0 -1 1077944384 21 13170 0 0 0 0 5 3 20 0 15 0 226584252 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140184712636128 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32441] ppid=32378 vsize=11016544 memory=2080 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32441/stat : 32441 (java) S 32378 32381 27613 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 226584253 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140184511309056 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32442] ppid=32378 vsize=11016544 memory=2080 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32442/stat : 32442 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584255 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140184203909584 140185862231963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32443] ppid=32378 vsize=11016544 memory=1036 CPUtime=11.25 cores=0,2,4,6
/proc/32381/task/32443/stat : 32443 (java) S 32378 32381 27613 0 -1 1077944384 66735 13170 0 0 1109 8 5 3 20 0 15 0 226584255 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185287006448 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32444] ppid=32378 vsize=11016544 memory=6731240 CPUtime=11.08 cores=0,2,4,6
/proc/32381/task/32444/stat : 32444 (java) S 32378 32381 27613 0 -1 1077944384 78969 13170 0 0 1092 8 5 3 20 0 15 0 226584255 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185285953904 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32445] ppid=32378 vsize=11016544 memory=6731240 CPUtime=3.49 cores=0,2,4,6
/proc/32381/task/32445/stat : 32445 (java) S 32378 32381 27613 0 -1 1077944384 49850 13170 0 0 333 8 5 3 20 0 15 0 226584255 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185284900848 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32446] ppid=32378 vsize=11016544 memory=1984 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32446/stat : 32446 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584256 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140183773112672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32447] ppid=32378 vsize=11016544 memory=920 CPUtime=1.46 cores=0,2,4,6
/proc/32381/task/32447/stat : 32447 (java) S 32378 32381 27613 0 -1 1077944384 2603 13170 0 0 63 75 5 3 20 0 15 0 226584256 11280941056 1682810 33554432000 4194304 4196468 140728763574208 140185283849264 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
Current children cumulated CPU time: 2487.45 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6731240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2354.3 s]
/proc/loadavg: 1.63 1.72 1.77 3/215 304
/proc/meminfo: memFree=15341048/32770624 swapFree=67108804/67108860
[pid=32381] ppid=32378 vsize=11016544 memory=6731252 CPUtime=2520.05 cores=0,2,4,6
/proc/32381/stat : 32381 (java) S 32378 32381 27613 0 -1 1077944320 852972 13170 0 0 251215 782 5 3 20 0 15 0 226584240 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140728763556752 140185862213367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
/proc/32381/statm: 2754136 1682813 3542 1 0 2715789 0
[pid=32381/tid=32434] ppid=32378 vsize=11016544 memory=6731252 CPUtime=2306.28 cores=0,2,4,6
/proc/32381/task/32434/stat : 32434 (java) R 32378 32381 27613 0 -1 4202560 275908 13170 0 0 230552 68 5 3 20 0 15 0 226584250 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185834047352 140185424142400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32435] ppid=32378 vsize=11016544 memory=6731244 CPUtime=46.44 cores=0,2,4,6
/proc/32381/task/32435/stat : 32435 (java) S 32378 32381 27613 0 -1 1077944384 80669 13170 0 0 4478 158 5 3 20 0 15 0 226584251 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185866455568 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32436] ppid=32378 vsize=11016544 memory=6731252 CPUtime=46.52 cores=0,2,4,6
/proc/32381/task/32436/stat : 32436 (java) S 32378 32381 27613 0 -1 1077944384 74650 13170 0 0 4488 156 5 3 20 0 15 0 226584251 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185721174672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32437] ppid=32378 vsize=11016544 memory=6731252 CPUtime=46.51 cores=0,2,4,6
/proc/32381/task/32437/stat : 32437 (java) S 32378 32381 27613 0 -1 1077944384 74953 13170 0 0 4491 152 5 3 20 0 15 0 226584251 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185400502544 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32438] ppid=32378 vsize=11016544 memory=6731252 CPUtime=46.41 cores=0,2,4,6
/proc/32381/task/32438/stat : 32438 (java) S 32378 32381 27613 0 -1 1077944384 81634 13170 0 0 4477 156 5 3 20 0 15 0 226584251 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185399450000 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32439] ppid=32378 vsize=11016544 memory=6731252 CPUtime=1.18 cores=0,2,4,6
/proc/32381/task/32439/stat : 32439 (java) S 32378 32381 27613 0 -1 1077944384 64644 13170 0 0 100 10 5 3 20 0 15 0 226584252 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185288059632 140185862224514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32440] ppid=32378 vsize=11016544 memory=6731252 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32440/stat : 32440 (java) S 32378 32381 27613 0 -1 1077944384 21 13170 0 0 0 0 5 3 20 0 15 0 226584252 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140184712636128 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32441] ppid=32378 vsize=11016544 memory=6731252 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32441/stat : 32441 (java) S 32378 32381 27613 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 226584253 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140184511309056 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32442] ppid=32378 vsize=11016544 memory=6731252 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32442/stat : 32442 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584255 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140184203909584 140185862231963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32443] ppid=32378 vsize=11016544 memory=6731252 CPUtime=11.25 cores=0,2,4,6
/proc/32381/task/32443/stat : 32443 (java) S 32378 32381 27613 0 -1 1077944384 66735 13170 0 0 1109 8 5 3 20 0 15 0 226584255 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185287006448 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32444] ppid=32378 vsize=11016544 memory=6731252 CPUtime=11.08 cores=0,2,4,6
/proc/32381/task/32444/stat : 32444 (java) S 32378 32381 27613 0 -1 1077944384 79023 13170 0 0 1092 8 5 3 20 0 15 0 226584255 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185285953904 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32445] ppid=32378 vsize=11016544 memory=6731252 CPUtime=3.5 cores=0,2,4,6
/proc/32381/task/32445/stat : 32445 (java) S 32378 32381 27613 0 -1 1077944384 49910 13170 0 0 334 8 5 3 20 0 15 0 226584255 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185284900848 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32446] ppid=32378 vsize=11016544 memory=6731252 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32446/stat : 32446 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584256 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140183773112672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32447] ppid=32378 vsize=11016544 memory=3708 CPUtime=1.48 cores=0,2,4,6
/proc/32381/task/32447/stat : 32447 (java) S 32378 32381 27613 0 -1 1077944384 2610 13170 0 0 64 76 5 3 20 0 15 0 226584256 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185283849264 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6731252 KiB

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

[startup+2354.37 s]
# the end of solver process 32381 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2512.24 s, system=7.89266 s

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

[startup+2354.3 s]
/proc/loadavg: 1.63 1.72 1.77 3/215 304
/proc/meminfo: memFree=15341048/32770624 swapFree=67108804/67108860
[pid=32381] ppid=32378 vsize=11016544 memory=6731252 CPUtime=2520.05 cores=0,2,4,6
/proc/32381/stat : 32381 (java) S 32378 32381 27613 0 -1 1077944320 852972 13170 0 0 251215 782 5 3 20 0 15 0 226584240 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140728763556752 140185862213367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
/proc/32381/statm: 2754136 1682813 3542 1 0 2715789 0
[pid=32381/tid=32434] ppid=32378 vsize=11016544 memory=6731252 CPUtime=2306.28 cores=0,2,4,6
/proc/32381/task/32434/stat : 32434 (java) R 32378 32381 27613 0 -1 4202560 275908 13170 0 0 230552 68 5 3 20 0 15 0 226584250 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185834047352 140185424142400 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32435] ppid=32378 vsize=11016544 memory=6731244 CPUtime=46.44 cores=0,2,4,6
/proc/32381/task/32435/stat : 32435 (java) S 32378 32381 27613 0 -1 1077944384 80669 13170 0 0 4478 158 5 3 20 0 15 0 226584251 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185866455568 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32436] ppid=32378 vsize=11016544 memory=6731252 CPUtime=46.52 cores=0,2,4,6
/proc/32381/task/32436/stat : 32436 (java) S 32378 32381 27613 0 -1 1077944384 74650 13170 0 0 4488 156 5 3 20 0 15 0 226584251 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185721174672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32437] ppid=32378 vsize=11016544 memory=6731252 CPUtime=46.51 cores=0,2,4,6
/proc/32381/task/32437/stat : 32437 (java) S 32378 32381 27613 0 -1 1077944384 74953 13170 0 0 4491 152 5 3 20 0 15 0 226584251 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185400502544 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32438] ppid=32378 vsize=11016544 memory=6731252 CPUtime=46.41 cores=0,2,4,6
/proc/32381/task/32438/stat : 32438 (java) S 32378 32381 27613 0 -1 1077944384 81634 13170 0 0 4477 156 5 3 20 0 15 0 226584251 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185399450000 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32439] ppid=32378 vsize=11016544 memory=6731252 CPUtime=1.18 cores=0,2,4,6
/proc/32381/task/32439/stat : 32439 (java) S 32378 32381 27613 0 -1 1077944384 64644 13170 0 0 100 10 5 3 20 0 15 0 226584252 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185288059632 140185862224514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32440] ppid=32378 vsize=11016544 memory=6731252 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32440/stat : 32440 (java) S 32378 32381 27613 0 -1 1077944384 21 13170 0 0 0 0 5 3 20 0 15 0 226584252 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140184712636128 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32441] ppid=32378 vsize=11016544 memory=6731252 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32441/stat : 32441 (java) S 32378 32381 27613 0 -1 1077944384 13 13170 0 0 0 0 5 3 20 0 15 0 226584253 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140184511309056 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32442] ppid=32378 vsize=11016544 memory=6731252 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32442/stat : 32442 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584255 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140184203909584 140185862231963 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32443] ppid=32378 vsize=11016544 memory=6731252 CPUtime=11.25 cores=0,2,4,6
/proc/32381/task/32443/stat : 32443 (java) S 32378 32381 27613 0 -1 1077944384 66735 13170 0 0 1109 8 5 3 20 0 15 0 226584255 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185287006448 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32444] ppid=32378 vsize=11016544 memory=6731252 CPUtime=11.08 cores=0,2,4,6
/proc/32381/task/32444/stat : 32444 (java) S 32378 32381 27613 0 -1 1077944384 79023 13170 0 0 1092 8 5 3 20 0 15 0 226584255 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185285953904 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32445] ppid=32378 vsize=11016544 memory=6731252 CPUtime=3.5 cores=0,2,4,6
/proc/32381/task/32445/stat : 32445 (java) S 32378 32381 27613 0 -1 1077944384 49910 13170 0 0 334 8 5 3 20 0 15 0 226584255 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185284900848 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32446] ppid=32378 vsize=11016544 memory=6731252 CPUtime=0.08 cores=0,2,4,6
/proc/32381/task/32446/stat : 32446 (java) S 32378 32381 27613 0 -1 1077944384 3 13170 0 0 0 0 5 3 20 0 15 0 226584256 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140183773112672 140185862223573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
[pid=32381/tid=32447] ppid=32378 vsize=11016544 memory=3708 CPUtime=1.48 cores=0,2,4,6
/proc/32381/task/32447/stat : 32447 (java) S 32378 32381 27613 0 -1 1077944384 2610 13170 0 0 64 76 5 3 20 0 15 0 226584256 11280941056 1682813 33554432000 4194304 4196468 140728763574208 140185283849264 140185862224514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11096064 140728763578980 140728763581788 140728763581788 140728763584463 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6731252 KiB

Child status: 143
Real time (s): 2354.37
CPU time (s): 2520.14
CPU user time (s): 2512.24
CPU system time (s): 7.89266
CPU usage (%): 107.041
Max. virtual memory (cumulated for all children) (KiB): 11017208
Max. memory (cumulated for all children) (KiB): 6731252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.24
system time used= 7.89266
maximum resident set size= 6735472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 867928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74346
involuntary context switches= 5425


# summary of solver processes directly reported to runsolver:
#   pid: 32381
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2512.24
#   total CPU system time (s): 7.89266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1148 second user time and 18.0965 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-12 18:10:11
IDJOB=4304438
IDBENCH=141267
IDSOLVER=2781
FILE ID=node105/4304438-1534090210
RUNJOBID= node105-1534063459-27644
PBS_JOBID= 21036987
Free space on /tmp= 40644 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test02-0250_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304438-1534090210/watcher-4304438-1534090210 -o /tmp/evaluation-result-4304438-1534090210/solver-4304438-1534090210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534063459-27644 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=127975534 -superng HOME/instance-4304438-1534090210.xml

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

MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13
RANDOM SEED=127975534

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23162364 kB
MemAvailable:   26845760 kB
Buffers:          143108 kB
Cached:          3795320 kB
SwapCached:           16 kB
Active:          7185404 kB
Inactive:        1858276 kB
Active(anon):    5056884 kB
Inactive(anon):   100472 kB
Active(file):    2128520 kB
Inactive(file):  1757804 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:            122216 kB
Writeback:             0 kB
AnonPages:       5112164 kB
Mapped:            63876 kB
Shmem:             49748 kB
Slab:             253328 kB
SReclaimable:     225532 kB
SUnreclaim:        27796 kB
KernelStack:        3568 kB
PageTables:        15376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5730768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4827136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 40620 MiB
End job on node105 at 2018-08-12 18:49:25