Trace number 4307066

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)89666091 2520.12 2499.63

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test02-0250_c18.xml
MD5SUM2354d9b784d04df982f0d1b4068abd13
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark89666091
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables3894
Number of constraints2462
Number of domains32
Minimum domain size1
Maximum domain size175
Distribution of domain sizes[{"size":1,"count":1},{"size":2,"count":1380},{"size":11,"count":1131},{"size":12,"count":1},{"size":23,"count":45},{"size":47,"count":70},{"size":57,"count":33},{"size":60,"count":11},{"size":69,"count":36},{"size":70,"count":19},{"size":79,"count":14},{"size":81,"count":2},{"size":84,"count":6},{"size":93,"count":2},{"size":94,"count":10},{"size":110,"count":4},{"size":113,"count":12},{"size":118,"count":77},{"size":127,"count":39},{"size":137,"count":13},{"size":151,"count":17},{"size":153,"count":16},{"size":154,"count":100},{"size":170,"count":27},{"size":175,"count":828}]
Minimum variable degree2
Maximum variable degree1132
Distribution of variable degrees[{"degree":2,"count":3396},{"degree":3,"count":10},{"degree":4,"count":16},{"degree":5,"count":23},{"degree":6,"count":38},{"degree":7,"count":47},{"degree":8,"count":26},{"degree":9,"count":44},{"degree":10,"count":59},{"degree":11,"count":73},{"degree":12,"count":68},{"degree":13,"count":29},{"degree":14,"count":29},{"degree":15,"count":16},{"degree":16,"count":13},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":1132,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1131},{"arity":6,"count":1131}]
Number of extensional constraints1131
Number of intensional constraints1331
Distribution of constraint types[{"type":"extension","count":1131},{"type":"intension","count":1331}]
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-4307066-1534086244.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4307066-1534086244.xml, -tl, 2520s, -p, 1]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
23.03/14.71	c solve instance...
968.19/954.74	o 140935614 
1007.33/992.51	o 89745291 
1007.52/992.63	o 89745290 
1007.52/992.68	o 89745289 
1007.63/992.77	o 89745287 
1007.74/992.83	o 89745286 
1007.74/992.86	o 89745285 
1257.44/1241.87	o 89677411 
1257.54/1241.90	o 89677410 
1257.95/1242.37	o 89666094 
1258.09/1242.47	o 89666091 
2520.07/2499.60	s SATISFIABLE
2520.07/2499.60	v <instantiation>
2520.07/2499.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] 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] 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] </list>
2520.07/2499.60	v 	<values>2264 2428 2876 2724 2644 2352 2452 2460 2776 2712 2368 2532 2892 2792 2352 2636 2836 2876 2636 2352 2420 2660 2760 2432 2860 2824 2456 2392 2532 2872 2864 2528 2292 2492 2284 2620 2244 2352 2284 2908 2668 2852 2676 2784 2692 2220 2360 2332 2800 2336 2260 2296 2408 2268 2612 2916 2412 2460 2220 2460 2868 2376 2832 2612 2220 2796 2800 2556 2824 2272 2544 2476 2584 2596 2452 2636 2856 2352 2276 2512 2636 2896 2860 2248 2684 2336 2512 2340 2708 2344 2420 2312 2848 2912 2580 2508 2756 2640 2504 2620 2260 2388 2656 2804 2552 2240 2652 2372 2500 2888 2552 2872 2548 2756 2848 2304 2576 2220 2796 2392 2672 2568 2260 2796 2888 2412 2588 2568 2536 2256 2516 2444 2504 2348 2596 2296 2240 2652 2752 2448 2344 2684 2904 2544 2408 2624 2668 2500 2668 2392 2536 2392 2316 2636 2568 2708 2548 2676 2760 2572 2376 2680 2552 2676 2608 2740 2392 2228 2252 2888 2628 2220 2544 2288 2580 2488 2280 2900 2236 2320 2908 2224 2696 2468 2280 2260 2324 2528 2848 2580 2844 2220 2352 2608 2604 2540 2504 2448 2232 2484 2448 2392 2328 2916 2356 2444 2512 2452 2736 2580 2540 2644 2876 2244 2416 2620 2648 2540 2484 2516 2220 2364 2336 2496 2868 2572 2260 2712 2612 2392 2300 2912 2876 2260 2492 2272 2916 2612 2572 2396 2436 2304 2572 2652 2916 2784 2820 2260 2780 2612 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 1 0 0 0 0 0 6 1 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 4 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 4 0 0 0 0 5 5 0 0 1 4 0 4 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 3 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 6 1 0 3 0 0 0 0 0 0 0 0 0 2 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 6 0 4 0 5 4 0 0 0 2 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 4 0 5 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 1 0 0 1 0 0 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 6 0 0 0 1 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 1 0 1 1 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 3 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 6 0 0 0 1 0 0 0 0 0 6 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 6 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 1 0 1 0 5 0 0 0 0 4 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 5 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 5 0 0 0 0 0 0 0 1 0 6 0 0 1 0 0 0 0 0 0 0 6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 5 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 2 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 4 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 6 0 0 0 1 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 1 0 0 0 0 1 0 0 6 0 0 0 0 0 0 1 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 6 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 5 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 6 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 2 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 2 0 0 0 1 0 0 1 0 0 3 0 0 0 0 0 1 0 0 0 6 0 1 1 0 0 0 0 0 0 0 496 264 196 288 24 360 224 16 32 4 212 40 124 80 112 112 92 508 344 264 240 200 32 372 460 616 292 480 428 140 156 72 276 500 444 504 252 140 204 132 20 516 520 188 32 464 128 176 364 136 76 220 440 224 160 332 292 80 76 320 156 148 160 164 144 204 140 124 100 300 260 548 508 108 200 80 152 160 16 384 112 40 272 632 672 552 580 20 312 236 96 500 392 72 60 332 340 96 36 216 572 252 492 220 552 192 24 192 556 296 92 284 416 348 376 176 28 376 40 52 80 260 84 616 140 296 348 468 360 636 192 252 328 484 388 644 616 284 148 92 40 72 236 312 212 96 200 408 508 404 36 92 36 324 228 84 160 200 80 492 160 376 116 188 248 192 256 284 136 388 96 92 440 36 212 120 88 232 352 300 424 520 368 216 500 188 368 136 80 456 136 208 172 160 152 184 344 52 540 204 412 280 272 24 372 252 368 184 212 196 220 48 412 52 276 68 212 24 104 328 152 208 112 272 228 8 252 496 600 16 116 296 120 652 176 424 136 332 92 244 44 12 52 404 488 68 604 112 644 168 324 120 272 192 24 12 288 96 296 92 60 44 312 72 200 224 404 204 604 244 560 228 328 296 160 176 168 360 268 132 80 556 52 672 232 340 4 644 324 408 204 20 16 204 112 28 672 544 508 268 244 192 148 536 160 220 176 516 68 368 268 44 132 24 152 56 448 532 112 636 648 152 332 688 336 392 156 164 124 152 64 392 476 56 400 36 96 100 404 280 72 64 168 140 224 164 148 496 540 284 232 108 356 156 396 452 144 300 148 204 324 464 420 400 332 432 84 408 272 40 324 100 64 60 340 36 212 88 60 324 216 288 560 212 148 352 40 540 404 116 116 496 320 512 460 460 200 72 404 244 40 52 396 588 276 480 616 288 592 152 464 16 36 24 100 620 392 440 144 108 276 216 140 16 128 148 384 124 300 200 376 608 228 104 260 76 64 456 540 644 656 160 220 468 376 72 500 244 436 384 124 492 208 456 300 200 464 124 92 224 88 68 80 200 612 120 92 692 360 536 576 188 400 492 336 188 292 236 12 112 320 552 160 384 220 384 532 608 420 104 76 156 164 76 196 520 80 76 176 36 424 92 252 212 36 120 44 244 72 44 356 64 288 256 580 628 296 20 464 328 60 360 40 216 344 220 44 576 100 348 496 224 552 284 116 408 48 168 312 16 188 272 452 256 564 256 216 332 180 616 480 268 508 312 284 124 152 132 96 188 100 208 108 36 236 24 112 176 252 196 204 84 304 68 136 176 304 324 76 92 152 292 56 192 232 88 328 72 292 40 100 384 348 184 508 220 92 276 260 360 400 640 272 376 76 140 248 232 252 292 240 404 260 72 128 224 40 100 220 120 452 452 292 532 320 236 28 324 536 180 292 396 360 328 112 216 180 56 56 76 168 60 164 284 276 28 572 240 456 196 564 68 400 240 280 528 372 272 536 364 316 180 80 256 252 48 224 140 228 440 200 424 68 64 160 444 344 484 484 224 592 96 268 300 600 608 164 300 60 616 512 544 156 116 292 300 36 176 76 268 172 160 112 116 120 340 96 312 92 40 16 392 120 336 248 248 276 236 248 188 184 340 104 204 128 628 496 316 436 312 520 264 484 84 64 168 140 120 84 76 212 44 500 300 516 264 84 156 84 12 92 260 648 348 328 412 520 40 676 328 260 20 132 128 256 156 208 168 124 388 68 52 260 220 240 52 228 104 416 312 136 192 588 316 108 132 72 64 116 244 636 388 420 48 184 156 536 216 456 52 56 440 492 228 28 236 60 180 32 480 308 176 128 36 204 696 516 196 264 272 388 56 216 72 184 80 96 72 92 64 188 328 144 172 452 188 344 60 80 216 420 616 312 232 260 108 388 56 216 84 184 320 440 128 664 668 492 28 124 140 488 88 436 104 192 20 292 140 364 368 284 84 112 308 348 368 84 76 340 324 660 316 168 124 28 80 52 232 40 168 172 108 60 252 80 48 24 380 384 620 308 152 604 428 392 432 380 256 264 532 56 212 180 312 168 188 52 504 568 136 404 452 168 496 164 284 292 44 24 364 220 36 60 4 240 172 172 460 304 76 232 344 392 364 188 132 276 8 60 368 32 84 412 232 176 508 156 72 64 16 208 24 172 64 132 220 76 600 224 200 96 284 392 144 280 316 408 156 316 112 212 148 324 536 480 540 488 364 156 244 128 228 20 68 72 68 92 160 72 184 64 160 128 28 128 136 44 256 592 592 200 320 396 88 228 320 80 352 28 180 240 180 588 364 40 288 32 208 256 228 204 20 156 580 404 672 612 304 544 524 212 300 264 492 544 36 224 172 248 36 60 168 8 116 188 12 656 552 80 92 320 284 112 268 336 224 624 176 132 132 468 160 124 348 44 88 108 212 312 336 148 72 372 88 144 168 108 92 176 52 124 28 264 124 332 60 252 124 88 408 24 140 296 136 148 32 60 120 328 84 176 240 656 484 24 540 156 92 360 264 600 56 156 8 312 524 164 264 260 612 520 </values>
2520.07/2499.60	v </instantiation>
2520.07/2499.60	c Unexpected resolution interruption!

Verifier Data 

OK	89666091

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307066-1534086244/watcher-4307066-1534086244 -o /tmp/evaluation-result-4307066-1534086244/solver-4307066-1534086244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31243 --watchdog 2580 HOME/xcsp3-exec -seed 336164364 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307066-1534086244.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=1726, runsolver pid=1723

[startup+0.100092 s]*
/proc/loadavg: 1.93 2.02 2.05 3/217 1742
/proc/meminfo: memFree=10852360/32770624 swapFree=67108844/67108860
[pid=1726] ppid=1723 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1726/stat : 1726 (xcsp3-exec) S 1723 1726 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 226187640 115843072 363 33554432000 4194304 5098028 140723502140224 140723502138328 139635498459772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13660160 140723502142523 140723502142724 140723502142724 140723502145482 0
/proc/1726/statm: 28282 363 306 221 0 87 0
[pid=1728] ppid=1726 vsize=14082940 memory=29044 CPUtime=0.12 cores=1,3,5,7
/proc/1728/stat : 1728 (java) S 1726 1726 31211 0 -1 1077944320 5555 0 0 0 11 1 0 0 20 0 15 0 226187640 14420930560 7261 33554432000 4194304 4196468 140721602464272 140721602446816 140371695832823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
/proc/1728/statm: 3520735 7261 3046 1 0 3483012 0
[pid=1728/tid=1729] ppid=1726 vsize=14082940 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/1728/task/1729/stat : 1729 (java) R 1726 1726 31211 0 -1 4202560 3566 0 0 0 9 0 0 0 20 0 15 0 226187640 14420930560 7261 33554432000 4194304 4196468 140721602464272 140371700065936 140371695844758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1730] ppid=1726 vsize=14082940 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1730/stat : 1730 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187641 14420930560 7261 33554432000 4194304 4196468 140721602464272 140371292056720 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1731] ppid=1726 vsize=14082940 memory=140089741252224 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1731/stat : 1731 (java) S 1726 1726 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226187641 14420930560 7261 33554432000 4194304 4196468 140721602464272 140371291003920 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1732] ppid=1726 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1732/stat : 1732 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187641 14420930560 7261 33554432000 4194304 4196468 140721602464272 140371289951120 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1733] ppid=1726 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1733/stat : 1733 (java) S 1726 1726 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226187641 14420930560 7261 33554432000 4194304 4196468 140721602464272 140371288898320 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1734] ppid=1726 vsize=14082940 memory=140089741252224 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1734/stat : 1734 (java) S 1726 1726 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226187642 14420930560 7261 33554432000 4194304 4196468 140721602464272 140370876733808 140371695843970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1735] ppid=1726 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1735/stat : 1735 (java) S 1726 1726 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226187643 14420930560 7261 33554432000 4194304 4196468 140721602464272 140370875679776 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1736] ppid=1726 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1736/stat : 1736 (java) S 1726 1726 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226187643 14420930560 7261 33554432000 4194304 4196468 140721602464272 140370874626928 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1737] ppid=1726 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1737/stat : 1737 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187645 14420930560 7261 33554432000 4194304 4196468 140721602464272 140370469971792 140371695851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1738] ppid=1726 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1738/stat : 1738 (java) S 1726 1726 31211 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 226187645 14420930560 7261 33554432000 4194304 4196468 140721602464272 140370468920176 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1739] ppid=1726 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1739/stat : 1739 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187645 14420930560 7261 33554432000 4194304 4196468 140721602464272 140370467867376 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1740] ppid=1726 vsize=14082940 memory=140089741252224 CPUtime=0.01 cores=1,3,5,7
/proc/1728/task/1740/stat : 1740 (java) S 1726 1726 31211 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 226187646 14420930560 7261 33554432000 4194304 4196468 140721602464272 140370466814576 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1741] ppid=1726 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1741/stat : 1741 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187646 14420930560 7261 33554432000 4194304 4196468 140721602464272 140370465762016 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1742] ppid=1726 vsize=14082940 memory=140089741252224 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1742/stat : 1742 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187646 14420930560 7261 33554432000 4194304 4196468 140721602464272 140370464709296 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30496 KiB

[startup+0.211699 s]*
/proc/loadavg: 1.93 2.02 2.05 4/217 1742
/proc/meminfo: memFree=10841024/32770624 swapFree=67108844/67108860
[pid=1726] ppid=1723 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1726/stat : 1726 (xcsp3-exec) S 1723 1726 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 226187640 115843072 363 33554432000 4194304 5098028 140723502140224 140723502138328 139635498459772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13660160 140723502142523 140723502142724 140723502142724 140723502145482 0
/proc/1726/statm: 28282 363 306 221 0 87 0
[pid=1728] ppid=1726 vsize=14082940 memory=40620 CPUtime=0.34 cores=1,3,5,7
/proc/1728/stat : 1728 (java) S 1726 1726 31211 0 -1 1077944320 8193 0 0 0 32 2 0 0 20 0 15 0 226187640 14420930560 10155 33554432000 4194304 4196468 140721602464272 140721602446816 140371695832823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
/proc/1728/statm: 3520735 10155 3218 1 0 3483012 0
[pid=1728/tid=1729] ppid=1726 vsize=14082940 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1728/task/1729/stat : 1729 (java) R 1726 1726 31211 0 -1 4202560 5438 0 0 0 19 1 0 0 20 0 15 0 226187640 14420930560 10219 33554432000 4194304 4196468 140721602464272 140371700067808 140371695854749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1730] ppid=1726 vsize=14082940 memory=4294977833 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1730/stat : 1730 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187641 14420930560 10219 33554432000 4194304 4196468 140721602464272 140371292056720 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1731] ppid=1726 vsize=14082940 memory=140089741275563 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1731/stat : 1731 (java) S 1726 1726 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226187641 14420930560 10219 33554432000 4194304 4196468 140721602464272 140371291003920 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1732] ppid=1726 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1732/stat : 1732 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187641 14420930560 10219 33554432000 4194304 4196468 140721602464272 140371289951120 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1733] ppid=1726 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1733/stat : 1733 (java) S 1726 1726 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226187641 14420930560 10219 33554432000 4194304 4196468 140721602464272 140371288898320 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1734] ppid=1726 vsize=14082940 memory=140089741252224 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1734/stat : 1734 (java) S 1726 1726 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226187642 14420930560 10219 33554432000 4194304 4196468 140721602464272 140370876733808 140371695843970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1735] ppid=1726 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1735/stat : 1735 (java) S 1726 1726 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226187643 14420930560 10219 33554432000 4194304 4196468 140721602464272 140370875679776 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1736] ppid=1726 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1736/stat : 1736 (java) S 1726 1726 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226187643 14420930560 10219 33554432000 4194304 4196468 140721602464272 140370874626928 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1737] ppid=1726 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1737/stat : 1737 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187645 14420930560 10219 33554432000 4194304 4196468 140721602464272 140370469971792 140371695851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1738] ppid=1726 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/1728/task/1738/stat : 1738 (java) S 1726 1726 31211 0 -1 1077944384 599 0 0 0 3 0 0 0 20 0 15 0 226187645 14420930560 10219 33554432000 4194304 4196468 140721602464272 140370468920176 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1739] ppid=1726 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1728/task/1739/stat : 1739 (java) S 1726 1726 31211 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 226187645 14420930560 10219 33554432000 4194304 4196468 140721602464272 140370467867376 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1740] ppid=1726 vsize=14082940 memory=140089741252224 CPUtime=0.07 cores=1,3,5,7
/proc/1728/task/1740/stat : 1740 (java) S 1726 1726 31211 0 -1 1077944384 775 0 0 0 7 0 0 0 20 0 15 0 226187646 14420930560 10219 33554432000 4194304 4196468 140721602464272 140370466814576 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1741] ppid=1726 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1741/stat : 1741 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187646 14420930560 10219 33554432000 4194304 4196468 140721602464272 140370465762016 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1742] ppid=1726 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1742/stat : 1742 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187646 14420930560 10219 33554432000 4194304 4196468 140721602464272 140370464709296 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42072 KiB

[startup+0.318328 s]*
/proc/loadavg: 1.93 2.02 2.05 4/217 1742
/proc/meminfo: memFree=10833704/32770624 swapFree=67108844/67108860
[pid=1726] ppid=1723 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1726/stat : 1726 (xcsp3-exec) S 1723 1726 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 226187640 115843072 363 33554432000 4194304 5098028 140723502140224 140723502138328 139635498459772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13660160 140723502142523 140723502142724 140723502142724 140723502145482 0
/proc/1726/statm: 28282 363 306 221 0 87 0
[pid=1728] ppid=1726 vsize=14087196 memory=48480 CPUtime=0.54 cores=1,3,5,7
/proc/1728/stat : 1728 (java) S 1726 1726 31211 0 -1 1077944320 9224 0 0 0 51 3 0 0 20 0 15 0 226187640 14425288704 12120 33554432000 4194304 4196468 140721602464272 140721602446816 140371695832823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
/proc/1728/statm: 3521799 12120 3271 1 0 3483012 0
[pid=1728/tid=1729] ppid=1726 vsize=14087196 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/1728/task/1729/stat : 1729 (java) R 1726 1726 31211 0 -1 4202560 6223 0 0 0 29 1 0 0 20 0 15 0 226187640 14425288704 12120 33554432000 4194304 4196468 140721602464272 140371700067024 140371679913310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1730] ppid=1726 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1730/stat : 1730 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187641 14425288704 12120 33554432000 4194304 4196468 140721602464272 140371292056720 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1731] ppid=1726 vsize=14087196 memory=3762675701274888096 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1731/stat : 1731 (java) S 1726 1726 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226187641 14425288704 12120 33554432000 4194304 4196468 140721602464272 140371291003920 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1732] ppid=1726 vsize=14087196 memory=3472873653726617649 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1732/stat : 1732 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187641 14425288704 12120 33554432000 4194304 4196468 140721602464272 140371289951120 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1733] ppid=1726 vsize=14087196 memory=3616445700238290207 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1733/stat : 1733 (java) S 1726 1726 31211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 226187641 14425288704 12120 33554432000 4194304 4196468 140721602464272 140371288898320 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1734] ppid=1726 vsize=14087196 memory=2320393505331204023 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1734/stat : 1734 (java) S 1726 1726 31211 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 226187642 14425288704 12120 33554432000 4194304 4196468 140721602464272 140370876733808 140371695843970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1735] ppid=1726 vsize=14087196 memory=3761121630988808492 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1735/stat : 1735 (java) S 1726 1726 31211 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 226187643 14425288704 12120 33554432000 4194304 4196468 140721602464272 140370875679776 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1736] ppid=1726 vsize=14087196 memory=7088736600202633829 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1736/stat : 1736 (java) S 1726 1726 31211 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 226187643 14425288704 12120 33554432000 4194304 4196468 140721602464272 140370874626928 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1737] ppid=1726 vsize=14087196 memory=5787213827347079232 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1737/stat : 1737 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187645 14425288704 12120 33554432000 4194304 4196468 140721602464272 140370469971792 140371695851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1738] ppid=1726 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/1728/task/1738/stat : 1738 (java) S 1726 1726 31211 0 -1 1077944384 610 0 0 0 4 0 0 0 20 0 15 0 226187645 14425288704 12120 33554432000 4194304 4196468 140721602464272 140370468920176 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1739] ppid=1726 vsize=14087196 memory=3539882221918887992 CPUtime=0.04 cores=1,3,5,7
/proc/1728/task/1739/stat : 1739 (java) S 1726 1726 31211 0 -1 1077944384 201 0 0 0 4 0 0 0 20 0 15 0 226187645 14425288704 12120 33554432000 4194304 4196468 140721602464272 140370467867376 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1740] ppid=1726 vsize=14087196 memory=3467965817149442993 CPUtime=0.12 cores=1,3,5,7
/proc/1728/task/1740/stat : 1740 (java) S 1726 1726 31211 0 -1 1077944384 921 0 0 0 12 0 0 0 20 0 15 0 226187646 14425288704 12120 33554432000 4194304 4196468 140721602464272 140370466814576 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1741] ppid=1726 vsize=14087196 memory=3979273538396041520 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1741/stat : 1741 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187646 14425288704 12120 33554432000 4194304 4196468 140721602464272 140370465762016 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1742] ppid=1726 vsize=14087196 memory=2319546881395837620 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1742/stat : 1742 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187646 14425288704 12120 33554432000 4194304 4196468 140721602464272 140370464709296 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49932 KiB

[startup+0.700942 s]
/proc/loadavg: 1.93 2.02 2.05 4/217 1742
/proc/meminfo: memFree=10738140/32770624 swapFree=67108844/67108860
[pid=1726] ppid=1723 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1726/stat : 1726 (xcsp3-exec) S 1723 1726 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 226187640 115843072 363 33554432000 4194304 5098028 140723502140224 140723502138328 139635498459772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13660160 140723502142523 140723502142724 140723502142724 140723502145482 0
/proc/1726/statm: 28282 363 306 221 0 87 0
[pid=1728] ppid=1726 vsize=14087196 memory=291584 CPUtime=1.53 cores=1,3,5,7
/proc/1728/stat : 1728 (java) S 1726 1726 31211 0 -1 1077944320 11996 0 0 0 130 23 0 0 20 0 15 0 226187640 14425288704 72896 33554432000 4194304 4196468 140721602464272 140721602446816 140371695832823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
/proc/1728/statm: 3521799 72896 3322 1 0 3483012 0
[pid=1728/tid=1729] ppid=1726 vsize=14087196 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/1728/task/1729/stat : 1729 (java) R 1726 1726 31211 0 -1 4202560 6319 0 0 0 55 5 0 0 20 0 15 0 226187640 14425288704 72896 33554432000 4194304 4196468 140721602464272 140371700071952 140371695854749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1730] ppid=1726 vsize=14087196 memory=17 CPUtime=0.05 cores=1,3,5,7
/proc/1728/task/1730/stat : 1730 (java) S 1726 1726 31211 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 226187641 14425288704 72896 33554432000 4194304 4196468 140721602464272 140371292056720 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1731] ppid=1726 vsize=14087196 memory=2 CPUtime=0.06 cores=1,3,5,7
/proc/1728/task/1731/stat : 1731 (java) S 1726 1726 31211 0 -1 1077944384 59 0 0 0 3 3 0 0 20 0 15 0 226187641 14425288704 72896 33554432000 4194304 4196468 140721602464272 140371291003920 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1732] ppid=1726 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1728/task/1732/stat : 1732 (java) S 1726 1726 31211 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 226187641 14425288704 72896 33554432000 4194304 4196468 140721602464272 140371289951120 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1733] ppid=1726 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1728/task/1733/stat : 1733 (java) S 1726 1726 31211 0 -1 1077944384 64 0 0 0 2 3 0 0 20 0 15 0 226187641 14425288704 72896 33554432000 4194304 4196468 140721602464272 140371288898320 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1734] ppid=1726 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1734/stat : 1734 (java) S 1726 1726 31211 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 226187642 14425288704 72896 33554432000 4194304 4196468 140721602464272 140370876733808 140371695843970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1735] ppid=1726 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1735/stat : 1735 (java) S 1726 1726 31211 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 226187643 14425288704 72896 33554432000 4194304 4196468 140721602464272 140370875679776 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1736] ppid=1726 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1736/stat : 1736 (java) S 1726 1726 31211 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 226187643 14425288704 72896 33554432000 4194304 4196468 140721602464272 140370874626928 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1737] ppid=1726 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1737/stat : 1737 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187645 14425288704 72896 33554432000 4194304 4196468 140721602464272 140370469971792 140371695851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1738] ppid=1726 vsize=14087196 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/1728/task/1738/stat : 1738 (java) S 1726 1726 31211 0 -1 1077944384 1547 0 0 0 19 0 0 0 20 0 15 0 226187645 14425288704 72896 33554432000 4194304 4196468 140721602464272 140370468920176 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1739] ppid=1726 vsize=14087196 memory=61368 CPUtime=0.25 cores=1,3,5,7
/proc/1728/task/1739/stat : 1739 (java) R 1726 1726 31211 0 -1 4202560 1214 0 0 0 25 0 0 0 20 0 15 0 226187645 14425288704 72896 33554432000 4194304 4196468 140721602464272 140370467867376 140371675051464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1740] ppid=1726 vsize=14087196 memory=2204 CPUtime=0.18 cores=1,3,5,7
/proc/1728/task/1740/stat : 1740 (java) S 1726 1726 31211 0 -1 1077944384 1282 0 0 0 18 0 0 0 20 0 15 0 226187646 14425288704 72896 33554432000 4194304 4196468 140721602464272 140370466814576 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1741] ppid=1726 vsize=14087196 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1741/stat : 1741 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187646 14425288704 72896 33554432000 4194304 4196468 140721602464272 140370465762016 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1742] ppid=1726 vsize=14087196 memory=1504 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1742/stat : 1742 (java) S 1726 1726 31211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 226187646 14425288704 72896 33554432000 4194304 4196468 140721602464272 140370464709296 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 293036 KiB

[startup+1.50931 s]
/proc/loadavg: 2.10 2.06 2.06 6/217 1742
/proc/meminfo: memFree=10526148/32770624 swapFree=67108844/67108860
[pid=1726] ppid=1723 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1726/stat : 1726 (xcsp3-exec) S 1723 1726 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 226187640 115843072 363 33554432000 4194304 5098028 140723502140224 140723502138328 139635498459772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13660160 140723502142523 140723502142724 140723502142724 140723502145482 0
/proc/1726/statm: 28282 363 306 221 0 87 0

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

/proc/1728/task/1736/stat : 1736 (java) S 1726 1726 31211 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 226187643 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370874626944 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1737] ppid=1726 vsize=14091368 memory=61392 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1737/stat : 1737 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370469971792 140371695851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1738] ppid=1726 vsize=14091368 memory=1452 CPUtime=4.67 cores=1,3,5,7
/proc/1728/task/1738/stat : 1738 (java) S 1726 1726 31211 0 -1 1077944384 42993 0 0 0 463 4 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370468920176 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1739] ppid=1726 vsize=14091368 memory=1452 CPUtime=4.68 cores=1,3,5,7
/proc/1728/task/1739/stat : 1739 (java) S 1726 1726 31211 0 -1 1077944384 42571 0 0 0 464 4 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370467867376 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1740] ppid=1726 vsize=14091368 memory=1452 CPUtime=1.14 cores=1,3,5,7
/proc/1728/task/1740/stat : 1740 (java) S 1726 1726 31211 0 -1 1077944384 24989 0 0 0 112 2 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370466814576 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1741] ppid=1726 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1741/stat : 1741 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370465762016 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1742] ppid=1726 vsize=14091368 memory=4140 CPUtime=1.27 cores=1,3,5,7
/proc/1728/task/1742/stat : 1742 (java) S 1726 1726 31211 0 -1 1077944384 2689 0 0 0 61 66 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370464709296 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
Current children cumulated CPU time: 2342.71 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3996828 KiB

[startup+2382.3 s]
/proc/loadavg: 2.07 2.12 2.08 3/218 1815
/proc/meminfo: memFree=6340584/32770624 swapFree=67108844/67108860
[pid=1726] ppid=1723 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1726/stat : 1726 (xcsp3-exec) S 1723 1726 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 226187640 115843072 363 33554432000 4194304 5098028 140723502140224 140723502138328 139635498459772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13660160 140723502142523 140723502142724 140723502142724 140723502145482 0
/proc/1726/statm: 28282 363 306 221 0 87 0
[pid=1728] ppid=1726 vsize=14091368 memory=3995376 CPUtime=2402.72 cores=1,3,5,7
/proc/1728/stat : 1728 (java) S 1726 1726 31211 0 -1 1077944320 234541 0 0 0 239935 337 0 0 20 0 15 0 226187640 14429560832 998844 33554432000 4194304 4196468 140721602464272 140721602446816 140371695832823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
/proc/1728/statm: 3522842 998844 3440 1 0 3484036 0
[pid=1728/tid=1729] ppid=1726 vsize=14091368 memory=3995376 CPUtime=2379.12 cores=1,3,5,7
/proc/1728/task/1729/stat : 1729 (java) R 1726 1726 31211 0 -1 4202560 84693 0 0 0 237875 37 0 0 20 0 15 0 226187640 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371700069272 140371301068816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1730] ppid=1726 vsize=14091368 memory=1452 CPUtime=2.85 cores=1,3,5,7
/proc/1728/task/1730/stat : 1730 (java) S 1726 1726 31211 0 -1 1077944384 6003 0 0 0 227 58 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371292056720 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1731] ppid=1726 vsize=14091368 memory=1452 CPUtime=2.86 cores=1,3,5,7
/proc/1728/task/1731/stat : 1731 (java) S 1726 1726 31211 0 -1 1077944384 7000 0 0 0 231 55 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371291003920 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1732] ppid=1726 vsize=14091368 memory=1452 CPUtime=2.85 cores=1,3,5,7
/proc/1728/task/1732/stat : 1732 (java) S 1726 1726 31211 0 -1 1077944384 6455 0 0 0 230 55 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371289951120 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1733] ppid=1726 vsize=14091368 memory=3995376 CPUtime=2.87 cores=1,3,5,7
/proc/1728/task/1733/stat : 1733 (java) S 1726 1726 31211 0 -1 1077944384 5722 0 0 0 230 57 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371288898320 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1734] ppid=1726 vsize=14091368 memory=1452 CPUtime=0.27 cores=1,3,5,7
/proc/1728/task/1734/stat : 1734 (java) S 1726 1726 31211 0 -1 1077944384 10009 0 0 0 24 3 0 0 20 0 15 0 226187642 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370876733808 140371695843970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1735] ppid=1726 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1735/stat : 1735 (java) S 1726 1726 31211 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 226187643 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370875679840 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1736] ppid=1726 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1736/stat : 1736 (java) S 1726 1726 31211 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 226187643 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370874626944 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1737] ppid=1726 vsize=14091368 memory=61392 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1737/stat : 1737 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370469971792 140371695851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1738] ppid=1726 vsize=14091368 memory=2204 CPUtime=4.67 cores=1,3,5,7
/proc/1728/task/1738/stat : 1738 (java) S 1726 1726 31211 0 -1 1077944384 42999 0 0 0 463 4 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370468920176 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1739] ppid=1726 vsize=14091368 memory=1452 CPUtime=4.68 cores=1,3,5,7
/proc/1728/task/1739/stat : 1739 (java) S 1726 1726 31211 0 -1 1077944384 42577 0 0 0 464 4 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370467867376 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1740] ppid=1726 vsize=14091368 memory=3995376 CPUtime=1.14 cores=1,3,5,7
/proc/1728/task/1740/stat : 1740 (java) S 1726 1726 31211 0 -1 1077944384 25007 0 0 0 112 2 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370466814576 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1741] ppid=1726 vsize=14091368 memory=3995376 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1741/stat : 1741 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370465762016 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1742] ppid=1726 vsize=14091368 memory=1452 CPUtime=1.31 cores=1,3,5,7
/proc/1728/task/1742/stat : 1742 (java) S 1726 1726 31211 0 -1 1077944384 2745 0 0 0 63 68 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370464709296 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
Current children cumulated CPU time: 2402.72 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3996828 KiB

[startup+2442.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/216 1847
/proc/meminfo: memFree=8257236/32770624 swapFree=67108844/67108860
[pid=1726] ppid=1723 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1726/stat : 1726 (xcsp3-exec) S 1723 1726 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 226187640 115843072 363 33554432000 4194304 5098028 140723502140224 140723502138328 139635498459772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13660160 140723502142523 140723502142724 140723502142724 140723502145482 0
/proc/1726/statm: 28282 363 306 221 0 87 0
[pid=1728] ppid=1726 vsize=14091368 memory=3995376 CPUtime=2462.75 cores=1,3,5,7
/proc/1728/stat : 1728 (java) S 1726 1726 31211 0 -1 1077944320 235974 0 0 0 245935 340 0 0 20 0 15 0 226187640 14429560832 998844 33554432000 4194304 4196468 140721602464272 140721602446816 140371695832823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
/proc/1728/statm: 3522842 998844 3440 1 0 3484036 0
[pid=1728/tid=1729] ppid=1726 vsize=14091368 memory=3995376 CPUtime=2439.11 cores=1,3,5,7
/proc/1728/task/1729/stat : 1729 (java) R 1726 1726 31211 0 -1 4202560 86012 0 0 0 243874 37 0 0 20 0 15 0 226187640 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371700069272 140371300992488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1730] ppid=1726 vsize=14091368 memory=3995376 CPUtime=2.85 cores=1,3,5,7
/proc/1728/task/1730/stat : 1730 (java) S 1726 1726 31211 0 -1 1077944384 6003 0 0 0 227 58 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371292056720 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1731] ppid=1726 vsize=14091368 memory=1452 CPUtime=2.86 cores=1,3,5,7
/proc/1728/task/1731/stat : 1731 (java) S 1726 1726 31211 0 -1 1077944384 7000 0 0 0 231 55 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371291003920 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1732] ppid=1726 vsize=14091368 memory=5780 CPUtime=2.85 cores=1,3,5,7
/proc/1728/task/1732/stat : 1732 (java) S 1726 1726 31211 0 -1 1077944384 6455 0 0 0 230 55 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371289951120 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1733] ppid=1726 vsize=14091368 memory=756 CPUtime=2.87 cores=1,3,5,7
/proc/1728/task/1733/stat : 1733 (java) S 1726 1726 31211 0 -1 1077944384 5722 0 0 0 230 57 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371288898320 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1734] ppid=1726 vsize=14091368 memory=1452 CPUtime=0.27 cores=1,3,5,7
/proc/1728/task/1734/stat : 1734 (java) S 1726 1726 31211 0 -1 1077944384 10027 0 0 0 24 3 0 0 20 0 15 0 226187642 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370876733808 140371695843970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1735] ppid=1726 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1735/stat : 1735 (java) S 1726 1726 31211 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 226187643 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370875679840 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1736] ppid=1726 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1736/stat : 1736 (java) S 1726 1726 31211 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 226187643 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370874626944 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1737] ppid=1726 vsize=14091368 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1737/stat : 1737 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370469971792 140371695851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1738] ppid=1726 vsize=14091368 memory=4140 CPUtime=4.67 cores=1,3,5,7
/proc/1728/task/1738/stat : 1738 (java) S 1726 1726 31211 0 -1 1077944384 43005 0 0 0 463 4 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370468920176 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1739] ppid=1726 vsize=14091368 memory=61392 CPUtime=4.68 cores=1,3,5,7
/proc/1728/task/1739/stat : 1739 (java) S 1726 1726 31211 0 -1 1077944384 42583 0 0 0 464 4 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370467867376 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1740] ppid=1726 vsize=14091368 memory=3995376 CPUtime=1.14 cores=1,3,5,7
/proc/1728/task/1740/stat : 1740 (java) S 1726 1726 31211 0 -1 1077944384 25025 0 0 0 112 2 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370466814576 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1741] ppid=1726 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1741/stat : 1741 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370465762016 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1742] ppid=1726 vsize=14091368 memory=3995376 CPUtime=1.34 cores=1,3,5,7
/proc/1728/task/1742/stat : 1742 (java) S 1726 1726 31211 0 -1 1077944384 2811 0 0 0 64 70 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370464709296 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
Current children cumulated CPU time: 2462.75 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3996828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2499.6 s]
/proc/loadavg: 2.38 2.21 2.12 3/217 1897
/proc/meminfo: memFree=7127908/32770624 swapFree=67108844/67108860
[pid=1726] ppid=1723 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/1726/stat : 1726 (xcsp3-exec) S 1723 1726 31211 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 226187640 115843072 363 33554432000 4194304 5098028 140723502140224 140723502138328 139635498459772 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 13660160 140723502142523 140723502142724 140723502142724 140723502145482 0
/proc/1726/statm: 28282 363 306 221 0 87 0
[pid=1728] ppid=1726 vsize=14091368 memory=3995376 CPUtime=2520.07 cores=1,3,5,7
/proc/1728/stat : 1728 (java) S 1726 1726 31211 0 -1 1077944320 237362 0 0 0 251666 341 0 0 20 0 15 0 226187640 14429560832 998844 33554432000 4194304 4196468 140721602464272 140721602446816 140371695832823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
/proc/1728/statm: 3522842 998844 3440 1 0 3484036 0
[pid=1728/tid=1729] ppid=1726 vsize=14091368 memory=3952 CPUtime=2496.4 cores=1,3,5,7
/proc/1728/task/1729/stat : 1729 (java) R 1726 1726 31211 0 -1 4202560 87286 0 0 0 249603 37 0 0 20 0 15 0 226187640 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371700069272 140371300992488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1730] ppid=1726 vsize=14091368 memory=8112282956445269571 CPUtime=2.85 cores=1,3,5,7
/proc/1728/task/1730/stat : 1730 (java) S 1726 1726 31211 0 -1 1077944384 6003 0 0 0 227 58 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371292056720 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1731] ppid=1726 vsize=14091368 memory=3995376 CPUtime=2.86 cores=1,3,5,7
/proc/1728/task/1731/stat : 1731 (java) S 1726 1726 31211 0 -1 1077944384 7000 0 0 0 231 55 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371291003920 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1732] ppid=1726 vsize=14091368 memory=756 CPUtime=2.85 cores=1,3,5,7
/proc/1728/task/1732/stat : 1732 (java) S 1726 1726 31211 0 -1 1077944384 6455 0 0 0 230 55 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371289951120 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1733] ppid=1726 vsize=14091368 memory=14568 CPUtime=2.87 cores=1,3,5,7
/proc/1728/task/1733/stat : 1733 (java) S 1726 1726 31211 0 -1 1077944384 5722 0 0 0 230 57 0 0 20 0 15 0 226187641 14429560832 998844 33554432000 4194304 4196468 140721602464272 140371288898320 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1734] ppid=1726 vsize=14091368 memory=12708 CPUtime=0.27 cores=1,3,5,7
/proc/1728/task/1734/stat : 1734 (java) S 1726 1726 31211 0 -1 1077944384 10045 0 0 0 24 3 0 0 20 0 15 0 226187642 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370876733808 140371695843970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1735] ppid=1726 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1735/stat : 1735 (java) S 1726 1726 31211 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 226187643 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370875679840 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1736] ppid=1726 vsize=14091368 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1736/stat : 1736 (java) S 1726 1726 31211 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 226187643 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370874626944 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1737] ppid=1726 vsize=14091368 memory=496 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1737/stat : 1737 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370469971792 140371695851419 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1738] ppid=1726 vsize=14091368 memory=928 CPUtime=4.67 cores=1,3,5,7
/proc/1728/task/1738/stat : 1738 (java) S 1726 1726 31211 0 -1 1077944384 43011 0 0 0 463 4 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370468920176 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1739] ppid=1726 vsize=14091368 memory=1172 CPUtime=4.68 cores=1,3,5,7
/proc/1728/task/1739/stat : 1739 (java) S 1726 1726 31211 0 -1 1077944384 42589 0 0 0 464 4 0 0 20 0 15 0 226187645 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370467867376 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1740] ppid=1726 vsize=14091368 memory=2096 CPUtime=1.14 cores=1,3,5,7
/proc/1728/task/1740/stat : 1740 (java) S 1726 1726 31211 0 -1 1077944384 25043 0 0 0 112 2 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370466814576 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1741] ppid=1726 vsize=14091368 memory=3995376 CPUtime=0 cores=1,3,5,7
/proc/1728/task/1741/stat : 1741 (java) S 1726 1726 31211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370465762016 140371695843029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
[pid=1728/tid=1742] ppid=1726 vsize=14091368 memory=8112282956445269571 CPUtime=1.37 cores=1,3,5,7
/proc/1728/task/1742/stat : 1742 (java) S 1726 1726 31211 0 -1 1077944384 2877 0 0 0 65 72 0 0 20 0 15 0 226187646 14429560832 998844 33554432000 4194304 4196468 140721602464272 140370464709296 140371695843970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14323712 140721602466950 140721602467121 140721602467121 140721602469839 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 3996828 KiB

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

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

[startup+2499.63 s]
# the end of solver process 1728 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.68 s, system=3.4406 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): 2499.63
CPU time (s): 2520.12
CPU user time (s): 2516.68
CPU system time (s): 3.4406
CPU usage (%): 100.82
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 3996828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.68
system time used= 3.4406
maximum resident set size= 3996172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59112
involuntary context switches= 1270


# summary of solver processes directly reported to runsolver:
#   pid: 1726,1728
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.68
#   total CPU system time (s): 3.4406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6993 second user time and 24.856 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-12 17:04:05
IDJOB=4307066
IDBENCH=141267
IDSOLVER=2787
FILE ID=node136/4307066-1534086244
RUNJOBID= node136-1534063588-31243
PBS_JOBID= 21036988
Free space on /tmp= 35212 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test02-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-4307066-1534086244/watcher-4307066-1534086244 -o /tmp/evaluation-result-4307066-1534086244/solver-4307066-1534086244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534063588-31243 --watchdog 2580  HOME/xcsp3-exec -seed 336164364 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307066-1534086244.xml

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

MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13
RANDOM SEED=336164364

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        10869132 kB
MemAvailable:   25941408 kB
Buffers:          254036 kB
Cached:         14921428 kB
SwapCached:            8 kB
Active:         13495680 kB
Inactive:        7689164 kB
Active(anon):    5958784 kB
Inactive(anon):   102972 kB
Active(file):    7536896 kB
Inactive(file):  7586192 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108844 kB
Dirty:            117652 kB
Writeback:             0 kB
AnonPages:       6016668 kB
Mapped:            65700 kB
Shmem:             49788 kB
Slab:             405752 kB
SReclaimable:     377648 kB
SUnreclaim:        28104 kB
KernelStack:        3520 kB
PageTables:        17248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7408408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5496832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 35196 MiB
End job on node136 at 2018-08-12 17:45:44