Trace number 4407282

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
choco-solver 2019-09-24 parallelSAT (TO)234833906 428.106 252.176

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark67.2894
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407282-1569350101.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407282-1569350101.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
259.52/110.11	c solve instance...
280.08/112.85	o 234919466 
281.25/113.15	o 234919458 
282.00/113.34	o 234905207 
285.51/113.96	o 234905206 
285.93/114.18	o 234890946 
287.23/114.40	o 234876694 
287.62/114.58	o 234862434 
288.07/114.79	o 234862426 
288.85/115.05	o 234848175 
288.85/115.07	o 234833915 
291.27/116.50	o 234833906 
427.92/252.01	s SATISFIABLE
427.92/252.01	v <instantiation>
427.92/252.01	v 	<list>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] 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] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] </list>
427.92/252.01	v 	<values>2480 2224 2620 2220 2460 2480 2684 2708 2220 2220 2704 2380 2220 2380 2220 2220 2704 2220 2620 2220 2620 2220 2220 2220 2220 2220 2724 2220 2684 2724 2220 2684 2220 2220 2220 2220 2260 2620 2220 2220 2220 2620 2220 2380 2220 2220 2220 2220 2480 2220 2220 2220 2220 2684 2220 2220 2220 2224 2220 2220 2620 2220 2260 2708 2260 2684 2220 2220 2620 2220 2260 2380 2260 2220 2684 2480 2684 2724 2260 2480 2708 2220 2220 2520 2220 2260 2260 2220 2220 2684 2480 2220 2220 2380 2480 2220 2684 2220 2220 2220 2380 2260 2620 2220 2220 2220 2220 2684 2744 2460 2460 2260 2220 2620 2260 2220 2684 2420 2220 2380 2684 2260 2224 2260 2460 2660 2260 2684 2520 2220 2724 2220 2260 2620 2220 2480 2220 2260 2724 2380 2260 2620 2220 2520 2220 2260 2260 2724 2260 2224 2724 2220 2260 2260 2220 2260 2220 2420 2260 2460 2660 2520 2748 2224 2220 2220 2380 2420 2224 2260 2260 2260 2264 2220 2220 2660 2500 2220 2724 2704 2220 2220 2460 2500 2220 2620 2260 2620 2220 2260 2500 2224 2220 2264 2260 2220 2220 2520 2260 2220 2724 2500 2660 2660 2748 2460 2220 2620 2220 2660 2224 2260 2480 2260 2260 2724 2260 2420 2260 2260 2260 2260 2748 2684 2264 2220 2744 2220 2224 2260 2420 2684 2684 2260 2260 2724 2224 2220 2480 2420 2220 2260 2660 2220 2260 2260 2260 2260 2260 2660 2220 2500 2660 2260 2260 2260 2220 2260 2520 2660 2260 2260 2520 2260 2260 2724 2520 2220 2660 2260 2260 2520 2260 2260 2260 2260 2460 2260 2500 2260 2260 2260 2260 2660 2684 2220 2264 2724 2260 2220 2724 2260 2220 2260 2260 2260 2420 2724 2224 2260 2260 2260 2260 2260 2724 2220 2260 2260 2264 2260 2684 2724 2660 2264 2220 2264 2620 2264 2448 2264 2264 2260 2420 2260 2260 2260 2660 2260 2660 2480 2260 2260 2724 2260 2260 2260 2260 2260 2488 2260 2500 2260 2744 2264 2260 2520 2260 2520 2500 2420 1 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 11 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 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 0 1 1 1 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 10 10 10 10 0 0 10 10 0 10 0 10 10 10 10 10 0 10 0 0 0 10 10 0 10 10 0 0 10 10 10 10 10 10 0 0 0 10 10 0 0 10 10 0 0 10 10 10 0 0 10 10 10 0 10 10 10 0 0 10 10 0 0 10 0 10 10 10 0 10 10 0 10 10 0 0 10 0 10 0 10 10 0 10 0 10 0 0 10 10 10 10 10 0 10 10 10 0 10 10 8 0 10 10 10 10 0 0 10 0 0 10 10 0 0 10 0 10 10 10 10 10 10 0 10 0 9 10 10 10 10 0 0 0 10 10 0 0 0 10 10 10 0 0 0 0 10 0 0 10 10 10 0 10 10 10 0 0 10 10 0 0 10 0 0 0 0 10 10 0 10 10 10 10 0 10 0 10 0 10 10 0 0 0 10 10 0 0 10 10 0 10 10 0 0 10 0 0 10 10 10 10 10 10 0 10 0 0 0 0 10 10 0 10 0 10 10 0 0 10 10 0 0 10 0 0 0 0 10 0 10 0 0 10 0 10 10 0 10 0 10 0 0 10 0 0 0 10 0 0 0 10 0 10 0 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 0 0 10 0 0 0 0 0 10 0 10 10 0 10 0 0 10 10 10 10 10 10 0 0 0 0 0 10 0 10 10 10 10 0 10 0 0 0 0 0 10 10 0 10 0 0 10 10 10 0 0 10 10 0 0 10 0 0 10 10 10 10 10 0 0 10 0 10 0 10 0 10 10 0 10 10 10 10 0 10 0 10 0 0 0 8 10 10 10 10 0 0 10 10 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 10 0 10 8 0 10 0 0 10 0 0 10 10 0 10 8 10 10 10 10 10 0 0 0 0 10 0 10 10 0 10 10 10 0 10 0 10 10 10 0 10 10 10 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 0 0 10 10 10 0 10 10 8 8 0 10 0 10 10 0 0 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 0 10 0 0 10 0 10 0 0 0 0 10 10 0 0 0 10 0 10 0 10 10 0 10 0 0 10 0 0 0 10 0 10 0 10 10 10 10 10 0 10 10 10 10 0 10 0 10 10 0 0 10 0 10 0 0 10 0 0 10 10 10 10 0 0 0 0 10 0 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 0 0 10 10 0 0 10 10 0 10 10 10 0 10 10 0 0 0 10 0 10 0 8 10 10 8 10 10 0 10 0 10 0 10 10 10 10 0 0 10 10 10 10 10 0 0 0 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 0 0 0 0 0 10 0 10 10 10 10 10 0 0 10 0 0 0 10 0 10 10 10 10 10 10 0 0 10 10 10 10 0 10 10 10 10 0 10 0 10 0 10 0 0 0 10 10 0 0 10 10 10 0 10 10 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 10 10 0 10 10 10 10 10 0 0 0 0 10 10 0 10 10 10 10 0 10 10 10 0 0 10 10 10 0 10 0 10 10 10 0 0 10 10 8 10 10 0 0 10 10 10 10 10 0 10 10 0 10 10 0 0 10 10 10 0 0 0 0 8 0 0 0 0 10 10 10 10 10 0 10 10 0 10 10 0 0 10 10 10 0 0 10 10 0 0 10 10 10 0 0 10 0 10 10 0 0 10 0 0 10 0 10 10 10 10 10 10 10 10 0 10 0 0 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 0 10 0 0 10 0 0 0 10 0 0 10 0 10 10 10 0 0 10 10 0 10 10 10 10 0 10 8 0 9 0 0 0 10 0 0 10 10 0 10 10 0 10 10 0 10 10 10 10 0 10 10 10 0 0 0 10 10 10 0 0 10 0 10 0 10 0 10 0 0 10 0 0 10 10 10 10 10 10 10 10 10 10 0 10 0 0 0 0 10 10 10 10 10 10 10 10 10 0 0 10 10 0 10 10 0 10 10 0 10 10 0 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 0 10 0 0 0 0 10 0 10 10 0 10 10 10 0 10 10 10 10 10 0 0 10 10 10 10 0 0 0 10 10 10 10 10 10 0 10 10 10 0 10 0 10 10 10 10 10 10 0 10 10 10 10 0 10 10 0 10 0 10 0 0 0 0 10 10 0 10 10 10 0 0 0 10 0 10 0 10 0 0 10 10 10 10 10 10 10 0 10 0 10 10 0 10 0 10 10 0 10 0 10 0 0 0 0 0 0 10 10 10 10 0 10 10 0 10 10 0 10 0 0 0 0 0 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 0 10 0 0 0 0 10 10 0 0 10 10 0 0 10 0 10 10 10 0 10 10 0 0 10 0 0 0 10 10 0 10 10 0 0 10 10 0 0 10 10 0 10 10 10 0 10 0 0 0 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 0 0 0 10 10 10 10 10 10 0 10 10 10 10 0 0 10 0 10 10 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 10 10 10 10 0 10 0 0 0 0 0 10 10 10 10 10 0 10 10 10 0 0 0 10 0 10 10 10 10 10 10 0 10 0 0 10 0 0 0 10 0 0 0 10 10 10 10 0 10 10 0 10 10 10 0 10 0 10 0 10 10 10 0 10 0 10 0 0 0 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 0 0 10 10 10 10 10 0 0 10 10 0 10 10 0 0 10 10 10 0 10 0 0 10 10 10 10 10 0 0 10 0 10 10 0 10 10 10 0 10 10 10 0 0 0 0 0 0 10 0 10 10 10 10 10 10 0 10 10 0 0 0 10 10 10 0 10 10 0 0 0 0 0 10 0 10 10 10 0 0 0 10 10 10 0 0 0 0 0 0 256 0 140 180 260 32 40 36 236 436 36 296 240 400 400 400 360 0 400 0 40 360 360 140 0 260 0 160 484 400 280 260 40 464 0 240 200 0 200 200 288 0 200 200 200 284 0 204 40 220 244 220 40 0 184 24 424 164 424 424 40 24 424 4 328 488 228 448 488 448 488 16 448 484 444 0 0 400 40 4 40 40 0 40 260 40 0 40 0 40 40 484 20 324 444 0 284 444 40 160 160 160 100 160 304 160 280 156 324 120 160 120 0 0 0 488 400 300 40 40 268 160 160 364 0 240 120 160 140 160 116 120 400 0 40 0 40 528 40 280 440 40 0 464 300 440 40 484 84 84 244 480 484 44 444 20 0 40 464 4 440 440 40 400 160 40 360 360 40 120 0 464 40 0 504 300 400 0 64 400 0 396 200 400 200 40 0 160 300 280 200 40 40 504 440 440 240 260 440 0 40 0 40 40 40 40 400 488 0 40 0 260 0 40 40 260 40 280 40 0 344 204 244 504 204 0 488 40 40 40 40 40 40 464 464 0 460 464 504 504 16 40 264 464 224 40 504 64 0 224 424 164 0 424 40 196 40 400 40 4 200 0 40 0 484 280 0 44 260 40 0 0 0 0 40 40 0 0 40 40 40 260 40 504 0 40 0 40 40 40 40 160 0 0 360 400 360 40 360 40 240 300 0 440 0 40 400 160 400 4 4 40 464 0 0 44 440 300 440 200 140 200 40 400 0 124 360 360 360 0 0 40 440 300 440 40 268 160 240 80 120 120 116 120 0 40 504 0 484 0 40 40 40 0 200 40 464 40 0 0 40 40 40 0 160 0 464 40 504 44 440 260 264 220 260 216 400 40 0 504 260 40 40 40 0 160 40 0 40 40 44 40 464 300 400 40 268 260 0 40 0 504 40 268 0 460 464 164 164 40 420 40 0 40 0 0 0 0 0 40 0 464 40 0 40 40 300 40 40 0 4 4 436 256 36 436 36 300 40 300 200 0 40 0 0 4 40 504 44 44 40 400 360 356 0 40 200 300 40 40 0 0 40 188 4 488 448 36 448 448 448 448 48 40 40 40 40 40 0 400 0 464 424 64 424 460 424 164 40 424 0 260 40 44 240 160 0 440 40 40 280 40 360 360 360 400 360 356 360 200 0 40 200 504 40 40 4 120 108 0 0 40 0 0 0 300 240 40 200 0 260 524 224 464 224 424 180 40 60 260 180 220 464 0 164 264 64 464 244 464 504 460 0 40 464 0 4 260 100 220 100 216 260 40 220 40 36 88 448 448 0 40 40 40 504 440 268 0 504 0 504 40 260 300 260 164 260 140 204 260 300 280 40 0 44 360 160 40 40 0 40 0 40 0 0 0 0 0 0 240 200 40 40 44 44 40 464 0 40 400 440 40 40 224 224 40 424 224 224 464 464 204 424 260 180 220 220 180 220 220 504 40 4 40 40 40 200 440 0 40 0 0 440 0 40 140 100 280 80 120 120 260 140 204 180 0 44 40 464 224 424 464 424 40 40 440 0 0 0 0 40 0 40 40 40 464 280 40 440 40 40 120 40 280 40 0 0 0 40 0 40 160 0 40 100 360 400 360 124 360 0 0 40 40 0 504 504 464 280 40 0 0 0 0 0 4 40 40 0 40 280 200 40 200 304 64 424 184 484 20 224 20 200 240 200 200 40 40 236 264 40 464 0 464 36 0 40 40 0 40 40 396 400 360 400 120 40 488 0 40 0 0 40 40 424 40 424 0 40 160 160 60 200 160 40 160 40 260 40 40 40 304 40 120 120 140 40 420 424 424 0 40 40 40 0 0 400 188 0 0 524 40 0 36 36 36 36 500 400 40 240 0 0 424 60 240 200 40 240 196 200 200 196 0 396 436 400 400 400 0 200 36 0 240 40 420 40 24 300 228 204 260 260 256 256 260 260 0 0 528 0 280 40 40 40 504 464 464 460 464 40 0 40 40 40 40 0 160 0 0 0 400 200 200 360 360 360 440 40 200 440 40 40 40 256 60 40 204 60 260 40 464 40 504 228 40 0 0 4 0 0 0 64 204 160 304 40 120 344 120 160 0 356 360 360 0 40 40 40 524 100 100 204 0 40 0 0 40 40 40 40 40 36 0 36 0 0 36 220 464 64 160 0 400 40 484 524 36 4 36 36 36 304 460 264 464 504 0 40 0 300 40 40 40 0 424 0 40 40 0 0 0 40 0 0 40 40 0 40 40 0 4 4 44 280 200 0 160 156 160 40 40 0 0 0 40 200 200 140 400 400 40 160 228 296 204 260 0 368 488 0 128 88 0 268 24 488 0 4 36 0 280 40 40 40 44 120 120 304 60 40 436 360 0 40 40 4 160 424 0 4 4 0 0 4 224 240 200 300 40 260 464 504 440 400 400 140 440 64 276 236 40 464 300 440 0 40 444 224 20 40 40 40 200 40 40 40 0 4 40 40 200 240 288 224 200 280 160 184 276 240 160 0 240 40 40 40 0 40 64 360 424 400 356 40 400 104 40 260 40 40 484 0 400 240 240 224 236 400 200 40 280 40 44 40 480 256 0 0 4 464 40 40 40 504 40 464 440 40 40 40 164 260 140 260 260 100 40 40 0 204 504 0 160 184 240 236 88 400 440 400 400 440 396 0 228 488 64 200 200 40 4 0 40 40 64 4 240 40 400 240 36 0 400 244 20 40 0 160 36 40 0 40 36 0 40 0 160 160 200 160 160 0 0 400 240 0 484 460 4 40 44 40 264 40 440 40 44 40 36 36 396 36 400 0 0 160 0 0 0 0 24 164 424 0 424 60 424 424 40 424 0 200 4 0 464 64 464 464 40 276 296 220 244 220 0 160 40 504 200 400 0 64 40 40 40 40 228 4 0 4 0 464 160 0 4 260 0 0 0 4 0 484 400 396 0 440 40 0 40 40 40 160 240 240 160 224 236 0 400 160 240 200 4 160 0 0 0 0 0 40 40 40 40 0 4 0 0 164 260 300 0 400 400 240 0 400 40 36 0 0 240 260 260 160 0 400 464 464 464 0 0 32 260 400 40 160 0 0 464 0 220 400 4 0 0 400 424 0 0 400 24 40 40 0 0 464 40 40 464 0 228 40 40 4 0 464 0 156 264 240 240 236 36 40 276 400 228 0 484 188 0 460 464 400 0 64 424 224 0 4 40 188 184 188 4 4 68 0 4 160 400 140 484 </values>
427.92/252.01	v </instantiation>
427.92/252.01	c Unexpected resolution interruption!

Verifier Data 

OK	234833906

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407282-1569350101/watcher-4407282-1569350101 -o /var/tmp/evaluation-result-4407282-1569350101/solver-4407282-1569350101 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569335934-10152 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 610407351 HOME/instance-4407282-1569350101.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16121, runsolver pid=16118
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 7.95 7.60 7.58 3/212 16142
/proc/meminfo: memFree=26382600/32770624 swapFree=67002124/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (xcsp3-exec) S 16118 16121 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511258686 115843072 363 33554432000 4194304 5098028 140731648287200 140731648285304 139725312512636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11956224 140731648291672 140731648291930 140731648291930 140731648294854 0
/proc/16121/statm: 28282 363 304 221 0 87 0
[pid=16123] ppid=16121 vsize=28227396 memory=28944 CPUtime=0.12 cores=0-7
/proc/16123/stat : 16123 (java) S 16121 16121 10125 0 -1 1077944320 5704 0 0 0 11 1 0 0 20 0 20 0 511258686 28904853504 7236 33554432000 4194304 4196468 140720834126448 140720834108992 140301134057207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
/proc/16123/statm: 7056849 7236 3121 1 0 7019032 0
[pid=16123/tid=16124] ppid=16121 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/16123/task/16124/stat : 16124 (java) R 16121 16121 10125 0 -1 4202560 3627 0 0 0 8 1 0 0 20 0 20 0 511258687 28904853504 7236 33554432000 4194304 4196468 140720834126448 140301138293632 140301134069142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16125] ppid=16121 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16123/task/16125/stat : 16125 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 7236 33554432000 4194304 4196468 140720834126448 140301086677776 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16126] ppid=16121 vsize=28227396 memory=139788596909696 CPUtime=0 cores=0-7
/proc/16123/task/16126/stat : 16126 (java) S 16121 16121 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 7236 33554432000 4194304 4196468 140720834126448 140301085625232 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16127] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16127/stat : 16127 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 7236 33554432000 4194304 4196468 140720834126448 140301084572688 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16128] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16128/stat : 16128 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 7236 33554432000 4194304 4196468 140720834126448 140301083520144 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16129] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16129/stat : 16129 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 7236 33554432000 4194304 4196468 140720834126448 140301082466576 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16130] ppid=16121 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16123/task/16130/stat : 16130 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 7236 33554432000 4194304 4196468 140720834126448 140301081414032 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16131] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16131/stat : 16131 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300678715920 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16132] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16132/stat : 16132 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300677663376 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16133] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16133/stat : 16133 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258689 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300250401264 140301134068354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16134] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16134/stat : 16134 (java) S 16121 16121 10125 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511258690 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300249347488 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16135] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16135/stat : 16135 (java) S 16121 16121 10125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511258690 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300248294896 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16136] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16136/stat : 16136 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258692 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300247243472 140301134075803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16137] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16137/stat : 16137 (java) S 16121 16121 10125 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 511258692 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300246190064 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16138] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16138/stat : 16138 (java) S 16121 16121 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258692 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300245137520 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16139] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16139/stat : 16139 (java) S 16121 16121 10125 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 511258692 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300244084976 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16140] ppid=16121 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/16123/task/16140/stat : 16140 (java) R 16121 16121 10125 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 511258692 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300243032432 140301134078554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16141] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16141/stat : 16141 (java) S 16121 16121 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258692 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300241980128 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16142] ppid=16121 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16123/task/16142/stat : 16142 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258693 28904853504 7236 33554432000 4194304 4196468 140720834126448 140300240927664 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30396 KiB

[startup+0.210686 s]*
/proc/loadavg: 7.95 7.60 7.58 2/212 16142
/proc/meminfo: memFree=26369400/32770624 swapFree=67002124/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (xcsp3-exec) S 16118 16121 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511258686 115843072 363 33554432000 4194304 5098028 140731648287200 140731648285304 139725312512636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11956224 140731648291672 140731648291930 140731648291930 140731648294854 0
/proc/16121/statm: 28282 363 304 221 0 87 0
[pid=16123] ppid=16121 vsize=28227396 memory=40828 CPUtime=0.33 cores=0-7
/proc/16123/stat : 16123 (java) S 16121 16121 10125 0 -1 1077944320 9523 0 0 0 30 3 0 0 20 0 20 0 511258686 28904853504 10207 33554432000 4194304 4196468 140720834126448 140720834108992 140301134057207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
/proc/16123/statm: 7056849 10207 3297 1 0 7019032 0
[pid=16123/tid=16124] ppid=16121 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16123/task/16124/stat : 16124 (java) R 16121 16121 10125 0 -1 4202560 6659 0 0 0 18 2 0 0 20 0 20 0 511258687 28904853504 10207 33554432000 4194304 4196468 140720834126448 140301138290656 140301101648174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16125] ppid=16121 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/16123/task/16125/stat : 16125 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 10207 33554432000 4194304 4196468 140720834126448 140301086677776 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16126] ppid=16121 vsize=28227396 memory=139788596924365 CPUtime=0 cores=0-7
/proc/16123/task/16126/stat : 16126 (java) S 16121 16121 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 10207 33554432000 4194304 4196468 140720834126448 140301085625232 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16127] ppid=16121 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16123/task/16127/stat : 16127 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 10207 33554432000 4194304 4196468 140720834126448 140301084572688 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16128] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16128/stat : 16128 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 10207 33554432000 4194304 4196468 140720834126448 140301083520144 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16129] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16129/stat : 16129 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 10207 33554432000 4194304 4196468 140720834126448 140301082466576 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16130] ppid=16121 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16123/task/16130/stat : 16130 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 10207 33554432000 4194304 4196468 140720834126448 140301081414032 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16131] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16131/stat : 16131 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300678715920 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16132] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16132/stat : 16132 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258688 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300677663376 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16133] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16133/stat : 16133 (java) S 16121 16121 10125 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511258689 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300250401264 140301134068354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16134] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16134/stat : 16134 (java) S 16121 16121 10125 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511258690 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300249347488 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16135] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16135/stat : 16135 (java) S 16121 16121 10125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511258690 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300248294896 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16136] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16136/stat : 16136 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258692 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300247243472 140301134075803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16137] ppid=16121 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16123/task/16137/stat : 16137 (java) R 16121 16121 10125 0 -1 1077944384 329 0 0 0 1 0 0 0 20 0 20 0 511258692 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300246190064 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16138] ppid=16121 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/16123/task/16138/stat : 16138 (java) S 16121 16121 10125 0 -1 1077944384 137 0 0 0 1 0 0 0 20 0 20 0 511258692 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300245137520 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16139] ppid=16121 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/16123/task/16139/stat : 16139 (java) S 16121 16121 10125 0 -1 1077944384 327 0 0 0 2 0 0 0 20 0 20 0 511258692 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300244084976 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16140] ppid=16121 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/16123/task/16140/stat : 16140 (java) R 16121 16121 10125 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 20 0 511258692 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300243032240 140301113408461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16141] ppid=16121 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16141/stat : 16141 (java) S 16121 16121 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258692 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300241980128 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16142] ppid=16121 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/16123/task/16142/stat : 16142 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258693 28904853504 10207 33554432000 4194304 4196468 140720834126448 140300240927664 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42280 KiB

[startup+0.310499 s]*
/proc/loadavg: 7.95 7.60 7.58 3/212 16142
/proc/meminfo: memFree=26361992/32770624 swapFree=67002124/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (xcsp3-exec) S 16118 16121 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511258686 115843072 363 33554432000 4194304 5098028 140731648287200 140731648285304 139725312512636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11956224 140731648291672 140731648291930 140731648291930 140731648294854 0
/proc/16121/statm: 28282 363 304 221 0 87 0
[pid=16123] ppid=16121 vsize=28231652 memory=50044 CPUtime=0.53 cores=0-7
/proc/16123/stat : 16123 (java) S 16121 16121 10125 0 -1 1077944320 10854 0 0 0 49 4 0 0 20 0 20 0 511258686 28909211648 12511 33554432000 4194304 4196468 140720834126448 140720834108992 140301134057207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
/proc/16123/statm: 7057913 12511 3365 1 0 7019032 0
[pid=16123/tid=16124] ppid=16121 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/16123/task/16124/stat : 16124 (java) R 16121 16121 10125 0 -1 4202560 7800 0 0 0 27 2 0 0 20 0 20 0 511258687 28909211648 12511 33554432000 4194304 4196468 140720834126448 140301138288320 140301134079133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16125] ppid=16121 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16125/stat : 16125 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258688 28909211648 12511 33554432000 4194304 4196468 140720834126448 140301086677776 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16126] ppid=16121 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16126/stat : 16126 (java) S 16121 16121 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258688 28909211648 12511 33554432000 4194304 4196468 140720834126448 140301085625232 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16127] ppid=16121 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16127/stat : 16127 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28909211648 12511 33554432000 4194304 4196468 140720834126448 140301084572688 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16128] ppid=16121 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16128/stat : 16128 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258688 28909211648 12511 33554432000 4194304 4196468 140720834126448 140301083520144 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16129] ppid=16121 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/16123/task/16129/stat : 16129 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28909211648 12511 33554432000 4194304 4196468 140720834126448 140301082466576 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16130] ppid=16121 vsize=28231652 memory=139788434895791 CPUtime=0 cores=0-7
/proc/16123/task/16130/stat : 16130 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28909211648 12511 33554432000 4194304 4196468 140720834126448 140301081414032 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16131] ppid=16121 vsize=28231652 memory=139788434898096 CPUtime=0 cores=0-7
/proc/16123/task/16131/stat : 16131 (java) S 16121 16121 10125 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258688 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300678715920 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16132] ppid=16121 vsize=28231652 memory=139788434900400 CPUtime=0 cores=0-7
/proc/16123/task/16132/stat : 16132 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258688 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300677663376 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16133] ppid=16121 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16133/stat : 16133 (java) S 16121 16121 10125 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511258689 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300250401264 140301134068354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16134] ppid=16121 vsize=28231652 memory=279576869807760 CPUtime=0 cores=0-7
/proc/16123/task/16134/stat : 16134 (java) S 16121 16121 10125 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511258690 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300249347488 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16135] ppid=16121 vsize=28231652 memory=279576869814672 CPUtime=0 cores=0-7
/proc/16123/task/16135/stat : 16135 (java) S 16121 16121 10125 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511258690 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300248294896 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16136] ppid=16121 vsize=28231652 memory=279576869755952 CPUtime=0 cores=0-7
/proc/16123/task/16136/stat : 16136 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258692 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300247243472 140301134075803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16137] ppid=16121 vsize=28231652 memory=279576869828496 CPUtime=0.03 cores=0-7
/proc/16123/task/16137/stat : 16137 (java) R 16121 16121 10125 0 -1 4202560 429 0 0 0 3 0 0 0 20 0 20 0 511258692 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300246180448 140301115582104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16138] ppid=16121 vsize=28231652 memory=279576869835408 CPUtime=0.02 cores=0-7
/proc/16123/task/16138/stat : 16138 (java) S 16121 16121 10125 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 20 0 511258692 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300245137520 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16139] ppid=16121 vsize=28231652 memory=279576869833104 CPUtime=0.03 cores=0-7
/proc/16123/task/16139/stat : 16139 (java) S 16121 16121 10125 0 -1 1077944384 338 0 0 0 3 0 0 0 20 0 20 0 511258692 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300244084976 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16140] ppid=16121 vsize=28231652 memory=279576869849264 CPUtime=0.13 cores=0-7
/proc/16123/task/16140/stat : 16140 (java) S 16121 16121 10125 0 -1 1077944384 833 0 0 0 13 0 0 0 20 0 20 0 511258692 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300243032432 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16141] ppid=16121 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16141/stat : 16141 (java) S 16121 16121 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258692 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300241980128 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16142] ppid=16121 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/16123/task/16142/stat : 16142 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258693 28909211648 12511 33554432000 4194304 4196468 140720834126448 140300240927664 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51496 KiB

[startup+0.701042 s]
/proc/loadavg: 7.47 7.50 7.55 4/212 16142
/proc/meminfo: memFree=26258204/32770624 swapFree=67002124/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (xcsp3-exec) S 16118 16121 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511258686 115843072 363 33554432000 4194304 5098028 140731648287200 140731648285304 139725312512636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11956224 140731648291672 140731648291930 140731648291930 140731648294854 0
/proc/16121/statm: 28282 363 304 221 0 87 0
[pid=16123] ppid=16121 vsize=28231728 memory=297520 CPUtime=1.87 cores=0-7
/proc/16123/stat : 16123 (java) S 16121 16121 10125 0 -1 1077944320 14972 0 0 0 148 39 0 0 20 0 20 0 511258686 28909289472 74380 33554432000 4194304 4196468 140720834126448 140720834108992 140301134057207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
/proc/16123/statm: 7057932 74380 3446 1 0 7019032 0
[pid=16123/tid=16124] ppid=16121 vsize=28231728 memory=279576870207152 CPUtime=0.61 cores=0-7
/proc/16123/task/16124/stat : 16124 (java) R 16121 16121 10125 0 -1 4202560 8262 0 0 0 54 7 0 0 20 0 20 0 511258687 28909289472 74380 33554432000 4194304 4196468 140720834126448 140301138288896 140301134069142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16125] ppid=16121 vsize=28231728 memory=139788435104624 CPUtime=0.05 cores=0-7
/proc/16123/task/16125/stat : 16125 (java) S 16121 16121 10125 0 -1 1077944384 57 0 0 0 2 3 0 0 20 0 20 0 511258688 28909289472 74380 33554432000 4194304 4196468 140720834126448 140301086677776 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16126] ppid=16121 vsize=28231728 memory=0 CPUtime=0.05 cores=0-7
/proc/16123/task/16126/stat : 16126 (java) S 16121 16121 10125 0 -1 1077944384 54 0 0 0 2 3 0 0 20 0 20 0 511258688 28909289472 74380 33554432000 4194304 4196468 140720834126448 140301085625232 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16127] ppid=16121 vsize=28231728 memory=1056 CPUtime=0.05 cores=0-7
/proc/16123/task/16127/stat : 16127 (java) S 16121 16121 10125 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 20 0 511258688 28909289472 74380 33554432000 4194304 4196468 140720834126448 140301084572688 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0

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

/proc/meminfo: memFree=13054720/32770624 swapFree=67002124/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (xcsp3-exec) S 16118 16121 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511258686 115843072 363 33554432000 4194304 5098028 140731648287200 140731648285304 139725312512636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11956224 140731648291672 140731648291930 140731648291930 140731648294854 0
/proc/16121/statm: 28282 363 304 221 0 87 0
[pid=16123] ppid=16121 vsize=28768336 memory=13332256 CPUtime=398.2 cores=0-7
/proc/16123/stat : 16123 (java) S 16121 16121 10125 0 -1 1077944320 902055 0 0 0 37635 2185 0 0 20 0 28 0 511258686 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140720834108992 140301134057207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
/proc/16123/statm: 7192084 3333064 3555 1 0 7153184 0
[pid=16123/tid=16124] ppid=16121 vsize=28768336 memory=13332256 CPUtime=88.45 cores=0-7
/proc/16123/task/16124/stat : 16124 (java) S 16121 16121 10125 0 -1 1077944384 58134 0 0 0 8710 135 0 0 20 0 28 0 511258687 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301138297984 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16125] ppid=16121 vsize=28768336 memory=13332256 CPUtime=20.61 cores=0-7
/proc/16123/task/16125/stat : 16125 (java) S 16121 16121 10125 0 -1 1077944384 71744 0 0 0 1816 245 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301086677776 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16126] ppid=16121 vsize=28768336 memory=13332256 CPUtime=20.56 cores=0-7
/proc/16123/task/16126/stat : 16126 (java) S 16121 16121 10125 0 -1 1077944384 74824 0 0 0 1820 236 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301085625232 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16127] ppid=16121 vsize=28768336 memory=13332256 CPUtime=20.82 cores=0-7
/proc/16123/task/16127/stat : 16127 (java) S 16121 16121 10125 0 -1 1077944384 65250 0 0 0 1809 273 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301084572688 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16128] ppid=16121 vsize=28768336 memory=13332256 CPUtime=20.76 cores=0-7
/proc/16123/task/16128/stat : 16128 (java) S 16121 16121 10125 0 -1 1077944384 179635 0 0 0 1833 243 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301083520144 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16129] ppid=16121 vsize=28768336 memory=13332256 CPUtime=20.71 cores=0-7
/proc/16123/task/16129/stat : 16129 (java) S 16121 16121 10125 0 -1 1077944384 77711 0 0 0 1821 250 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301082466576 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16130] ppid=16121 vsize=28768336 memory=13332256 CPUtime=20.61 cores=0-7
/proc/16123/task/16130/stat : 16130 (java) S 16121 16121 10125 0 -1 1077944384 68753 0 0 0 1804 257 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301081414032 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16131] ppid=16121 vsize=28768336 memory=1452 CPUtime=20.58 cores=0-7
/proc/16123/task/16131/stat : 16131 (java) S 16121 16121 10125 0 -1 1077944384 104422 0 0 0 1815 243 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300678715920 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16132] ppid=16121 vsize=28768336 memory=13332256 CPUtime=20.68 cores=0-7
/proc/16123/task/16132/stat : 16132 (java) S 16121 16121 10125 0 -1 1077944384 73686 0 0 0 1823 245 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300677663376 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16133] ppid=16121 vsize=28768336 memory=1452 CPUtime=0.91 cores=0-7
/proc/16123/task/16133/stat : 16133 (java) S 16121 16121 10125 0 -1 1077944384 29963 0 0 0 75 16 0 0 20 0 28 0 511258689 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300250401264 140301134068354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16134] ppid=16121 vsize=28768336 memory=13332256 CPUtime=0 cores=0-7
/proc/16123/task/16134/stat : 16134 (java) S 16121 16121 10125 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 511258690 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300249347552 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16135] ppid=16121 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/16123/task/16135/stat : 16135 (java) S 16121 16121 10125 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 28 0 511258690 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300248294912 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16136] ppid=16121 vsize=28768336 memory=279576870626224 CPUtime=0 cores=0-7
/proc/16123/task/16136/stat : 16136 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300247243472 140301134075803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16137] ppid=16121 vsize=28768336 memory=7306337717009476707 CPUtime=4.38 cores=0-7
/proc/16123/task/16137/stat : 16137 (java) S 16121 16121 10125 0 -1 1077944384 16600 0 0 0 435 3 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300246190064 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16138] ppid=16121 vsize=28768336 memory=1452 CPUtime=4.72 cores=0-7
/proc/16123/task/16138/stat : 16138 (java) S 16121 16121 10125 0 -1 1077944384 19439 0 0 0 469 3 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300245137520 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16139] ppid=16121 vsize=28768336 memory=3616 CPUtime=4.06 cores=0-7
/proc/16123/task/16139/stat : 16139 (java) S 16121 16121 10125 0 -1 1077944384 16813 0 0 0 404 2 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300244084976 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16140] ppid=16121 vsize=28768336 memory=13332256 CPUtime=1.16 cores=0-7
/proc/16123/task/16140/stat : 16140 (java) S 16121 16121 10125 0 -1 1077944384 8604 0 0 0 114 2 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300243032432 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16141] ppid=16121 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/16123/task/16141/stat : 16141 (java) S 16121 16121 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300241980128 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16142] ppid=16121 vsize=28768336 memory=1452 CPUtime=0.09 cores=0-7
/proc/16123/task/16142/stat : 16142 (java) S 16121 16121 10125 0 -1 1077944384 1028 0 0 0 3 6 0 0 20 0 28 0 511258693 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300240927664 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16237] ppid=16121 vsize=28768336 memory=13332256 CPUtime=0.02 cores=0-7
/proc/16123/task/16237/stat : 16237 (java) S 16121 16121 10125 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300226457600 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16238] ppid=16121 vsize=28768336 memory=139500537806558 CPUtime=0.02 cores=0-7
/proc/16123/task/16238/stat : 16238 (java) S 16121 16121 10125 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300225406544 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16239] ppid=16121 vsize=28768336 memory=6944656592455088490 CPUtime=0.04 cores=0-7
/proc/16123/task/16239/stat : 16239 (java) S 16121 16121 10125 0 -1 1077944384 19 0 0 0 4 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300227510992 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16240] ppid=16121 vsize=28768336 memory=3616 CPUtime=0.04 cores=0-7
/proc/16123/task/16240/stat : 16240 (java) S 16121 16121 10125 0 -1 1077944384 18 0 0 0 4 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300228563792 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16241] ppid=16121 vsize=28768336 memory=64584 CPUtime=0.18 cores=0-7
/proc/16123/task/16241/stat : 16241 (java) S 16121 16121 10125 0 -1 1077944384 18 0 0 0 18 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300224353232 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16242] ppid=16121 vsize=28768336 memory=1452 CPUtime=0.03 cores=0-7
/proc/16123/task/16242/stat : 16242 (java) S 16121 16121 10125 0 -1 1077944384 3388 0 0 0 3 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300222248016 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16243] ppid=16121 vsize=28768336 memory=5296 CPUtime=0.22 cores=0-7
/proc/16123/task/16243/stat : 16243 (java) S 16121 16121 10125 0 -1 1077944384 17111 0 0 0 22 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300223300816 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16244] ppid=16121 vsize=28768336 memory=4108 CPUtime=105.73 cores=0-7
/proc/16123/task/16244/stat : 16244 (java) R 16121 16121 10125 0 -1 4202560 8917 0 0 0 10557 16 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300229611592 140300764111047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
Current children cumulated CPU time: 398.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 13333708 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 1.24 4.02 6.10 2/219 16252
/proc/meminfo: memFree=13055308/32770624 swapFree=67002124/67108860
[pid=16121] ppid=16118 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/16121/stat : 16121 (xcsp3-exec) S 16118 16121 10125 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511258686 115843072 363 33554432000 4194304 5098028 140731648287200 140731648285304 139725312512636 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11956224 140731648291672 140731648291930 140731648291930 140731648294854 0
/proc/16121/statm: 28282 363 304 221 0 87 0
[pid=16123] ppid=16121 vsize=28768336 memory=13332256 CPUtime=427.92 cores=0-7
/proc/16123/stat : 16123 (java) S 16121 16121 10125 0 -1 1077944320 904648 0 0 0 40605 2187 0 0 20 0 28 0 511258686 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140720834108992 140301134057207 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
/proc/16123/statm: 7192084 3333064 3555 1 0 7153184 0
[pid=16123/tid=16124] ppid=16121 vsize=28768336 memory=920 CPUtime=88.45 cores=0-7
/proc/16123/task/16124/stat : 16124 (java) S 16121 16121 10125 0 -1 1077944384 58134 0 0 0 8710 135 0 0 20 0 28 0 511258687 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301138297984 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16125] ppid=16121 vsize=28768336 memory=5296 CPUtime=20.61 cores=0-7
/proc/16123/task/16125/stat : 16125 (java) S 16121 16121 10125 0 -1 1077944384 71744 0 0 0 1816 245 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301086677776 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16126] ppid=16121 vsize=28768336 memory=4108 CPUtime=20.56 cores=0-7
/proc/16123/task/16126/stat : 16126 (java) S 16121 16121 10125 0 -1 1077944384 74824 0 0 0 1820 236 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301085625232 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16127] ppid=16121 vsize=28768336 memory=4872558044660077418 CPUtime=20.82 cores=0-7
/proc/16123/task/16127/stat : 16127 (java) S 16121 16121 10125 0 -1 1077944384 65250 0 0 0 1809 273 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301084572688 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16128] ppid=16121 vsize=28768336 memory=288230621803970871 CPUtime=20.76 cores=0-7
/proc/16123/task/16128/stat : 16128 (java) S 16121 16121 10125 0 -1 1077944384 179635 0 0 0 1833 243 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301083520144 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16129] ppid=16121 vsize=28768336 memory=14689690934577713 CPUtime=20.71 cores=0-7
/proc/16123/task/16129/stat : 16129 (java) S 16121 16121 10125 0 -1 1077944384 77711 0 0 0 1821 250 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301082466576 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16130] ppid=16121 vsize=28768336 memory=500 CPUtime=20.61 cores=0-7
/proc/16123/task/16130/stat : 16130 (java) S 16121 16121 10125 0 -1 1077944384 68753 0 0 0 1804 257 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140301081414032 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16131] ppid=16121 vsize=28768336 memory=932 CPUtime=20.58 cores=0-7
/proc/16123/task/16131/stat : 16131 (java) S 16121 16121 10125 0 -1 1077944384 104422 0 0 0 1815 243 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300678715920 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16132] ppid=16121 vsize=28768336 memory=1824 CPUtime=20.68 cores=0-7
/proc/16123/task/16132/stat : 16132 (java) S 16121 16121 10125 0 -1 1077944384 73686 0 0 0 1823 245 0 0 20 0 28 0 511258688 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300677663376 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16133] ppid=16121 vsize=28768336 memory=1656 CPUtime=0.91 cores=0-7
/proc/16123/task/16133/stat : 16133 (java) S 16121 16121 10125 0 -1 1077944384 30178 0 0 0 75 16 0 0 20 0 28 0 511258689 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300250401264 140301134068354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16134] ppid=16121 vsize=28768336 memory=804 CPUtime=0 cores=0-7
/proc/16123/task/16134/stat : 16134 (java) S 16121 16121 10125 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 511258690 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300249347552 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16135] ppid=16121 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/16123/task/16135/stat : 16135 (java) S 16121 16121 10125 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 28 0 511258690 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300248294912 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16136] ppid=16121 vsize=28768336 memory=1980 CPUtime=0 cores=0-7
/proc/16123/task/16136/stat : 16136 (java) S 16121 16121 10125 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300247243472 140301134075803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16137] ppid=16121 vsize=28768336 memory=6791534058613427641 CPUtime=4.38 cores=0-7
/proc/16123/task/16137/stat : 16137 (java) S 16121 16121 10125 0 -1 1077944384 16606 0 0 0 435 3 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300246190064 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16138] ppid=16121 vsize=28768336 memory=6628 CPUtime=4.72 cores=0-7
/proc/16123/task/16138/stat : 16138 (java) S 16121 16121 10125 0 -1 1077944384 19462 0 0 0 469 3 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300245137520 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16139] ppid=16121 vsize=28768336 memory=8836 CPUtime=4.06 cores=0-7
/proc/16123/task/16139/stat : 16139 (java) S 16121 16121 10125 0 -1 1077944384 16819 0 0 0 404 2 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300244084976 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16140] ppid=16121 vsize=28768336 memory=11044 CPUtime=1.16 cores=0-7
/proc/16123/task/16140/stat : 16140 (java) S 16121 16121 10125 0 -1 1077944384 8969 0 0 0 114 2 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300243032432 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16141] ppid=16121 vsize=28768336 memory=13252 CPUtime=0 cores=0-7
/proc/16123/task/16141/stat : 16141 (java) S 16121 16121 10125 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511258692 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300241980128 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16142] ppid=16121 vsize=28768336 memory=15460 CPUtime=0.1 cores=0-7
/proc/16123/task/16142/stat : 16142 (java) S 16121 16121 10125 0 -1 1077944384 1127 0 0 0 4 6 0 0 20 0 28 0 511258693 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300240927664 140301134068354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16237] ppid=16121 vsize=28768336 memory=17668 CPUtime=0.02 cores=0-7
/proc/16123/task/16237/stat : 16237 (java) S 16121 16121 10125 0 -1 1077944384 20 0 0 0 2 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300226457600 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16238] ppid=16121 vsize=28768336 memory=19876 CPUtime=0.02 cores=0-7
/proc/16123/task/16238/stat : 16238 (java) S 16121 16121 10125 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300225406544 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16239] ppid=16121 vsize=28768336 memory=22084 CPUtime=0.04 cores=0-7
/proc/16123/task/16239/stat : 16239 (java) S 16121 16121 10125 0 -1 1077944384 19 0 0 0 4 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300227510992 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16240] ppid=16121 vsize=28768336 memory=24292 CPUtime=0.04 cores=0-7
/proc/16123/task/16240/stat : 16240 (java) S 16121 16121 10125 0 -1 1077944384 18 0 0 0 4 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300228563792 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16241] ppid=16121 vsize=28768336 memory=26500 CPUtime=0.18 cores=0-7
/proc/16123/task/16241/stat : 16241 (java) S 16121 16121 10125 0 -1 1077944384 18 0 0 0 18 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300224353232 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16242] ppid=16121 vsize=28768336 memory=28708 CPUtime=0.03 cores=0-7
/proc/16123/task/16242/stat : 16242 (java) S 16121 16121 10125 0 -1 1077944384 3388 0 0 0 3 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300222248016 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16243] ppid=16121 vsize=28768336 memory=30916 CPUtime=0.22 cores=0-7
/proc/16123/task/16243/stat : 16243 (java) S 16121 16121 10125 0 -1 1077944384 17111 0 0 0 22 0 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300223300816 140301134067413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
[pid=16123/tid=16244] ppid=16121 vsize=28768336 memory=3736 CPUtime=135.44 cores=0-7
/proc/16123/task/16244/stat : 16244 (java) R 16121 16121 10125 0 -1 4202560 10796 0 0 0 13527 17 0 0 20 0 28 0 511270341 29458776064 3333064 33554432000 4194304 4196468 140720834126448 140300229611064 140300771836659 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34971648 140720834135004 140720834135179 140720834135179 140720834138063 0
Current children cumulated CPU time: 427.92 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 13333708 KiB

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

[startup+252.021 s]
# the end of solver process 16121 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001555 s, system=0.000777 s

[startup+252.176 s]
# the end of solver process 16123 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=406.073 s, system=22.0326 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+252.119 s]*
/proc/loadavg: 1.24 4.02 6.10 2/192 16254
/proc/meminfo: memFree=17575748/32770624 swapFree=67002124/67108860
Current cumulated CPU time of completed processes: 0.002332 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.176
CPU time (s): 428.106
CPU user time (s): 406.073
CPU system time (s): 22.0326
CPU usage (%): 169.765
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 13334980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 406.073
system time used= 22.0326
maximum resident set size= 13334128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 906267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25437
involuntary context switches= 7947


# summary of solver processes directly reported to runsolver:
#   pid: 16121,16123
#   total CPU time (s): 428.106
#   total CPU user time (s): 406.073
#   total CPU system time (s): 22.0326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.78641 second user time and 2.88998 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-24 20:34:16
IDJOB=4407282
IDBENCH=141273
IDSOLVER=2872
FILE ID=node136/4407282-1569350101
RUNJOBID= node136-1569335934-10152
PBS_JOBID= 21705056
Free space on /var/tmp= 13404 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407282-1569350101/watcher-4407282-1569350101 -o /var/tmp/evaluation-result-4407282-1569350101/solver-4407282-1569350101 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569335934-10152 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 610407351 HOME/instance-4407282-1569350101.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=610407351

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26399476 kB
MemAvailable:   31839728 kB
Buffers:          147488 kB
Cached:          5417384 kB
SwapCached:         3556 kB
Active:          2816328 kB
Inactive:        2755540 kB
Active(anon):       2836 kB
Inactive(anon):    61092 kB
Active(file):    2813492 kB
Inactive(file):  2694448 kB
Unevictable:      108444 kB
Mlocked:          108444 kB
SwapTotal:      67108860 kB
SwapFree:       67002124 kB
Dirty:            108396 kB
Writeback:             0 kB
AnonPages:        103928 kB
Mapped:            57208 kB
Shmem:             48260 kB
Slab:             390412 kB
SReclaimable:     360772 kB
SUnreclaim:        29640 kB
KernelStack:        3568 kB
PageTables:         5380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     517012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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 /var/tmp at the end= 13380 MiB
End job on node136 at 2019-09-24 20:38:28