Trace number 4292757

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 4.0.7 seq (493a269)SAT (TO)141134191 2400.13 2382.33

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-02-0250_c18.xml
MD5SUM9ab3e648243ddfeac66c66819bd63413
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40498440
Best CPU time to get the best result obtained on this benchmark2520.15
Satisfiable
(Un)Satisfiability was proved
Number of variables4758
Number of constraints3055
Number of domains59
Minimum domain size1
Maximum domain size105
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}]
Minimum variable degree2
Maximum variable degree1420
Distribution of variable degrees[{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}]
Number of extensional constraints1419
Number of intensional constraints1636
Distribution of constraint types[{"type":"extension","count":1419},{"type":"intension","count":1636}]
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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292757-1532462717.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.18	c [HOME/instance-4292757-1532462717.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.22	c simple solver
0.34/0.28	c parse instance...
20.90/11.78	c solve instance...
549.37/535.61	o 221805898 
549.37/535.65	o 221805897 
549.97/535.87	o 221805894 
936.07/919.89	o 141134191 
2400.09/2382.30	s SATISFIABLE
2400.09/2382.30	v <instantiation>
2400.09/2382.30	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] 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] 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] 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] 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] </list>
2400.09/2382.31	v 	<values>2448 2484 2616 2332 2536 2280 2500 2384 2280 2264 2644 2288 2600 2524 2368 2508 2488 2444 2584 2652 2428 2512 2500 2616 2304 2412 2344 2308 2440 2524 2512 2248 2416 2420 2276 2612 2648 2312 2612 2280 2524 2280 2456 2436 2320 2584 2408 2556 2288 2304 2524 2544 2280 2624 2564 2512 2572 2460 2552 2316 2524 2372 2616 2564 2456 2532 2436 2364 2328 2356 2324 2396 2352 2652 2412 2524 2648 2280 2436 2536 2564 2564 2580 2652 2540 2580 2460 2356 2596 2464 2564 2276 2452 2344 2436 2396 2248 2656 2420 2368 2656 2420 2384 2292 2616 2656 2508 2604 2512 2468 2476 2436 2620 2496 2632 2572 2308 2588 2456 2424 2316 2304 2380 2348 2616 2472 2592 2472 2444 2476 2316 2612 2240 2620 2584 2608 2596 2396 2396 2612 2456 2652 2632 2472 2240 2412 2424 2584 2592 2596 2496 2444 2268 2624 2624 2240 2556 2280 2636 2260 2608 2656 2476 2616 2436 2320 2644 2516 2576 2396 2240 2564 2416 2560 2468 2484 2656 2488 2556 2424 2472 2400 2628 2300 2644 2652 2608 2616 2344 2360 2524 2640 2548 2612 2576 2292 2564 2280 2556 2476 2600 2596 2420 2408 2584 2564 2524 2472 2612 2332 2480 2624 2504 2448 2436 2616 2416 2472 2380 2288 2304 2452 2604 2604 2240 2240 2432 2604 2576 2596 2564 2332 2540 2380 2440 2404 2368 2384 2436 2496 2568 2512 2580 2332 2556 2408 2292 2240 2592 2292 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 6 0 0 1 0 0 0 0 0 0 1 4 0 1 0 0 0 0 0 1 0 0 0 0 0 0 2 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 6 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 6 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 5 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 5 1 0 0 0 2 0 0 0 1 2 0 0 0 0 0 1 0 1 0 3 0 0 4 0 1 0 1 0 0 0 0 0 0 0 1 0 6 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0 3 0 6 0 0 0 0 1 0 2 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 3 0 0 0 0 0 0 0 0 1 0 0 0 4 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 5 0 1 0 0 0 3 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 4 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 6 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 1 0 1 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 5 0 0 0 0 0 1 0 3 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 6 1 0 0 0 0 0 0 6 0 0 1 0 0 1 1 0 6 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 4 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 6 0 0 3 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 6 0 0 0 0 0 6 1 0 0 1 1 0 0 0 0 0 0 1 5 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 5 1 0 0 1 6 5 0 1 0 0 1 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 6 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 0 6 0 0 0 2 0 0 0 0 0 0 1 2 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 196 204 144 168 148 208 208 48 160 144 52 68 112 48 112 20 80 136 132 40 88 76 132 84 152 244 16 304 92 196 196 376 376 212 168 176 320 284 252 224 64 40 76 80 100 28 44 72 244 88 296 48 128 76 88 84 296 132 176 252 372 368 276 348 200 24 36 48 156 132 96 260 156 64 80 24 112 116 208 228 140 72 188 72 196 36 80 60 40 260 256 164 212 192 92 364 332 292 176 236 304 44 100 204 44 192 388 368 260 208 24 40 44 300 120 292 108 8 104 36 88 28 28 264 240 212 124 168 256 328 364 236 28 156 188 368 192 184 16 304 324 292 12 44 16 56 52 4 180 184 360 180 12 244 32 64 156 132 84 72 72 56 248 156 88 68 212 128 284 196 48 192 24 208 128 76 64 228 44 72 84 16 48 92 88 104 92 88 68 168 56 160 164 212 144 92 168 100 124 164 36 248 48 248 196 128 116 128 164 184 120 132 96 68 164 52 112 252 112 204 224 376 280 328 32 92 352 180 148 84 72 96 32 136 168 96 20 136 56 12 44 116 36 100 92 180 52 64 116 92 12 120 104 32 312 36 164 140 192 376 52 192 256 20 284 248 152 152 172 76 192 96 240 208 220 204 196 244 244 216 68 92 28 172 116 308 236 76 128 68 280 64 140 212 300 36 56 288 36 288 296 128 84 152 28 96 56 200 148 64 92 248 60 72 108 52 156 56 92 80 116 84 36 108 144 264 304 108 372 404 240 136 160 148 92 236 120 60 36 240 216 176 208 240 132 180 108 64 16 196 92 160 236 236 212 140 128 32 180 236 80 320 120 72 376 36 36 220 36 176 324 256 44 280 320 324 60 36 16 64 368 212 200 196 408 52 208 252 100 256 332 192 136 304 168 200 24 44 96 216 192 336 84 48 372 172 340 136 336 284 168 24 172 248 68 284 88 204 232 264 272 184 376 156 164 332 356 204 208 12 276 124 4 140 68 108 36 132 164 148 136 100 144 136 56 92 204 68 12 88 236 40 204 300 276 320 28 204 236 116 112 108 140 52 160 112 296 12 28 44 244 156 104 16 68 140 216 208 48 232 168 72 188 204 200 136 136 100 316 68 4 140 48 116 188 28 344 364 296 160 148 316 48 232 132 148 260 48 16 72 68 28 56 116 104 40 92 264 20 200 240 76 148 100 72 164 92 116 316 312 168 256 152 28 152 244 248 52 284 272 48 60 92 16 92 196 272 72 44 272 72 84 220 64 128 24 24 156 240 92 180 180 104 88 140 132 208 156 304 244 96 232 100 120 56 220 140 36 128 152 248 180 264 88 128 128 60 48 40 100 224 56 224 24 188 96 244 60 32 196 40 4 24 336 220 56 376 176 16 92 48 16 84 232 132 108 112 36 88 12 40 92 100 16 168 20 132 16 20 156 124 204 104 144 200 20 72 112 248 72 280 248 52 268 328 260 96 264 88 48 228 16 236 88 76 64 120 40 96 252 300 200 244 24 28 72 128 248 100 152 72 132 232 64 328 112 216 156 196 136 92 180 84 252 120 192 48 196 36 412 180 44 348 320 152 168 52 104 60 12 244 36 140 128 72 256 52 212 84 192 252 88 180 348 200 52 80 408 284 172 64 132 356 376 40 136 320 244 160 196 36 180 148 168 168 132 196 44 288 156 48 112 20 256 64 100 204 244 288 48 44 128 68 260 92 80 76 112 40 0 120 104 264 52 20 28 56 172 212 112 200 68 112 300 68 36 64 156 208 300 304 236 200 184 4 36 164 276 24 104 104 196 160 168 148 20 156 128 108 168 80 228 260 80 116 348 216 248 60 200 296 176 20 56 28 192 32 156 8 192 104 32 100 32 316 180 272 248 88 44 32 340 200 120 356 320 288 140 16 32 56 8 108 192 152 312 100 288 64 220 136 108 96 16 120 168 4 224 216 196 156 16 116 408 340 348 364 8 228 220 328 200 64 416 60 376 16 204 416 288 52 200 104 52 180 144 92 248 140 64 240 128 248 244 72 200 212 200 100 296 364 164 136 176 164 204 16 176 144 144 192 260 24 68 364 104 352 284 308 272 40 76 172 4 100 140 184 188 232 416 396 232 48 312 92 272 64 104 120 108 104 88 176 32 208 88 48 312 184 224 68 100 104 28 112 144 76 104 228 156 140 8 16 20 172 96 168 128 116 160 64 216 132 180 124 36 148 40 112 28 28 144 224 148 360 20 184 380 240 212 380 112 120 24 112 44 36 68 252 264 96 332 76 156 212 100 240 60 300 104 48 292 272 24 172 28 228 160 60 160 176 124 164 196 172 132 140 220 192 172 12 32 56 100 168 260 12 232 244 244 88 144 96 140 24 276 208 48 268 220 208 108 348 40 12 8 136 328 12 24 152 84 112 36 64 168 192 300 156 52 80 92 88 48 52 120 32 120 20 168 136 184 88 188 96 292 340 300 76 328 284 20 332 88 36 172 208 344 404 416 60 368 360 372 300 200 128 12 8 12 276 288 180 184 28 108 8 184 68 32 136 28 48 184 316 176 96 56 20 112 296 72 108 188 40 260 28 16 88 140 280 136 24 48 20 216 120 20 156 136 216 140 360 352 180 392 200 192 84 132 208 56 196 64 24 80 232 192 264 68 160 44 296 20 216 200 104 48 36 156 224 156 300 124 20 356 56 120 60 52 108 68 120 40 120 60 8 288 384 92 344 316 8 152 332 304 60 144 128 164 52 84 196 20 264 252 224 40 160 28 316 148 344 36 20 256 264 340 92 236 364 236 52 116 48 40 148 16 112 200 312 140 52 140 104 96 164 104 152 16 256 276 244 64 220 88 48 32 264 216 64 224 40 8 208 168 20 128 84 92 16 324 228 388 52 336 144 256 4 76 220 284 324 60 56 8 32 124 36 112 48 28 48 324 176 352 80 64 144 8 248 136 224 80 120 88 92 104 192 52 152 168 124 68 104 232 100 196 216 196 156 148 324 36 224 196 268 60 228 240 148 264 60 304 12 52 232 24 92 80 88 48 72 104 100 20 80 348 16 36 168 164 80 148 284 32 184 124 52 264 88 4 192 176 192 144 84 196 40 28 20 88 252 60 52 88 44 152 120 196 72 244 56 36 180 48 220 44 52 100 136 160 284 48 224 196 160 132 48 316 268 116 200 324 272 68 164 248 88 20 60 144 276 328 172 288 40 148 300 </values>
2400.09/2382.31	v </instantiation>
2400.09/2382.31	c Unexpected resolution interruption!

Verifier Data 

OK	141134191

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292757-1532462717/watcher-4292757-1532462717 -o /tmp/evaluation-result-4292757-1532462717/solver-4292757-1532462717 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22096 --watchdog 2560 HOME/xcsp3-exec -seed 504874352 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292757-1532462717.xml 

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

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

solver pid=23571, runsolver pid=23568

[startup+0.100172 s]*
/proc/loadavg: 2.01 2.02 2.05 3/219 23587
/proc/meminfo: memFree=16258360/32770624 swapFree=67108860/67108860
[pid=23571] ppid=23568 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23571/stat : 23571 (xcsp3-exec) S 23568 23571 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 63834920 115843072 364 33554432000 4194304 5098028 140736361925664 140736361923768 140246704853628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20307968 140736361931835 140736361932036 140736361932036 140736361934794 0
/proc/23571/statm: 28282 364 306 221 0 87 0
[pid=23573] ppid=23571 vsize=14082840 memory=29376 CPUtime=0.12 cores=0,2,4,6
/proc/23573/stat : 23573 (java) S 23571 23571 22065 0 -1 1077944320 5690 0 0 0 11 1 0 0 20 0 15 0 63834921 14420828160 7344 33554432000 4194304 4196468 140733598111760 140733598094304 139936847458039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
/proc/23573/statm: 3520710 7344 2999 1 0 3483008 0
[pid=23573/tid=23574] ppid=23571 vsize=14082840 memory=8514701219880730789 CPUtime=0.08 cores=0,2,4,6
/proc/23573/task/23574/stat : 23574 (java) R 23571 23571 22065 0 -1 4202560 3714 0 0 0 8 0 0 0 20 0 15 0 63834921 14420828160 7344 33554432000 4194304 4196468 140733598111760 139936851690400 139936485154096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23575] ppid=23571 vsize=14082840 memory=3472468378413536464 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23575/stat : 23575 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834922 14420828160 7344 33554432000 4194304 4196468 140733598111760 139936443513360 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23576] ppid=23571 vsize=14082840 memory=140249518384768 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23576/stat : 23576 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834922 14420828160 7344 33554432000 4194304 4196468 140733598111760 139936442460816 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23577] ppid=23571 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23577/stat : 23577 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834922 14420828160 7344 33554432000 4194304 4196468 140733598111760 139936441407760 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23578] ppid=23571 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23578/stat : 23578 (java) S 23571 23571 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63834922 14420828160 7344 33554432000 4194304 4196468 140733598111760 139936440355216 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23579] ppid=23571 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23579/stat : 23579 (java) S 23571 23571 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63834923 14420828160 7344 33554432000 4194304 4196468 140733598111760 139935826909936 139936847469186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23580] ppid=23571 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23580/stat : 23580 (java) S 23571 23571 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63834923 14420828160 7344 33554432000 4194304 4196468 140733598111760 139935825856160 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23581] ppid=23571 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23581/stat : 23581 (java) S 23571 23571 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63834924 14420828160 7344 33554432000 4194304 4196468 140733598111760 139935824803056 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23582] ppid=23571 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23582/stat : 23582 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14420828160 7344 33554432000 4194304 4196468 140733598111760 139935823751632 139936847476635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23583] ppid=23571 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23583/stat : 23583 (java) R 23571 23571 22065 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 63834926 14420828160 7344 33554432000 4194304 4196468 140733598111760 139935822698736 139936847469186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23584] ppid=23571 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23584/stat : 23584 (java) S 23571 23571 22065 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 63834926 14420828160 7344 33554432000 4194304 4196468 140733598111760 139935821646192 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23585] ppid=23571 vsize=14082840 memory=140249518384768 CPUtime=0.01 cores=0,2,4,6
/proc/23573/task/23585/stat : 23585 (java) R 23571 23571 22065 0 -1 4202560 244 0 0 0 1 0 0 0 20 0 15 0 63834926 14420828160 7344 33554432000 4194304 4196468 140733598111760 139935820593136 139936847479386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23586] ppid=23571 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23586/stat : 23586 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14420828160 7344 33554432000 4194304 4196468 140733598111760 139935819540832 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23587] ppid=23571 vsize=14082840 memory=140249518384768 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23587/stat : 23587 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834927 14420828160 7344 33554432000 4194304 4196468 140733598111760 139935818488880 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30832 KiB

[startup+0.210745 s]*
/proc/loadavg: 2.01 2.02 2.05 4/219 23587
/proc/meminfo: memFree=16246464/32770624 swapFree=67108860/67108860
[pid=23571] ppid=23568 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23571/stat : 23571 (xcsp3-exec) S 23568 23571 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 63834920 115843072 364 33554432000 4194304 5098028 140736361925664 140736361923768 140246704853628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20307968 140736361931835 140736361932036 140736361932036 140736361934794 0
/proc/23571/statm: 28282 364 306 221 0 87 0
[pid=23573] ppid=23571 vsize=14082840 memory=41080 CPUtime=0.34 cores=0,2,4,6
/proc/23573/stat : 23573 (java) S 23571 23571 22065 0 -1 1077944320 8297 0 0 0 32 2 0 0 20 0 15 0 63834921 14420828160 10270 33554432000 4194304 4196468 140733598111760 140733598094304 139936847458039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
/proc/23573/statm: 3520710 10270 3175 1 0 3483008 0
[pid=23573/tid=23574] ppid=23571 vsize=14082840 memory=4871374705135476842 CPUtime=0.19 cores=0,2,4,6
/proc/23573/task/23574/stat : 23574 (java) R 23571 23571 22065 0 -1 4202560 5448 0 0 0 18 1 0 0 20 0 15 0 63834921 14420828160 10270 33554432000 4194304 4196468 140733598111760 139936851693024 139936831538526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23575] ppid=23571 vsize=14082840 memory=4211973975723175306 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23575/stat : 23575 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834922 14420828160 10270 33554432000 4194304 4196468 140733598111760 139936443513360 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23576] ppid=23571 vsize=14082840 memory=140249518384768 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23576/stat : 23576 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834922 14420828160 10270 33554432000 4194304 4196468 140733598111760 139936442460816 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23577] ppid=23571 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23577/stat : 23577 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834922 14420828160 10270 33554432000 4194304 4196468 140733598111760 139936441407760 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23578] ppid=23571 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23578/stat : 23578 (java) S 23571 23571 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63834922 14420828160 10270 33554432000 4194304 4196468 140733598111760 139936440355216 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23579] ppid=23571 vsize=14082840 memory=140249518384768 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23579/stat : 23579 (java) S 23571 23571 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63834923 14420828160 10270 33554432000 4194304 4196468 140733598111760 139935826909936 139936847469186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23580] ppid=23571 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23580/stat : 23580 (java) S 23571 23571 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63834923 14420828160 10270 33554432000 4194304 4196468 140733598111760 139935825856160 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23581] ppid=23571 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23581/stat : 23581 (java) S 23571 23571 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63834924 14420828160 10270 33554432000 4194304 4196468 140733598111760 139935824803056 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23582] ppid=23571 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23582/stat : 23582 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14420828160 10270 33554432000 4194304 4196468 140733598111760 139935823751632 139936847476635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23583] ppid=23571 vsize=14082840 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23573/task/23583/stat : 23583 (java) S 23571 23571 22065 0 -1 1077944384 668 0 0 0 2 0 0 0 20 0 15 0 63834926 14420828160 10270 33554432000 4194304 4196468 140733598111760 139935822698736 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23584] ppid=23571 vsize=14082840 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23573/task/23584/stat : 23584 (java) S 23571 23571 22065 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 15 0 63834926 14420828160 10270 33554432000 4194304 4196468 140733598111760 139935821646192 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23585] ppid=23571 vsize=14082840 memory=140249518384768 CPUtime=0.07 cores=0,2,4,6
/proc/23573/task/23585/stat : 23585 (java) R 23571 23571 22065 0 -1 4202560 765 0 0 0 7 0 0 0 20 0 15 0 63834926 14420828160 10270 33554432000 4194304 4196468 140733598111760 139935820593136 139936832104832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23586] ppid=23571 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23586/stat : 23586 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14420828160 10270 33554432000 4194304 4196468 140733598111760 139935819540832 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23587] ppid=23571 vsize=14082840 memory=140249518384768 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23587/stat : 23587 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834927 14420828160 10270 33554432000 4194304 4196468 140733598111760 139935818488880 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42536 KiB

[startup+0.316167 s]*
/proc/loadavg: 2.01 2.02 2.05 3/202 23589
/proc/meminfo: memFree=20462036/32770624 swapFree=67108860/67108860
[pid=23571] ppid=23568 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23571/stat : 23571 (xcsp3-exec) S 23568 23571 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 63834920 115843072 364 33554432000 4194304 5098028 140736361925664 140736361923768 140246704853628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20307968 140736361931835 140736361932036 140736361932036 140736361934794 0
/proc/23571/statm: 28282 364 306 221 0 87 0
[pid=23573] ppid=23571 vsize=14087096 memory=48380 CPUtime=0.53 cores=0,2,4,6
/proc/23573/stat : 23573 (java) S 23571 23571 22065 0 -1 1077944320 9255 0 0 0 50 3 0 0 20 0 15 0 63834921 14425186304 12095 33554432000 4194304 4196468 140733598111760 140733598094304 139936847458039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
/proc/23573/statm: 3521774 12095 3219 1 0 3483008 0
[pid=23573/tid=23574] ppid=23571 vsize=14087096 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/23573/task/23574/stat : 23574 (java) R 23571 23571 22065 0 -1 4202560 6215 0 0 0 28 2 0 0 20 0 15 0 63834921 14425186304 12095 33554432000 4194304 4196468 140733598111760 139936851692000 139936831538526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23575] ppid=23571 vsize=14087096 memory=5767624327808375177 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23575/stat : 23575 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834922 14425186304 12095 33554432000 4194304 4196468 140733598111760 139936443513360 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23576] ppid=23571 vsize=14087096 memory=280498924076576 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23576/stat : 23576 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834922 14425186304 12095 33554432000 4194304 4196468 140733598111760 139936442460816 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23577] ppid=23571 vsize=14087096 memory=2110600012835028 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23577/stat : 23577 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834922 14425186304 12095 33554432000 4194304 4196468 140733598111760 139936441407760 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23578] ppid=23571 vsize=14087096 memory=140249405698751 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23578/stat : 23578 (java) S 23571 23571 22065 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63834922 14425186304 12095 33554432000 4194304 4196468 140733598111760 139936440355216 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23579] ppid=23571 vsize=14087096 memory=280498924113776 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23579/stat : 23579 (java) S 23571 23571 22065 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63834923 14425186304 12095 33554432000 4194304 4196468 140733598111760 139935826909936 139936847469186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23580] ppid=23571 vsize=14087096 memory=140249405703359 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23580/stat : 23580 (java) S 23571 23571 22065 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63834923 14425186304 12095 33554432000 4194304 4196468 140733598111760 139935825856160 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23581] ppid=23571 vsize=14087096 memory=280498811249840 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23581/stat : 23581 (java) S 23571 23571 22065 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63834924 14425186304 12095 33554432000 4194304 4196468 140733598111760 139935824803056 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23582] ppid=23571 vsize=14087096 memory=280498811411312 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23582/stat : 23582 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14425186304 12095 33554432000 4194304 4196468 140733598111760 139935823751632 139936847476635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23583] ppid=23571 vsize=14087096 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23573/task/23583/stat : 23583 (java) S 23571 23571 22065 0 -1 1077944384 765 0 0 0 5 0 0 0 20 0 15 0 63834926 14425186304 12095 33554432000 4194304 4196468 140733598111760 139935822698736 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23584] ppid=23571 vsize=14087096 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/23573/task/23584/stat : 23584 (java) S 23571 23571 22065 0 -1 1077944384 120 0 0 0 4 0 0 0 20 0 15 0 63834926 14425186304 12095 33554432000 4194304 4196468 140733598111760 139935821646192 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23585] ppid=23571 vsize=14087096 memory=280498924090448 CPUtime=0.12 cores=0,2,4,6
/proc/23573/task/23585/stat : 23585 (java) S 23571 23571 22065 0 -1 1077944384 850 0 0 0 12 0 0 0 20 0 15 0 63834926 14425186304 12095 33554432000 4194304 4196468 140733598111760 139935820593136 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23586] ppid=23571 vsize=14087096 memory=67 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23586/stat : 23586 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14425186304 12095 33554432000 4194304 4196468 140733598111760 139935819540832 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23587] ppid=23571 vsize=14087096 memory=280498924101968 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23587/stat : 23587 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834927 14425186304 12095 33554432000 4194304 4196468 140733598111760 139935818488880 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49836 KiB

[startup+0.70917 s]
/proc/loadavg: 2.01 2.02 2.05 4/217 23618
/proc/meminfo: memFree=20343140/32770624 swapFree=67108860/67108860
[pid=23571] ppid=23568 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23571/stat : 23571 (xcsp3-exec) S 23568 23571 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 63834920 115843072 364 33554432000 4194304 5098028 140736361925664 140736361923768 140246704853628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20307968 140736361931835 140736361932036 140736361932036 140736361934794 0
/proc/23571/statm: 28282 364 306 221 0 87 0
[pid=23573] ppid=23571 vsize=14087172 memory=301516 CPUtime=1.74 cores=0,2,4,6
/proc/23573/stat : 23573 (java) S 23571 23571 22065 0 -1 1077944320 13973 0 0 0 152 22 0 0 20 0 15 0 63834921 14425264128 75379 33554432000 4194304 4196468 140733598111760 140733598094304 139936847458039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
/proc/23573/statm: 3521793 75379 3329 1 0 3483008 0
[pid=23573/tid=23574] ppid=23571 vsize=14087172 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/23573/task/23574/stat : 23574 (java) R 23571 23571 22065 0 -1 4202560 6584 0 0 0 55 6 0 0 20 0 15 0 63834921 14425264128 75379 33554432000 4194304 4196468 140733598111760 139936851696368 139936485080876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23575] ppid=23571 vsize=14087172 memory=2209 CPUtime=0.05 cores=0,2,4,6
/proc/23573/task/23575/stat : 23575 (java) S 23571 23571 22065 0 -1 1077944384 71 0 0 0 2 3 0 0 20 0 15 0 63834922 14425264128 75379 33554432000 4194304 4196468 140733598111760 139936443513360 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23576] ppid=23571 vsize=14087172 memory=4580 CPUtime=0.05 cores=0,2,4,6
/proc/23573/task/23576/stat : 23576 (java) S 23571 23571 22065 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 15 0 63834922 14425264128 75379 33554432000 4194304 4196468 140733598111760 139936442460816 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23577] ppid=23571 vsize=14087172 memory=6756 CPUtime=0.05 cores=0,2,4,6
/proc/23573/task/23577/stat : 23577 (java) S 23571 23571 22065 0 -1 1077944384 53 0 0 0 2 3 0 0 20 0 15 0 63834922 14425264128 75379 33554432000 4194304 4196468 140733598111760 139936441407760 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23578] ppid=23571 vsize=14087172 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/23573/task/23578/stat : 23578 (java) S 23571 23571 22065 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 63834922 14425264128 75379 33554432000 4194304 4196468 140733598111760 139936440355216 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23579] ppid=23571 vsize=14087172 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23579/stat : 23579 (java) S 23571 23571 22065 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 63834923 14425264128 75379 33554432000 4194304 4196468 140733598111760 139935826909936 139936847469186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23580] ppid=23571 vsize=14087172 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23580/stat : 23580 (java) S 23571 23571 22065 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 63834923 14425264128 75379 33554432000 4194304 4196468 140733598111760 139935825856160 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23581] ppid=23571 vsize=14087172 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23581/stat : 23581 (java) S 23571 23571 22065 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 63834924 14425264128 75379 33554432000 4194304 4196468 140733598111760 139935824803056 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23582] ppid=23571 vsize=14087172 memory=792 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23582/stat : 23582 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14425264128 75379 33554432000 4194304 4196468 140733598111760 139935823751632 139936847476635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23583] ppid=23571 vsize=14087172 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/23573/task/23583/stat : 23583 (java) R 23571 23571 22065 0 -1 4202560 2007 0 0 0 29 0 0 0 20 0 15 0 63834926 14425264128 75379 33554432000 4194304 4196468 140733598111760 139935822679752 139936832581597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23584] ppid=23571 vsize=14087172 memory=280498811499840 CPUtime=0.31 cores=0,2,4,6
/proc/23573/task/23584/stat : 23584 (java) R 23571 23571 22065 0 -1 4202560 1917 0 0 0 31 0 0 0 20 0 15 0 63834926 14425264128 75379 33554432000 4194304 4196468 140733598111760 139935821632296 139936825350071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23585] ppid=23571 vsize=14087172 memory=140249405754128 CPUtime=0.23 cores=0,2,4,6
/proc/23573/task/23585/stat : 23585 (java) R 23571 23571 22065 0 -1 4202560 1842 0 0 0 23 0 0 0 20 0 15 0 63834926 14425264128 75379 33554432000 4194304 4196468 140733598111760 139935820590072 139936826412572 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23586] ppid=23571 vsize=14087172 memory=8396 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23586/stat : 23586 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14425264128 75379 33554432000 4194304 4196468 140733598111760 139935819540832 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23587] ppid=23571 vsize=14087172 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23587/stat : 23587 (java) S 23571 23571 22065 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63834927 14425264128 75379 33554432000 4194304 4196468 140733598111760 139935818488880 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 14200300 KiB
Current children cumulated memory: 302972 KiB

[startup+1.50083 s]
/proc/loadavg: 2.01 2.02 2.05 7/217 23618
/proc/meminfo: memFree=19929656/32770624 swapFree=67108860/67108860
[pid=23571] ppid=23568 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23571/stat : 23571 (xcsp3-exec) S 23568 23571 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 63834920 115843072 364 33554432000 4194304 5098028 140736361925664 140736361923768 140246704853628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20307968 140736361931835 140736361932036 140736361932036 140736361934794 0
/proc/23571/statm: 28282 364 306 221 0 87 0

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

/proc/23573/task/23581/stat : 23581 (java) S 23571 23571 22065 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 63834924 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935824803072 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23582] ppid=23571 vsize=14091268 memory=3255992 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23582/stat : 23582 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935823751632 139936847476635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23583] ppid=23571 vsize=14091268 memory=4140 CPUtime=4.81 cores=0,2,4,6
/proc/23573/task/23583/stat : 23583 (java) S 23571 23571 22065 0 -1 1077944384 41101 0 0 0 478 3 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935822698736 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23584] ppid=23571 vsize=14091268 memory=912 CPUtime=5.03 cores=0,2,4,6
/proc/23573/task/23584/stat : 23584 (java) S 23571 23571 22065 0 -1 1077944384 48583 0 0 0 497 6 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935821646192 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23585] ppid=23571 vsize=14091268 memory=3848 CPUtime=1.16 cores=0,2,4,6
/proc/23573/task/23585/stat : 23585 (java) S 23571 23571 22065 0 -1 1077944384 24923 0 0 0 111 5 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935820593136 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23586] ppid=23571 vsize=14091268 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23586/stat : 23586 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935819540832 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23587] ppid=23571 vsize=14091268 memory=3255992 CPUtime=1.4 cores=0,2,4,6
/proc/23573/task/23587/stat : 23587 (java) S 23571 23571 22065 0 -1 1077944384 3650 0 0 0 75 65 0 0 20 0 15 0 63834927 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935818488880 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
Current children cumulated CPU time: 2340.04 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 3257448 KiB

[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/219 23742
/proc/meminfo: memFree=12986244/32770624 swapFree=67108860/67108860
[pid=23571] ppid=23568 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23571/stat : 23571 (xcsp3-exec) S 23568 23571 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 63834920 115843072 364 33554432000 4194304 5098028 140736361925664 140736361923768 140246704853628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20307968 140736361931835 140736361932036 140736361932036 140736361934794 0
/proc/23571/statm: 28282 364 306 221 0 87 0
[pid=23573] ppid=23571 vsize=14091268 memory=3255992 CPUtime=2400.09 cores=0,2,4,6
/proc/23573/stat : 23573 (java) S 23571 23571 22065 0 -1 1077944320 216770 0 0 0 239749 260 0 0 20 0 15 0 63834921 14429458432 813998 33554432000 4194304 4196468 140733598111760 140733598094304 139936847458039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
/proc/23573/statm: 3522817 813998 3415 1 0 3484032 0
[pid=23573/tid=23574] ppid=23571 vsize=14091268 memory=280498811973312 CPUtime=2380.32 cores=0,2,4,6
/proc/23573/task/23574/stat : 23574 (java) R 23571 23571 22065 0 -1 4202560 82984 0 0 0 237996 36 0 0 20 0 15 0 63834921 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936851696648 139936494831459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23575] ppid=23571 vsize=14091268 memory=3255992 CPUtime=1.77 cores=0,2,4,6
/proc/23573/task/23575/stat : 23575 (java) S 23571 23571 22065 0 -1 1077944384 2007 0 0 0 140 37 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936443513360 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23576] ppid=23571 vsize=14091268 memory=3255992 CPUtime=1.78 cores=0,2,4,6
/proc/23573/task/23576/stat : 23576 (java) S 23571 23571 22065 0 -1 1077944384 2596 0 0 0 140 38 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936442460816 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23577] ppid=23571 vsize=14091268 memory=1456 CPUtime=1.77 cores=0,2,4,6
/proc/23573/task/23577/stat : 23577 (java) S 23571 23571 22065 0 -1 1077944384 2141 0 0 0 137 40 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936441407760 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23578] ppid=23571 vsize=14091268 memory=2200 CPUtime=1.76 cores=0,2,4,6
/proc/23573/task/23578/stat : 23578 (java) S 23571 23571 22065 0 -1 1077944384 1163 0 0 0 138 38 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936440355216 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23579] ppid=23571 vsize=14091268 memory=3255992 CPUtime=0.14 cores=0,2,4,6
/proc/23573/task/23579/stat : 23579 (java) S 23571 23571 22065 0 -1 1077944384 6255 0 0 0 11 3 0 0 20 0 15 0 63834923 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935826909936 139936847469186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23580] ppid=23571 vsize=14091268 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23580/stat : 23580 (java) S 23571 23571 22065 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 63834923 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935825856224 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23581] ppid=23571 vsize=14091268 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23581/stat : 23581 (java) S 23571 23571 22065 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 63834924 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935824803072 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23582] ppid=23571 vsize=14091268 memory=3255992 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23582/stat : 23582 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935823751632 139936847476635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23583] ppid=23571 vsize=14091268 memory=1456 CPUtime=4.81 cores=0,2,4,6
/proc/23573/task/23583/stat : 23583 (java) S 23571 23571 22065 0 -1 1077944384 41107 0 0 0 478 3 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935822698736 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23584] ppid=23571 vsize=14091268 memory=5788 CPUtime=5.03 cores=0,2,4,6
/proc/23573/task/23584/stat : 23584 (java) S 23571 23571 22065 0 -1 1077944384 48586 0 0 0 497 6 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935821646192 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23585] ppid=23571 vsize=14091268 memory=4616 CPUtime=1.16 cores=0,2,4,6
/proc/23573/task/23585/stat : 23585 (java) S 23571 23571 22065 0 -1 1077944384 24929 0 0 0 111 5 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935820593136 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23586] ppid=23571 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23586/stat : 23586 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935819540832 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23587] ppid=23571 vsize=14091268 memory=-3472574513799858009 CPUtime=1.45 cores=0,2,4,6
/proc/23573/task/23587/stat : 23587 (java) S 23571 23571 22065 0 -1 1077944384 3680 0 0 0 78 67 0 0 20 0 15 0 63834927 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935818488880 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 3257448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/219 23742
/proc/meminfo: memFree=12986244/32770624 swapFree=67108860/67108860
[pid=23571] ppid=23568 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23571/stat : 23571 (xcsp3-exec) S 23568 23571 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 63834920 115843072 364 33554432000 4194304 5098028 140736361925664 140736361923768 140246704853628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20307968 140736361931835 140736361932036 140736361932036 140736361934794 0
/proc/23571/statm: 28282 364 306 221 0 87 0
[pid=23573] ppid=23571 vsize=14091268 memory=3255992 CPUtime=2400.09 cores=0,2,4,6
/proc/23573/stat : 23573 (java) S 23571 23571 22065 0 -1 1077944320 216770 0 0 0 239749 260 0 0 20 0 15 0 63834921 14429458432 813998 33554432000 4194304 4196468 140733598111760 140733598094304 139936847458039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
/proc/23573/statm: 3522817 813998 3415 1 0 3484032 0
[pid=23573/tid=23574] ppid=23571 vsize=14091268 memory=280498811973312 CPUtime=2380.32 cores=0,2,4,6
/proc/23573/task/23574/stat : 23574 (java) R 23571 23571 22065 0 -1 4202560 82984 0 0 0 237996 36 0 0 20 0 15 0 63834921 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936851696648 139936494831459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23575] ppid=23571 vsize=14091268 memory=3255992 CPUtime=1.77 cores=0,2,4,6
/proc/23573/task/23575/stat : 23575 (java) S 23571 23571 22065 0 -1 1077944384 2007 0 0 0 140 37 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936443513360 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23576] ppid=23571 vsize=14091268 memory=3255992 CPUtime=1.78 cores=0,2,4,6
/proc/23573/task/23576/stat : 23576 (java) S 23571 23571 22065 0 -1 1077944384 2596 0 0 0 140 38 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936442460816 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23577] ppid=23571 vsize=14091268 memory=1456 CPUtime=1.77 cores=0,2,4,6
/proc/23573/task/23577/stat : 23577 (java) S 23571 23571 22065 0 -1 1077944384 2141 0 0 0 137 40 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936441407760 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23578] ppid=23571 vsize=14091268 memory=2200 CPUtime=1.76 cores=0,2,4,6
/proc/23573/task/23578/stat : 23578 (java) S 23571 23571 22065 0 -1 1077944384 1163 0 0 0 138 38 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936440355216 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23579] ppid=23571 vsize=14091268 memory=3255992 CPUtime=0.14 cores=0,2,4,6
/proc/23573/task/23579/stat : 23579 (java) S 23571 23571 22065 0 -1 1077944384 6255 0 0 0 11 3 0 0 20 0 15 0 63834923 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935826909936 139936847469186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23580] ppid=23571 vsize=14091268 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23580/stat : 23580 (java) S 23571 23571 22065 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 63834923 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935825856224 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23581] ppid=23571 vsize=14091268 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23581/stat : 23581 (java) S 23571 23571 22065 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 63834924 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935824803072 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23582] ppid=23571 vsize=14091268 memory=3255992 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23582/stat : 23582 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935823751632 139936847476635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23583] ppid=23571 vsize=14091268 memory=1456 CPUtime=4.81 cores=0,2,4,6
/proc/23573/task/23583/stat : 23583 (java) S 23571 23571 22065 0 -1 1077944384 41107 0 0 0 478 3 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935822698736 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23584] ppid=23571 vsize=14091268 memory=5788 CPUtime=5.03 cores=0,2,4,6
/proc/23573/task/23584/stat : 23584 (java) S 23571 23571 22065 0 -1 1077944384 48586 0 0 0 497 6 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935821646192 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23585] ppid=23571 vsize=14091268 memory=4616 CPUtime=1.16 cores=0,2,4,6
/proc/23573/task/23585/stat : 23585 (java) S 23571 23571 22065 0 -1 1077944384 24929 0 0 0 111 5 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935820593136 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23586] ppid=23571 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23586/stat : 23586 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935819540832 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23587] ppid=23571 vsize=14091268 memory=-3472574513799858009 CPUtime=1.45 cores=0,2,4,6
/proc/23573/task/23587/stat : 23587 (java) S 23571 23571 22065 0 -1 1077944384 3680 0 0 0 78 67 0 0 20 0 15 0 63834927 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935818488880 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 3257448 KiB

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

[startup+2382.31 s]
# the end of solver process 23571 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001171 s, system=0.001171 s

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

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

[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/219 23742
/proc/meminfo: memFree=12986244/32770624 swapFree=67108860/67108860
[pid=23571] ppid=23568 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/23571/stat : 23571 (xcsp3-exec) S 23568 23571 22065 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 63834920 115843072 364 33554432000 4194304 5098028 140736361925664 140736361923768 140246704853628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20307968 140736361931835 140736361932036 140736361932036 140736361934794 0
/proc/23571/statm: 28282 364 306 221 0 87 0
[pid=23573] ppid=23571 vsize=14091268 memory=3255992 CPUtime=2400.09 cores=0,2,4,6
/proc/23573/stat : 23573 (java) S 23571 23571 22065 0 -1 1077944320 216770 0 0 0 239749 260 0 0 20 0 15 0 63834921 14429458432 813998 33554432000 4194304 4196468 140733598111760 140733598094304 139936847458039 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
/proc/23573/statm: 3522817 813998 3415 1 0 3484032 0
[pid=23573/tid=23574] ppid=23571 vsize=14091268 memory=280498811973312 CPUtime=2380.32 cores=0,2,4,6
/proc/23573/task/23574/stat : 23574 (java) R 23571 23571 22065 0 -1 4202560 82984 0 0 0 237996 36 0 0 20 0 15 0 63834921 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936851696648 139936494831459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23575] ppid=23571 vsize=14091268 memory=3255992 CPUtime=1.77 cores=0,2,4,6
/proc/23573/task/23575/stat : 23575 (java) S 23571 23571 22065 0 -1 1077944384 2007 0 0 0 140 37 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936443513360 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23576] ppid=23571 vsize=14091268 memory=3255992 CPUtime=1.78 cores=0,2,4,6
/proc/23573/task/23576/stat : 23576 (java) S 23571 23571 22065 0 -1 1077944384 2596 0 0 0 140 38 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936442460816 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23577] ppid=23571 vsize=14091268 memory=1456 CPUtime=1.77 cores=0,2,4,6
/proc/23573/task/23577/stat : 23577 (java) S 23571 23571 22065 0 -1 1077944384 2141 0 0 0 137 40 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936441407760 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23578] ppid=23571 vsize=14091268 memory=2200 CPUtime=1.76 cores=0,2,4,6
/proc/23573/task/23578/stat : 23578 (java) S 23571 23571 22065 0 -1 1077944384 1163 0 0 0 138 38 0 0 20 0 15 0 63834922 14429458432 813998 33554432000 4194304 4196468 140733598111760 139936440355216 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23579] ppid=23571 vsize=14091268 memory=3255992 CPUtime=0.14 cores=0,2,4,6
/proc/23573/task/23579/stat : 23579 (java) S 23571 23571 22065 0 -1 1077944384 6255 0 0 0 11 3 0 0 20 0 15 0 63834923 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935826909936 139936847469186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23580] ppid=23571 vsize=14091268 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23580/stat : 23580 (java) S 23571 23571 22065 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 63834923 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935825856224 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23581] ppid=23571 vsize=14091268 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23581/stat : 23581 (java) S 23571 23571 22065 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 63834924 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935824803072 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23582] ppid=23571 vsize=14091268 memory=3255992 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23582/stat : 23582 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935823751632 139936847476635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23583] ppid=23571 vsize=14091268 memory=1456 CPUtime=4.81 cores=0,2,4,6
/proc/23573/task/23583/stat : 23583 (java) S 23571 23571 22065 0 -1 1077944384 41107 0 0 0 478 3 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935822698736 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23584] ppid=23571 vsize=14091268 memory=5788 CPUtime=5.03 cores=0,2,4,6
/proc/23573/task/23584/stat : 23584 (java) S 23571 23571 22065 0 -1 1077944384 48586 0 0 0 497 6 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935821646192 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23585] ppid=23571 vsize=14091268 memory=4616 CPUtime=1.16 cores=0,2,4,6
/proc/23573/task/23585/stat : 23585 (java) S 23571 23571 22065 0 -1 1077944384 24929 0 0 0 111 5 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935820593136 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23586] ppid=23571 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23573/task/23586/stat : 23586 (java) S 23571 23571 22065 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63834926 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935819540832 139936847468245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
[pid=23573/tid=23587] ppid=23571 vsize=14091268 memory=-3472574513799858009 CPUtime=1.45 cores=0,2,4,6
/proc/23573/task/23587/stat : 23587 (java) S 23571 23571 22065 0 -1 1077944384 3680 0 0 0 78 67 0 0 20 0 15 0 63834927 14429458432 813998 33554432000 4194304 4196468 140733598111760 139935818488880 139936847469186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140733598114945 140733598115121 140733598115121 140733598117839 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 3257448 KiB

Child status: 143
Real time (s): 2382.33
CPU time (s): 2400.13
CPU user time (s): 2397.5
CPU system time (s): 2.62269
CPU usage (%): 100.747
Max. virtual memory (cumulated for all children) (KiB): 14206236
Max. memory (cumulated for all children) (KiB): 3264016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.5
system time used= 2.62269
maximum resident set size= 3263088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56189
involuntary context switches= 3117


# summary of solver processes directly reported to runsolver:
#   pid: 23571,23573
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2397.5
#   total CPU system time (s): 2.62269

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6157 second user time and 23.8896 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-24 22:05:17
IDJOB=4292757
IDBENCH=141264
IDSOLVER=2747
FILE ID=node103/4292757-1532462717
RUNJOBID= node103-1532448430-22096
PBS_JOBID= 21021580
Free space on /tmp= 56536 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-02-0250_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292757-1532462717/watcher-4292757-1532462717 -o /tmp/evaluation-result-4292757-1532462717/solver-4292757-1532462717 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532448430-22096 --watchdog 2560  HOME/xcsp3-exec -seed 504874352 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292757-1532462717.xml

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

MD5SUM BENCH= 9ab3e648243ddfeac66c66819bd63413
RANDOM SEED=504874352

node103.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.48
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.48
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.48
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.48
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:        16274784 kB
MemAvailable:   27715648 kB
Buffers:          270492 kB
Cached:         11354604 kB
SwapCached:            0 kB
Active:          7895292 kB
Inactive:        7999756 kB
Active(anon):    4272288 kB
Inactive(anon):    16996 kB
Active(file):    3623004 kB
Inactive(file):  7982760 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             88408 kB
Writeback:             0 kB
AnonPages:       4276244 kB
Mapped:            51460 kB
Shmem:             17036 kB
Slab:             291068 kB
SReclaimable:     263560 kB
SUnreclaim:        27508 kB
KernelStack:        3552 kB
PageTables:        14208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6254432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4141056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56496 MiB
End job on node103 at 2018-07-24 22:45:00