Trace number 4307051

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.7b seq (e747e1e)SAT (TO)141134191 2520.05 2501.63

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-4307051-1534084720.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4307051-1534084720.xml, -tl, 2520s, -p, 1]
0.12/0.21	c simple solver
0.33/0.28	c parse instance...
22.65/12.50	c solve instance...
546.65/532.49	o 221805898 
546.81/532.51	o 221805897 
547.41/532.73	o 221805894 
933.21/916.45	o 141134191 
2520.00/2501.60	s SATISFIABLE
2520.00/2501.60	v <instantiation>
2520.00/2501.60	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>
2520.00/2501.60	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>
2520.00/2501.61	v </instantiation>
2520.00/2501.61	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 (1535 MiB free)
  memory of node 1: 16384 MiB (6751 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307051-1534084720/watcher-4307051-1534084720 -o /tmp/evaluation-result-4307051-1534084720/solver-4307051-1534084720 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25232 --watchdog 2580 HOME/xcsp3-exec -seed 1685846464 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307051-1534084720.xml 

running on 4 cores: 1,3,5,7

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

solver pid=27693, runsolver pid=27690

[startup+0.100163 s]*
/proc/loadavg: 2.01 2.02 2.04 4/217 27709
/proc/meminfo: memFree=8466076/32770624 swapFree=67108380/67108860
[pid=27693] ppid=27690 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27693/stat : 27693 (xcsp3-exec) S 27690 27693 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226035158 115843072 364 33554432000 4194304 5098028 140736193149616 140736193147720 140033895223932 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11173888 140736193152058 140736193152260 140736193152260 140736193155018 0
/proc/27693/statm: 28282 364 306 221 0 87 0
[pid=27695] ppid=27693 vsize=14082940 memory=31260 CPUtime=0.12 cores=1,3,5,7
/proc/27695/stat : 27695 (java) S 27693 27693 25200 0 -1 1077944320 5746 0 0 0 11 1 0 0 20 0 15 0 226035158 14420930560 7815 33554432000 4194304 4196468 140733932046352 140733932028896 140474418765559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
/proc/27695/statm: 3520735 7815 2992 1 0 3483012 0
[pid=27695/tid=27696] ppid=27693 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27695/task/27696/stat : 27696 (java) R 27693 27693 25200 0 -1 4202560 3747 0 0 0 8 1 0 0 20 0 15 0 226035159 14420930560 7815 33554432000 4194304 4196468 140733932046352 140474422997824 140474418777494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27697] ppid=27693 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27697/stat : 27697 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035160 14420930560 7815 33554432000 4194304 4196468 140733932046352 140474356365584 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27698] ppid=27693 vsize=14082940 memory=140243777554048 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27698/stat : 27698 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035160 14420930560 7815 33554432000 4194304 4196468 140733932046352 140474013194640 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27699] ppid=27693 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27699/stat : 27699 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035160 14420930560 7815 33554432000 4194304 4196468 140733932046352 140474012142096 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27700] ppid=27693 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27700/stat : 27700 (java) S 27693 27693 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226035160 14420930560 7815 33554432000 4194304 4196468 140733932046352 140474011089552 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27701] ppid=27693 vsize=14082940 memory=140243777554048 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27701/stat : 27701 (java) S 27693 27693 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226035161 14420930560 7815 33554432000 4194304 4196468 140733932046352 140473960180208 140474418776706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27702] ppid=27693 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27702/stat : 27702 (java) S 27693 27693 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226035161 14420930560 7815 33554432000 4194304 4196468 140733932046352 140473959126432 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27703] ppid=27693 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27703/stat : 27703 (java) S 27693 27693 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226035161 14420930560 7815 33554432000 4194304 4196468 140733932046352 140473958073840 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27704] ppid=27693 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27704/stat : 27704 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14420930560 7815 33554432000 4194304 4196468 140733932046352 140473957022416 140474418784155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27705] ppid=27693 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27705/stat : 27705 (java) S 27693 27693 25200 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 226035164 14420930560 7815 33554432000 4194304 4196468 140733932046352 140473955969008 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27706] ppid=27693 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27706/stat : 27706 (java) S 27693 27693 25200 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 226035164 14420930560 7815 33554432000 4194304 4196468 140733932046352 140473954916464 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27707] ppid=27693 vsize=14082940 memory=140243777554048 CPUtime=0.01 cores=1,3,5,7
/proc/27695/task/27707/stat : 27707 (java) R 27693 27693 25200 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 226035164 14420930560 7815 33554432000 4194304 4196468 140733932046352 140473953863920 140474418786906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27708] ppid=27693 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27708/stat : 27708 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14420930560 7815 33554432000 4194304 4196468 140733932046352 140473255848544 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27709] ppid=27693 vsize=14082940 memory=140243777554048 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27709/stat : 27709 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035164 14420930560 7815 33554432000 4194304 4196468 140733932046352 140473254796080 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 32716 KiB

[startup+0.210828 s]*
/proc/loadavg: 2.01 2.02 2.04 4/217 27709
/proc/meminfo: memFree=8410492/32770624 swapFree=67108380/67108860
[pid=27693] ppid=27690 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27693/stat : 27693 (xcsp3-exec) S 27690 27693 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226035158 115843072 364 33554432000 4194304 5098028 140736193149616 140736193147720 140033895223932 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11173888 140736193152058 140736193152260 140736193152260 140736193155018 0
/proc/27693/statm: 28282 364 306 221 0 87 0
[pid=27695] ppid=27693 vsize=14082940 memory=43060 CPUtime=0.33 cores=1,3,5,7
/proc/27695/stat : 27695 (java) S 27693 27693 25200 0 -1 1077944320 8312 0 0 0 31 2 0 0 20 0 15 0 226035158 14420930560 10765 33554432000 4194304 4196468 140733932046352 140733932028896 140474418765559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
/proc/27695/statm: 3520735 10765 3209 1 0 3483012 0
[pid=27695/tid=27696] ppid=27693 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/27695/task/27696/stat : 27696 (java) R 27693 27693 25200 0 -1 4202560 5449 0 0 0 18 1 0 0 20 0 15 0 226035159 14420930560 10765 33554432000 4194304 4196468 140733932046352 140474423000544 140474402846046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27697] ppid=27693 vsize=14082940 memory=11498 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27697/stat : 27697 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035160 14420930560 10765 33554432000 4194304 4196468 140733932046352 140474356365584 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27698] ppid=27693 vsize=14082940 memory=140243777579549 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27698/stat : 27698 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035160 14420930560 10765 33554432000 4194304 4196468 140733932046352 140474013194640 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27699] ppid=27693 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27699/stat : 27699 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035160 14420930560 10765 33554432000 4194304 4196468 140733932046352 140474012142096 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27700] ppid=27693 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27700/stat : 27700 (java) S 27693 27693 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226035160 14420930560 10765 33554432000 4194304 4196468 140733932046352 140474011089552 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27701] ppid=27693 vsize=14082940 memory=140243777554048 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27701/stat : 27701 (java) S 27693 27693 25200 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 226035161 14420930560 10765 33554432000 4194304 4196468 140733932046352 140473960180208 140474418776706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27702] ppid=27693 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27702/stat : 27702 (java) S 27693 27693 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226035161 14420930560 10765 33554432000 4194304 4196468 140733932046352 140473959126432 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27703] ppid=27693 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27703/stat : 27703 (java) S 27693 27693 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226035161 14420930560 10765 33554432000 4194304 4196468 140733932046352 140473958073840 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27704] ppid=27693 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27704/stat : 27704 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14420930560 10765 33554432000 4194304 4196468 140733932046352 140473957022416 140474418784155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27705] ppid=27693 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27695/task/27705/stat : 27705 (java) S 27693 27693 25200 0 -1 1077944384 604 0 0 0 2 0 0 0 20 0 15 0 226035164 14420930560 10765 33554432000 4194304 4196468 140733932046352 140473955969008 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27706] ppid=27693 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27695/task/27706/stat : 27706 (java) S 27693 27693 25200 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 226035164 14420930560 10765 33554432000 4194304 4196468 140733932046352 140473954916464 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27707] ppid=27693 vsize=14082940 memory=140243777554048 CPUtime=0.07 cores=1,3,5,7
/proc/27695/task/27707/stat : 27707 (java) S 27693 27693 25200 0 -1 1077944384 786 0 0 0 7 0 0 0 20 0 15 0 226035164 14420930560 10765 33554432000 4194304 4196468 140733932046352 140473953863920 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27708] ppid=27693 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27708/stat : 27708 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14420930560 10765 33554432000 4194304 4196468 140733932046352 140473255848544 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27709] ppid=27693 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27709/stat : 27709 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035164 14420930560 10765 33554432000 4194304 4196468 140733932046352 140473254796080 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 44516 KiB

[startup+0.316792 s]*
/proc/loadavg: 2.01 2.02 2.04 4/217 27709
/proc/meminfo: memFree=8404800/32770624 swapFree=67108380/67108860
[pid=27693] ppid=27690 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27693/stat : 27693 (xcsp3-exec) S 27690 27693 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226035158 115843072 364 33554432000 4194304 5098028 140736193149616 140736193147720 140033895223932 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11173888 140736193152058 140736193152260 140736193152260 140736193155018 0
/proc/27693/statm: 28282 364 306 221 0 87 0
[pid=27695] ppid=27693 vsize=14087196 memory=50384 CPUtime=0.53 cores=1,3,5,7
/proc/27695/stat : 27695 (java) S 27693 27693 25200 0 -1 1077944320 9260 0 0 0 50 3 0 0 20 0 15 0 226035158 14425288704 12596 33554432000 4194304 4196468 140733932046352 140733932028896 140474418765559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
/proc/27695/statm: 3521799 12596 3263 1 0 3483012 0
[pid=27695/tid=27696] ppid=27693 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/27695/task/27696/stat : 27696 (java) R 27693 27693 25200 0 -1 4202560 6193 0 0 0 28 2 0 0 20 0 15 0 226035159 14425288704 12596 33554432000 4194304 4196468 140733932046352 140474422996672 140474418787485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27697] ppid=27693 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27697/stat : 27697 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035160 14425288704 12596 33554432000 4194304 4196468 140733932046352 140474356365584 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27698] ppid=27693 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27698/stat : 27698 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035160 14425288704 12596 33554432000 4194304 4196468 140733932046352 140474013194640 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27699] ppid=27693 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27699/stat : 27699 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035160 14425288704 12596 33554432000 4194304 4196468 140733932046352 140474012142096 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27700] ppid=27693 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27700/stat : 27700 (java) S 27693 27693 25200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226035160 14425288704 12596 33554432000 4194304 4196468 140733932046352 140474011089552 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27701] ppid=27693 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27701/stat : 27701 (java) S 27693 27693 25200 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 226035161 14425288704 12596 33554432000 4194304 4196468 140733932046352 140473960180208 140474418776706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27702] ppid=27693 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27702/stat : 27702 (java) S 27693 27693 25200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226035161 14425288704 12596 33554432000 4194304 4196468 140733932046352 140473959126432 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27703] ppid=27693 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27703/stat : 27703 (java) S 27693 27693 25200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226035161 14425288704 12596 33554432000 4194304 4196468 140733932046352 140473958073840 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27704] ppid=27693 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27704/stat : 27704 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14425288704 12596 33554432000 4194304 4196468 140733932046352 140473957022416 140474418784155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27705] ppid=27693 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/27695/task/27705/stat : 27705 (java) S 27693 27693 25200 0 -1 1077944384 623 0 0 0 4 0 0 0 20 0 15 0 226035164 14425288704 12596 33554432000 4194304 4196468 140733932046352 140473955969008 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27706] ppid=27693 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27695/task/27706/stat : 27706 (java) S 27693 27693 25200 0 -1 1077944384 271 0 0 0 5 0 0 0 20 0 15 0 226035164 14425288704 12596 33554432000 4194304 4196468 140733932046352 140473954916464 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27707] ppid=27693 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27695/task/27707/stat : 27707 (java) R 27693 27693 25200 0 -1 4202560 864 0 0 0 12 0 0 0 20 0 15 0 226035164 14425288704 12596 33554432000 4194304 4196468 140733932046352 140473953863920 140474418777494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27708] ppid=27693 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27708/stat : 27708 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14425288704 12596 33554432000 4194304 4196468 140733932046352 140473255848544 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27709] ppid=27693 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27709/stat : 27709 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035164 14425288704 12596 33554432000 4194304 4196468 140733932046352 140473254796080 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 51840 KiB

[startup+0.701832 s]
/proc/loadavg: 2.25 2.07 2.06 4/217 27709
/proc/meminfo: memFree=8309700/32770624 swapFree=67108380/67108860
[pid=27693] ppid=27690 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27693/stat : 27693 (xcsp3-exec) S 27690 27693 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226035158 115843072 364 33554432000 4194304 5098028 140736193149616 140736193147720 140033895223932 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11173888 140736193152058 140736193152260 140736193152260 140736193155018 0
/proc/27693/statm: 28282 364 306 221 0 87 0
[pid=27695] ppid=27693 vsize=14087272 memory=298044 CPUtime=1.65 cores=1,3,5,7
/proc/27695/stat : 27695 (java) S 27693 27693 25200 0 -1 1077944320 13108 0 0 0 144 21 0 0 20 0 15 0 226035158 14425366528 74511 33554432000 4194304 4196468 140733932046352 140733932028896 140474418765559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
/proc/27695/statm: 3521818 74511 3352 1 0 3483012 0
[pid=27695/tid=27696] ppid=27693 vsize=14087272 memory=1752 CPUtime=0.6 cores=1,3,5,7
/proc/27695/task/27696/stat : 27696 (java) R 27693 27693 25200 0 -1 4202560 6559 0 0 0 54 6 0 0 20 0 15 0 226035159 14425366528 74511 33554432000 4194304 4196468 140733932046352 140474422987968 140474036968107 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27697] ppid=27693 vsize=14087272 memory=5752 CPUtime=0.06 cores=1,3,5,7
/proc/27695/task/27697/stat : 27697 (java) S 27693 27693 25200 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 226035160 14425366528 74511 33554432000 4194304 4196468 140733932046352 140474356365584 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27698] ppid=27693 vsize=14087272 memory=4580 CPUtime=0.06 cores=1,3,5,7
/proc/27695/task/27698/stat : 27698 (java) S 27693 27693 25200 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 226035160 14425366528 74511 33554432000 4194304 4196468 140733932046352 140474013194640 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27699] ppid=27693 vsize=14087272 memory=1620 CPUtime=0.04 cores=1,3,5,7
/proc/27695/task/27699/stat : 27699 (java) S 27693 27693 25200 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 15 0 226035160 14425366528 74511 33554432000 4194304 4196468 140733932046352 140474012142096 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27700] ppid=27693 vsize=14087272 memory=1220 CPUtime=0.06 cores=1,3,5,7
/proc/27695/task/27700/stat : 27700 (java) S 27693 27693 25200 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 226035160 14425366528 74511 33554432000 4194304 4196468 140733932046352 140474011089552 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27701] ppid=27693 vsize=14087272 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27701/stat : 27701 (java) S 27693 27693 25200 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 226035161 14425366528 74511 33554432000 4194304 4196468 140733932046352 140473960180208 140474418776706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27702] ppid=27693 vsize=14087272 memory=868 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27702/stat : 27702 (java) S 27693 27693 25200 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 226035161 14425366528 74511 33554432000 4194304 4196468 140733932046352 140473959126432 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27703] ppid=27693 vsize=14087272 memory=7336 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27703/stat : 27703 (java) S 27693 27693 25200 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 226035161 14425366528 74511 33554432000 4194304 4196468 140733932046352 140473958073840 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27704] ppid=27693 vsize=14087272 memory=11628 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27704/stat : 27704 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14425366528 74511 33554432000 4194304 4196468 140733932046352 140473957022416 140474418784155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27705] ppid=27693 vsize=14087272 memory=752 CPUtime=0.31 cores=1,3,5,7
/proc/27695/task/27705/stat : 27705 (java) R 27693 27693 25200 0 -1 4202560 2204 0 0 0 31 0 0 0 20 0 15 0 226035164 14425366528 74511 33554432000 4194304 4196468 140733932046352 140473955960288 140474402322884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27706] ppid=27693 vsize=14087272 memory=1276 CPUtime=0.23 cores=1,3,5,7
/proc/27695/task/27706/stat : 27706 (java) R 27693 27693 25200 0 -1 4202560 1129 0 0 0 23 0 0 0 20 0 15 0 226035164 14425366528 74511 33554432000 4194304 4196468 140733932046352 140473954896824 140474403159316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27707] ppid=27693 vsize=14087272 memory=1068 CPUtime=0.22 cores=1,3,5,7
/proc/27695/task/27707/stat : 27707 (java) R 27693 27693 25200 0 -1 4202560 1594 0 0 0 22 0 0 0 20 0 15 0 226035164 14425366528 74511 33554432000 4194304 4196468 140733932046352 140473953860888 140474397697806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27708] ppid=27693 vsize=14087272 memory=15080 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27708/stat : 27708 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14425366528 74511 33554432000 4194304 4196468 140733932046352 140473255848544 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27709] ppid=27693 vsize=14087272 memory=34256 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27709/stat : 27709 (java) S 27693 27693 25200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226035164 14425366528 74511 33554432000 4194304 4196468 140733932046352 140473254796080 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 14200400 KiB
Current children cumulated memory: 299500 KiB

[startup+1.50092 s]
/proc/loadavg: 2.25 2.07 2.06 5/217 27709
/proc/meminfo: memFree=8161316/32770624 swapFree=67108380/67108860
[pid=27693] ppid=27690 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27693/stat : 27693 (xcsp3-exec) S 27690 27693 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226035158 115843072 364 33554432000 4194304 5098028 140736193149616 140736193147720 140033895223932 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11173888 140736193152058 140736193152260 140736193152260 140736193155018 0
/proc/27693/statm: 28282 364 306 221 0 87 0

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

/proc/27695/task/27703/stat : 27703 (java) S 27693 27693 25200 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473958073856 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27704] ppid=27693 vsize=14091368 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27704/stat : 27704 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473957022416 140474418784155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27705] ppid=27693 vsize=14091368 memory=868 CPUtime=4.48 cores=1,3,5,7
/proc/27695/task/27705/stat : 27705 (java) S 27693 27693 25200 0 -1 1077944384 41979 0 0 0 443 5 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473955969008 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27706] ppid=27693 vsize=14091368 memory=1456 CPUtime=5.49 cores=1,3,5,7
/proc/27695/task/27706/stat : 27706 (java) S 27693 27693 25200 0 -1 1077944384 54540 0 0 0 544 5 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473954916464 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27707] ppid=27693 vsize=14091368 memory=3265460 CPUtime=1.09 cores=1,3,5,7
/proc/27695/task/27707/stat : 27707 (java) S 27693 27693 25200 0 -1 1077944384 28806 0 0 0 106 3 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473953863920 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27708] ppid=27693 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27708/stat : 27708 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473255848544 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27709] ppid=27693 vsize=14091368 memory=1456 CPUtime=1.31 cores=1,3,5,7
/proc/27695/task/27709/stat : 27709 (java) S 27693 27693 25200 0 -1 1077944384 3206 0 0 0 57 74 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473254796080 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
Current children cumulated CPU time: 2340.58 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3266916 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/217 27886
/proc/meminfo: memFree=4704080/32770624 swapFree=67108380/67108860
[pid=27693] ppid=27690 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27693/stat : 27693 (xcsp3-exec) S 27690 27693 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226035158 115843072 364 33554432000 4194304 5098028 140736193149616 140736193147720 140033895223932 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11173888 140736193152058 140736193152260 140736193152260 140736193155018 0
/proc/27693/statm: 28282 364 306 221 0 87 0
[pid=27695] ppid=27693 vsize=14091368 memory=3265460 CPUtime=2400.63 cores=1,3,5,7
/proc/27695/stat : 27695 (java) S 27693 27693 25200 0 -1 1077944320 224283 0 0 0 239786 277 0 0 20 0 15 0 226035158 14429560832 816365 33554432000 4194304 4196468 140733932046352 140733932028896 140474418765559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
/proc/27695/statm: 3522842 816365 3438 1 0 3484036 0
[pid=27695/tid=27696] ppid=27693 vsize=14091368 memory=1456 CPUtime=2380.25 cores=1,3,5,7
/proc/27695/task/27696/stat : 27696 (java) R 27693 27693 25200 0 -1 4202560 80530 0 0 0 237985 40 0 0 20 0 15 0 226035159 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474423004168 140474044571815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27697] ppid=27693 vsize=14091368 memory=3265460 CPUtime=1.94 cores=1,3,5,7
/proc/27695/task/27697/stat : 27697 (java) S 27693 27693 25200 0 -1 1077944384 1643 0 0 0 156 38 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474356365584 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27698] ppid=27693 vsize=14091368 memory=3265460 CPUtime=1.93 cores=1,3,5,7
/proc/27695/task/27698/stat : 27698 (java) S 27693 27693 25200 0 -1 1077944384 1865 0 0 0 154 39 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474013194640 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27699] ppid=27693 vsize=14091368 memory=1456 CPUtime=1.92 cores=1,3,5,7
/proc/27695/task/27699/stat : 27699 (java) S 27693 27693 25200 0 -1 1077944384 1857 0 0 0 153 39 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474012142096 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27700] ppid=27693 vsize=14091368 memory=3265460 CPUtime=1.94 cores=1,3,5,7
/proc/27695/task/27700/stat : 27700 (java) S 27693 27693 25200 0 -1 1077944384 1957 0 0 0 154 40 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474011089552 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27701] ppid=27693 vsize=14091368 memory=3265460 CPUtime=0.14 cores=1,3,5,7
/proc/27695/task/27701/stat : 27701 (java) S 27693 27693 25200 0 -1 1077944384 6492 0 0 0 11 3 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473960180208 140474418776706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27702] ppid=27693 vsize=14091368 memory=3265460 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27702/stat : 27702 (java) S 27693 27693 25200 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473959126496 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27703] ppid=27693 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27703/stat : 27703 (java) S 27693 27693 25200 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473958073856 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27704] ppid=27693 vsize=14091368 memory=3265460 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27704/stat : 27704 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473957022416 140474418784155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27705] ppid=27693 vsize=14091368 memory=3265460 CPUtime=4.48 cores=1,3,5,7
/proc/27695/task/27705/stat : 27705 (java) S 27693 27693 25200 0 -1 1077944384 41983 0 0 0 443 5 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473955969008 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27706] ppid=27693 vsize=14091368 memory=1456 CPUtime=5.49 cores=1,3,5,7
/proc/27695/task/27706/stat : 27706 (java) S 27693 27693 25200 0 -1 1077944384 54554 0 0 0 544 5 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473954916464 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27707] ppid=27693 vsize=14091368 memory=1456 CPUtime=1.09 cores=1,3,5,7
/proc/27695/task/27707/stat : 27707 (java) S 27693 27693 25200 0 -1 1077944384 28812 0 0 0 106 3 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473953863920 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27708] ppid=27693 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27708/stat : 27708 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473255848544 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27709] ppid=27693 vsize=14091368 memory=1456 CPUtime=1.35 cores=1,3,5,7
/proc/27695/task/27709/stat : 27709 (java) S 27693 27693 25200 0 -1 1077944384 3267 0 0 0 59 76 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473254796080 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
Current children cumulated CPU time: 2400.63 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3266916 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/217 27887
/proc/meminfo: memFree=4703628/32770624 swapFree=67108380/67108860
[pid=27693] ppid=27690 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27693/stat : 27693 (xcsp3-exec) S 27690 27693 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226035158 115843072 364 33554432000 4194304 5098028 140736193149616 140736193147720 140033895223932 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11173888 140736193152058 140736193152260 140736193152260 140736193155018 0
/proc/27693/statm: 28282 364 306 221 0 87 0
[pid=27695] ppid=27693 vsize=14091368 memory=3265460 CPUtime=2460.66 cores=1,3,5,7
/proc/27695/stat : 27695 (java) S 27693 27693 25200 0 -1 1077944320 225775 0 0 0 245787 279 0 0 20 0 15 0 226035158 14429560832 816365 33554432000 4194304 4196468 140733932046352 140733932028896 140474418765559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
/proc/27695/statm: 3522842 816365 3438 1 0 3484036 0
[pid=27695/tid=27696] ppid=27693 vsize=14091368 memory=3265460 CPUtime=2440.25 cores=1,3,5,7
/proc/27695/task/27696/stat : 27696 (java) R 27693 27693 25200 0 -1 4202560 81968 0 0 0 243985 40 0 0 20 0 15 0 226035159 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474423004168 140474044301511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27697] ppid=27693 vsize=14091368 memory=3265460 CPUtime=1.94 cores=1,3,5,7
/proc/27695/task/27697/stat : 27697 (java) S 27693 27693 25200 0 -1 1077944384 1643 0 0 0 156 38 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474356365584 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27698] ppid=27693 vsize=14091368 memory=3265460 CPUtime=1.93 cores=1,3,5,7
/proc/27695/task/27698/stat : 27698 (java) S 27693 27693 25200 0 -1 1077944384 1865 0 0 0 154 39 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474013194640 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27699] ppid=27693 vsize=14091368 memory=3265460 CPUtime=1.92 cores=1,3,5,7
/proc/27695/task/27699/stat : 27699 (java) S 27693 27693 25200 0 -1 1077944384 1857 0 0 0 153 39 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474012142096 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27700] ppid=27693 vsize=14091368 memory=3265460 CPUtime=1.94 cores=1,3,5,7
/proc/27695/task/27700/stat : 27700 (java) S 27693 27693 25200 0 -1 1077944384 1957 0 0 0 154 40 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474011089552 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27701] ppid=27693 vsize=14091368 memory=1456 CPUtime=0.14 cores=1,3,5,7
/proc/27695/task/27701/stat : 27701 (java) S 27693 27693 25200 0 -1 1077944384 6501 0 0 0 11 3 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473960180208 140474418776706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27702] ppid=27693 vsize=14091368 memory=2768 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27702/stat : 27702 (java) S 27693 27693 25200 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473959126496 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27703] ppid=27693 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27703/stat : 27703 (java) S 27693 27693 25200 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473958073856 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27704] ppid=27693 vsize=14091368 memory=3265460 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27704/stat : 27704 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473957022416 140474418784155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27705] ppid=27693 vsize=14091368 memory=3816 CPUtime=4.48 cores=1,3,5,7
/proc/27695/task/27705/stat : 27705 (java) S 27693 27693 25200 0 -1 1077944384 41986 0 0 0 443 5 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473955969008 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27706] ppid=27693 vsize=14091368 memory=7336 CPUtime=5.49 cores=1,3,5,7
/proc/27695/task/27706/stat : 27706 (java) S 27693 27693 25200 0 -1 1077944384 54562 0 0 0 544 5 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473954916464 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27707] ppid=27693 vsize=14091368 memory=11628 CPUtime=1.1 cores=1,3,5,7
/proc/27695/task/27707/stat : 27707 (java) S 27693 27693 25200 0 -1 1077944384 28816 0 0 0 106 4 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473953863920 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27708] ppid=27693 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27708/stat : 27708 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473255848544 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27709] ppid=27693 vsize=14091368 memory=3265460 CPUtime=1.38 cores=1,3,5,7
/proc/27695/task/27709/stat : 27709 (java) S 27693 27693 25200 0 -1 1077944384 3297 0 0 0 60 78 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473254796080 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
Current children cumulated CPU time: 2460.66 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3266916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2501.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/218 27896
/proc/meminfo: memFree=4702944/32770624 swapFree=67108380/67108860
[pid=27693] ppid=27690 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27693/stat : 27693 (xcsp3-exec) S 27690 27693 25200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 226035158 115843072 364 33554432000 4194304 5098028 140736193149616 140736193147720 140033895223932 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 11173888 140736193152058 140736193152260 140736193152260 140736193155018 0
/proc/27693/statm: 28282 364 306 221 0 87 0
[pid=27695] ppid=27693 vsize=14091368 memory=3265460 CPUtime=2520 cores=1,3,5,7
/proc/27695/stat : 27695 (java) S 27693 27693 25200 0 -1 1077944320 227070 0 0 0 251720 280 0 0 20 0 15 0 226035158 14429560832 816365 33554432000 4194304 4196468 140733932046352 140733932028896 140474418765559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
/proc/27695/statm: 3522842 816365 3438 1 0 3484036 0
[pid=27695/tid=27696] ppid=27693 vsize=14091368 memory=6791534058613427641 CPUtime=2499.55 cores=1,3,5,7
/proc/27695/task/27696/stat : 27696 (java) R 27693 27693 25200 0 -1 4202560 83201 0 0 0 249915 40 0 0 20 0 15 0 226035159 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474423004168 140474044571815 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27697] ppid=27693 vsize=14091368 memory=2144 CPUtime=1.94 cores=1,3,5,7
/proc/27695/task/27697/stat : 27697 (java) S 27693 27693 25200 0 -1 1077944384 1643 0 0 0 156 38 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474356365584 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27698] ppid=27693 vsize=14091368 memory=1752 CPUtime=1.93 cores=1,3,5,7
/proc/27695/task/27698/stat : 27698 (java) S 27693 27693 25200 0 -1 1077944384 1865 0 0 0 154 39 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474013194640 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27699] ppid=27693 vsize=14091368 memory=5752 CPUtime=1.92 cores=1,3,5,7
/proc/27695/task/27699/stat : 27699 (java) S 27693 27693 25200 0 -1 1077944384 1857 0 0 0 153 39 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474012142096 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27700] ppid=27693 vsize=14091368 memory=4580 CPUtime=1.94 cores=1,3,5,7
/proc/27695/task/27700/stat : 27700 (java) S 27693 27693 25200 0 -1 1077944384 1957 0 0 0 154 40 0 0 20 0 15 0 226035160 14429560832 816365 33554432000 4194304 4196468 140733932046352 140474011089552 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27701] ppid=27693 vsize=14091368 memory=1456 CPUtime=0.14 cores=1,3,5,7
/proc/27695/task/27701/stat : 27701 (java) S 27693 27693 25200 0 -1 1077944384 6524 0 0 0 11 3 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473960180208 140474418776706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27702] ppid=27693 vsize=14091368 memory=3265460 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27702/stat : 27702 (java) S 27693 27693 25200 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473959126496 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27703] ppid=27693 vsize=14091368 memory=1068 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27703/stat : 27703 (java) S 27693 27693 25200 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 226035161 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473958073856 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27704] ppid=27693 vsize=14091368 memory=15080 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27704/stat : 27704 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473957022416 140474418784155 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27705] ppid=27693 vsize=14091368 memory=34296 CPUtime=4.48 cores=1,3,5,7
/proc/27695/task/27705/stat : 27705 (java) S 27693 27693 25200 0 -1 1077944384 41989 0 0 0 443 5 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473955969008 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27706] ppid=27693 vsize=14091368 memory=13808 CPUtime=5.49 cores=1,3,5,7
/proc/27695/task/27706/stat : 27706 (java) S 27693 27693 25200 0 -1 1077944384 54570 0 0 0 544 5 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473954916464 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27707] ppid=27693 vsize=14091368 memory=1456 CPUtime=1.1 cores=1,3,5,7
/proc/27695/task/27707/stat : 27707 (java) S 27693 27693 25200 0 -1 1077944384 28820 0 0 0 106 4 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473953863920 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27708] ppid=27693 vsize=14091368 memory=3265460 CPUtime=0 cores=1,3,5,7
/proc/27695/task/27708/stat : 27708 (java) S 27693 27693 25200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473255848544 140474418775765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
[pid=27695/tid=27709] ppid=27693 vsize=14091368 memory=2144 CPUtime=1.42 cores=1,3,5,7
/proc/27695/task/27709/stat : 27709 (java) S 27693 27693 25200 0 -1 1077944384 3321 0 0 0 62 80 0 0 20 0 15 0 226035164 14429560832 816365 33554432000 4194304 4196468 140733932046352 140473254796080 140474418776706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37527552 140733932053638 140733932053809 140733932053809 140733932056527 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3266916 KiB

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

[startup+2501.61 s]
# the end of solver process 27693 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002193 s, system=0 s

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

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

Child status: 143
Real time (s): 2501.63
CPU time (s): 2520.05
CPU user time (s): 2517.22
CPU system time (s): 2.82354
CPU usage (%): 100.736
Max. virtual memory (cumulated for all children) (KiB): 14206484
Max. memory (cumulated for all children) (KiB): 3277480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.22
system time used= 2.82354
maximum resident set size= 3276552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228528
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58410
involuntary context switches= 782


# summary of solver processes directly reported to runsolver:
#   pid: 27693,27695
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2517.22
#   total CPU system time (s): 2.82354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5159 second user time and 24.8816 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-12 16:38:40
IDJOB=4307051
IDBENCH=141264
IDSOLVER=2787
FILE ID=node137/4307051-1534084720
RUNJOBID= node137-1534062145-25232
PBS_JOBID= 21036980
Free space on /tmp= 26352 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
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-4307051-1534084720/watcher-4307051-1534084720 -o /tmp/evaluation-result-4307051-1534084720/solver-4307051-1534084720 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534062145-25232 --watchdog 2580  HOME/xcsp3-exec -seed 1685846464 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307051-1534084720.xml

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

MD5SUM BENCH= 9ab3e648243ddfeac66c66819bd63413
RANDOM SEED=1685846464

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         8486136 kB
MemAvailable:   27500240 kB
Buffers:          157796 kB
Cached:         18910436 kB
SwapCached:           24 kB
Active:         14048732 kB
Inactive:        9472504 kB
Active(anon):    4399880 kB
Inactive(anon):   105204 kB
Active(file):    9648852 kB
Inactive(file):  9367300 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108380 kB
Dirty:             89724 kB
Writeback:             0 kB
AnonPages:       4394092 kB
Mapped:            66728 kB
Shmem:             49628 kB
Slab:             454420 kB
SReclaimable:     426412 kB
SUnreclaim:        28008 kB
KernelStack:        3856 kB
PageTables:        14524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6080904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4085760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 26312 MiB
End job on node137 at 2018-08-12 17:20:22