Trace number 4304425

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)27301890 2520.08 2437.55

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.99/0.75	c Concrete v3.9.2.1532736233296 running
151.69/99.15	o 27317500
152.14/99.34	o 27301890
2520.02/2437.50	Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2437.50		at concrete.MAC.mac(MAC.scala:188)
2520.02/2437.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2437.50		at scala.util.Try$.apply(Try.scala:209)
2520.02/2437.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2437.50		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2437.50		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2437.50		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2437.50		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2437.50		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2437.50		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2437.50		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2437.50		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2437.50		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2437.50		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2437.50		at concrete.MAC.nextSolution(MAC.scala:355)
2520.02/2437.50		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2437.50		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2437.50		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2437.50		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2437.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2437.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2437.51		at scala.util.Success.map(Try.scala:209)
2520.02/2437.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2437.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2437.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2437.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2437.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2437.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2437.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2437.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2437.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2437.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2437.51		at scala.App.main(App.scala:76)
2520.02/2437.51		at scala.App.main$(App.scala:74)
2520.02/2437.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2437.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2437.52	v <instantiation cost="27301890">
2520.02/2437.52	v       <list>
2520.02/2437.52	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] 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.02/2437.52	v       </list>
2520.02/2437.52	v       <values>
2520.02/2437.52	v         2628 2432 2232 2304 2200 2444 2696 2296 2664 2448 2632 2512 2544 2392 2428 2460 2444 2508 2160 2284 2264 2628 2336 2160 2256 2564 2300 2436 2164 2588 2284 2580 2244 2580 2424 2252 2552 2264 2624 2160 2220 2464 2592 2292 2260 2308 2552 2576 2408 2624 2196 2628 2636 2468 2252 2620 2240 2220 2396 2680 2376 2496 2200 2556 2688 2524 2564 2668 2440 2276 2588 2280 2272 2336 2160 2592 2636 2628 2408 2160 2544 2216 2576 2620 2404 2696 2564 2556 2416 2176 2656 2652 2688 2500 2276 2236 2512 2180 2696 2308 2400 2524 2656 2484 2380 2448 2348 2584 2564 2632 2212 2588 2436 2676 2324 2664 2588 2596 2340 2548 2676 2676 2528 2648 2624 2480 2476 2696 2200 2536 2636 2240 2528 2696 2300 2276 2328 2252 2656 2540 2312 2160 2588 2236 2524 2388 2168 2552 2348 2648 2308 2640 2200 2356 2316 2568 2364 2584 2344 2628 2356 2332 2380 2604 2340 2628 2200 2616 2572 2460 2588 2572 2696 2608 2576 2200 2696 2304 2332 2656 2524 2228 2268 2376 2284 2644 2500 2160 2664 2636 2280 2540 2244 2664 2568 2200 2604 2504 2472 2672 2440 2612 2524 2392 2676 2672 2376 2420 2476 2292 2380 2668 2160 2200 2372 2612 2572 2368 2200 2496 2624 2388 2592 2508 2596 2404 2300 2516 2436 2636 2676 2544 2292 2636 2628 2612 2428 2636 2368 2536 2656 2204 2676 2484 2544 2420 2272 2432 2476 2564 2316 2324 2292 2656 2208 2252 2628 2424 2656 2628 2612 2524 2636 2408 2696 2384 2664 2536 2668 2200 2564 2268 2380 2340 2500 2472 2616 2240 2284 2164 2596 2524 2560 2584 2588 2648 2204 2384 2624 2548 2372 2484 2412 2180 2160 2236 2520 2656 2420 2340 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 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 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 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 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 324 344 292 448 52 48 104 40 464 80 168 148 188 36 84 48 108 208 204 240 76 224 192 216 356 60 72 268 64 84 112 32 140 424 396 392 140 48 140 100 44 104 24 364 192 352 280 20 496 216 476 396 140 328 340 192 464 336 148 204 120 92 208 112 160 32 284 76 172 60 240 440 532 476 500 292 140 384 348 496 416 28 212 132 248 12 188 268 60 36 228 208 136 72 300 88 120 284 504 96 308 464 228 120 52 128 284 112 40 52 108 248 228 208 104 160 180 168 368 380 48 192 132 324 48 64 380 332 364 84 352 236 80 276 272 16 312 96 140 144 188 280 236 112 60 212 92 72 80 228 252 84 160 132 172 132 4 232 84 228 196 228 72 120 96 268 144 208 136 220 44 56 36 180 300 184 216 104 108 88 256 28 88 280 224 40 132 168 224 52 152 40 120 212 264 32 20 168 116 140 420 264 392 316 376 536 380 276 124 44 92 8 348 72 292 124 284 20 424 116 184 84 216 408 412 244 432 384 204 84 28 100 4 376 272 128 288 144 332 28 140 92 300 320 292 188 288 392 472 480 416 504 476 428 224 92 36 256 56 100 356 412 240 340 308 168 400 16 228 348 20 100 60 24 72 20 60 124 288 88 16 176 324 176 184 164 260 172 168 164 56 472 456 472 332 432 492 420 328 428 76 200 244 76 112 64 256 356 72 352 224 232 80 372 412 116 204 116 4 96 96 36 240 156 344 112 136 432 380 116 304 76 104 288 44 172 312 56 100 272 228 148 80 36 148 36 252 372 92 92 296 404 128 52 152 264 272 156 396 128 28 112 96 392 112 20 16 36 68 28 68 340 308 260 372 208 104 8 52 120 332 84 332 148 72 52 204 12 4 284 116 432 368 40 300 448 212 476 208 92 400 496 184 108 92 136 60 392 276 344 436 364 204 164 88 164 200 124 188 120 148 204 224 284 36 36 152 16 212 364 392 20 160 116 184 208 40 104 296 72 84 300 192 264 360 304 60 44 412 148 120 300 388 320 264 164 8 76 360 104 64 128 12 80 96 104 88 236 144 248 52 112 44 80 112 44 80 88 60 60 36 168 68 132 240 68 180 216 220 220 180 68 4 32 72 84 248 204 4 52 332 124 240 360 316 116 152 160 84 472 96 288 228 460 388 64 292 468 148 248 16 112 16 396 384 48 88 96 308 164 92 124 48 224 336 424 376 232 400 420 44 452 280 76 8 456 60 244 424 424 80 32 144 36 476 344 196 476 120 348 160 424 160 48 144 168 276 112 280 260 216 300 180 372 16 480 324 52 108 376 388 412 132 252 68 52 272 36 176 172 128 72 156 168 108 168 432 324 276 12 376 8 28 32 168 120 272 216 100 528 508 64 312 52 152 164 132 284 224 120 148 324 92 72 396 264 72 92 360 48 40 144 36 80 72 20 192 52 32 40 416 196 256 60 124 116 256 52 240 84 188 132 60 108 40 124 76 184 260 48 392 224 240 48 36 244 84 80 52 156 112 24 76 348 136 304 60 80 224 332 80 264 256 240 60 404 32 356 392 296 148 28 392 200 252 112 284 296 192 52 168 188 292 84 332 368 116 156 68 484 412 496 80 428 416 244 72 300 72 12 68 468 312 264 344 132 288 256 68 76 32 208 92 172 112 496 204 412 108 216 228 180 312 80 152 24 84 120 368 164 84 420 308 192 36 196 276 120 244 16 52 32 252 48 152 108 48 208 264 192 80 252 180 60 324 92 216 16 64 48 72 144 44 228 244 208 356 276 56 40 100 28 20 76 260 232 248 108 156 240 512 260 364 328 440 172 180 120 40 324 84 184 288 340 272 272 276 280 168 240 252 52 76 280 448 192 176 224 300 196 156 68 96 420 320 380 292 164 76 312 372 352 360 440 152 36 224 136 392 196 88 324 212 156 312 232 100 156 84 220 220 468 184 396 424 456 296 528 128 152 356 196 48 460 176 168 108 264 300 348 40 240 124 60 60 208 212 256 76 108 256 140 116 12 8 456 84 136 104 152 12 116 168 100 112 204 96 168 208 104 76 96 132 308 104 308 96 372 36 268 20 80 384 148 172 32 8 280 64 60 128 312 104 292 208 96 36 160 220 40 432 328 88 216 60 384 200 36 388 184 44 88 68 144 352 12 148 52 108 344 304 64 124 304 248 56 80 188 36 116 40 288 208 48 68 384 168 72 208 68 304 308 296 184 40 240 80 348 280 108 348 384 76 376 288 176 152 104 376 48 28 40 300 20 252 360 368 148 328 292 480 340 72 44 140 268 32 284 20 424 204 324 4 160 104 252 196 216 136 108 92 192 60 220 136 68 392 468 68 148 296 204 412 228 84 184 160 300 92 204 68 64 264 152 60 64 304 92 88 136 432 332 52 324 172 416 60 156 64 160 108 32 68 172 224 536 424 380 288 140 124 136 120 40 88 68 156 48 352 348 168 20 260 128 168 296 268 96 328 256 296 444 376 444 312 248 364 168 72 32 40 312 256 36 32 116 72 376 36 44 112 356 284 20 252 112 272 392 108 180 180 304 288 336 368 336 400 76 132 392 32 148 56 180 104 240 88 96 148 148 172 116 32 508 252 156 196 352 124 60 148 68 148 248 56 136 216 16 172 68 368 96 320 144 212 440 56 228 156 372 104 456 392 68 272 52 88 192 312 208 332 68 156 68 92 120 152 68 136 292 56 180 32 424 284 328 268 180 56 36 468 260 244 32 424 448 156 256 312 240 64 272 240 172 36 264 128 152 112 256 156 180 4 220 32 132 236 288 8 400 232 120 184 100 324 28 236 360 244 260 408 124 436 456 348 20 20 244 268 92 180 148 88 136 52 100 108 108 304 76 412 104 152 300 368 136 84 68 240 276 92 236 236 296 284 364 92 384 60 104 180 276 36 20 108 280 316 172 96 188 264 112 388 112 52 156 96 252 140 72 320 344 384 280 428 208 388 288 44 176 36 284 328 84 364 8 16 304 92 64 68 36 504 412 496 312 212 252 60 36 28 120 476 252 456 332 388 216 316 12 204 284 376 304 164 340 4 88 176 432 420 136 120 140 104 76 128 56 68 284 80 408 332 72 80 20 168 40 72 108 104 200 88 308 292 296 380 252 60 24 432 236 60 32 280 80 20 16 128 48 188 44 28 152 100 284 140 132 244 212 136 148 288 140 280 252 36 172 168 88 200 232 192 256 72 376 184 104 84 224 44 20 372 496 416 424 48 292 244 104 56 96 52 164 220 208 272 424 100 12 88 108 40 340 252 204 84 116 324 120 216 104 188 268 304 60 108 368 112 32 104 280 4 152 132 384 152 68 336 120 172 344 192 132 364 8 296 376 40 208 408 4 176 96 8 264 204 256 152 140 80 124 456 276 316 120 140 80 100 336 344 212 252 156 92 184 192 112 92 20 280 112 236 332 44 40 416 136 352 104 232 212 192 232 72 68 40 84 112 136 36 212 180 204 424 40 504 80 104 248 280 80 48 372 392 416 412 128 12 360 284
2520.02/2437.52	v       </values>
2520.02/2437.52	v     </instantiation>
2520.02/2437.52	s SATISFIABLE

Verifier Data 

OK	27301890

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304425-1534084323/watcher-4304425-1534084323 -o /tmp/evaluation-result-4304425-1534084323/solver-4304425-1534084323 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9591 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=370506762 HOME/instance-4304425-1534084323.xml 

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

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

solver pid=13491, runsolver pid=13488

[startup+0.100058 s]*
/proc/loadavg: 1.71 1.62 1.63 3/206 13548
/proc/meminfo: memFree=15661068/32770624 swapFree=67108504/67108860
[pid=13491] ppid=13488 vsize=10005480 memory=18596 CPUtime=0.1 cores=0,2,4,6
/proc/13491/stat : 13491 (java) S 13488 13491 9560 0 -1 1077944320 4310 13115 0 0 1 1 5 3 20 0 6 0 225995514 10245611520 4649 33554432000 4194304 4196468 140720868362144 140720868344688 139816063205111 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
/proc/13491/statm: 2501370 4649 1932 1 0 2489808 0
[pid=13491/tid=13544] ppid=13488 vsize=10005480 memory=4279135704014094991 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13544/stat : 13544 (java) R 13488 13491 9560 0 -1 4202560 2123 13115 0 0 0 0 5 3 20 0 6 0 225995523 10245611520 4649 33554432000 4194304 4196468 140720868362144 139816035041872 139816063227037 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13545] ppid=13488 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13545/stat : 13545 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 6 0 225995524 10245611520 4649 33554432000 4194304 4196468 140720868362144 139816067447568 139816063215317 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13546] ppid=13488 vsize=10005480 memory=139775365719680 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13546/stat : 13546 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 6 0 225995524 10245611520 4649 33554432000 4194304 4196468 140720868362144 139815952645008 139816063215317 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13547] ppid=13488 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13547/stat : 13547 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 6 0 225995524 10245611520 4649 33554432000 4194304 4196468 140720868362144 139815951592464 139816063215317 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13548] ppid=13488 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13548/stat : 13548 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 6 0 225995524 10245611520 4649 33554432000 4194304 4196468 140720868362144 139815950539920 139816063215317 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB

[startup+0.210023 s]*
/proc/loadavg: 1.71 1.62 1.63 2/215 13557
/proc/meminfo: memFree=15638048/32770624 swapFree=67108504/67108860
[pid=13491] ppid=13488 vsize=10982696 memory=43764 CPUtime=0.26 cores=0,2,4,6
/proc/13491/stat : 13491 (java) S 13488 13491 9560 0 -1 1077944320 8351 13115 0 0 16 2 5 3 20 0 15 0 225995514 11246280704 10941 33554432000 4194304 4196468 140720868362144 140720868344688 139816063205111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
/proc/13491/statm: 2745674 10941 2934 1 0 2708109 0
[pid=13491/tid=13544] ppid=13488 vsize=10982696 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/13491/task/13544/stat : 13544 (java) R 13488 13491 9560 0 -1 4202560 4870 13115 0 0 10 1 5 3 20 0 15 0 225995523 11246280704 10941 33554432000 4194304 4196468 140720868362144 139816035002768 139816043480441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13545] ppid=13488 vsize=10982696 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13545/stat : 13545 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246280704 10941 33554432000 4194304 4196468 140720868362144 139816067447568 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13546] ppid=13488 vsize=10982696 memory=139775365719680 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13546/stat : 13546 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246280704 10941 33554432000 4194304 4196468 140720868362144 139815952645008 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13547] ppid=13488 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13547/stat : 13547 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246280704 10941 33554432000 4194304 4196468 140720868362144 139815951592464 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13548] ppid=13488 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13548/stat : 13548 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246280704 10941 33554432000 4194304 4196468 140720868362144 139815950539920 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13549] ppid=13488 vsize=10982696 memory=139775365719680 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13549/stat : 13549 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 225995525 11246280704 10941 33554432000 4194304 4196468 140720868362144 139815556286448 139816063216258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13550] ppid=13488 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13550/stat : 13550 (java) S 13488 13491 9560 0 -1 1077944384 13 13115 0 0 0 0 5 3 20 0 15 0 225995526 11246280704 10941 33554432000 4194304 4196468 140720868362144 139814822208416 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13551] ppid=13488 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13551/stat : 13551 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995526 11246280704 10941 33554432000 4194304 4196468 140720868362144 139814674359280 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13552] ppid=13488 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13552/stat : 13552 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11246280704 10941 33554432000 4194304 4196468 140720868362144 139814366959824 139816063223707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13553] ppid=13488 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13491/task/13553/stat : 13553 (java) S 13488 13491 9560 0 -1 1077944384 424 13115 0 0 1 0 5 3 20 0 15 0 225995529 11246280704 10941 33554432000 4194304 4196468 140720868362144 139815555234288 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13554] ppid=13488 vsize=10982696 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13491/task/13554/stat : 13554 (java) S 13488 13491 9560 0 -1 1077944384 197 13115 0 0 1 0 5 3 20 0 15 0 225995529 11246280704 10941 33554432000 4194304 4196468 140720868362144 139815554181744 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13555] ppid=13488 vsize=10982696 memory=139775365719680 CPUtime=0.11 cores=0,2,4,6
/proc/13491/task/13555/stat : 13555 (java) S 13488 13491 9560 0 -1 1077944384 638 13115 0 0 3 0 5 3 20 0 15 0 225995529 11246280704 10941 33554432000 4194304 4196468 140720868362144 139815553129200 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13556] ppid=13488 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13556/stat : 13556 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11246280704 10941 33554432000 4194304 4196468 140720868362144 139813936163936 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13557] ppid=13488 vsize=10982696 memory=139775365719680 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13557/stat : 13557 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995529 11246280704 10941 33554432000 4194304 4196468 140720868362144 139815552076080 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43764 KiB

[startup+0.31029 s]*
/proc/loadavg: 1.71 1.62 1.63 3/215 13557
/proc/meminfo: memFree=15627040/32770624 swapFree=67108504/67108860
[pid=13491] ppid=13488 vsize=10983192 memory=54928 CPUtime=0.39 cores=0,2,4,6
/proc/13491/stat : 13491 (java) S 13488 13491 9560 0 -1 1077944320 10360 13115 0 0 28 3 5 3 20 0 15 0 225995514 11246788608 13732 33554432000 4194304 4196468 140720868362144 140720868344688 139816063205111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
/proc/13491/statm: 2745798 13732 3066 1 0 2708109 0
[pid=13491/tid=13544] ppid=13488 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/13491/task/13544/stat : 13544 (java) R 13488 13491 9560 0 -1 4202560 6871 13115 0 0 19 2 5 3 20 0 15 0 225995523 11246788608 13779 33554432000 4194304 4196468 140720868362144 139816035017120 139816044768671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13545] ppid=13488 vsize=10983192 memory=6441645424264630353 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13545/stat : 13545 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246788608 13779 33554432000 4194304 4196468 140720868362144 139816067447568 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13546] ppid=13488 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13546/stat : 13546 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246788608 13779 33554432000 4194304 4196468 140720868362144 139815952645008 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13547] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13547/stat : 13547 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246788608 13779 33554432000 4194304 4196468 140720868362144 139815951592464 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13548] ppid=13488 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13548/stat : 13548 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246788608 13779 33554432000 4194304 4196468 140720868362144 139815950539920 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13549] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13549/stat : 13549 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 225995525 11246788608 13779 33554432000 4194304 4196468 140720868362144 139815556286448 139816063216258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13550] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13550/stat : 13550 (java) S 13488 13491 9560 0 -1 1077944384 13 13115 0 0 0 0 5 3 20 0 15 0 225995526 11246788608 13779 33554432000 4194304 4196468 140720868362144 139814822208416 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13551] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13551/stat : 13551 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995526 11246788608 13779 33554432000 4194304 4196468 140720868362144 139814674359280 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13552] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13552/stat : 13552 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11246788608 13779 33554432000 4194304 4196468 140720868362144 139814366959824 139816063223707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13553] ppid=13488 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13491/task/13553/stat : 13553 (java) S 13488 13491 9560 0 -1 1077944384 424 13115 0 0 1 0 5 3 20 0 15 0 225995529 11246788608 13779 33554432000 4194304 4196468 140720868362144 139815555234288 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13554] ppid=13488 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13491/task/13554/stat : 13554 (java) S 13488 13491 9560 0 -1 1077944384 198 13115 0 0 1 0 5 3 20 0 15 0 225995529 11246788608 13779 33554432000 4194304 4196468 140720868362144 139815554181744 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13555] ppid=13488 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13491/task/13555/stat : 13555 (java) S 13488 13491 9560 0 -1 1077944384 650 13115 0 0 5 0 5 3 20 0 15 0 225995529 11246788608 13779 33554432000 4194304 4196468 140720868362144 139815553129200 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13556] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13556/stat : 13556 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11246788608 13779 33554432000 4194304 4196468 140720868362144 139813936163936 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13557] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13557/stat : 13557 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995529 11246788608 13779 33554432000 4194304 4196468 140720868362144 139815552076080 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54928 KiB

[startup+0.701406 s]
/proc/loadavg: 1.71 1.62 1.63 3/215 13557
/proc/meminfo: memFree=15615188/32770624 swapFree=67108504/67108860
[pid=13491] ppid=13488 vsize=10983192 memory=88440 CPUtime=0.99 cores=0,2,4,6
/proc/13491/stat : 13491 (java) S 13488 13491 9560 0 -1 1077944320 16751 13115 0 0 86 5 5 3 20 0 15 0 225995514 11246788608 22110 33554432000 4194304 4196468 140720868362144 140720868344688 139816063205111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
/proc/13491/statm: 2745798 22110 3239 1 0 2708109 0
[pid=13491/tid=13544] ppid=13488 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13491/task/13544/stat : 13544 (java) R 13488 13491 9560 0 -1 4202560 12086 13115 0 0 55 3 5 3 20 0 15 0 225995523 11246788608 22110 33554432000 4194304 4196468 140720868362144 139816035020768 139816045105127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13545] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13545/stat : 13545 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246788608 22110 33554432000 4194304 4196468 140720868362144 139816067447568 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13546] ppid=13488 vsize=10983192 memory=3816 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13546/stat : 13546 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246788608 22110 33554432000 4194304 4196468 140720868362144 139815952645008 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13547] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13547/stat : 13547 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246788608 22110 33554432000 4194304 4196468 140720868362144 139815951592464 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13548] ppid=13488 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13548/stat : 13548 (java) S 13488 13491 9560 0 -1 1077944384 2 13115 0 0 0 0 5 3 20 0 15 0 225995524 11246788608 22110 33554432000 4194304 4196468 140720868362144 139815950539920 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13549] ppid=13488 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13549/stat : 13549 (java) S 13488 13491 9560 0 -1 1077944384 6 13115 0 0 0 0 5 3 20 0 15 0 225995525 11246788608 22110 33554432000 4194304 4196468 140720868362144 139815556286448 139816063216258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13550] ppid=13488 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13550/stat : 13550 (java) S 13488 13491 9560 0 -1 1077944384 13 13115 0 0 0 0 5 3 20 0 15 0 225995526 11246788608 22110 33554432000 4194304 4196468 140720868362144 139814822208416 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13551] ppid=13488 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13551/stat : 13551 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995526 11246788608 22110 33554432000 4194304 4196468 140720868362144 139814674359280 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13552] ppid=13488 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13552/stat : 13552 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11246788608 22110 33554432000 4194304 4196468 140720868362144 139814366959824 139816063223707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13553] ppid=13488 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/13491/task/13553/stat : 13553 (java) S 13488 13491 9560 0 -1 1077944384 1085 13115 0 0 9 0 5 3 20 0 15 0 225995529 11246788608 22110 33554432000 4194304 4196468 140720868362144 139815555234288 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13554] ppid=13488 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/13491/task/13554/stat : 13554 (java) S 13488 13491 9560 0 -1 1077944384 622 13115 0 0 7 0 5 3 20 0 15 0 225995529 11246788608 22110 33554432000 4194304 4196468 140720868362144 139815554181744 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13555] ppid=13488 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/13491/task/13555/stat : 13555 (java) S 13488 13491 9560 0 -1 1077944384 732 13115 0 0 13 0 5 3 20 0 15 0 225995529 11246788608 22110 33554432000 4194304 4196468 140720868362144 139815553129200 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13556] ppid=13488 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13556/stat : 13556 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11246788608 22110 33554432000 4194304 4196468 140720868362144 139813936163936 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13557] ppid=13488 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13557/stat : 13557 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995529 11246788608 22110 33554432000 4194304 4196468 140720868362144 139815552076080 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88440 KiB

[startup+1.50068 s]
/proc/loadavg: 1.71 1.62 1.63 3/215 13557
/proc/meminfo: memFree=15569404/32770624 swapFree=67108504/67108860
[pid=13491] ppid=13488 vsize=10991948 memory=317068 CPUtime=2.94 cores=0,2,4,6
/proc/13491/stat : 13491 (java) S 13488 13491 9560 0 -1 1077944320 23084 13115 0 0 262 24 5 3 20 0 15 0 225995514 11255754752 79267 33554432000 4194304 4196468 140720868362144 140720868344688 139816063205111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
/proc/13491/statm: 2747987 79267 3472 1 0 2709645 0
[pid=13491/tid=13544] ppid=13488 vsize=10991948 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/13491/task/13544/stat : 13544 (java) S 13488 13491 9560 0 -1 1077944384 14655 13115 0 0 121 11 5 3 20 0 15 0 225995523 11255754752 79267 33554432000 4194304 4196468 140720868362144 139816035038576 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13545] ppid=13488 vsize=10991948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13491/task/13545/stat : 13545 (java) R 13488 13491 9560 0 -1 1077944384 336 13115 0 0 2 2 5 3 20 0 15 0 225995524 11255754752 79267 33554432000 4194304 4196468 140720868362144 139816067447568 139816063215317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13546] ppid=13488 vsize=10991948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13491/task/13546/stat : 13546 (java) R 13488 13491 9560 0 -1 4202560 75 13115 0 0 2 2 5 3 20 0 15 0 225995524 11255754752 79267 33554432000 4194304 4196468 140720868362144 139815952645008 139816048229141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13547] ppid=13488 vsize=10991948 memory=3539892194917298225 CPUtime=0.12 cores=0,2,4,6
/proc/13491/task/13547/stat : 13547 (java) S 13488 13491 9560 0 -1 1077944384 123 13115 0 0 2 2 5 3 20 0 15 0 225995524 11255754752 79267 33554432000 4194304 4196468 140720868362144 139815951592464 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13548] ppid=13488 vsize=10991948 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13491/task/13548/stat : 13548 (java) R 13488 13491 9560 0 -1 4202560 86 13115 0 0 2 2 5 3 20 0 15 0 225995524 11255754752 79267 33554432000 4194304 4196468 140720868362144 139815950539920 139816056301947 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13549] ppid=13488 vsize=10991948 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13549/stat : 13549 (java) S 13488 13491 9560 0 -1 1077944384 92 13115 0 0 0 0 5 3 20 0 15 0 225995525 11255754752 79267 33554432000 4194304 4196468 140720868362144 139815556284960 139816063215317 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13550] ppid=13488 vsize=10991948 memory=279550428784896 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13550/stat : 13550 (java) S 13488 13491 9560 0 -1 1077944384 13 13115 0 0 0 0 5 3 20 0 15 0 225995526 11255754752 79267 33554432000 4194304 4196468 140720868362144 139814822208416 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13551] ppid=13488 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13551/stat : 13551 (java) S 13488 13491 9560 0 -1 1077944384 4 13115 0 0 0 0 5 3 20 0 15 0 225995526 11255754752 79267 33554432000 4194304 4196468 140720868362144 139814674359296 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13552] ppid=13488 vsize=10991948 memory=4552 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13552/stat : 13552 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11255754752 79267 33554432000 4194304 4196468 140720868362144 139814366959824 139816063223707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13553] ppid=13488 vsize=10991948 memory=3732 CPUtime=0.52 cores=0,2,4,6
/proc/13491/task/13553/stat : 13553 (java) S 13488 13491 9560 0 -1 1077944384 1590 13115 0 0 44 0 5 3 20 0 15 0 225995529 11255754752 79267 33554432000 4194304 4196468 140720868362144 139815555214224 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13554] ppid=13488 vsize=10991948 memory=1228 CPUtime=0.58 cores=0,2,4,6
/proc/13491/task/13554/stat : 13554 (java) S 13488 13491 9560 0 -1 1077944384 2571 13115 0 0 50 0 5 3 20 0 15 0 225995529 11255754752 79267 33554432000 4194304 4196468 140720868362144 139815554172848 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13555] ppid=13488 vsize=10991948 memory=10624 CPUtime=0.42 cores=0,2,4,6
/proc/13491/task/13555/stat : 13555 (java) S 13488 13491 9560 0 -1 1077944384 1339 13115 0 0 34 0 5 3 20 0 15 0 225995529 11255754752 79267 33554432000 4194304 4196468 140720868362144 139815553129200 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13556] ppid=13488 vsize=10991948 memory=1624 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13556/stat : 13556 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11255754752 79267 33554432000 4194304 4196468 140720868362144 139813936163936 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13557] ppid=13488 vsize=10991948 memory=6768 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13557/stat : 13557 (java) S 13488 13491 9560 0 -1 1077944384 1 13115 0 0 0 0 5 3 20 0 15 0 225995529 11255754752 79267 33554432000 4194304 4196468 140720868362144 139815552076080 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10991948 KiB

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

/proc/13491/task/13544/stat : 13544 (java) R 13488 13491 9560 0 -1 4202560 213114 13115 0 0 230087 67 5 3 20 0 15 0 225995523 11348049920 822965 33554432000 4194304 4196468 140720868362144 139816035040480 139815653945608 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13545] ppid=13488 vsize=11082080 memory=3293396 CPUtime=19.04 cores=0,2,4,6
/proc/13491/task/13545/stat : 13545 (java) S 13488 13491 9560 0 -1 1077944384 51310 13115 0 0 1828 68 5 3 20 0 15 0 225995524 11348049920 822965 33554432000 4194304 4196468 140720868362144 139816067447568 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13546] ppid=13488 vsize=11082080 memory=3293396 CPUtime=19.05 cores=0,2,4,6
/proc/13491/task/13546/stat : 13546 (java) S 13488 13491 9560 0 -1 1077944384 44501 13115 0 0 1827 70 5 3 20 0 15 0 225995524 11348049920 822965 33554432000 4194304 4196468 140720868362144 139815952645008 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13547] ppid=13488 vsize=11082080 memory=3291860 CPUtime=19.03 cores=0,2,4,6
/proc/13491/task/13547/stat : 13547 (java) S 13488 13491 9560 0 -1 1077944384 46770 13115 0 0 1825 70 5 3 20 0 15 0 225995524 11348049920 822965 33554432000 4194304 4196468 140720868362144 139815951592464 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13548] ppid=13488 vsize=11082080 memory=3307248 CPUtime=19.13 cores=0,2,4,6
/proc/13491/task/13548/stat : 13548 (java) S 13488 13491 9560 0 -1 1077944384 45544 13115 0 0 1834 71 5 3 20 0 15 0 225995524 11348049920 822965 33554432000 4194304 4196468 140720868362144 139815950539920 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13549] ppid=13488 vsize=11082080 memory=3294424 CPUtime=1.41 cores=0,2,4,6
/proc/13491/task/13549/stat : 13549 (java) S 13488 13491 9560 0 -1 1077944384 30367 13115 0 0 122 11 5 3 20 0 15 0 225995525 11348049920 822965 33554432000 4194304 4196468 140720868362144 139815556286448 139816063216258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13550] ppid=13488 vsize=11082080 memory=3294424 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13550/stat : 13550 (java) S 13488 13491 9560 0 -1 1077944384 24 13115 0 0 0 0 5 3 20 0 15 0 225995526 11348049920 822965 33554432000 4194304 4196468 140720868362144 139814822208480 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13551] ppid=13488 vsize=11082080 memory=3816 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13551/stat : 13551 (java) S 13488 13491 9560 0 -1 1077944384 33 13115 0 0 0 0 5 3 20 0 15 0 225995526 11348049920 822965 33554432000 4194304 4196468 140720868362144 139814674359296 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13552] ppid=13488 vsize=11082080 memory=61388 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13552/stat : 13552 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11348049920 822965 33554432000 4194304 4196468 140720868362144 139814366959824 139816063223707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13553] ppid=13488 vsize=11082080 memory=3294424 CPUtime=9.46 cores=0,2,4,6
/proc/13491/task/13553/stat : 13553 (java) S 13488 13491 9560 0 -1 1077944384 91570 13115 0 0 929 9 5 3 20 0 15 0 225995529 11348049920 822965 33554432000 4194304 4196468 140720868362144 139815555234288 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13554] ppid=13488 vsize=11082080 memory=3816 CPUtime=9.71 cores=0,2,4,6
/proc/13491/task/13554/stat : 13554 (java) S 13488 13491 9560 0 -1 1077944384 99048 13115 0 0 953 10 5 3 20 0 15 0 225995529 11348049920 822965 33554432000 4194304 4196468 140720868362144 139815554181744 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13555] ppid=13488 vsize=11082080 memory=3293396 CPUtime=3.41 cores=0,2,4,6
/proc/13491/task/13555/stat : 13555 (java) S 13488 13491 9560 0 -1 1077944384 74940 13115 0 0 323 10 5 3 20 0 15 0 225995529 11348049920 822965 33554432000 4194304 4196468 140720868362144 139815553129200 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13556] ppid=13488 vsize=11082080 memory=3293396 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13556/stat : 13556 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11348049920 822965 33554432000 4194304 4196468 140720868362144 139813936163936 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13557] ppid=13488 vsize=11082080 memory=14127849082719513 CPUtime=1.46 cores=0,2,4,6
/proc/13491/task/13557/stat : 13557 (java) S 13488 13491 9560 0 -1 1077944384 2764 13115 0 0 71 67 5 3 20 0 15 0 225995529 11348049920 822965 33554432000 4194304 4196468 140720868362144 139815552076080 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
Current children cumulated CPU time: 2402.7 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3291860 KiB

[startup+2382.3 s]
/proc/loadavg: 1.74 1.63 1.64 3/215 13781
/proc/meminfo: memFree=7802408/32770624 swapFree=67108504/67108860
[pid=13491] ppid=13488 vsize=11082080 memory=3267328 CPUtime=2463.79 cores=0,2,4,6
/proc/13491/stat : 13491 (java) S 13488 13491 9560 0 -1 1077944320 714847 13115 0 0 245932 439 5 3 20 0 15 0 225995514 11348049920 816832 33554432000 4194304 4196468 140720868362144 140720868344688 139816063205111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
/proc/13491/statm: 2770520 816832 3539 1 0 2732173 0
[pid=13491/tid=13544] ppid=13488 vsize=11082080 memory=3267328 CPUtime=2361.24 cores=0,2,4,6
/proc/13491/task/13544/stat : 13544 (java) R 13488 13491 9560 0 -1 4202560 215493 13115 0 0 236049 67 5 3 20 0 15 0 225995523 11348049920 816832 33554432000 4194304 4196468 140720868362144 139816035040480 139815656029690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13545] ppid=13488 vsize=11082080 memory=3271432 CPUtime=19.38 cores=0,2,4,6
/proc/13491/task/13545/stat : 13545 (java) S 13488 13491 9560 0 -1 1077944384 52083 13115 0 0 1862 68 5 3 20 0 15 0 225995524 11348049920 816832 33554432000 4194304 4196468 140720868362144 139816067447568 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13546] ppid=13488 vsize=11082080 memory=3271432 CPUtime=19.4 cores=0,2,4,6
/proc/13491/task/13546/stat : 13546 (java) S 13488 13491 9560 0 -1 1077944384 45642 13115 0 0 1861 71 5 3 20 0 15 0 225995524 11348049920 816832 33554432000 4194304 4196468 140720868362144 139815952645008 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13547] ppid=13488 vsize=11082080 memory=3267328 CPUtime=19.37 cores=0,2,4,6
/proc/13491/task/13547/stat : 13547 (java) S 13488 13491 9560 0 -1 1077944384 48615 13115 0 0 1859 70 5 3 20 0 15 0 225995524 11348049920 816832 33554432000 4194304 4196468 140720868362144 139815951592464 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13548] ppid=13488 vsize=11082080 memory=3267328 CPUtime=19.47 cores=0,2,4,6
/proc/13491/task/13548/stat : 13548 (java) S 13488 13491 9560 0 -1 1077944384 45918 13115 0 0 1868 71 5 3 20 0 15 0 225995524 11348049920 816832 33554432000 4194304 4196468 140720868362144 139815950539920 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13549] ppid=13488 vsize=11082080 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/13491/task/13549/stat : 13549 (java) S 13488 13491 9560 0 -1 1077944384 30705 13115 0 0 124 11 5 3 20 0 15 0 225995525 11348049920 816832 33554432000 4194304 4196468 140720868362144 139815556286448 139816063216258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13550] ppid=13488 vsize=11082080 memory=3273392 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13550/stat : 13550 (java) S 13488 13491 9560 0 -1 1077944384 24 13115 0 0 0 0 5 3 20 0 15 0 225995526 11348049920 816832 33554432000 4194304 4196468 140720868362144 139814822208480 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13551] ppid=13488 vsize=11082080 memory=279550429717856 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13551/stat : 13551 (java) S 13488 13491 9560 0 -1 1077944384 33 13115 0 0 0 0 5 3 20 0 15 0 225995526 11348049920 816832 33554432000 4194304 4196468 140720868362144 139814674359296 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13552] ppid=13488 vsize=11082080 memory=3273392 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13552/stat : 13552 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11348049920 816832 33554432000 4194304 4196468 140720868362144 139814366959824 139816063223707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13553] ppid=13488 vsize=11082080 memory=61388 CPUtime=9.47 cores=0,2,4,6
/proc/13491/task/13553/stat : 13553 (java) S 13488 13491 9560 0 -1 1077944384 93745 13115 0 0 930 9 5 3 20 0 15 0 225995529 11348049920 816832 33554432000 4194304 4196468 140720868362144 139815555234288 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13554] ppid=13488 vsize=11082080 memory=3273392 CPUtime=9.73 cores=0,2,4,6
/proc/13491/task/13554/stat : 13554 (java) S 13488 13491 9560 0 -1 1077944384 100661 13115 0 0 955 10 5 3 20 0 15 0 225995529 11348049920 816832 33554432000 4194304 4196468 140720868362144 139815554181744 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13555] ppid=13488 vsize=11082080 memory=3273392 CPUtime=3.42 cores=0,2,4,6
/proc/13491/task/13555/stat : 13555 (java) S 13488 13491 9560 0 -1 1077944384 76933 13115 0 0 324 10 5 3 20 0 15 0 225995529 11348049920 816832 33554432000 4194304 4196468 140720868362144 139815553129200 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13556] ppid=13488 vsize=11082080 memory=3267328 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13556/stat : 13556 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11348049920 816832 33554432000 4194304 4196468 140720868362144 139813936163936 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13557] ppid=13488 vsize=11082080 memory=924 CPUtime=1.49 cores=0,2,4,6
/proc/13491/task/13557/stat : 13557 (java) S 13488 13491 9560 0 -1 1077944384 2796 13115 0 0 72 69 5 3 20 0 15 0 225995529 11348049920 816832 33554432000 4194304 4196468 140720868362144 139815552076080 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
Current children cumulated CPU time: 2463.79 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3267328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2437.5 s]
/proc/loadavg: 1.28 1.53 1.61 3/215 13782
/proc/meminfo: memFree=7859320/32770624 swapFree=67108504/67108860
[pid=13491] ppid=13488 vsize=11082080 memory=3210708 CPUtime=2520.02 cores=0,2,4,6
/proc/13491/stat : 13491 (java) S 13488 13491 9560 0 -1 1077944320 723967 13115 0 0 251551 443 5 3 20 0 15 0 225995514 11348049920 802677 33554432000 4194304 4196468 140720868362144 140720868344688 139816063205111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
/proc/13491/statm: 2770520 802677 3539 1 0 2732173 0
[pid=13491/tid=13544] ppid=13488 vsize=11082080 memory=3210708 CPUtime=2416.1 cores=0,2,4,6
/proc/13491/task/13544/stat : 13544 (java) R 13488 13491 9560 0 -1 4202560 217662 13115 0 0 241534 68 5 3 20 0 15 0 225995523 11348049920 802677 33554432000 4194304 4196468 140720868362144 139816035040608 139815655308753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13545] ppid=13488 vsize=11082080 memory=3216864 CPUtime=19.69 cores=0,2,4,6
/proc/13491/task/13545/stat : 13545 (java) S 13488 13491 9560 0 -1 1077944384 52471 13115 0 0 1893 68 5 3 20 0 15 0 225995524 11348049920 802677 33554432000 4194304 4196468 140720868362144 139816067447568 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13546] ppid=13488 vsize=11082080 memory=3271432 CPUtime=19.71 cores=0,2,4,6
/proc/13491/task/13546/stat : 13546 (java) S 13488 13491 9560 0 -1 1077944384 46276 13115 0 0 1892 71 5 3 20 0 15 0 225995524 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815952645008 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13547] ppid=13488 vsize=11082080 memory=3216864 CPUtime=19.69 cores=0,2,4,6
/proc/13491/task/13547/stat : 13547 (java) S 13488 13491 9560 0 -1 1077944384 49158 13115 0 0 1891 70 5 3 20 0 15 0 225995524 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815951592464 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13548] ppid=13488 vsize=11082080 memory=3214300 CPUtime=19.78 cores=0,2,4,6
/proc/13491/task/13548/stat : 13548 (java) S 13488 13491 9560 0 -1 1077944384 47190 13115 0 0 1899 71 5 3 20 0 15 0 225995524 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815950539920 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13549] ppid=13488 vsize=11082080 memory=3210708 CPUtime=1.46 cores=0,2,4,6
/proc/13491/task/13549/stat : 13549 (java) S 13488 13491 9560 0 -1 1077944384 31034 13115 0 0 126 12 5 3 20 0 15 0 225995525 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815556286448 139816063216258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13550] ppid=13488 vsize=11082080 memory=3214300 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13550/stat : 13550 (java) S 13488 13491 9560 0 -1 1077944384 24 13115 0 0 0 0 5 3 20 0 15 0 225995526 11348049920 802677 33554432000 4194304 4196468 140720868362144 139814822208480 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13551] ppid=13488 vsize=11082080 memory=3210708 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13551/stat : 13551 (java) S 13488 13491 9560 0 -1 1077944384 33 13115 0 0 0 0 5 3 20 0 15 0 225995526 11348049920 802677 33554432000 4194304 4196468 140720868362144 139814674359296 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13552] ppid=13488 vsize=11082080 memory=3210708 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13552/stat : 13552 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139814366959824 139816063223707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13553] ppid=13488 vsize=11082080 memory=3214300 CPUtime=9.49 cores=0,2,4,6
/proc/13491/task/13553/stat : 13553 (java) S 13488 13491 9560 0 -1 1077944384 95748 13115 0 0 932 9 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815555234288 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13554] ppid=13488 vsize=11082080 memory=3210708 CPUtime=9.74 cores=0,2,4,6
/proc/13491/task/13554/stat : 13554 (java) S 13488 13491 9560 0 -1 1077944384 101586 13115 0 0 956 10 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815554181744 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13555] ppid=13488 vsize=11082080 memory=6791534058613427641 CPUtime=3.43 cores=0,2,4,6
/proc/13491/task/13555/stat : 13555 (java) S 13488 13491 9560 0 -1 1077944384 77738 13115 0 0 325 10 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815553129200 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13556] ppid=13488 vsize=11082080 memory=288230596050944315 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13556/stat : 13556 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139813936163936 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13557] ppid=13488 vsize=11082080 memory=3816 CPUtime=1.53 cores=0,2,4,6
/proc/13491/task/13557/stat : 13557 (java) S 13488 13491 9560 0 -1 1077944384 2848 13115 0 0 74 71 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815552076080 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3210708 KiB

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

[startup+2437.55 s]
# the end of solver process 13491 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.58 s, system=4.49428 s

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

[startup+2437.5 s]
/proc/loadavg: 1.28 1.53 1.61 3/215 13782
/proc/meminfo: memFree=7859320/32770624 swapFree=67108504/67108860
[pid=13491] ppid=13488 vsize=11082080 memory=3210708 CPUtime=2520.02 cores=0,2,4,6
/proc/13491/stat : 13491 (java) S 13488 13491 9560 0 -1 1077944320 723967 13115 0 0 251551 443 5 3 20 0 15 0 225995514 11348049920 802677 33554432000 4194304 4196468 140720868362144 140720868344688 139816063205111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
/proc/13491/statm: 2770520 802677 3539 1 0 2732173 0
[pid=13491/tid=13544] ppid=13488 vsize=11082080 memory=3210708 CPUtime=2416.1 cores=0,2,4,6
/proc/13491/task/13544/stat : 13544 (java) R 13488 13491 9560 0 -1 4202560 217662 13115 0 0 241534 68 5 3 20 0 15 0 225995523 11348049920 802677 33554432000 4194304 4196468 140720868362144 139816035040608 139815655308753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13545] ppid=13488 vsize=11082080 memory=3216864 CPUtime=19.69 cores=0,2,4,6
/proc/13491/task/13545/stat : 13545 (java) S 13488 13491 9560 0 -1 1077944384 52471 13115 0 0 1893 68 5 3 20 0 15 0 225995524 11348049920 802677 33554432000 4194304 4196468 140720868362144 139816067447568 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13546] ppid=13488 vsize=11082080 memory=3271432 CPUtime=19.71 cores=0,2,4,6
/proc/13491/task/13546/stat : 13546 (java) S 13488 13491 9560 0 -1 1077944384 46276 13115 0 0 1892 71 5 3 20 0 15 0 225995524 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815952645008 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13547] ppid=13488 vsize=11082080 memory=3216864 CPUtime=19.69 cores=0,2,4,6
/proc/13491/task/13547/stat : 13547 (java) S 13488 13491 9560 0 -1 1077944384 49158 13115 0 0 1891 70 5 3 20 0 15 0 225995524 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815951592464 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13548] ppid=13488 vsize=11082080 memory=3214300 CPUtime=19.78 cores=0,2,4,6
/proc/13491/task/13548/stat : 13548 (java) S 13488 13491 9560 0 -1 1077944384 47190 13115 0 0 1899 71 5 3 20 0 15 0 225995524 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815950539920 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13549] ppid=13488 vsize=11082080 memory=3210708 CPUtime=1.46 cores=0,2,4,6
/proc/13491/task/13549/stat : 13549 (java) S 13488 13491 9560 0 -1 1077944384 31034 13115 0 0 126 12 5 3 20 0 15 0 225995525 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815556286448 139816063216258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13550] ppid=13488 vsize=11082080 memory=3214300 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13550/stat : 13550 (java) S 13488 13491 9560 0 -1 1077944384 24 13115 0 0 0 0 5 3 20 0 15 0 225995526 11348049920 802677 33554432000 4194304 4196468 140720868362144 139814822208480 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13551] ppid=13488 vsize=11082080 memory=3210708 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13551/stat : 13551 (java) S 13488 13491 9560 0 -1 1077944384 33 13115 0 0 0 0 5 3 20 0 15 0 225995526 11348049920 802677 33554432000 4194304 4196468 140720868362144 139814674359296 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13552] ppid=13488 vsize=11082080 memory=3210708 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13552/stat : 13552 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139814366959824 139816063223707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13553] ppid=13488 vsize=11082080 memory=3214300 CPUtime=9.49 cores=0,2,4,6
/proc/13491/task/13553/stat : 13553 (java) S 13488 13491 9560 0 -1 1077944384 95748 13115 0 0 932 9 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815555234288 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13554] ppid=13488 vsize=11082080 memory=3210708 CPUtime=9.74 cores=0,2,4,6
/proc/13491/task/13554/stat : 13554 (java) S 13488 13491 9560 0 -1 1077944384 101586 13115 0 0 956 10 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815554181744 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13555] ppid=13488 vsize=11082080 memory=6791534058613427641 CPUtime=3.43 cores=0,2,4,6
/proc/13491/task/13555/stat : 13555 (java) S 13488 13491 9560 0 -1 1077944384 77738 13115 0 0 325 10 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815553129200 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13556] ppid=13488 vsize=11082080 memory=288230596050944315 CPUtime=0.08 cores=0,2,4,6
/proc/13491/task/13556/stat : 13556 (java) S 13488 13491 9560 0 -1 1077944384 3 13115 0 0 0 0 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139813936163936 139816063215317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
[pid=13491/tid=13557] ppid=13488 vsize=11082080 memory=3816 CPUtime=1.53 cores=0,2,4,6
/proc/13491/task/13557/stat : 13557 (java) S 13488 13491 9560 0 -1 1077944384 2848 13115 0 0 74 71 5 3 20 0 15 0 225995529 11348049920 802677 33554432000 4194304 4196468 140720868362144 139815552076080 139816063216258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140720868371053 140720868373852 140720868373852 140720868376527 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3210708 KiB

Child status: 143
Real time (s): 2437.55
CPU time (s): 2520.08
CPU user time (s): 2515.58
CPU system time (s): 4.49428
CPU usage (%): 103.386
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 4041772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.58
system time used= 4.49428
maximum resident set size= 4041772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 739900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75566
involuntary context switches= 4552


# summary of solver processes directly reported to runsolver:
#   pid: 13491
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2515.58
#   total CPU system time (s): 4.49428

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6582 second user time and 21.1438 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-12 16:32:03
IDJOB=4304425
IDBENCH=141261
IDSOLVER=2780
FILE ID=node104/4304425-1534084323
RUNJOBID= node104-1534062308-9591
PBS_JOBID= 21036981
Free space on /tmp= 37424 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-04-0300_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304425-1534084323/watcher-4304425-1534084323 -o /tmp/evaluation-result-4304425-1534084323/solver-4304425-1534084323 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534062308-9591 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=370506762 HOME/instance-4304425-1534084323.xml

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

MD5SUM BENCH= d2f9cd7b3c3026f57264f10c0685d9a6
RANDOM SEED=370506762

node104.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.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        15667424 kB
MemAvailable:   31204488 kB
Buffers:          185304 kB
Cached:         15389988 kB
SwapCached:            8 kB
Active:          8457020 kB
Inactive:        7871588 kB
Active(anon):     704772 kB
Inactive(anon):   100964 kB
Active(file):    7752248 kB
Inactive(file):  7770624 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:            132312 kB
Writeback:             0 kB
AnonPages:        760660 kB
Mapped:            65072 kB
Shmem:             49636 kB
Slab:             471260 kB
SReclaimable:     442652 kB
SUnreclaim:        28608 kB
KernelStack:        3520 kB
PageTables:         7128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1561384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    649216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 37124 MiB
End job on node104 at 2018-08-12 17:12:41