Trace number 4400082

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-16 parallelSAT (TO)234919458 441.045 252.113

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-4400082-1568720448.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.19	c [HOME/instance-4400082-1568720448.xml, -tl, 2016s, -p, 8]
0.33/0.23	c 8 solvers in parallel
0.33/0.29	c parse instance...
277.46/110.63	c solve instance...
298.61/113.45	o 234919466 
303.30/115.16	o 234919458 
440.93/252.01	s SATISFIABLE
440.93/252.01	v <instantiation>
440.93/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>
440.93/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 2220 2264 2264 2260 2420 2260 2260 2260 2660 2260 2660 2484 2260 2260 2724 2260 2260 2260 2260 2260 2260 2260 2500 2260 2744 2264 2260 2524 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 0 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 1 0 1 0 1 0 0 1 0 1 1 0 1 1 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 1 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 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 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 0 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 1 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 1 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 1 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 0 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 10 0 10 0 10 0 0 10 0 10 10 0 10 10 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 0 10 10 10 10 10 0 10 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 10 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 0 10 0 0 10 10 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 0 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 10 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 10 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 10 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 260 40 36 236 436 36 296 240 400 400 400 360 0 400 0 40 360 360 136 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 40 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 304 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 264 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 424 40 400 40 4 200 0 40 0 484 280 0 44 264 40 0 0 0 0 40 40 0 0 40 40 40 264 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 40 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 264 40 40 40 0 160 40 0 40 40 44 40 464 300 400 40 40 260 0 40 0 504 40 40 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 40 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 264 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 120 0 0 40 0 0 0 300 240 40 200 0 264 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 44 36 88 448 448 0 40 40 40 504 440 40 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 200 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 40 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 0 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 224 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 4 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 4 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 260 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 0 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 260 260 400 40 160 0 0 464 0 224 400 4 0 0 400 424 0 0 400 24 40 40 0 0 464 40 40 464 0 0 40 40 4 0 464 0 156 264 240 240 464 36 40 276 400 0 0 484 40 0 460 464 400 0 64 424 224 0 4 40 40 44 40 4 4 160 0 4 160 400 136 484 </values>
440.93/252.01	v </instantiation>
440.93/252.01	c Unexpected resolution interruption!

Verifier Data 

OK	234919458

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400082-1568720448/watcher-4400082-1568720448 -o /tmp/evaluation-result-4400082-1568720448/solver-4400082-1568720448 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568713847-31114 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 505992791 HOME/instance-4400082-1568720448.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=1437, runsolver pid=1434
Current StackSize limit: 8192 KiB


[startup+0.101049 s]*
/proc/loadavg: 7.44 7.94 8.09 3/209 1461
/proc/meminfo: memFree=30987516/32770624 swapFree=66922952/67108860
[pid=1437] ppid=1434 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1437/stat : 1437 (xcsp3-exec) S 1434 1437 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448313644 115843072 362 33554432000 4194304 5098028 140734750314912 140734750313016 140670985187964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8134656 140734750319484 140734750319726 140734750319726 140734750322634 0
/proc/1437/statm: 28282 362 304 221 0 87 0
[pid=1439] ppid=1437 vsize=28227396 memory=27088 CPUtime=0.12 cores=0-7
/proc/1439/stat : 1439 (java) S 1437 1437 31087 0 -1 1077944320 5801 0 0 0 11 1 0 0 20 0 20 0 448313645 28904853504 6772 33554432000 4194304 4196468 140731675960800 140731675943344 140319831617271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
/proc/1439/statm: 7056849 6772 3120 1 0 7019032 0
[pid=1439/tid=1440] ppid=1437 vsize=28227396 memory=-7096649868621430206 CPUtime=0.08 cores=0-7
/proc/1439/task/1440/stat : 1440 (java) R 1437 1437 31087 0 -1 4202560 3660 0 0 0 8 0 0 0 20 0 20 0 448313645 28904853504 6838 33554432000 4194304 4196468 140731675960800 140319835850048 140319468761152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1441] ppid=1437 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1439/task/1441/stat : 1441 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 6838 33554432000 4194304 4196468 140731675960800 140319382866192 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1442] ppid=1437 vsize=28227396 memory=140032062137984 CPUtime=0 cores=0-7
/proc/1439/task/1442/stat : 1442 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 6838 33554432000 4194304 4196468 140731675960800 140319381813648 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1443] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1443/stat : 1443 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 6838 33554432000 4194304 4196468 140731675960800 140319380761104 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1444] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1444/stat : 1444 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 6838 33554432000 4194304 4196468 140731675960800 140319379708560 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1445] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1445/stat : 1445 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 6838 33554432000 4194304 4196468 140731675960800 140319378656016 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1446] ppid=1437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1439/task/1446/stat : 1446 (java) S 1437 1437 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 6838 33554432000 4194304 4196468 140731675960800 140319377603472 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1447] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1447/stat : 1447 (java) S 1437 1437 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 6838 33554432000 4194304 4196468 140731675960800 140319376550928 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1448] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1448/stat : 1448 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 6838 33554432000 4194304 4196468 140731675960800 140319375498384 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1450] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1450/stat : 1450 (java) S 1437 1437 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448313647 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318075770864 140319831628418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1451] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1451/stat : 1451 (java) S 1437 1437 31087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448313648 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318074717088 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1452] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1452/stat : 1452 (java) S 1437 1437 31087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448313648 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318073664496 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1454] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1454/stat : 1454 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313650 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318072613072 140319831635867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1455] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1455/stat : 1455 (java) S 1437 1437 31087 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 448313650 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318071560688 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1456] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1456/stat : 1456 (java) S 1437 1437 31087 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 448313650 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318070508144 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1458] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1458/stat : 1458 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313650 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318069455600 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1459] ppid=1437 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1439/task/1459/stat : 1459 (java) S 1437 1437 31087 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 20 0 448313650 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318068403056 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1460] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1460/stat : 1460 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313650 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318067349728 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1461] ppid=1437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1439/task/1461/stat : 1461 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313651 28904853504 6838 33554432000 4194304 4196468 140731675960800 140318066297264 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28536 KiB

[startup+0.210238 s]*
/proc/loadavg: 7.44 7.94 8.09 3/209 1461
/proc/meminfo: memFree=30975256/32770624 swapFree=66922952/67108860
[pid=1437] ppid=1434 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1437/stat : 1437 (xcsp3-exec) S 1434 1437 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448313644 115843072 362 33554432000 4194304 5098028 140734750314912 140734750313016 140670985187964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8134656 140734750319484 140734750319726 140734750319726 140734750322634 0
/proc/1437/statm: 28282 362 304 221 0 87 0
[pid=1439] ppid=1437 vsize=28227396 memory=40252 CPUtime=0.33 cores=0-7
/proc/1439/stat : 1439 (java) S 1437 1437 31087 0 -1 1077944320 9743 0 0 0 30 3 0 0 20 0 20 0 448313645 28904853504 10063 33554432000 4194304 4196468 140731675960800 140731675943344 140319831617271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
/proc/1439/statm: 7056849 10063 3313 1 0 7019032 0
[pid=1439/tid=1440] ppid=1437 vsize=28227396 memory=576460756329955521 CPUtime=0.2 cores=0-7
/proc/1439/task/1440/stat : 1440 (java) R 1437 1437 31087 0 -1 4202560 6676 0 0 0 18 2 0 0 20 0 20 0 448313645 28904853504 10063 33554432000 4194304 4196468 140731675960800 140319835849184 140319831629206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1441] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1441/stat : 1441 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 10063 33554432000 4194304 4196468 140731675960800 140319382866192 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1442] ppid=1437 vsize=28227396 memory=288370408213849728 CPUtime=0 cores=0-7
/proc/1439/task/1442/stat : 1442 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 10063 33554432000 4194304 4196468 140731675960800 140319381813648 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1443] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1443/stat : 1443 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 10063 33554432000 4194304 4196468 140731675960800 140319380761104 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1444] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1444/stat : 1444 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 10063 33554432000 4194304 4196468 140731675960800 140319379708560 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1445] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1445/stat : 1445 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 10063 33554432000 4194304 4196468 140731675960800 140319378656016 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1446] ppid=1437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1439/task/1446/stat : 1446 (java) S 1437 1437 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 10063 33554432000 4194304 4196468 140731675960800 140319377603472 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1447] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1447/stat : 1447 (java) S 1437 1437 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 10063 33554432000 4194304 4196468 140731675960800 140319376550928 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1448] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1448/stat : 1448 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313646 28904853504 10063 33554432000 4194304 4196468 140731675960800 140319375498384 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1450] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1450/stat : 1450 (java) S 1437 1437 31087 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 448313647 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318075770864 140319831628418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1451] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1451/stat : 1451 (java) S 1437 1437 31087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448313648 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318074717088 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1452] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1452/stat : 1452 (java) S 1437 1437 31087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448313648 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318073664496 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1454] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1454/stat : 1454 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313650 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318072613072 140319831635867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1455] ppid=1437 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1439/task/1455/stat : 1455 (java) S 1437 1437 31087 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 20 0 448313650 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318071560688 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1456] ppid=1437 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1439/task/1456/stat : 1456 (java) S 1437 1437 31087 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 20 0 448313650 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318070508144 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1458] ppid=1437 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1439/task/1458/stat : 1458 (java) S 1437 1437 31087 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 20 0 448313650 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318069455600 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1459] ppid=1437 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/1439/task/1459/stat : 1459 (java) R 1437 1437 31087 0 -1 4202560 872 0 0 0 7 0 0 0 20 0 20 0 448313650 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318068396944 140319824717118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1460] ppid=1437 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1460/stat : 1460 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313650 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318067349728 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1461] ppid=1437 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1439/task/1461/stat : 1461 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313651 28904853504 10063 33554432000 4194304 4196468 140731675960800 140318066297264 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41700 KiB

[startup+0.310095 s]*
/proc/loadavg: 7.44 7.94 8.09 3/209 1461
/proc/meminfo: memFree=30969860/32770624 swapFree=66922952/67108860
[pid=1437] ppid=1434 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1437/stat : 1437 (xcsp3-exec) S 1434 1437 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448313644 115843072 362 33554432000 4194304 5098028 140734750314912 140734750313016 140670985187964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8134656 140734750319484 140734750319726 140734750319726 140734750322634 0
/proc/1437/statm: 28282 362 304 221 0 87 0
[pid=1439] ppid=1437 vsize=28231652 memory=46384 CPUtime=0.5 cores=0-7
/proc/1439/stat : 1439 (java) S 1437 1437 31087 0 -1 1077944320 11002 0 0 0 46 4 0 0 20 0 20 0 448313645 28909211648 11596 33554432000 4194304 4196468 140731675960800 140731675943344 140319831617271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
/proc/1439/statm: 7057913 11596 3331 1 0 7019032 0
[pid=1439/tid=1440] ppid=1437 vsize=28231652 memory=1398720917958146503 CPUtime=0.29 cores=0-7
/proc/1439/task/1440/stat : 1440 (java) R 1437 1437 31087 0 -1 4202560 7726 0 0 0 27 2 0 0 20 0 20 0 448313645 28909211648 12172 33554432000 4194304 4196468 140731675960800 140319835852368 140319831629206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1441] ppid=1437 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1439/task/1441/stat : 1441 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28909211648 12172 33554432000 4194304 4196468 140731675960800 140319382866192 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1442] ppid=1437 vsize=28231652 memory=784 CPUtime=0 cores=0-7
/proc/1439/task/1442/stat : 1442 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28909211648 12172 33554432000 4194304 4196468 140731675960800 140319381813648 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1443] ppid=1437 vsize=28231652 memory=1060 CPUtime=0 cores=0-7
/proc/1439/task/1443/stat : 1443 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28909211648 12172 33554432000 4194304 4196468 140731675960800 140319380761104 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1444] ppid=1437 vsize=28231652 memory=1484 CPUtime=0 cores=0-7
/proc/1439/task/1444/stat : 1444 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313646 28909211648 12172 33554432000 4194304 4196468 140731675960800 140319379708560 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1445] ppid=1437 vsize=28231652 memory=1096 CPUtime=0 cores=0-7
/proc/1439/task/1445/stat : 1445 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313646 28909211648 12172 33554432000 4194304 4196468 140731675960800 140319378656016 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1446] ppid=1437 vsize=28231652 memory=1188 CPUtime=0 cores=0-7
/proc/1439/task/1446/stat : 1446 (java) S 1437 1437 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448313646 28909211648 12172 33554432000 4194304 4196468 140731675960800 140319377603472 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1447] ppid=1437 vsize=28231652 memory=6076 CPUtime=0 cores=0-7
/proc/1439/task/1447/stat : 1447 (java) S 1437 1437 31087 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448313646 28909211648 12172 33554432000 4194304 4196468 140731675960800 140319376550928 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1448] ppid=1437 vsize=28231652 memory=780 CPUtime=0 cores=0-7
/proc/1439/task/1448/stat : 1448 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313646 28909211648 12172 33554432000 4194304 4196468 140731675960800 140319375498384 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1450] ppid=1437 vsize=28231652 memory=14008 CPUtime=0 cores=0-7
/proc/1439/task/1450/stat : 1450 (java) S 1437 1437 31087 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 448313647 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318075770864 140319831628418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1451] ppid=1437 vsize=28231652 memory=25192 CPUtime=0 cores=0-7
/proc/1439/task/1451/stat : 1451 (java) S 1437 1437 31087 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448313648 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318074717088 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1452] ppid=1437 vsize=28231652 memory=2116 CPUtime=0 cores=0-7
/proc/1439/task/1452/stat : 1452 (java) S 1437 1437 31087 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448313648 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318073664496 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1454] ppid=1437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1454/stat : 1454 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313650 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318072613072 140319831635867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1455] ppid=1437 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/1439/task/1455/stat : 1455 (java) S 1437 1437 31087 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 20 0 448313650 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318071560688 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1456] ppid=1437 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/1439/task/1456/stat : 1456 (java) S 1437 1437 31087 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 20 0 448313650 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318070508144 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1458] ppid=1437 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/1439/task/1458/stat : 1458 (java) S 1437 1437 31087 0 -1 1077944384 289 0 0 0 2 0 0 0 20 0 20 0 448313650 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318069455600 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1459] ppid=1437 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7
/proc/1439/task/1459/stat : 1459 (java) S 1437 1437 31087 0 -1 1077944384 1049 0 0 0 12 0 0 0 20 0 20 0 448313650 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318068403056 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1460] ppid=1437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1460/stat : 1460 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448313650 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318067349728 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1461] ppid=1437 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1461/stat : 1461 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448313651 28909211648 12172 33554432000 4194304 4196468 140731675960800 140318066297264 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 47832 KiB

[startup+0.701239 s]
/proc/loadavg: 7.44 7.94 8.09 3/209 1461
/proc/meminfo: memFree=30875476/32770624 swapFree=66922952/67108860
[pid=1437] ppid=1434 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1437/stat : 1437 (xcsp3-exec) S 1434 1437 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448313644 115843072 362 33554432000 4194304 5098028 140734750314912 140734750313016 140670985187964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8134656 140734750319484 140734750319726 140734750319726 140734750322634 0
/proc/1437/statm: 28282 362 304 221 0 87 0
[pid=1439] ppid=1437 vsize=28231728 memory=297600 CPUtime=1.85 cores=0-7
/proc/1439/stat : 1439 (java) S 1437 1437 31087 0 -1 1077944320 15468 0 0 0 138 47 0 0 20 0 20 0 448313645 28909289472 74400 33554432000 4194304 4196468 140731675960800 140731675943344 140319831617271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
/proc/1439/statm: 7057932 74400 3441 1 0 7019032 0
[pid=1439/tid=1440] ppid=1437 vsize=28231728 memory=0 CPUtime=0.62 cores=0-7
/proc/1439/task/1440/stat : 1440 (java) R 1437 1437 31087 0 -1 4202560 8286 0 0 0 54 8 0 0 20 0 20 0 448313645 28909289472 74400 33554432000 4194304 4196468 140731675960800 140319835846336 140319815697758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1441] ppid=1437 vsize=28231728 memory=7884223406385288292 CPUtime=0.05 cores=0-7
/proc/1439/task/1441/stat : 1441 (java) S 1437 1437 31087 0 -1 1077944384 65 0 0 0 1 4 0 0 20 0 20 0 448313646 28909289472 74400 33554432000 4194304 4196468 140731675960800 140319382866192 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1442] ppid=1437 vsize=28231728 memory=6082203137413322921 CPUtime=0.05 cores=0-7
/proc/1439/task/1442/stat : 1442 (java) S 1437 1437 31087 0 -1 1077944384 59 0 0 0 1 4 0 0 20 0 20 0 448313646 28909289472 74400 33554432000 4194304 4196468 140731675960800 140319381813648 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1443] ppid=1437 vsize=28231728 memory=2016 CPUtime=0.05 cores=0-7
/proc/1439/task/1443/stat : 1443 (java) S 1437 1437 31087 0 -1 1077944384 57 0 0 0 1 4 0 0 20 0 20 0 448313646 28909289472 74400 33554432000 4194304 4196468 140731675960800 140319380761104 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0

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

[pid=1439/tid=1494] ppid=1437 vsize=28768336 memory=13202704 CPUtime=0 cores=0-7
/proc/1439/task/1494/stat : 1494 (java) S 1437 1437 31087 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300677 33554432000 4194304 4196468 140731675960800 140317931176784 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
Current children cumulated CPU time: 351.12 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 13204156 KiB

[startup+222.301 s]
/proc/loadavg: 1.32 4.69 6.78 2/217 1501
/proc/meminfo: memFree=17787088/32770624 swapFree=66922952/67108860
[pid=1437] ppid=1434 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1437/stat : 1437 (xcsp3-exec) S 1434 1437 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448313644 115843072 362 33554432000 4194304 5098028 140734750314912 140734750313016 140670985187964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8134656 140734750319484 140734750319726 140734750319726 140734750322634 0
/proc/1437/statm: 28282 362 304 221 0 87 0
[pid=1439] ppid=1437 vsize=28768336 memory=13202720 CPUtime=411.2 cores=0-7
/proc/1439/stat : 1439 (java) S 1437 1437 31087 0 -1 1077944320 685082 0 0 0 38697 2423 0 0 20 0 28 0 448313645 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140731675943344 140319831617271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
/proc/1439/statm: 7192084 3300680 3564 1 0 7153184 0
[pid=1439/tid=1440] ppid=1437 vsize=28768336 memory=3620 CPUtime=86.48 cores=0-7
/proc/1439/task/1440/stat : 1440 (java) S 1437 1437 31087 0 -1 1077944384 46491 0 0 0 8501 147 0 0 20 0 28 0 448313645 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140319835858048 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1441] ppid=1437 vsize=28768336 memory=780 CPUtime=22.71 cores=0-7
/proc/1439/task/1441/stat : 1441 (java) S 1437 1437 31087 0 -1 1077944384 59018 0 0 0 1995 276 0 0 20 0 28 0 448313646 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140319382866192 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1442] ppid=1437 vsize=28768336 memory=14008 CPUtime=22.64 cores=0-7
/proc/1439/task/1442/stat : 1442 (java) S 1437 1437 31087 0 -1 1077944384 32592 0 0 0 1979 285 0 0 20 0 28 0 448313646 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140319381813648 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1443] ppid=1437 vsize=28768336 memory=3620 CPUtime=22.57 cores=0-7
/proc/1439/task/1443/stat : 1443 (java) S 1437 1437 31087 0 -1 1077944384 108512 0 0 0 1968 289 0 0 20 0 28 0 448313646 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140319380761104 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1444] ppid=1437 vsize=28768336 memory=47996 CPUtime=22.76 cores=0-7
/proc/1439/task/1444/stat : 1444 (java) S 1437 1437 31087 0 -1 1077944384 111510 0 0 0 1987 289 0 0 20 0 28 0 448313646 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140319379708560 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1445] ppid=1437 vsize=28768336 memory=1448 CPUtime=22.67 cores=0-7
/proc/1439/task/1445/stat : 1445 (java) S 1437 1437 31087 0 -1 1077944384 40686 0 0 0 1987 280 0 0 20 0 28 0 448313646 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140319378656016 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1446] ppid=1437 vsize=28768336 memory=13202720 CPUtime=22.73 cores=0-7
/proc/1439/task/1446/stat : 1446 (java) S 1437 1437 31087 0 -1 1077944384 52727 0 0 0 1988 285 0 0 20 0 28 0 448313646 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140319377603472 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1447] ppid=1437 vsize=28768336 memory=1984 CPUtime=22.58 cores=0-7
/proc/1439/task/1447/stat : 1447 (java) S 1437 1437 31087 0 -1 1077944384 30624 0 0 0 2006 252 0 0 20 0 28 0 448313646 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140319376550928 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1448] ppid=1437 vsize=28768336 memory=2364 CPUtime=22.59 cores=0-7
/proc/1439/task/1448/stat : 1448 (java) S 1437 1437 31087 0 -1 1077944384 36467 0 0 0 1992 267 0 0 20 0 28 0 448313646 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140319375498384 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1450] ppid=1437 vsize=28768336 memory=780 CPUtime=0.96 cores=0-7
/proc/1439/task/1450/stat : 1450 (java) S 1437 1437 31087 0 -1 1077944384 39657 0 0 0 87 9 0 0 20 0 28 0 448313647 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318075770864 140319831628418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1451] ppid=1437 vsize=28768336 memory=14008 CPUtime=0 cores=0-7
/proc/1439/task/1451/stat : 1451 (java) S 1437 1437 31087 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 448313648 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318074717152 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1452] ppid=1437 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/1439/task/1452/stat : 1452 (java) S 1437 1437 31087 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 28 0 448313648 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318073664512 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1454] ppid=1437 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/1439/task/1454/stat : 1454 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448313650 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318072613072 140319831635867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1455] ppid=1437 vsize=28768336 memory=1448 CPUtime=4.89 cores=0-7
/proc/1439/task/1455/stat : 1455 (java) S 1437 1437 31087 0 -1 1077944384 19543 0 0 0 487 2 0 0 20 0 28 0 448313650 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318071560688 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1456] ppid=1437 vsize=28768336 memory=1448 CPUtime=4.13 cores=0-7
/proc/1439/task/1456/stat : 1456 (java) S 1437 1437 31087 0 -1 1077944384 16398 0 0 0 409 4 0 0 20 0 28 0 448313650 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318070508144 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1458] ppid=1437 vsize=28768336 memory=13202720 CPUtime=5.02 cores=0-7
/proc/1439/task/1458/stat : 1458 (java) S 1437 1437 31087 0 -1 1077944384 17626 0 0 0 500 2 0 0 20 0 28 0 448313650 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318069455600 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1459] ppid=1437 vsize=28768336 memory=1448 CPUtime=1.12 cores=0-7
/proc/1439/task/1459/stat : 1459 (java) S 1437 1437 31087 0 -1 1077944384 8216 0 0 0 110 2 0 0 20 0 28 0 448313650 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318068403056 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1460] ppid=1437 vsize=28768336 memory=13202720 CPUtime=0 cores=0-7
/proc/1439/task/1460/stat : 1460 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448313650 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318067349728 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1461] ppid=1437 vsize=28768336 memory=1448 CPUtime=0.09 cores=0-7
/proc/1439/task/1461/stat : 1461 (java) S 1437 1437 31087 0 -1 1077944384 2149 0 0 0 5 4 0 0 20 0 28 0 448313651 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318066297264 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1487] ppid=1437 vsize=28768336 memory=1428 CPUtime=0 cores=0-7
/proc/1439/task/1487/stat : 1487 (java) S 1437 1437 31087 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140317935386112 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1488] ppid=1437 vsize=28768336 memory=10728 CPUtime=0 cores=0-7
/proc/1439/task/1488/stat : 1488 (java) S 1437 1437 31087 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140318059418704 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1489] ppid=1437 vsize=28768336 memory=1552 CPUtime=0 cores=0-7
/proc/1439/task/1489/stat : 1489 (java) S 1437 1437 31087 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140317934335184 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1490] ppid=1437 vsize=28768336 memory=4096 CPUtime=0.22 cores=0-7
/proc/1439/task/1490/stat : 1490 (java) S 1437 1437 31087 0 -1 1077944384 17802 0 0 0 20 2 0 0 20 0 28 0 448325162 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140317932229968 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1491] ppid=1437 vsize=28768336 memory=47996 CPUtime=0 cores=0-7
/proc/1439/task/1491/stat : 1491 (java) S 1437 1437 31087 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140317933282768 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1492] ppid=1437 vsize=28768336 memory=988 CPUtime=107.11 cores=0-7
/proc/1439/task/1492/stat : 1492 (java) R 1437 1437 31087 0 -1 4202560 7992 0 0 0 10705 6 0 0 20 0 28 0 448325162 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140317937487264 140319473148464 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1493] ppid=1437 vsize=28768336 memory=2016 CPUtime=0 cores=0-7
/proc/1439/task/1493/stat : 1493 (java) S 1437 1437 31087 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140317936440016 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1494] ppid=1437 vsize=28768336 memory=1428 CPUtime=0 cores=0-7
/proc/1439/task/1494/stat : 1494 (java) S 1437 1437 31087 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300680 33554432000 4194304 4196468 140731675960800 140317931176784 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
Current children cumulated CPU time: 411.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 13204168 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 1.19 4.34 6.59 2/217 1503
/proc/meminfo: memFree=17788004/32770624 swapFree=66922952/67108860
[pid=1437] ppid=1434 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/1437/stat : 1437 (xcsp3-exec) S 1434 1437 31087 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448313644 115843072 362 33554432000 4194304 5098028 140734750314912 140734750313016 140670985187964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8134656 140734750319484 140734750319726 140734750319726 140734750322634 0
/proc/1437/statm: 28282 362 304 221 0 87 0
[pid=1439] ppid=1437 vsize=28768336 memory=13202736 CPUtime=440.93 cores=0-7
/proc/1439/stat : 1439 (java) S 1437 1437 31087 0 -1 1077944320 687851 0 0 0 41668 2425 0 0 20 0 28 0 448313645 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140731675943344 140319831617271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
/proc/1439/statm: 7192084 3300684 3564 1 0 7153184 0
[pid=1439/tid=1440] ppid=1437 vsize=28768336 memory=1398720917958146503 CPUtime=86.48 cores=0-7
/proc/1439/task/1440/stat : 1440 (java) S 1437 1437 31087 0 -1 1077944384 46491 0 0 0 8501 147 0 0 20 0 28 0 448313645 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140319835858048 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1441] ppid=1437 vsize=28768336 memory=4126316290023845779 CPUtime=22.71 cores=0-7
/proc/1439/task/1441/stat : 1441 (java) S 1437 1437 31087 0 -1 1077944384 59018 0 0 0 1995 276 0 0 20 0 28 0 448313646 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140319382866192 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1442] ppid=1437 vsize=28768336 memory=4126316290023845779 CPUtime=22.64 cores=0-7
/proc/1439/task/1442/stat : 1442 (java) S 1437 1437 31087 0 -1 1077944384 32592 0 0 0 1979 285 0 0 20 0 28 0 448313646 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140319381813648 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1443] ppid=1437 vsize=28768336 memory=6944656592387989600 CPUtime=22.57 cores=0-7
/proc/1439/task/1443/stat : 1443 (java) S 1437 1437 31087 0 -1 1077944384 108512 0 0 0 1968 289 0 0 20 0 28 0 448313646 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140319380761104 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1444] ppid=1437 vsize=28768336 memory=-2247047206207641111 CPUtime=22.76 cores=0-7
/proc/1439/task/1444/stat : 1444 (java) S 1437 1437 31087 0 -1 1077944384 111510 0 0 0 1987 289 0 0 20 0 28 0 448313646 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140319379708560 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1445] ppid=1437 vsize=28768336 memory=6655300316396806240 CPUtime=22.67 cores=0-7
/proc/1439/task/1445/stat : 1445 (java) S 1437 1437 31087 0 -1 1077944384 40686 0 0 0 1987 280 0 0 20 0 28 0 448313646 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140319378656016 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1446] ppid=1437 vsize=28768336 memory=6943526294502006880 CPUtime=22.73 cores=0-7
/proc/1439/task/1446/stat : 1446 (java) S 1437 1437 31087 0 -1 1077944384 52727 0 0 0 1988 285 0 0 20 0 28 0 448313646 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140319377603472 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1447] ppid=1437 vsize=28768336 memory=6944652177228980320 CPUtime=22.58 cores=0-7
/proc/1439/task/1447/stat : 1447 (java) S 1437 1437 31087 0 -1 1077944384 30624 0 0 0 2006 252 0 0 20 0 28 0 448313646 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140319376550928 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1448] ppid=1437 vsize=28768336 memory=-2025810976467231676 CPUtime=22.59 cores=0-7
/proc/1439/task/1448/stat : 1448 (java) S 1437 1437 31087 0 -1 1077944384 36467 0 0 0 1992 267 0 0 20 0 28 0 448313646 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140319375498384 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1450] ppid=1437 vsize=28768336 memory=6656426216303648864 CPUtime=0.96 cores=0-7
/proc/1439/task/1450/stat : 1450 (java) S 1437 1437 31087 0 -1 1077944384 39808 0 0 0 87 9 0 0 20 0 28 0 448313647 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318075770864 140319831628418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1451] ppid=1437 vsize=28768336 memory=-7163935624071343270 CPUtime=0 cores=0-7
/proc/1439/task/1451/stat : 1451 (java) S 1437 1437 31087 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 448313648 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318074717152 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1452] ppid=1437 vsize=28768336 memory=4354582209285485472 CPUtime=0 cores=0-7
/proc/1439/task/1452/stat : 1452 (java) S 1437 1437 31087 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 28 0 448313648 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318073664512 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1454] ppid=1437 vsize=28768336 memory=8187704045996132563 CPUtime=0 cores=0-7
/proc/1439/task/1454/stat : 1454 (java) S 1437 1437 31087 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448313650 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318072613072 140319831635867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1455] ppid=1437 vsize=28768336 memory=6656426216303648864 CPUtime=4.89 cores=0-7
/proc/1439/task/1455/stat : 1455 (java) S 1437 1437 31087 0 -1 1077944384 19549 0 0 0 487 2 0 0 20 0 28 0 448313650 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318071560688 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1456] ppid=1437 vsize=28768336 memory=8112282956445269571 CPUtime=4.13 cores=0-7
/proc/1439/task/1456/stat : 1456 (java) S 1437 1437 31087 0 -1 1077944384 16764 0 0 0 409 4 0 0 20 0 28 0 448313650 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318070508144 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1458] ppid=1437 vsize=28768336 memory=15825482134340141 CPUtime=5.02 cores=0-7
/proc/1439/task/1458/stat : 1458 (java) S 1437 1437 31087 0 -1 1077944384 18036 0 0 0 500 2 0 0 20 0 28 0 448313650 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318069455600 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1459] ppid=1437 vsize=28768336 memory=296 CPUtime=1.12 cores=0-7
/proc/1439/task/1459/stat : 1459 (java) S 1437 1437 31087 0 -1 1077944384 8221 0 0 0 110 2 0 0 20 0 28 0 448313650 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318068403056 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1460] ppid=1437 vsize=28768336 memory=280063814454544 CPUtime=0 cores=0-7
/proc/1439/task/1460/stat : 1460 (java) S 1437 1437 31087 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448313650 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318067349728 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1461] ppid=1437 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7
/proc/1439/task/1461/stat : 1461 (java) S 1437 1437 31087 0 -1 1077944384 2207 0 0 0 5 5 0 0 20 0 28 0 448313651 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318066297264 140319831628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1487] ppid=1437 vsize=28768336 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/1439/task/1487/stat : 1487 (java) S 1437 1437 31087 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140317935386112 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1488] ppid=1437 vsize=28768336 memory=3544385890265608201 CPUtime=0 cores=0-7
/proc/1439/task/1488/stat : 1488 (java) S 1437 1437 31087 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140318059418704 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1489] ppid=1437 vsize=28768336 memory=8747226831578988619 CPUtime=0 cores=0-7
/proc/1439/task/1489/stat : 1489 (java) S 1437 1437 31087 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140317934335184 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1490] ppid=1437 vsize=28768336 memory=288230596017402167 CPUtime=0.22 cores=0-7
/proc/1439/task/1490/stat : 1490 (java) S 1437 1437 31087 0 -1 1077944384 17802 0 0 0 20 2 0 0 20 0 28 0 448325162 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140317932229968 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1491] ppid=1437 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1491/stat : 1491 (java) S 1437 1437 31087 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140317933282768 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1492] ppid=1437 vsize=28768336 memory=0 CPUtime=136.81 cores=0-7
/proc/1439/task/1492/stat : 1492 (java) R 1437 1437 31087 0 -1 4202560 9765 0 0 0 13675 6 0 0 20 0 28 0 448325162 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140317937488296 140319473147643 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1493] ppid=1437 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1493/stat : 1493 (java) S 1437 1437 31087 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140317936440016 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
[pid=1439/tid=1494] ppid=1437 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/1439/task/1494/stat : 1494 (java) S 1437 1437 31087 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 28 0 448325162 29458776064 3300684 33554432000 4194304 4196468 140731675960800 140317931176784 140319831627477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11718656 140731675968496 140731675968667 140731675968667 140731675971535 0
Current children cumulated CPU time: 440.93 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 13204184 KiB

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

[startup+252.02 s]
# the end of solver process 1437 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000786 s, system=0.001572 s

[startup+252.113 s]
# the end of solver process 1439 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=416.696 s, system=24.3488 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

Child status: 143
Real time (s): 252.113
CPU time (s): 441.045
CPU user time (s): 416.696
CPU system time (s): 24.3488
CPU usage (%): 174.939
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 13523292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 416.696
system time used= 24.3488
maximum resident set size= 13521844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 689139
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19612
involuntary context switches= 12095


# summary of solver processes directly reported to runsolver:
#   pid: 1437,1439
#   total CPU time (s): 441.045
#   total CPU user time (s): 416.696
#   total CPU system time (s): 24.3488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.68021 second user time and 2.68174 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-17 13:42:42
IDJOB=4400082
IDBENCH=141273
IDSOLVER=2855
FILE ID=node139/4400082-1568720448
RUNJOBID= node139-1568713847-31114
PBS_JOBID= 21703946
Free space on /tmp= 59476 MiB

SOLVER NAME= choco-solver 2019-09-16 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 /tmp/evaluation-result-4400082-1568720448/watcher-4400082-1568720448 -o /tmp/evaluation-result-4400082-1568720448/solver-4400082-1568720448 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568713847-31114 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 505992791 HOME/instance-4400082-1568720448.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=505992791

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31002396 kB
MemAvailable:   31826224 kB
Buffers:          135120 kB
Cached:           980820 kB
SwapCached:        78128 kB
Active:           718256 kB
Inactive:         481672 kB
Active(anon):       9280 kB
Inactive(anon):   118288 kB
Active(file):     708976 kB
Inactive(file):   363384 kB
Unevictable:      107756 kB
Mlocked:          107756 kB
SwapTotal:      67108860 kB
SwapFree:       66922952 kB
Dirty:            108244 kB
Writeback:             4 kB
AnonPages:         64600 kB
Mapped:            48788 kB
Shmem:             34860 kB
Slab:             163136 kB
SReclaimable:     134608 kB
SUnreclaim:        28528 kB
KernelStack:        3680 kB
PageTables:         5884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59452 MiB
End job on node139 at 2019-09-17 13:46:54