Trace number 4293906

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13SAT (TO)122023784 2520.17 2383.36

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	122023784

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293906-1532387319/watcher-4293906-1532387319 -o /tmp/evaluation-result-4293906-1532387319/solver-4293906-1532387319 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17305 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1727622089 -superng HOME/instance-4293906-1532387319.xml 

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

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

solver pid=20215, runsolver pid=20212

[startup+0.100101 s]*
/proc/loadavg: 1.96 1.92 1.87 4/205 20272
/proc/meminfo: memFree=27346892/32770624 swapFree=67108860/67108860
[pid=20215] ppid=20212 vsize=10055356 memory=17824 CPUtime=0.08 cores=1,3,5,7
/proc/20215/stat : 20215 (java) S 20212 20215 17273 0 -1 1077944320 4590 12939 0 0 1 0 5 2 20 0 7 0 56295207 10296684544 4456 33554432000 4194304 4196468 140735208381072 140735208363616 139711257898743 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
/proc/20215/statm: 2513839 4456 2026 1 0 2502277 0
[pid=20215/tid=20268] ppid=20212 vsize=10055356 memory=-8187100386482147110 CPUtime=0.08 cores=1,3,5,7
/proc/20215/task/20268/stat : 20268 (java) R 20212 20215 17273 0 -1 4202560 2412 12939 0 0 1 0 5 2 20 0 7 0 56295215 10296684544 4456 33554432000 4194304 4196468 140735208381072 139711229741840 139711241979230 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20269] ppid=20212 vsize=10055356 memory=-3689349214911541841 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20269/stat : 20269 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 7 0 56295216 10296684544 4456 33554432000 4194304 4196468 140735208381072 139711262140688 139711257908949 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20270] ppid=20212 vsize=10055356 memory=139646776256128 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20270/stat : 20270 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 7 0 56295216 10296684544 4456 33554432000 4194304 4196468 140735208381072 139711194053008 139711257908949 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20271] ppid=20212 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20271/stat : 20271 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 7 0 56295216 10296684544 4456 33554432000 4194304 4196468 140735208381072 139710830086672 139711257908949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20272] ppid=20212 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20272/stat : 20272 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 7 0 56295216 10296684544 4456 33554432000 4194304 4196468 140735208381072 139710829034128 139711257908949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20273] ppid=20212 vsize=10055356 memory=139646776256128 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20273/stat : 20273 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 7 0 56295218 10296684544 4456 33554432000 4194304 4196468 140735208381072 139710538177008 139711257909890 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 17824 KiB

[startup+0.209901 s]*
/proc/loadavg: 1.96 1.92 1.87 6/214 20281
/proc/meminfo: memFree=27312028/32770624 swapFree=67108860/67108860
[pid=20215] ppid=20212 vsize=10818904 memory=47324 CPUtime=0.26 cores=1,3,5,7
/proc/20215/stat : 20215 (java) S 20212 20215 17273 0 -1 1077944320 9679 12939 0 0 17 2 5 2 20 0 15 0 56295207 11078557696 11831 33554432000 4194304 4196468 140735208381072 140735208363616 139711257898743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
/proc/20215/statm: 2704726 11831 2976 1 0 2667149 0
[pid=20215/tid=20268] ppid=20212 vsize=10818904 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/20215/task/20268/stat : 20268 (java) R 20212 20215 17273 0 -1 4202560 6268 12939 0 0 10 1 5 2 20 0 15 0 56295215 11078557696 11831 33554432000 4194304 4196468 140735208381072 139711229723552 139711241979230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20269] ppid=20212 vsize=10818904 memory=288230621904633879 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20269/stat : 20269 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 15 0 56295216 11078557696 11831 33554432000 4194304 4196468 140735208381072 139711262140688 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20270] ppid=20212 vsize=10818904 memory=288370022927967872 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20270/stat : 20270 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295216 11078557696 11831 33554432000 4194304 4196468 140735208381072 139711194053008 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20271] ppid=20212 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20271/stat : 20271 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295216 11078557696 11831 33554432000 4194304 4196468 140735208381072 139710830086672 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20272] ppid=20212 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20272/stat : 20272 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 15 0 56295216 11078557696 11831 33554432000 4194304 4196468 140735208381072 139710829034128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20273] ppid=20212 vsize=10818904 memory=139646776256128 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20273/stat : 20273 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 15 0 56295218 11078557696 11831 33554432000 4194304 4196468 140735208381072 139710538177008 139711257909890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20274] ppid=20212 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20274/stat : 20274 (java) S 20212 20215 17273 0 -1 1077944384 13 12939 0 0 0 0 5 2 20 0 15 0 56295218 11078557696 11831 33554432000 4194304 4196468 140735208381072 139710320076192 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20275] ppid=20212 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20275/stat : 20275 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295218 11078557696 11831 33554432000 4194304 4196468 140735208381072 139710051640816 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20276] ppid=20212 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20276/stat : 20276 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11078557696 11831 33554432000 4194304 4196468 140735208381072 139709744241360 139711257917339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20277] ppid=20212 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20215/task/20277/stat : 20277 (java) S 20212 20215 17273 0 -1 1077944384 486 12939 0 0 1 0 5 2 20 0 15 0 56295221 11078557696 11831 33554432000 4194304 4196468 140735208381072 139710537123824 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20278] ppid=20212 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20215/task/20278/stat : 20278 (java) R 20212 20215 17273 0 -1 1077944384 101 12939 0 0 1 0 5 2 20 0 15 0 56295221 11078557696 11831 33554432000 4194304 4196468 140735208381072 139710536071280 139711257909890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20279] ppid=20212 vsize=10818904 memory=139646776256128 CPUtime=0.1 cores=1,3,5,7
/proc/20215/task/20279/stat : 20279 (java) R 20212 20215 17273 0 -1 4202560 615 12939 0 0 3 0 5 2 20 0 15 0 56295221 11078557696 11831 33554432000 4194304 4196468 140735208381072 139710535018736 139711242066930 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20280] ppid=20212 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20280/stat : 20280 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11078557696 11831 33554432000 4194304 4196468 140735208381072 139709710682720 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20281] ppid=20212 vsize=10818904 memory=139646776256128 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20281/stat : 20281 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295221 11078557696 11831 33554432000 4194304 4196468 140735208381072 139710533966640 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 47324 KiB

[startup+0.310409 s]*
/proc/loadavg: 1.96 1.92 1.87 6/214 20281
/proc/meminfo: memFree=27283740/32770624 swapFree=67108860/67108860
[pid=20215] ppid=20212 vsize=10819352 memory=55208 CPUtime=0.38 cores=1,3,5,7
/proc/20215/stat : 20215 (java) S 20212 20215 17273 0 -1 1077944320 10921 12939 0 0 29 2 5 2 20 0 15 0 56295207 11079016448 13802 33554432000 4194304 4196468 140735208381072 140735208363616 139711257898743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
/proc/20215/statm: 2704838 13802 3095 1 0 2667149 0
[pid=20215/tid=20268] ppid=20212 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20215/task/20268/stat : 20268 (java) R 20212 20215 17273 0 -1 4202560 7454 12939 0 0 20 2 5 2 20 0 15 0 56295215 11079016448 13802 33554432000 4194304 4196468 140735208381072 139711229710752 139711239462281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20269] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20269/stat : 20269 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 15 0 56295216 11079016448 13802 33554432000 4194304 4196468 140735208381072 139711262140688 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20270] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20270/stat : 20270 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295216 11079016448 13802 33554432000 4194304 4196468 140735208381072 139711194053008 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20271] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20271/stat : 20271 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295216 11079016448 13802 33554432000 4194304 4196468 140735208381072 139710830086672 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20272] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20272/stat : 20272 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 15 0 56295216 11079016448 13802 33554432000 4194304 4196468 140735208381072 139710829034128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20273] ppid=20212 vsize=10819352 memory=139646776256133 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20273/stat : 20273 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 15 0 56295218 11079016448 13802 33554432000 4194304 4196468 140735208381072 139710538177008 139711257909890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20274] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20274/stat : 20274 (java) S 20212 20215 17273 0 -1 1077944384 13 12939 0 0 0 0 5 2 20 0 15 0 56295218 11079016448 13802 33554432000 4194304 4196468 140735208381072 139710320076192 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20275] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20275/stat : 20275 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295218 11079016448 13802 33554432000 4194304 4196468 140735208381072 139710051640816 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20276] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20276/stat : 20276 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11079016448 13802 33554432000 4194304 4196468 140735208381072 139709744241360 139711257917339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20277] ppid=20212 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20215/task/20277/stat : 20277 (java) S 20212 20215 17273 0 -1 1077944384 492 12939 0 0 1 0 5 2 20 0 15 0 56295221 11079016448 13802 33554432000 4194304 4196468 140735208381072 139710537123824 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20278] ppid=20212 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20215/task/20278/stat : 20278 (java) S 20212 20215 17273 0 -1 1077944384 107 12939 0 0 1 0 5 2 20 0 15 0 56295221 11079016448 13802 33554432000 4194304 4196468 140735208381072 139710536071280 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20279] ppid=20212 vsize=10819352 memory=139646776256128 CPUtime=0.12 cores=1,3,5,7
/proc/20215/task/20279/stat : 20279 (java) S 20212 20215 17273 0 -1 1077944384 653 12939 0 0 5 0 5 2 20 0 15 0 56295221 11079016448 13802 33554432000 4194304 4196468 140735208381072 139710535018736 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20280] ppid=20212 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20280/stat : 20280 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11079016448 13802 33554432000 4194304 4196468 140735208381072 139709710682720 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20281] ppid=20212 vsize=10819352 memory=139646776256128 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20281/stat : 20281 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295221 11079016448 13802 33554432000 4194304 4196468 140735208381072 139710533966640 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55208 KiB

[startup+0.700742 s]
/proc/loadavg: 1.96 1.92 1.87 3/197 20305
/proc/meminfo: memFree=27337664/32770624 swapFree=67108860/67108860
[pid=20215] ppid=20212 vsize=10819352 memory=88240 CPUtime=0.98 cores=1,3,5,7
/proc/20215/stat : 20215 (java) S 20212 20215 17273 0 -1 1077944320 17111 12939 0 0 88 3 5 2 20 0 15 0 56295207 11079016448 22060 33554432000 4194304 4196468 140735208381072 140735208363616 139711257898743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
/proc/20215/statm: 2704838 22060 3239 1 0 2667149 0
[pid=20215/tid=20268] ppid=20212 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/20215/task/20268/stat : 20268 (java) R 20212 20215 17273 0 -1 4202560 12467 12939 0 0 57 2 5 2 20 0 15 0 56295215 11079016448 22060 33554432000 4194304 4196468 140735208381072 139711229719568 139711243064398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20269] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20269/stat : 20269 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 15 0 56295216 11079016448 22060 33554432000 4194304 4196468 140735208381072 139711262140688 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20270] ppid=20212 vsize=10819352 memory=8242257093008373557 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20270/stat : 20270 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295216 11079016448 22060 33554432000 4194304 4196468 140735208381072 139711194053008 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20271] ppid=20212 vsize=10819352 memory=6080802196407996497 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20271/stat : 20271 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295216 11079016448 22060 33554432000 4194304 4196468 140735208381072 139710830086672 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20272] ppid=20212 vsize=10819352 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20272/stat : 20272 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 15 0 56295216 11079016448 22060 33554432000 4194304 4196468 140735208381072 139710829034128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20273] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20273/stat : 20273 (java) S 20212 20215 17273 0 -1 1077944384 5 12939 0 0 0 0 5 2 20 0 15 0 56295218 11079016448 22060 33554432000 4194304 4196468 140735208381072 139710538177008 139711257909890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20274] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20274/stat : 20274 (java) S 20212 20215 17273 0 -1 1077944384 13 12939 0 0 0 0 5 2 20 0 15 0 56295218 11079016448 22060 33554432000 4194304 4196468 140735208381072 139710320076192 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20275] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20275/stat : 20275 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295218 11079016448 22060 33554432000 4194304 4196468 140735208381072 139710051640816 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20276] ppid=20212 vsize=10819352 memory=6994781577135807034 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20276/stat : 20276 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11079016448 22060 33554432000 4194304 4196468 140735208381072 139709744241360 139711257917339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20277] ppid=20212 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/20215/task/20277/stat : 20277 (java) S 20212 20215 17273 0 -1 1077944384 1128 12939 0 0 9 0 5 2 20 0 15 0 56295221 11079016448 22060 33554432000 4194304 4196468 140735208381072 139710537123824 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20278] ppid=20212 vsize=10819352 memory=279293267622528 CPUtime=0.14 cores=1,3,5,7
/proc/20215/task/20278/stat : 20278 (java) S 20212 20215 17273 0 -1 1077944384 492 12939 0 0 7 0 5 2 20 0 15 0 56295221 11079016448 22060 33554432000 4194304 4196468 140735208381072 139710536071280 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20279] ppid=20212 vsize=10819352 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/20215/task/20279/stat : 20279 (java) S 20212 20215 17273 0 -1 1077944384 806 12939 0 0 12 0 5 2 20 0 15 0 56295221 11079016448 22060 33554432000 4194304 4196468 140735208381072 139710535018736 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20280] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20280/stat : 20280 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11079016448 22060 33554432000 4194304 4196468 140735208381072 139709710682720 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20281] ppid=20212 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20281/stat : 20281 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295221 11079016448 22060 33554432000 4194304 4196468 140735208381072 139710533966640 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88240 KiB

[startup+1.50726 s]
/proc/loadavg: 1.96 1.92 1.87 4/202 20323
/proc/meminfo: memFree=27193428/32770624 swapFree=67108860/67108860
[pid=20215] ppid=20212 vsize=10828108 memory=334224 CPUtime=2.95 cores=1,3,5,7
/proc/20215/stat : 20215 (java) S 20212 20215 17273 0 -1 1077944320 23507 12939 0 0 262 26 5 2 20 0 15 0 56295207 11087982592 83556 33554432000 4194304 4196468 140735208381072 140735208363616 139711257898743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
/proc/20215/statm: 2707027 83556 3472 1 0 2668685 0
[pid=20215/tid=20268] ppid=20212 vsize=10828108 memory=7 CPUtime=1.39 cores=1,3,5,7
/proc/20215/task/20268/stat : 20268 (java) S 20212 20215 17273 0 -1 1077944384 14928 12939 0 0 123 9 5 2 20 0 15 0 56295215 11087982592 83556 33554432000 4194304 4196468 140735208381072 139711229733488 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20269] ppid=20212 vsize=10828108 memory=7 CPUtime=0.12 cores=1,3,5,7
/proc/20215/task/20269/stat : 20269 (java) R 20212 20215 17273 0 -1 4202560 239 12939 0 0 2 3 5 2 20 0 15 0 56295216 11087982592 83556 33554432000 4194304 4196468 140735208381072 139711262140576 139711250998419 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20270] ppid=20212 vsize=10828108 memory=7 CPUtime=0.12 cores=1,3,5,7
/proc/20215/task/20270/stat : 20270 (java) R 20212 20215 17273 0 -1 4202560 150 12939 0 0 2 3 5 2 20 0 15 0 56295216 11087982592 83556 33554432000 4194304 4196468 140735208381072 139711194053008 139711251001460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20271] ppid=20212 vsize=10828108 memory=7 CPUtime=0.12 cores=1,3,5,7
/proc/20215/task/20271/stat : 20271 (java) R 20212 20215 17273 0 -1 4202560 124 12939 0 0 2 3 5 2 20 0 15 0 56295216 11087982592 83556 33554432000 4194304 4196468 140735208381072 139710830086672 139711251001460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20272] ppid=20212 vsize=10828108 memory=33 CPUtime=0.13 cores=1,3,5,7
/proc/20215/task/20272/stat : 20272 (java) R 20212 20215 17273 0 -1 4202560 411 12939 0 0 3 3 5 2 20 0 15 0 56295216 11087982592 83556 33554432000 4194304 4196468 140735208381072 139710829034128 139711251001806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20273] ppid=20212 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20273/stat : 20273 (java) S 20212 20215 17273 0 -1 1077944384 93 12939 0 0 0 0 5 2 20 0 15 0 56295218 11087982592 83556 33554432000 4194304 4196468 140735208381072 139710538175520 139711257908949 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20274] ppid=20212 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20274/stat : 20274 (java) S 20212 20215 17273 0 -1 1077944384 13 12939 0 0 0 0 5 2 20 0 15 0 56295218 11087982592 83556 33554432000 4194304 4196468 140735208381072 139710320076256 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20275] ppid=20212 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20275/stat : 20275 (java) S 20212 20215 17273 0 -1 1077944384 2 12939 0 0 0 0 5 2 20 0 15 0 56295218 11087982592 83556 33554432000 4194304 4196468 140735208381072 139710051640832 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20276] ppid=20212 vsize=10828108 memory=6994781577135807034 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20276/stat : 20276 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11087982592 83556 33554432000 4194304 4196468 140735208381072 139709744241360 139711257917339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20277] ppid=20212 vsize=10828108 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/20215/task/20277/stat : 20277 (java) S 20212 20215 17273 0 -1 1077944384 2866 12939 0 0 51 0 5 2 20 0 15 0 56295221 11087982592 83556 33554432000 4194304 4196468 140735208381072 139710537115104 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20278] ppid=20212 vsize=10828108 memory=279293267622528 CPUtime=0.46 cores=1,3,5,7
/proc/20215/task/20278/stat : 20278 (java) S 20212 20215 17273 0 -1 1077944384 1121 12939 0 0 39 0 5 2 20 0 15 0 56295221 11087982592 83556 33554432000 4194304 4196468 140735208381072 139710536056272 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20279] ppid=20212 vsize=10828108 memory=1296 CPUtime=0.42 cores=1,3,5,7
/proc/20215/task/20279/stat : 20279 (java) S 20212 20215 17273 0 -1 1077944384 1367 12939 0 0 35 0 5 2 20 0 15 0 56295221 11087982592 83556 33554432000 4194304 4196468 140735208381072 139710535014112 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20280] ppid=20212 vsize=10828108 memory=2428 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20280/stat : 20280 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11087982592 83556 33554432000 4194304 4196468 140735208381072 139709710682720 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20281] ppid=20212 vsize=10828108 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20281/stat : 20281 (java) S 20212 20215 17273 0 -1 1077944384 1 12939 0 0 0 0 5 2 20 0 15 0 56295221 11087982592 83556 33554432000 4194304 4196468 140735208381072 139710533966640 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0

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

/proc/loadavg: 1.87 1.78 1.76 7/215 20586
/proc/meminfo: memFree=21085456/32770624 swapFree=67108860/67108860
[pid=20215] ppid=20212 vsize=10852704 memory=4542260 CPUtime=2520.09 cores=1,3,5,7
/proc/20215/stat : 20215 (java) S 20212 20215 17273 0 -1 1077944320 769518 12939 0 0 251435 567 5 2 20 0 15 0 56295207 11113168896 1135565 33554432000 4194304 4196468 140735208381072 140735208363616 139711257898743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
/proc/20215/statm: 2713176 1135565 3545 1 0 2674829 0
[pid=20215/tid=20268] ppid=20212 vsize=10852704 memory=4543292 CPUtime=2343.75 cores=1,3,5,7
/proc/20215/task/20268/stat : 20268 (java) R 20212 20215 17273 0 -1 4202560 250535 12939 0 0 234293 75 5 2 20 0 15 0 56295215 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139711229734080 139710885614882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20269] ppid=20212 vsize=10852704 memory=8384 CPUtime=36.93 cores=1,3,5,7
/proc/20215/task/20269/stat : 20269 (java) S 20212 20215 17273 0 -1 1077944384 52179 12939 0 0 3591 95 5 2 20 0 15 0 56295216 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139711262140688 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20270] ppid=20212 vsize=10852704 memory=1624 CPUtime=36.91 cores=1,3,5,7
/proc/20215/task/20270/stat : 20270 (java) S 20212 20215 17273 0 -1 1077944384 60737 12939 0 0 3583 101 5 2 20 0 15 0 56295216 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139711194053008 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20271] ppid=20212 vsize=10852704 memory=1200 CPUtime=37.01 cores=1,3,5,7
/proc/20215/task/20271/stat : 20271 (java) S 20212 20215 17273 0 -1 1077944384 49257 12939 0 0 3597 97 5 2 20 0 15 0 56295216 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139710830086672 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20272] ppid=20212 vsize=10852704 memory=4543296 CPUtime=36.9 cores=1,3,5,7
/proc/20215/task/20272/stat : 20272 (java) S 20212 20215 17273 0 -1 1077944384 49384 12939 0 0 3585 98 5 2 20 0 15 0 56295216 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139710829034128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20273] ppid=20212 vsize=10852704 memory=4543296 CPUtime=1.56 cores=1,3,5,7
/proc/20215/task/20273/stat : 20273 (java) S 20212 20215 17273 0 -1 1077944384 70938 12939 0 0 138 11 5 2 20 0 15 0 56295218 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139710538177008 139711257909890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20274] ppid=20212 vsize=10852704 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20274/stat : 20274 (java) S 20212 20215 17273 0 -1 1077944384 39 12939 0 0 0 0 5 2 20 0 15 0 56295218 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139710320076320 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20275] ppid=20212 vsize=10852704 memory=4543296 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20275/stat : 20275 (java) S 20212 20215 17273 0 -1 1077944384 37 12939 0 0 0 0 5 2 20 0 15 0 56295218 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139710051640832 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20276] ppid=20212 vsize=10852704 memory=1416 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20276/stat : 20276 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139709744241360 139711257917339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20277] ppid=20212 vsize=10852704 memory=4612 CPUtime=11.33 cores=1,3,5,7
/proc/20215/task/20277/stat : 20277 (java) S 20212 20215 17273 0 -1 1077944384 81353 12939 0 0 1117 9 5 2 20 0 15 0 56295221 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139710537123824 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20278] ppid=20212 vsize=10852704 memory=1296 CPUtime=11.36 cores=1,3,5,7
/proc/20215/task/20278/stat : 20278 (java) S 20212 20215 17273 0 -1 1077944384 91562 12939 0 0 1120 9 5 2 20 0 15 0 56295221 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139710536071280 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20279] ppid=20212 vsize=10852704 memory=2428 CPUtime=3.41 cores=1,3,5,7
/proc/20215/task/20279/stat : 20279 (java) S 20212 20215 17273 0 -1 1077944384 58024 12939 0 0 327 7 5 2 20 0 15 0 56295221 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139710535018736 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20280] ppid=20212 vsize=10852704 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20280/stat : 20280 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139709710682720 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20281] ppid=20212 vsize=10852704 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/20215/task/20281/stat : 20281 (java) S 20212 20215 17273 0 -1 1077944384 3281 12939 0 0 59 80 5 2 20 0 15 0 56295221 11113168896 1135565 33554432000 4194304 4196468 140735208381072 139710533966640 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 4542260 KiB

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

[startup+2383.36 s]
# the end of solver process 20215 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.43 s, system=5.74126 s

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

[startup+2382.8 s]
/proc/loadavg: 1.87 1.78 1.76 7/215 20586
/proc/meminfo: memFree=21085456/32770624 swapFree=67108860/67108860
[pid=20215] ppid=20212 vsize=11049320 memory=4544524 CPUtime=2520.13 cores=1,3,5,7
/proc/20215/stat : 20215 (java) S 20212 20215 17273 0 -1 1077944320 771456 12939 0 0 251438 568 5 2 20 0 15 0 56295207 11314503680 1136131 33554432000 4194304 4196468 140735208381072 140735208363616 139711257898743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
/proc/20215/statm: 2762330 1136131 3548 1 0 2723983 0
[pid=20215/tid=20268] ppid=20212 vsize=11049320 memory=1236 CPUtime=2343.77 cores=1,3,5,7
/proc/20215/task/20268/stat : 20268 (java) S 20212 20215 17273 0 -1 1077944384 251086 12939 0 0 234295 75 5 2 20 0 15 0 56295215 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139711229740784 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20269] ppid=20212 vsize=11049320 memory=960 CPUtime=36.93 cores=1,3,5,7
/proc/20215/task/20269/stat : 20269 (java) S 20212 20215 17273 0 -1 1077944384 52179 12939 0 0 3591 95 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139711262140688 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20270] ppid=20212 vsize=11049320 memory=6791534058613427641 CPUtime=36.91 cores=1,3,5,7
/proc/20215/task/20270/stat : 20270 (java) S 20212 20215 17273 0 -1 1077944384 60737 12939 0 0 3583 101 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139711194053008 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20271] ppid=20212 vsize=11049320 memory=2756 CPUtime=37.01 cores=1,3,5,7
/proc/20215/task/20271/stat : 20271 (java) S 20212 20215 17273 0 -1 1077944384 49257 12939 0 0 3597 97 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710830086672 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20272] ppid=20212 vsize=11049320 memory=1404 CPUtime=36.9 cores=1,3,5,7
/proc/20215/task/20272/stat : 20272 (java) S 20212 20215 17273 0 -1 1077944384 49384 12939 0 0 3585 98 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710829034128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20273] ppid=20212 vsize=11049320 memory=3268 CPUtime=1.56 cores=1,3,5,7
/proc/20215/task/20273/stat : 20273 (java) D 20212 20215 17273 0 -1 4202560 70958 12939 0 0 138 11 5 2 20 0 15 0 56295218 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710538176952 139711250584375 0 0 0 16800975 18446744072100379781 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20274] ppid=20212 vsize=11049320 memory=4543292 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20274/stat : 20274 (java) S 20212 20215 17273 0 -1 1077944384 39 12939 0 0 0 0 5 2 20 0 15 0 56295218 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710320076320 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20275] ppid=20212 vsize=11049320 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20275/stat : 20275 (java) S 20212 20215 17273 0 -1 1077944384 37 12939 0 0 0 0 5 2 20 0 15 0 56295218 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710051640832 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20276] ppid=20212 vsize=11049320 memory=11956 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20276/stat : 20276 (java) S 20212 20215 17273 0 -1 1077944384 208 12939 0 0 0 0 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139709744238128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20277] ppid=20212 vsize=11049320 memory=5520 CPUtime=11.33 cores=1,3,5,7
/proc/20215/task/20277/stat : 20277 (java) S 20212 20215 17273 0 -1 1077944384 81355 12939 0 0 1117 9 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710537123824 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20278] ppid=20212 vsize=11049320 memory=792 CPUtime=11.36 cores=1,3,5,7
/proc/20215/task/20278/stat : 20278 (java) S 20212 20215 17273 0 -1 1077944384 91564 12939 0 0 1120 9 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710536071280 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20279] ppid=20212 vsize=11049320 memory=1228 CPUtime=3.41 cores=1,3,5,7
/proc/20215/task/20279/stat : 20279 (java) S 20212 20215 17273 0 -1 1077944384 58301 12939 0 0 327 7 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710535014608 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20280] ppid=20212 vsize=11049320 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20280/stat : 20280 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139709710682720 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 11049320 KiB
Current children cumulated memory: 4544524 KiB

[startup+2383.2 s]
/proc/loadavg: 1.87 1.78 1.76 2/215 20588
/proc/meminfo: memFree=20957296/32770624 swapFree=67108860/67108860
[pid=20215] ppid=20212 vsize=11049320 memory=4544524 CPUtime=2520.13 cores=1,3,5,7
/proc/20215/stat : 20215 (java) S 20212 20215 17273 0 -1 1077944320 771456 12939 0 0 251438 568 5 2 20 0 15 0 56295207 11314503680 1136131 33554432000 4194304 4196468 140735208381072 140735208363616 139711257898743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
/proc/20215/statm: 2762330 1136131 3548 1 0 2723983 0
[pid=20215/tid=20268] ppid=20212 vsize=11049320 memory=1296 CPUtime=2343.77 cores=1,3,5,7
/proc/20215/task/20268/stat : 20268 (java) S 20212 20215 17273 0 -1 1077944384 251086 12939 0 0 234295 75 5 2 20 0 15 0 56295215 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139711229740784 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20269] ppid=20212 vsize=11049320 memory=2428 CPUtime=36.93 cores=1,3,5,7
/proc/20215/task/20269/stat : 20269 (java) S 20212 20215 17273 0 -1 1077944384 52179 12939 0 0 3591 95 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139711262140688 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20270] ppid=20212 vsize=11049320 memory=6791534058613427641 CPUtime=36.91 cores=1,3,5,7
/proc/20215/task/20270/stat : 20270 (java) S 20212 20215 17273 0 -1 1077944384 60737 12939 0 0 3583 101 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139711194053008 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20271] ppid=20212 vsize=11049320 memory=1004 CPUtime=37.01 cores=1,3,5,7
/proc/20215/task/20271/stat : 20271 (java) S 20212 20215 17273 0 -1 1077944384 49257 12939 0 0 3597 97 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710830086672 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20272] ppid=20212 vsize=11049320 memory=11956 CPUtime=36.9 cores=1,3,5,7
/proc/20215/task/20272/stat : 20272 (java) S 20212 20215 17273 0 -1 1077944384 49384 12939 0 0 3585 98 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710829034128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20273] ppid=20212 vsize=11049320 memory=5520 CPUtime=1.56 cores=1,3,5,7
/proc/20215/task/20273/stat : 20273 (java) D 20212 20215 17273 0 -1 4202560 70958 12939 0 0 138 11 5 2 20 0 15 0 56295218 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710538176952 139711250584375 0 0 0 16800975 18446744072100379781 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20274] ppid=20212 vsize=11049320 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20274/stat : 20274 (java) S 20212 20215 17273 0 -1 1077944384 39 12939 0 0 0 0 5 2 20 0 15 0 56295218 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710320076320 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20275] ppid=20212 vsize=11049320 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20275/stat : 20275 (java) S 20212 20215 17273 0 -1 1077944384 37 12939 0 0 0 0 5 2 20 0 15 0 56295218 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710051640832 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20276] ppid=20212 vsize=11049320 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20276/stat : 20276 (java) S 20212 20215 17273 0 -1 1077944384 208 12939 0 0 0 0 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139709744238128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20277] ppid=20212 vsize=11049320 memory=1416 CPUtime=11.33 cores=1,3,5,7
/proc/20215/task/20277/stat : 20277 (java) S 20212 20215 17273 0 -1 1077944384 81355 12939 0 0 1117 9 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710537123824 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20278] ppid=20212 vsize=11049320 memory=4612 CPUtime=11.36 cores=1,3,5,7
/proc/20215/task/20278/stat : 20278 (java) S 20212 20215 17273 0 -1 1077944384 91564 12939 0 0 1120 9 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710536071280 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20279] ppid=20212 vsize=11049320 memory=8384 CPUtime=3.41 cores=1,3,5,7
/proc/20215/task/20279/stat : 20279 (java) S 20212 20215 17273 0 -1 1077944384 58301 12939 0 0 327 7 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710535014608 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20280] ppid=20212 vsize=11049320 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20280/stat : 20280 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139709710682720 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20587] ppid=20212 vsize=11049320 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20587/stat : 20587 (java) S 20212 20215 17273 0 -1 1077944384 257 12939 0 0 0 0 5 2 20 0 15 0 56533467 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139709313442416 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 11049320 KiB
Current children cumulated memory: 4544524 KiB

[startup+2383.3 s]
/proc/loadavg: 1.87 1.78 1.76 2/215 20588
/proc/meminfo: memFree=20957296/32770624 swapFree=67108860/67108860
[pid=20215] ppid=20212 vsize=11049320 memory=4544524 CPUtime=2520.13 cores=1,3,5,7
/proc/20215/stat : 20215 (java) S 20212 20215 17273 0 -1 1077944320 771456 12939 0 0 251438 568 5 2 20 0 15 0 56295207 11314503680 1136131 33554432000 4194304 4196468 140735208381072 140735208363616 139711257898743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
/proc/20215/statm: 2762330 1136131 3548 1 0 2723983 0
[pid=20215/tid=20268] ppid=20212 vsize=11049320 memory=4544524 CPUtime=2343.77 cores=1,3,5,7
/proc/20215/task/20268/stat : 20268 (java) S 20212 20215 17273 0 -1 1077944384 251086 12939 0 0 234295 75 5 2 20 0 15 0 56295215 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139711229740784 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20269] ppid=20212 vsize=11049320 memory=4542260 CPUtime=36.93 cores=1,3,5,7
/proc/20215/task/20269/stat : 20269 (java) S 20212 20215 17273 0 -1 1077944384 52179 12939 0 0 3591 95 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139711262140688 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20270] ppid=20212 vsize=11049320 memory=4542260 CPUtime=36.91 cores=1,3,5,7
/proc/20215/task/20270/stat : 20270 (java) S 20212 20215 17273 0 -1 1077944384 60737 12939 0 0 3583 101 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139711194053008 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20271] ppid=20212 vsize=11049320 memory=4543292 CPUtime=37.01 cores=1,3,5,7
/proc/20215/task/20271/stat : 20271 (java) S 20212 20215 17273 0 -1 1077944384 49257 12939 0 0 3597 97 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710830086672 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20272] ppid=20212 vsize=11049320 memory=1188 CPUtime=36.9 cores=1,3,5,7
/proc/20215/task/20272/stat : 20272 (java) S 20212 20215 17273 0 -1 1077944384 49384 12939 0 0 3585 98 5 2 20 0 15 0 56295216 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710829034128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20273] ppid=20212 vsize=11049320 memory=4543296 CPUtime=1.56 cores=1,3,5,7
/proc/20215/task/20273/stat : 20273 (java) D 20212 20215 17273 0 -1 4202560 70958 12939 0 0 138 11 5 2 20 0 15 0 56295218 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710538176952 139711250584375 0 0 0 16800975 18446744072100379781 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20274] ppid=20212 vsize=11049320 memory=4543292 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20274/stat : 20274 (java) S 20212 20215 17273 0 -1 1077944384 39 12939 0 0 0 0 5 2 20 0 15 0 56295218 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710320076320 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20275] ppid=20212 vsize=11049320 memory=4543292 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20275/stat : 20275 (java) S 20212 20215 17273 0 -1 1077944384 37 12939 0 0 0 0 5 2 20 0 15 0 56295218 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710051640832 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20276] ppid=20212 vsize=11049320 memory=4542260 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20276/stat : 20276 (java) S 20212 20215 17273 0 -1 1077944384 208 12939 0 0 0 0 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139709744238128 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20277] ppid=20212 vsize=11049320 memory=1416 CPUtime=11.33 cores=1,3,5,7
/proc/20215/task/20277/stat : 20277 (java) S 20212 20215 17273 0 -1 1077944384 81355 12939 0 0 1117 9 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710537123824 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20278] ppid=20212 vsize=11049320 memory=4544524 CPUtime=11.36 cores=1,3,5,7
/proc/20215/task/20278/stat : 20278 (java) S 20212 20215 17273 0 -1 1077944384 91564 12939 0 0 1120 9 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710536071280 139711257909890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20279] ppid=20212 vsize=11049320 memory=1129 CPUtime=3.41 cores=1,3,5,7
/proc/20215/task/20279/stat : 20279 (java) S 20212 20215 17273 0 -1 1077944384 58301 12939 0 0 327 7 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139710535014608 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20280] ppid=20212 vsize=11049320 memory=4543296 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20280/stat : 20280 (java) S 20212 20215 17273 0 -1 1077944384 3 12939 0 0 0 0 5 2 20 0 15 0 56295221 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139709710682720 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
[pid=20215/tid=20587] ppid=20212 vsize=11049320 memory=4544524 CPUtime=0.07 cores=1,3,5,7
/proc/20215/task/20587/stat : 20587 (java) S 20212 20215 17273 0 -1 1077944384 257 12939 0 0 0 0 5 2 20 0 15 0 56533467 11314503680 1136131 33554432000 4194304 4196468 140735208381072 139709313442416 139711257908949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30126080 140735208384683 140735208387932 140735208387932 140735208390607 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 11049320 KiB
Current children cumulated memory: 4544524 KiB

Child status: 143
Real time (s): 2383.36
CPU time (s): 2520.17
CPU user time (s): 2514.43
CPU system time (s): 5.74126
CPU usage (%): 105.741
Max. virtual memory (cumulated for all children) (KiB): 11049320
Max. memory (cumulated for all children) (KiB): 4552520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.43
system time used= 5.74126
maximum resident set size= 4552520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 784418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72391
involuntary context switches= 2551


# summary of solver processes directly reported to runsolver:
#   pid: 20215
#   total CPU time (s): 2520.17
#   total CPU user time (s): 2514.43
#   total CPU system time (s): 5.74126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8762 second user time and 20.5079 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-24 01:08:40
IDJOB=4293906
IDBENCH=141261
IDSOLVER=2751
FILE ID=node151/4293906-1532387319
RUNJOBID= node151-1532369950-17305
PBS_JOBID= 21021572
Free space on /tmp= 54944 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293906-1532387319/watcher-4293906-1532387319 -o /tmp/evaluation-result-4293906-1532387319/solver-4293906-1532387319 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17305 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1727622089 -superng HOME/instance-4293906-1532387319.xml

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

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=1727622089

node151.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.87
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.87
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.87
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.87
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:        27363216 kB
MemAvailable:   31936268 kB
Buffers:          146780 kB
Cached:          4667876 kB
SwapCached:            0 kB
Active:          1066568 kB
Inactive:        3823528 kB
Active(anon):      25916 kB
Inactive(anon):    69336 kB
Active(file):    1040652 kB
Inactive(file):  3754192 kB
Unevictable:        7820 kB
Mlocked:            7820 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            132232 kB
Writeback:             0 kB
AnonPages:         64964 kB
Mapped:            46940 kB
Shmem:             17032 kB
Slab:             216116 kB
SReclaimable:     188084 kB
SUnreclaim:        28032 kB
KernelStack:        3520 kB
PageTables:         5188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1268440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54648 MiB
End job on node151 at 2018-07-24 01:48:24