Trace number 4387525

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.10SAT (TO)177781852 2520.1 2465.85

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml
MD5SUM3fdf89d4941046bada2032faa76e855a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63832030
Best CPU time to get the best result obtained on this benchmark59.6866
Satisfiable
(Un)Satisfiability was proved
Number of variables4790
Number of constraints2852
Number of domains18
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}]
Minimum variable degree1
Maximum variable degree1264
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}]
Number of extensional constraints1263
Number of intensional constraints1589
Distribution of constraint types[{"type":"extension","count":1263},{"type":"intension","count":1589}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.71/0.55	c Concrete v3.10.1560635388952 running
61.46/37.07	o 177781852
2520.03/2465.81	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2465.81		at concrete.MAC.mac(MAC.scala:189)
2520.03/2465.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2520.03/2465.81		at scala.util.Try$.apply(Try.scala:212)
2520.03/2465.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.03/2465.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.03/2465.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.03/2465.81		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2465.81		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2465.81		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2465.81		at concrete.Solver.hasNext(Solver.scala:160)
2520.03/2465.81		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2465.81		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2465.81		at concrete.Solver.foreach(Solver.scala:67)
2520.03/2465.81		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2520.03/2465.81		at scala.util.Success.map(Try.scala:264)
2520.03/2465.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2520.03/2465.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.03/2465.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2465.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2465.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2465.81		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.03/2465.81		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.03/2465.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.03/2465.81		at scala.App.$anonfun$main$1(App.scala:75)
2520.03/2465.81		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.03/2465.81		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2465.81		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2465.81		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.03/2465.81		at scala.App.main(App.scala:75)
2520.03/2465.81		at scala.App.main$(App.scala:73)
2520.03/2465.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2465.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2465.82	v <instantiation
2520.03/2465.82	v         cost = '177781852'>
2520.03/2465.82	v       <list>
2520.03/2465.82	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] 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] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] 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] 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] 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]
2520.03/2465.82	v       </list>
2520.03/2465.82	v       <values>
2520.03/2465.82	v         2700 2416 2508 2512 2636 2652 2292 2392 2624 2700 2596 2480 2256 2400 2700 2576 2348 2424 2276 2660 2700 2660 2592 2700 2468 2416 2260 2660 2280 2260 2700 2628 2660 2220 2700 2288 2600 2380 2564 2592 2608 2416 2636 2700 2228 2700 2592 2524 2448 2556 2424 2700 2224 2376 2260 2296 2260 2632 2356 2532 2220 2632 2360 2268 2616 2568 2280 2476 2260 2448 2416 2240 2660 2368 2228 2660 2408 2700 2584 2404 2356 2632 2640 2636 2300 2220 2260 2620 2260 2376 2648 2364 2660 2656 2432 2220 2336 2700 2592 2220 2388 2652 2628 2276 2316 2360 2504 2580 2336 2596 2220 2312 2528 2624 2700 2236 2516 2260 2264 2492 2376 2584 2376 2700 2444 2544 2316 2260 2660 2300 2660 2236 2404 2460 2352 2300 2260 2660 2260 2220 2508 2700 2220 2416 2656 2260 2640 2296 2296 2220 2696 2608 2300 2660 2296 2640 2412 2316 2552 2260 2300 2512 2336 2352 2660 2256 2332 2700 2668 2276 2380 2600 2648 2456 2220 2220 2352 2464 2256 2700 2660 2308 2548 2220 2484 2220 2632 2544 2564 2416 2408 2296 2276 2636 2252 2584 2660 2648 2268 2220 2380 2360 2508 2608 2220 2660 2572 2492 2660 2260 2408 2400 2700 2628 2472 2408 2260 2648 2504 2532 2612 2596 2316 2232 2396 2652 2680 2576 2228 2692 2660 2280 2660 2700 2544 2568 2292 2496 2652 2420 2260 2420 2332 2588 2456 2532 2444 2376 2368 2512 2392 2620 2620 2324 2504 2488 2452 2700 2660 2572 2660 2660 2604 2356 2588 2308 2444 2264 2444 2256 2688 2448 2276 2500 2248 2256 2220 2692 2244 2516 2448 2316 2260 2392 2700 2600 2316 2676 2260 2332 2700 2668 2348 2544 2300 2260 2672 2464 2700 2252 2424 2364 2564 2592 2588 2316 2296 2532 2220 2608 2220 2372 2268 2276 2372 2652 2660 2316 2412 2696 2340 2464 2660 2324 2260 2700 2456 2288 2340 2660 2260 2316 2256 2372 2464 2464 2432 2468 2260 2412 2552 2408 2700 2372 2296 2308 2316 2596 2376 2660 2496 2640 2584 2236 2228 2660 2504 2304 2276 2700 2264 2552 2700 2260 2548 2464 2560 2456 2292 2696 2460 2672 2296 2544 2224 2568 2632 2456 2544 2656 2592 2256 2244 2336 2520 2296 2348 2524 2260 2276 2700 2660 2220 2268 2628 2336 2616 2284 2616 2656 2632 2664 2296 2220 2580 2700 2364 2356 2660 2260 2660 2276 2608 2260 2692 2540 2616 2700 2320 2260 2464 2320 2612 2220 2372 2632 2572 2264 2404 2220 2424 2340 2416 2268 2260 2660 2220 2452 2220 2656 2504 2388 2424 2568 2660 2260 2260 2348 2656 2416 2392 2276 2660 2660 2260 2236 2660 2592 2280 2660 2700 2296 2700 2272 2660 2628 2556 2588 2420 2348 2420 2680 2608 2412 2220 2220 2220 2632 2404 2416 2260 2356 2616 2356 2240 2412 2224 2700 2536 2372 2248 2508 2240 2628 2236 2220 2540 2700 2284 2388 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 11 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 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 1 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 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 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 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 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 9 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 9 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 7 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 8 10 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 120 40 440 40 244 284 120 248 216 284 152 284 140 252 96 348 396 416 320 188 368 232 24 156 116 320 368 124 72 268 132 276 92 172 8 36 76 176 32 404 212 368 32 276 404 172 328 180 172 376 24 220 100 28 220 196 112 248 348 20 64 140 104 340 444 480 284 188 76 124 84 356 292 312 196 344 8 208 212 172 112 236 164 364 56 268 168 40 184 280 284 0 52 400 396 224 336 236 480 440 144 400 168 8 68 316 16 108 440 64 0 424 288 480 208 144 232 244 244 236 196 60 40 368 400 400 156 40 128 400 324 216 384 140 8 168 136 268 136 44 16 40 48 0 440 400 440 280 364 440 392 28 176 364 280 412 200 328 236 320 172 404 480 84 412 88 412 80 8 100 268 92 20 100 120 260 280 108 132 184 272 304 76 288 308 4 92 48 180 48 388 116 348 160 348 16 244 48 104 152 64 64 64 64 412 416 172 424 368 420 232 432 480 436 40 84 284 68 256 68 68 220 24 244 12 136 104 156 288 188 144 124 308 276 64 216 236 276 156 464 0 84 460 152 168 280 232 208 140 116 116 112 400 64 152 336 20 364 76 148 400 376 232 324 396 372 372 68 280 128 44 220 256 40 68 292 136 124 36 188 348 36 244 436 216 324 160 316 28 340 44 96 300 256 104 32 8 248 80 260 76 40 16 80 312 104 132 196 64 92 60 60 88 20 284 380 400 88 116 104 104 400 48 160 372 212 92 160 284 284 20 56 60 336 116 80 40 400 72 52 116 176 232 292 112 300 52 204 68 440 256 268 384 188 224 292 240 292 224 184 364 292 88 440 404 460 120 144 268 56 136 116 68 348 68 316 352 380 100 420 132 128 400 244 224 276 392 388 360 384 320 268 48 116 248 144 116 8 104 156 232 12 52 24 16 292 112 296 236 104 336 252 284 268 204 400 272 436 240 268 72 176 220 180 60 364 364 152 168 372 440 20 268 96 116 220 48 440 92 480 0 424 280 216 316 80 96 200 296 168 212 440 440 152 272 224 212 152 152 316 112 264 112 408 364 404 88 180 16 232 344 384 20 292 100 172 268 12 124 48 272 300 204 28 160 324 64 284 196 36 12 132 260 88 332 232 24 376 144 368 16 260 52 136 184 168 140 172 44 60 224 36 100 20 0 440 372 116 304 144 184 56 184 368 212 412 24 16 368 436 396 408 348 152 392 216 140 120 24 36 100 168 128 292 364 164 224 272 132 440 436 252 112 92 156 156 128 252 184 156 288 152 188 276 344 84 80 216 348 384 96 388 236 328 348 36 284 332 308 288 196 256 152 360 320 284 152 0 400 88 220 316 268 372 32 184 100 140 296 200 168 56 240 80 216 400 116 296 116 80 408 148 56 0 252 288 400 196 380 56 268 112 324 96 172 480 132 400 156 424 0 232 212 236 16 480 348 340 212 36 400 128 396 120 420 64 364 344 52 332 404 372 168 68 32 440 352 332 16 68 276 300 388 80 296 64 236 400 400 208 384 116 212 76 364 268 88 420 36 248 152 8 172 72 292 108 164 76 44 304 216 220 48 20 68 32 184 240 168 76 324 120 308 48 64 264 144 228 144 212 352 112 440 256 480 80 392 400 56 352 112 160 112 152 112 32 100 36 380 196 384 388 388 228 120 44 156 196 364 252 152 396 96 452 96 188 284 348 164 308 192 12 80 156 404 68 424 480 384 344 56 340 352 48 224 60 108 144 144 264 48 440 184 232 168 216 452 100 316 16 168 68 128 28 276 124 268 284 156 124 288 308 264 248 284 188 196 156 92 52 160 364 48 404 364 4 336 276 416 180 220 376 272 64 304 328 120 116 80 44 260 420 48 64 348 392 312 244 40 152 72 300 208 100 300 276 192 224 148 96 480 116 48 208 128 392 248 312 200 212 80 116 220 188 24 52 188 440 180 56 192 184 56 52 152 440 36 396 104 276 392 184 276 144 56 20 244 60 236 80 256 192 296 316 392 232 256 60 312 344 264 428 36 80 56 136 260 12 344 420 124 112 20 404 84 280 456 472 328 192 44 292 16 184 400 160 144 156 284 204 100 92 64 72 72 124 248 384 316 244 44 140 40 312 52 80 240 340 36 96 208 100 368 272 180 228 236 244 216 72 216 40 144 68 176 96 300 152 28 332 188 264 308 96 308 280 348 272 212 284 36 232 72 28 212 56 84 80 92 136 208 132 148 236 132 432 84 236 272 168 88 332 424 204 128 424 400 92 32 344 328 368 368 344 160 220 220 164 208 444 248 336 404 372 416 140 152 96 36 20 380 280 160 160 384 176 60 416 404 40 412 20 344 416 416 256 180 132 224 208 96 236 380 300 304 152 204 304 216 408 376 244 344 84 264 428 284 300 72 288 76 160 312 80 112 248 56 60 36 28 352 236 196 40 196 404 232 84 404 168 164 236 296 160 316 40 24 332 44 4 292 176 56 136 404 364 168 480 128 236 144 440 52 192 0 16 52 4 108 36 164 392 344 248 128 320 120 44 56 8 236 356 196 288 132 404 136 28 88 264 32 444 288 196 4 196 188 244 164 232 152 56 56 88 292 244 84 172 364 252 88 80 72 84 92 364 48 44 384 20 56 392 112 84 424 424 152 312 436 328 328 12 208 152 56 108 56 24 124 120 40 168 156 296 116 72 324 68 208 284 348 32 244 172 132 396 180 360 88 100 364 128 108 480 344 452 244 480 408 280 396 332 256 44 276 372 260 444 320 0 0 168 360 44 156 436 276 36 328 108 44 20 220 288 244 212 336 108 76 156 256 12 320 288 340 120 280 336 232 388 4 88 20 4 436 312 420 460 464 356 136 248 224
2520.03/2465.82	v       </values>
2520.03/2465.82	v     </instantiation>
2520.03/2465.82	s SATISFIABLE

Verifier Data 

OK	177781852

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387525-1568308862/watcher-4387525-1568308862 -o /tmp/evaluation-result-4387525-1568308862/solver-4387525-1568308862 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568282271-6097 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=948128104 HOME/instance-4387525-1568308862.xml 

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

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


[startup+0.102388 s]*
/proc/loadavg: 2.10 1.57 1.46 3/217 13163
/proc/meminfo: memFree=29421664/32770624 swapFree=66934492/67108860
[pid=13106] ppid=13103 vsize=9972712 memory=18860 CPUtime=0.08 cores=0,2,4,6
/proc/13106/stat : 13106 (java) S 13103 13106 5271 0 -1 1077944320 4424 13352 0 0 1 0 5 2 20 0 6 0 407144687 10212057088 4715 33554432000 4194304 4196468 140730127058288 140730127040832 139641745366775 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
/proc/13106/statm: 2493178 4715 1935 1 0 2481616 0
[pid=13106/tid=13159] ppid=13103 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/13106/task/13159/stat : 13159 (java) R 13103 13106 5271 0 -1 4202560 2227 13352 0 0 1 0 5 2 20 0 6 0 407144697 10212057088 4715 33554432000 4194304 4196468 140730127058288 139641717203536 139641728559475 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13160] ppid=13103 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13160/stat : 13160 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 6 0 407144697 10212057088 4715 33554432000 4194304 4196468 140730127058288 139641749609360 139641745376981 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13161] ppid=13103 vsize=9972712 memory=139768157058688 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13161/stat : 13161 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 6 0 407144697 10212057088 4715 33554432000 4194304 4196468 140730127058288 139641318464272 139641745376981 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13162] ppid=13103 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13162/stat : 13162 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 6 0 407144697 10212057088 4715 33554432000 4194304 4196468 140730127058288 139641317411984 139641745376981 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13163] ppid=13103 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13163/stat : 13163 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 6 0 407144697 10212057088 4715 33554432000 4194304 4196468 140730127058288 139641316359184 139641745376981 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB

[startup+0.210076 s]*
/proc/loadavg: 2.10 1.57 1.46 3/226 13172
/proc/meminfo: memFree=29404380/32770624 swapFree=66934492/67108860
[pid=13106] ppid=13103 vsize=10818940 memory=38060 CPUtime=0.25 cores=0,2,4,6
/proc/13106/stat : 13106 (java) S 13103 13106 5271 0 -1 1077944320 6880 13352 0 0 17 1 5 2 20 0 15 0 407144687 11078594560 9515 33554432000 4194304 4196468 140730127058288 140730127040832 139641745366775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
/proc/13106/statm: 2704735 9515 2958 1 0 2667149 0
[pid=13106/tid=13159] ppid=13103 vsize=10818940 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/13106/task/13159/stat : 13159 (java) R 13103 13106 5271 0 -1 4202560 3393 13352 0 0 11 0 5 2 20 0 15 0 407144697 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641717154560 139641745388701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13160] ppid=13103 vsize=10818940 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13160/stat : 13160 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144697 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641749609360 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13161] ppid=13103 vsize=10818940 memory=288370144308770432 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13161/stat : 13161 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 15 0 407144697 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641318464272 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13162] ppid=13103 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13162/stat : 13162 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144697 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641317411984 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13163] ppid=13103 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13163/stat : 13163 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 15 0 407144697 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641316359184 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13164] ppid=13103 vsize=10818940 memory=139768157058688 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13164/stat : 13164 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 15 0 407144699 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641017247856 139641745377922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13165] ppid=13103 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13165/stat : 13165 (java) S 13103 13106 5271 0 -1 1077944384 13 13352 0 0 0 0 5 2 20 0 15 0 407144699 11078594560 9515 33554432000 4194304 4196468 140730127058288 139640929510176 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13166] ppid=13103 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13166/stat : 13166 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144700 11078594560 9515 33554432000 4194304 4196468 140730127058288 139640795292784 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13167] ppid=13103 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13167/stat : 13167 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11078594560 9515 33554432000 4194304 4196468 140730127058288 139640286566480 139641745385371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13168] ppid=13103 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13106/task/13168/stat : 13168 (java) S 13103 13106 5271 0 -1 1077944384 347 13352 0 0 1 0 5 2 20 0 15 0 407144702 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641016195696 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13169] ppid=13103 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13106/task/13169/stat : 13169 (java) S 13103 13106 5271 0 -1 1077944384 256 13352 0 0 1 0 5 2 20 0 15 0 407144702 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641015142896 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13170] ppid=13103 vsize=10818940 memory=139768157058688 CPUtime=0.1 cores=0,2,4,6
/proc/13106/task/13170/stat : 13170 (java) S 13103 13106 5271 0 -1 1077944384 653 13352 0 0 3 0 5 2 20 0 15 0 407144702 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641014090608 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13171] ppid=13103 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13171/stat : 13171 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11078594560 9515 33554432000 4194304 4196468 140730127058288 139640253008864 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13172] ppid=13103 vsize=10818940 memory=139768157058688 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13172/stat : 13172 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144703 11078594560 9515 33554432000 4194304 4196468 140730127058288 139641013037488 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38060 KiB

[startup+0.310482 s]*
/proc/loadavg: 2.10 1.57 1.46 4/226 13172
/proc/meminfo: memFree=29393448/32770624 swapFree=66934492/67108860
[pid=13106] ppid=13103 vsize=10820096 memory=49952 CPUtime=0.39 cores=0,2,4,6
/proc/13106/stat : 13106 (java) S 13103 13106 5271 0 -1 1077944320 10680 13352 0 0 29 3 5 2 20 0 15 0 407144687 11079778304 12488 33554432000 4194304 4196468 140730127058288 140730127040832 139641745366775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
/proc/13106/statm: 2705024 12488 3271 1 0 2667149 0
[pid=13106/tid=13159] ppid=13103 vsize=10820096 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/13106/task/13159/stat : 13159 (java) R 13103 13106 5271 0 -1 4202560 7159 13352 0 0 19 2 5 2 20 0 15 0 407144697 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641717177248 139641745388701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13160] ppid=13103 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13160/stat : 13160 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144697 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641749609360 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13161] ppid=13103 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13161/stat : 13161 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 15 0 407144697 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641318464272 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13162] ppid=13103 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13162/stat : 13162 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144697 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641317411984 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13163] ppid=13103 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13163/stat : 13163 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 15 0 407144697 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641316359184 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13164] ppid=13103 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13164/stat : 13164 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 15 0 407144699 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641017247856 139641745377922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13165] ppid=13103 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13165/stat : 13165 (java) S 13103 13106 5271 0 -1 1077944384 13 13352 0 0 0 0 5 2 20 0 15 0 407144699 11079778304 12488 33554432000 4194304 4196468 140730127058288 139640929510176 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13166] ppid=13103 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13166/stat : 13166 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144700 11079778304 12488 33554432000 4194304 4196468 140730127058288 139640795292784 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13167] ppid=13103 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13167/stat : 13167 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11079778304 12488 33554432000 4194304 4196468 140730127058288 139640286566480 139641745385371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13168] ppid=13103 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13106/task/13168/stat : 13168 (java) S 13103 13106 5271 0 -1 1077944384 349 13352 0 0 2 0 5 2 20 0 15 0 407144702 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641016195696 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13169] ppid=13103 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13106/task/13169/stat : 13169 (java) S 13103 13106 5271 0 -1 1077944384 256 13352 0 0 1 0 5 2 20 0 15 0 407144702 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641015142896 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13170] ppid=13103 vsize=10820096 memory=139768157058688 CPUtime=0.12 cores=0,2,4,6
/proc/13106/task/13170/stat : 13170 (java) S 13103 13106 5271 0 -1 1077944384 677 13352 0 0 5 0 5 2 20 0 15 0 407144702 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641014090608 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13171] ppid=13103 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13171/stat : 13171 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11079778304 12488 33554432000 4194304 4196468 140730127058288 139640253008864 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13172] ppid=13103 vsize=10820096 memory=139768157058688 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13172/stat : 13172 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144703 11079778304 12488 33554432000 4194304 4196468 140730127058288 139641013037488 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 49952 KiB

[startup+0.700768 s]
/proc/loadavg: 2.10 1.57 1.46 5/226 13172
/proc/meminfo: memFree=29380644/32770624 swapFree=66934492/67108860
[pid=13106] ppid=13103 vsize=10824340 memory=80436 CPUtime=1.13 cores=0,2,4,6
/proc/13106/stat : 13106 (java) S 13103 13106 5271 0 -1 1077944320 14836 13352 0 0 102 4 5 2 20 0 15 0 407144687 11084124160 20109 33554432000 4194304 4196468 140730127058288 140730127040832 139641745366775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
/proc/13106/statm: 2706085 20109 3508 1 0 2668173 0
[pid=13106/tid=13159] ppid=13103 vsize=10824340 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13106/task/13159/stat : 13159 (java) R 13103 13106 5271 0 -1 4202560 10479 13352 0 0 56 3 5 2 20 0 15 0 407144697 11084124160 20109 33554432000 4194304 4196468 140730127058288 139641717186320 139641729447262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13160] ppid=13103 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13160/stat : 13160 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144697 11084124160 20109 33554432000 4194304 4196468 140730127058288 139641749609360 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13161] ppid=13103 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13161/stat : 13161 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 15 0 407144697 11084124160 20109 33554432000 4194304 4196468 140730127058288 139641318464272 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13162] ppid=13103 vsize=10824340 memory=139768033849552 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13162/stat : 13162 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144697 11084124160 20109 33554432000 4194304 4196468 140730127058288 139641317411984 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13163] ppid=13103 vsize=10824340 memory=139771120714345 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13163/stat : 13163 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 15 0 407144697 11084124160 20109 33554432000 4194304 4196468 140730127058288 139641316359184 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13164] ppid=13103 vsize=10824340 memory=1060 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13164/stat : 13164 (java) S 13103 13106 5271 0 -1 1077944384 5 13352 0 0 0 0 5 2 20 0 15 0 407144699 11084124160 20109 33554432000 4194304 4196468 140730127058288 139641017247856 139641745377922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13165] ppid=13103 vsize=10824340 memory=7014751519667017297 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13165/stat : 13165 (java) S 13103 13106 5271 0 -1 1077944384 13 13352 0 0 0 0 5 2 20 0 15 0 407144699 11084124160 20109 33554432000 4194304 4196468 140730127058288 139640929510176 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13166] ppid=13103 vsize=10824340 memory=7450755146279572583 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13166/stat : 13166 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144700 11084124160 20109 33554432000 4194304 4196468 140730127058288 139640795292784 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13167] ppid=13103 vsize=10824340 memory=14056 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13167/stat : 13167 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11084124160 20109 33554432000 4194304 4196468 140730127058288 139640286566480 139641745385371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13168] ppid=13103 vsize=10824084 memory=2116 CPUtime=0.2 cores=0,2,4,6
/proc/13106/task/13168/stat : 13168 (java) S 13103 13106 5271 0 -1 1077944384 608 13352 0 0 13 0 5 2 20 0 15 0 407144702 11083862016 20164 33554432000 4194304 4196468 140730127058288 139641016195696 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13169] ppid=13103 vsize=10824340 memory=516 CPUtime=0.22 cores=0,2,4,6
/proc/13106/task/13169/stat : 13169 (java) S 13103 13106 5271 0 -1 1077944384 627 13352 0 0 15 0 5 2 20 0 15 0 407144702 11084124160 20164 33554432000 4194304 4196468 140730127058288 139641015142896 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13170] ppid=13103 vsize=10824340 memory=1556 CPUtime=0.24 cores=0,2,4,6
/proc/13106/task/13170/stat : 13170 (java) S 13103 13106 5271 0 -1 1077944384 882 13352 0 0 17 0 5 2 20 0 15 0 407144702 11084124160 20164 33554432000 4194304 4196468 140730127058288 139641014090608 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13171] ppid=13103 vsize=10824340 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13171/stat : 13171 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11084124160 20164 33554432000 4194304 4196468 140730127058288 139640253008864 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13172] ppid=13103 vsize=10824340 memory=1668 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13172/stat : 13172 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144703 11084124160 20164 33554432000 4194304 4196468 140730127058288 139641013037488 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80436 KiB

[startup+1.50074 s]
/proc/loadavg: 2.10 1.57 1.46 4/226 13172
/proc/meminfo: memFree=29160160/32770624 swapFree=66934492/67108860
[pid=13106] ppid=13103 vsize=10828488 memory=319860 CPUtime=3.65 cores=0,2,4,6
/proc/13106/stat : 13106 (java) S 13103 13106 5271 0 -1 1077944320 24502 13352 0 0 336 22 5 2 20 0 15 0 407144687 11088371712 79965 33554432000 4194304 4196468 140730127058288 140730127040832 139641745366775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
/proc/13106/statm: 2707122 79965 3557 1 0 2669191 0
[pid=13106/tid=13159] ppid=13103 vsize=10828488 memory=306688 CPUtime=1.4 cores=0,2,4,6
/proc/13106/task/13159/stat : 13159 (java) R 13103 13106 5271 0 -1 4202560 11497 13352 0 0 126 7 5 2 20 0 15 0 407144697 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641717201608 139641350067003 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13160] ppid=13103 vsize=10828488 memory=2436 CPUtime=0.12 cores=0,2,4,6
/proc/13106/task/13160/stat : 13160 (java) S 13103 13106 5271 0 -1 1077944384 69 13352 0 0 2 3 5 2 20 0 15 0 407144697 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641749609360 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13161] ppid=13103 vsize=10828488 memory=1760 CPUtime=0.12 cores=0,2,4,6
/proc/13106/task/13161/stat : 13161 (java) S 13103 13106 5271 0 -1 1077944384 52 13352 0 0 2 3 5 2 20 0 15 0 407144697 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641318464272 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13162] ppid=13103 vsize=10828488 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13106/task/13162/stat : 13162 (java) S 13103 13106 5271 0 -1 1077944384 40 13352 0 0 1 2 5 2 20 0 15 0 407144697 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641317411984 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13163] ppid=13103 vsize=10828488 memory=-7303279828959712342 CPUtime=0.12 cores=0,2,4,6
/proc/13106/task/13163/stat : 13163 (java) S 13103 13106 5271 0 -1 1077944384 57 13352 0 0 2 3 5 2 20 0 15 0 407144697 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641316359184 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13164] ppid=13103 vsize=10828488 memory=3833724587141655611 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13164/stat : 13164 (java) S 13103 13106 5271 0 -1 1077944384 86 13352 0 0 0 0 5 2 20 0 15 0 407144699 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641017247856 139641745377922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13165] ppid=13103 vsize=10828488 memory=-6798310482166503264 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13165/stat : 13165 (java) S 13103 13106 5271 0 -1 1077944384 14 13352 0 0 0 0 5 2 20 0 15 0 407144699 11088371712 79965 33554432000 4194304 4196468 140730127058288 139640929510176 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13166] ppid=13103 vsize=10828488 memory=-6078294146213043397 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13166/stat : 13166 (java) S 13103 13106 5271 0 -1 1077944384 2 13352 0 0 0 0 5 2 20 0 15 0 407144700 11088371712 79965 33554432000 4194304 4196468 140730127058288 139640795292784 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13167] ppid=13103 vsize=10828488 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13167/stat : 13167 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11088371712 79965 33554432000 4194304 4196468 140730127058288 139640286566480 139641745385371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13168] ppid=13103 vsize=10828488 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/13106/task/13168/stat : 13168 (java) R 13103 13106 5271 0 -1 4202560 3463 13352 0 0 77 0 5 2 20 0 15 0 407144702 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641016194832 139641729760532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13169] ppid=13103 vsize=10828488 memory=4580 CPUtime=0.88 cores=0,2,4,6
/proc/13106/task/13169/stat : 13169 (java) R 13103 13106 5271 0 -1 4202560 4713 13352 0 0 81 0 5 2 20 0 15 0 407144702 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641015128920 139641725052808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13170] ppid=13103 vsize=10828488 memory=4640767367890692452 CPUtime=0.47 cores=0,2,4,6
/proc/13106/task/13170/stat : 13170 (java) S 13103 13106 5271 0 -1 1077944384 2298 13352 0 0 40 0 5 2 20 0 15 0 407144702 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641014090608 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13171] ppid=13103 vsize=10828488 memory=8243953907081962578 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13171/stat : 13171 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11088371712 79965 33554432000 4194304 4196468 140730127058288 139640253008864 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13172] ppid=13103 vsize=10828488 memory=5865753180107271273 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13172/stat : 13172 (java) S 13103 13106 5271 0 -1 1077944384 1 13352 0 0 0 0 5 2 20 0 15 0 407144703 11088371712 79965 33554432000 4194304 4196468 140730127058288 139641013037488 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
Current children cumulated CPU time: 3.65 s
Current children cumulated vsize: 10828488 KiB

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

/proc/13106/task/13159/stat : 13159 (java) R 13103 13106 5271 0 -1 4202560 253973 13352 0 0 231204 70 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641717202448 139641362331609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13160] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.4 cores=0,2,4,6
/proc/13106/task/13160/stat : 13160 (java) S 13103 13106 5271 0 -1 1077944384 32490 13352 0 0 751 82 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641749609360 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13161] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.4 cores=0,2,4,6
/proc/13106/task/13161/stat : 13161 (java) S 13103 13106 5271 0 -1 1077944384 34418 13352 0 0 754 79 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641318464272 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13162] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.43 cores=0,2,4,6
/proc/13106/task/13162/stat : 13162 (java) S 13103 13106 5271 0 -1 1077944384 30472 13352 0 0 756 80 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641317411984 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13163] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.39 cores=0,2,4,6
/proc/13106/task/13163/stat : 13163 (java) S 13103 13106 5271 0 -1 1077944384 30001 13352 0 0 757 75 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641316359184 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13164] ppid=13103 vsize=10849012 memory=3435232 CPUtime=0.86 cores=0,2,4,6
/proc/13106/task/13164/stat : 13164 (java) S 13103 13106 5271 0 -1 1077944384 30473 13352 0 0 67 12 5 2 20 0 15 0 407144699 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641017247856 139641745377922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13165] ppid=13103 vsize=10849012 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13165/stat : 13165 (java) S 13103 13106 5271 0 -1 1077944384 17 13352 0 0 0 0 5 2 20 0 15 0 407144699 11109388288 858808 33554432000 4194304 4196468 140730127058288 139640929510240 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13166] ppid=13103 vsize=10849012 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13166/stat : 13166 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144700 11109388288 858808 33554432000 4194304 4196468 140730127058288 139640795292800 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13167] ppid=13103 vsize=10849012 memory=3435232 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13167/stat : 13167 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139640286566480 139641745385371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13168] ppid=13103 vsize=10849012 memory=3435232 CPUtime=11.5 cores=0,2,4,6
/proc/13106/task/13168/stat : 13168 (java) S 13103 13106 5271 0 -1 1077944384 89629 13352 0 0 1133 10 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641016195696 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13169] ppid=13103 vsize=10849012 memory=3435232 CPUtime=11 cores=0,2,4,6
/proc/13106/task/13169/stat : 13169 (java) S 13103 13106 5271 0 -1 1077944384 100520 13352 0 0 1082 11 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641015142896 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13170] ppid=13103 vsize=10849012 memory=3435232 CPUtime=4.85 cores=0,2,4,6
/proc/13106/task/13170/stat : 13170 (java) S 13103 13106 5271 0 -1 1077944384 70130 13352 0 0 468 10 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641014090608 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13171] ppid=13103 vsize=10849012 memory=3435232 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13171/stat : 13171 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139640253008864 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13172] ppid=13103 vsize=10849012 memory=1624 CPUtime=1.5 cores=0,2,4,6
/proc/13106/task/13172/stat : 13172 (java) S 13103 13106 5271 0 -1 1077944384 2559 13352 0 0 69 74 5 2 20 0 15 0 407144703 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641013037488 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
Current children cumulated CPU time: 2375.63 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 3435232 KiB

[startup+2382.3 s]
/proc/loadavg: 2.05 1.74 1.59 3/226 13899
/proc/meminfo: memFree=27812608/32770624 swapFree=66934528/67108860
[pid=13106] ppid=13103 vsize=10849012 memory=3435232 CPUtime=2436 cores=0,2,4,6
/proc/13106/stat : 13106 (java) S 13103 13106 5271 0 -1 1077944320 685719 13352 0 0 243109 484 5 2 20 0 15 0 407144687 11109388288 858808 33554432000 4194304 4196468 140730127058288 140730127040832 139641745366775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
/proc/13106/statm: 2712253 858808 3634 1 0 2674317 0
[pid=13106/tid=13159] ppid=13103 vsize=10849012 memory=3435232 CPUtime=2372.68 cores=0,2,4,6
/proc/13106/task/13159/stat : 13159 (java) R 13103 13106 5271 0 -1 4202560 257468 13352 0 0 237190 71 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641717202624 139641370710175 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13160] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.51 cores=0,2,4,6
/proc/13106/task/13160/stat : 13160 (java) S 13103 13106 5271 0 -1 1077944384 32824 13352 0 0 762 82 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641749609360 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13161] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.5 cores=0,2,4,6
/proc/13106/task/13161/stat : 13161 (java) S 13103 13106 5271 0 -1 1077944384 34488 13352 0 0 764 79 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641318464272 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13162] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.53 cores=0,2,4,6
/proc/13106/task/13162/stat : 13162 (java) S 13103 13106 5271 0 -1 1077944384 31283 13352 0 0 766 80 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641317411984 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13163] ppid=13103 vsize=10849012 memory=0 CPUtime=8.5 cores=0,2,4,6
/proc/13106/task/13163/stat : 13163 (java) S 13103 13106 5271 0 -1 1077944384 30051 13352 0 0 767 76 5 2 20 0 15 0 407144697 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641316359184 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13164] ppid=13103 vsize=10849012 memory=3435232 CPUtime=0.87 cores=0,2,4,6
/proc/13106/task/13164/stat : 13164 (java) S 13103 13106 5271 0 -1 1077944384 30753 13352 0 0 68 12 5 2 20 0 15 0 407144699 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641017247856 139641745377922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13165] ppid=13103 vsize=10849012 memory=3435232 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13165/stat : 13165 (java) S 13103 13106 5271 0 -1 1077944384 17 13352 0 0 0 0 5 2 20 0 15 0 407144699 11109388288 858808 33554432000 4194304 4196468 140730127058288 139640929510240 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13166] ppid=13103 vsize=10849012 memory=3435232 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13166/stat : 13166 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144700 11109388288 858808 33554432000 4194304 4196468 140730127058288 139640795292800 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13167] ppid=13103 vsize=10849012 memory=3 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13167/stat : 13167 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139640286566480 139641745385371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13168] ppid=13103 vsize=10849012 memory=3435232 CPUtime=11.51 cores=0,2,4,6
/proc/13106/task/13168/stat : 13168 (java) S 13103 13106 5271 0 -1 1077944384 89964 13352 0 0 1134 10 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641016195696 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13169] ppid=13103 vsize=10849012 memory=3435232 CPUtime=11.02 cores=0,2,4,6
/proc/13106/task/13169/stat : 13169 (java) S 13103 13106 5271 0 -1 1077944384 102620 13352 0 0 1084 11 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641015142896 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13170] ppid=13103 vsize=10849012 memory=3435232 CPUtime=4.86 cores=0,2,4,6
/proc/13106/task/13170/stat : 13170 (java) S 13103 13106 5271 0 -1 1077944384 71439 13352 0 0 469 10 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641014090608 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13171] ppid=13103 vsize=10849012 memory=3624 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13171/stat : 13171 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11109388288 858808 33554432000 4194304 4196468 140730127058288 139640253008864 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13172] ppid=13103 vsize=10849012 memory=3435232 CPUtime=1.54 cores=0,2,4,6
/proc/13106/task/13172/stat : 13172 (java) S 13103 13106 5271 0 -1 1077944384 2593 13352 0 0 71 76 5 2 20 0 15 0 407144703 11109388288 858808 33554432000 4194304 4196468 140730127058288 139641013037488 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
Current children cumulated CPU time: 2436 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 3435232 KiB

[startup+2442.3 s]
/proc/loadavg: 1.60 1.68 1.58 3/227 13911
/proc/meminfo: memFree=27790360/32770624 swapFree=66934536/67108860
[pid=13106] ppid=13103 vsize=10849012 memory=3435380 CPUtime=2496.34 cores=0,2,4,6
/proc/13106/stat : 13106 (java) S 13103 13106 5271 0 -1 1077944320 691425 13352 0 0 249141 486 5 2 20 0 15 0 407144687 11109388288 858845 33554432000 4194304 4196468 140730127058288 140730127040832 139641745366775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
/proc/13106/statm: 2712253 858845 3634 1 0 2674317 0
[pid=13106/tid=13159] ppid=13103 vsize=10849012 memory=3435380 CPUtime=2432.56 cores=0,2,4,6
/proc/13106/task/13159/stat : 13159 (java) R 13103 13106 5271 0 -1 4202560 259955 13352 0 0 243178 71 5 2 20 0 15 0 407144697 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641717202800 139641370610712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13160] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.59 cores=0,2,4,6
/proc/13106/task/13160/stat : 13160 (java) S 13103 13106 5271 0 -1 1077944384 33227 13352 0 0 770 82 5 2 20 0 15 0 407144697 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641749609360 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13161] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.59 cores=0,2,4,6
/proc/13106/task/13161/stat : 13161 (java) S 13103 13106 5271 0 -1 1077944384 34509 13352 0 0 773 79 5 2 20 0 15 0 407144697 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641318464272 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13162] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.62 cores=0,2,4,6
/proc/13106/task/13162/stat : 13162 (java) S 13103 13106 5271 0 -1 1077944384 31458 13352 0 0 775 80 5 2 20 0 15 0 407144697 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641317411984 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13163] ppid=13103 vsize=10849012 memory=3435232 CPUtime=8.59 cores=0,2,4,6
/proc/13106/task/13163/stat : 13163 (java) S 13103 13106 5271 0 -1 1077944384 30670 13352 0 0 776 76 5 2 20 0 15 0 407144697 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641316359184 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13164] ppid=13103 vsize=10849012 memory=3435232 CPUtime=0.89 cores=0,2,4,6
/proc/13106/task/13164/stat : 13164 (java) S 13103 13106 5271 0 -1 1077944384 31066 13352 0 0 69 13 5 2 20 0 15 0 407144699 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641017247856 139641745377922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13165] ppid=13103 vsize=10849012 memory=3435232 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13165/stat : 13165 (java) S 13103 13106 5271 0 -1 1077944384 17 13352 0 0 0 0 5 2 20 0 15 0 407144699 11109388288 858845 33554432000 4194304 4196468 140730127058288 139640929510240 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13166] ppid=13103 vsize=10849012 memory=3435380 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13166/stat : 13166 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144700 11109388288 858845 33554432000 4194304 4196468 140730127058288 139640795292800 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13167] ppid=13103 vsize=10849012 memory=3435380 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13167/stat : 13167 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11109388288 858845 33554432000 4194304 4196468 140730127058288 139640286566480 139641745385371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13168] ppid=13103 vsize=10849012 memory=0 CPUtime=11.53 cores=0,2,4,6
/proc/13106/task/13168/stat : 13168 (java) S 13103 13106 5271 0 -1 1077944384 90669 13352 0 0 1136 10 5 2 20 0 15 0 407144702 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641016195696 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13169] ppid=13103 vsize=10849012 memory=3435380 CPUtime=11.03 cores=0,2,4,6
/proc/13106/task/13169/stat : 13169 (java) S 13103 13106 5271 0 -1 1077944384 103058 13352 0 0 1085 11 5 2 20 0 15 0 407144702 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641015142896 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13170] ppid=13103 vsize=10849012 memory=3435380 CPUtime=4.87 cores=0,2,4,6
/proc/13106/task/13170/stat : 13170 (java) S 13103 13106 5271 0 -1 1077944384 71960 13352 0 0 470 10 5 2 20 0 15 0 407144702 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641014090608 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13171] ppid=13103 vsize=10849012 memory=3435232 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13171/stat : 13171 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11109388288 858845 33554432000 4194304 4196468 140730127058288 139640253008864 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13172] ppid=13103 vsize=10849012 memory=3435380 CPUtime=1.59 cores=0,2,4,6
/proc/13106/task/13172/stat : 13172 (java) S 13103 13106 5271 0 -1 1077944384 2617 13352 0 0 73 79 5 2 20 0 15 0 407144703 11109388288 858845 33554432000 4194304 4196468 140730127058288 139641013037488 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
Current children cumulated CPU time: 2496.34 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 3435380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.8 s]
/proc/loadavg: 1.48 1.64 1.57 3/227 13914
/proc/meminfo: memFree=27799228/32770624 swapFree=66934536/67108860
[pid=13106] ppid=13103 vsize=10849012 memory=3435484 CPUtime=2520.03 cores=0,2,4,6
/proc/13106/stat : 13106 (java) S 13103 13106 5271 0 -1 1077944320 692436 13352 0 0 251509 487 5 2 20 0 15 0 407144687 11109388288 858871 33554432000 4194304 4196468 140730127058288 140730127040832 139641745366775 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
/proc/13106/statm: 2712253 858871 3634 1 0 2674317 0
[pid=13106/tid=13159] ppid=13103 vsize=10849012 memory=6791534058613427641 CPUtime=2456.01 cores=0,2,4,6
/proc/13106/task/13159/stat : 13159 (java) R 13103 13106 5271 0 -1 4202560 260678 13352 0 0 245523 71 5 2 20 0 15 0 407144697 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641717203040 139641366944144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13160] ppid=13103 vsize=10849012 memory=1624 CPUtime=8.65 cores=0,2,4,6
/proc/13106/task/13160/stat : 13160 (java) S 13103 13106 5271 0 -1 1077944384 33296 13352 0 0 776 82 5 2 20 0 15 0 407144697 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641749609360 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13161] ppid=13103 vsize=10849012 memory=1136 CPUtime=8.64 cores=0,2,4,6
/proc/13106/task/13161/stat : 13161 (java) S 13103 13106 5271 0 -1 1077944384 34575 13352 0 0 778 79 5 2 20 0 15 0 407144697 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641318464272 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13162] ppid=13103 vsize=10849012 memory=1072 CPUtime=8.67 cores=0,2,4,6
/proc/13106/task/13162/stat : 13162 (java) S 13103 13106 5271 0 -1 1077944384 31540 13352 0 0 780 80 5 2 20 0 15 0 407144697 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641317411984 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13163] ppid=13103 vsize=10849012 memory=5924 CPUtime=8.64 cores=0,2,4,6
/proc/13106/task/13163/stat : 13163 (java) S 13103 13106 5271 0 -1 1077944384 30731 13352 0 0 781 76 5 2 20 0 15 0 407144697 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641316359184 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13164] ppid=13103 vsize=10849012 memory=784 CPUtime=0.89 cores=0,2,4,6
/proc/13106/task/13164/stat : 13164 (java) S 13103 13106 5271 0 -1 1077944384 31071 13352 0 0 69 13 5 2 20 0 15 0 407144699 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641017247856 139641745377922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13165] ppid=13103 vsize=10849012 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13165/stat : 13165 (java) S 13103 13106 5271 0 -1 1077944384 17 13352 0 0 0 0 5 2 20 0 15 0 407144699 11109388288 858871 33554432000 4194304 4196468 140730127058288 139640929510240 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13166] ppid=13103 vsize=10849012 memory=904 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13166/stat : 13166 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144700 11109388288 858871 33554432000 4194304 4196468 140730127058288 139640795292800 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13167] ppid=13103 vsize=10849012 memory=1444 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13167/stat : 13167 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11109388288 858871 33554432000 4194304 4196468 140730127058288 139640286566480 139641745385371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13168] ppid=13103 vsize=10849012 memory=1976 CPUtime=11.53 cores=0,2,4,6
/proc/13106/task/13168/stat : 13168 (java) S 13103 13106 5271 0 -1 1077944384 90669 13352 0 0 1136 10 5 2 20 0 15 0 407144702 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641016195696 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13169] ppid=13103 vsize=10849012 memory=2436 CPUtime=11.04 cores=0,2,4,6
/proc/13106/task/13169/stat : 13169 (java) S 13103 13106 5271 0 -1 1077944384 103060 13352 0 0 1086 11 5 2 20 0 15 0 407144702 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641015142896 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13170] ppid=13103 vsize=10849012 memory=1760 CPUtime=4.87 cores=0,2,4,6
/proc/13106/task/13170/stat : 13170 (java) S 13103 13106 5271 0 -1 1077944384 71961 13352 0 0 470 10 5 2 20 0 15 0 407144702 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641014090608 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13171] ppid=13103 vsize=10849012 memory=111632 CPUtime=0.07 cores=0,2,4,6
/proc/13106/task/13171/stat : 13171 (java) S 13103 13106 5271 0 -1 1077944384 3 13352 0 0 0 0 5 2 20 0 15 0 407144702 11109388288 858871 33554432000 4194304 4196468 140730127058288 139640253008864 139641745376981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
[pid=13106/tid=13172] ppid=13103 vsize=10849012 memory=984 CPUtime=1.59 cores=0,2,4,6
/proc/13106/task/13172/stat : 13172 (java) S 13103 13106 5271 0 -1 1077944384 2619 13352 0 0 73 79 5 2 20 0 15 0 407144703 11109388288 858871 33554432000 4194304 4196468 140730127058288 139641013037488 139641745377922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 16814080 140730127063798 140730127066309 140730127066309 140730127069135 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 3435484 KiB

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

[startup+2465.85 s]
# the end of solver process 13106 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.18 s, system=4.91838 s

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

Child status: 143
Real time (s): 2465.85
CPU time (s): 2520.1
CPU user time (s): 2515.18
CPU system time (s): 4.91838
CPU usage (%): 102.2
Max. virtual memory (cumulated for all children) (KiB): 10849012
Max. memory (cumulated for all children) (KiB): 3661052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.18
system time used= 4.91838
maximum resident set size= 3661052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 706620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85799
involuntary context switches= 6016


# summary of solver processes directly reported to runsolver:
#   pid: 13106
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.18
#   total CPU system time (s): 4.91838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0862 second user time and 24.254 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-12 18:19:28
IDJOB=4387525
IDBENCH=141276
IDSOLVER=2823
FILE ID=node105/4387525-1568308862
RUNJOBID= node105-1568282271-6097
PBS_JOBID= 21701089
Free space on /tmp= 54268 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387525-1568308862/watcher-4387525-1568308862 -o /tmp/evaluation-result-4387525-1568308862/solver-4387525-1568308862 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568282271-6097 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=948128104 HOME/instance-4387525-1568308862.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=948128104

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
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.00
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.00
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.00
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:        29432240 kB
MemAvailable:   29701268 kB
Buffers:          109412 kB
Cached:           449328 kB
SwapCached:        69064 kB
Active:          2502352 kB
Inactive:         280504 kB
Active(anon):    2167364 kB
Inactive(anon):    88656 kB
Active(file):     334988 kB
Inactive(file):   191848 kB
Unevictable:      111340 kB
Mlocked:          111340 kB
SwapTotal:      67108860 kB
SwapFree:       66934492 kB
Dirty:            106256 kB
Writeback:             0 kB
AnonPages:       2268464 kB
Mapped:            47264 kB
Shmem:             22648 kB
Slab:             144572 kB
SReclaimable:     116056 kB
SUnreclaim:        28516 kB
KernelStack:        3680 kB
PageTables:        10884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3239572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2181120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 54232 MiB
End job on node105 at 2019-09-12 19:00:34