Trace number 4292772

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7 seq (493a269)SAT (TO)89666091 2400.15 2380.04

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-4292772-1532331044.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.17	c [HOME/instance-4292772-1532331044.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
22.87/14.74	c solve instance...
986.23/972.81	o 140935614 
1025.66/1011.01	o 89745291 
1025.87/1011.14	o 89745290 
1025.87/1011.19	o 89745289 
1025.98/1011.29	o 89745287 
1026.11/1011.36	o 89745286 
1026.11/1011.40	o 89745285 
1279.04/1263.69	o 89677411 
1279.15/1263.73	o 89677410 
1279.65/1264.21	o 89666094 
1279.75/1264.30	o 89666091 
2400.10/2380.01	s SATISFIABLE
2400.10/2380.01	v <instantiation>
2400.10/2380.01	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] 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>
2400.10/2380.01	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>
2400.10/2380.01	v </instantiation>
2400.10/2380.01	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 (12973 MiB free)
  memory of node 1: 16384 MiB (12303 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292772-1532331044/watcher-4292772-1532331044 -o /tmp/evaluation-result-4292772-1532331044/solver-4292772-1532331044 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14413 --watchdog 2560 HOME/xcsp3-exec -seed 1333952653 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292772-1532331044.xml 

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

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

solver pid=14643, runsolver pid=14640

[startup+0.100167 s]*
/proc/loadavg: 1.69 1.77 1.75 3/222 14659
/proc/meminfo: memFree=25866900/32770624 swapFree=67108860/67108860
[pid=14643] ppid=14640 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14643/stat : 14643 (xcsp3-exec) S 14640 14643 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667610 115843072 363 33554432000 4194304 5098028 140733125346384 140733125344488 140409048797820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11886592 140733125350458 140733125350660 140733125350660 140733125353418 0
/proc/14643/statm: 28282 363 305 221 0 87 0
[pid=14645] ppid=14643 vsize=14082840 memory=28668 CPUtime=0.12 cores=0,2,4,6
/proc/14645/stat : 14645 (java) S 14643 14643 14382 0 -1 1077944320 5578 0 0 0 11 1 0 0 20 0 15 0 50667610 14420828160 7167 33554432000 4194304 4196468 140722685448000 140722685430544 139831862980343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
/proc/14645/statm: 3520710 7167 2971 1 0 3483008 0
[pid=14645/tid=14646] ppid=14643 vsize=14082840 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/14645/task/14646/stat : 14646 (java) R 14643 14643 14382 0 -1 4202560 3603 0 0 0 9 0 0 0 20 0 15 0 50667610 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831867208576 139831862992278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14647] ppid=14643 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14647/stat : 14647 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667611 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831793068560 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14648] ppid=14643 vsize=14082840 memory=140660087805568 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14648/stat : 14648 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667611 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831792016016 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14649] ppid=14643 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14649/stat : 14649 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667611 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831790962960 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14650] ppid=14643 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14650/stat : 14650 (java) S 14643 14643 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50667611 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831789910416 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14651] ppid=14643 vsize=14082840 memory=140660087805568 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14651/stat : 14651 (java) S 14643 14643 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50667612 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831336876784 139831862991490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14652] ppid=14643 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14652/stat : 14652 (java) S 14643 14643 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50667613 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831335823008 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14653] ppid=14643 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14653/stat : 14653 (java) S 14643 14643 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50667613 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831334769904 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14654] ppid=14643 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14654/stat : 14654 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667615 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831333718480 139831862998939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14655] ppid=14643 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14655/stat : 14655 (java) S 14643 14643 14382 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 50667615 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831332665584 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14656] ppid=14643 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14656/stat : 14656 (java) S 14643 14643 14382 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 50667615 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831331613040 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14657] ppid=14643 vsize=14082840 memory=140660087805568 CPUtime=0.01 cores=0,2,4,6
/proc/14645/task/14657/stat : 14657 (java) R 14643 14643 14382 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 50667615 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831330559984 139831855269637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14658] ppid=14643 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14658/stat : 14658 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667616 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831329507680 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14659] ppid=14643 vsize=14082840 memory=140660087805568 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14659/stat : 14659 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667616 14420828160 7167 33554432000 4194304 4196468 140722685448000 139831328455728 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30120 KiB

[startup+0.210999 s]*
/proc/loadavg: 1.69 1.77 1.75 4/222 14659
/proc/meminfo: memFree=25856108/32770624 swapFree=67108860/67108860
[pid=14643] ppid=14640 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14643/stat : 14643 (xcsp3-exec) S 14640 14643 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667610 115843072 363 33554432000 4194304 5098028 140733125346384 140733125344488 140409048797820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11886592 140733125350458 140733125350660 140733125350660 140733125353418 0
/proc/14643/statm: 28282 363 305 221 0 87 0
[pid=14645] ppid=14643 vsize=14087096 memory=40848 CPUtime=0.34 cores=0,2,4,6
/proc/14645/stat : 14645 (java) S 14643 14643 14382 0 -1 1077944320 8208 0 0 0 32 2 0 0 20 0 15 0 50667610 14425186304 10212 33554432000 4194304 4196468 140722685448000 140722685430544 139831862980343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
/proc/14645/statm: 3521774 10212 3187 1 0 3483008 0
[pid=14645/tid=14646] ppid=14643 vsize=14087096 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/14645/task/14646/stat : 14646 (java) R 14643 14643 14382 0 -1 4202560 5461 0 0 0 19 1 0 0 20 0 15 0 50667610 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831867201336 139831847060830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14647] ppid=14643 vsize=14087096 memory=13660 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14647/stat : 14647 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667611 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831793068560 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14648] ppid=14643 vsize=14087096 memory=140660087820302 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14648/stat : 14648 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667611 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831792016016 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14649] ppid=14643 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14649/stat : 14649 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667611 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831790962960 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14650] ppid=14643 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14650/stat : 14650 (java) S 14643 14643 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50667611 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831789910416 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14651] ppid=14643 vsize=14087096 memory=140660087805568 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14651/stat : 14651 (java) S 14643 14643 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50667612 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831336876784 139831862991490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14652] ppid=14643 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14652/stat : 14652 (java) S 14643 14643 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50667613 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831335823008 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14653] ppid=14643 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14653/stat : 14653 (java) S 14643 14643 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50667613 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831334769904 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14654] ppid=14643 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14654/stat : 14654 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667615 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831333718480 139831862998939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14655] ppid=14643 vsize=14087096 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14645/task/14655/stat : 14655 (java) S 14643 14643 14382 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 50667615 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831332665584 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14656] ppid=14643 vsize=14087096 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14645/task/14656/stat : 14656 (java) S 14643 14643 14382 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 50667615 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831331613040 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14657] ppid=14643 vsize=14087096 memory=140660087805568 CPUtime=0.08 cores=0,2,4,6
/proc/14645/task/14657/stat : 14657 (java) S 14643 14643 14382 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 15 0 50667615 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831330559984 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14658] ppid=14643 vsize=14087096 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14658/stat : 14658 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667616 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831329507680 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14659] ppid=14643 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14659/stat : 14659 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667616 14425186304 10212 33554432000 4194304 4196468 140722685448000 139831328455728 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42300 KiB

[startup+0.310979 s]*
/proc/loadavg: 1.71 1.78 1.75 3/222 14659
/proc/meminfo: memFree=25849408/32770624 swapFree=67108860/67108860
[pid=14643] ppid=14640 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14643/stat : 14643 (xcsp3-exec) S 14640 14643 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667610 115843072 363 33554432000 4194304 5098028 140733125346384 140733125344488 140409048797820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11886592 140733125350458 140733125350660 140733125350660 140733125353418 0
/proc/14643/statm: 28282 363 305 221 0 87 0
[pid=14645] ppid=14643 vsize=14087096 memory=47784 CPUtime=0.5 cores=0,2,4,6
/proc/14645/stat : 14645 (java) S 14643 14643 14382 0 -1 1077944320 9066 0 0 0 48 2 0 0 20 0 15 0 50667610 14425186304 11946 33554432000 4194304 4196468 140722685448000 140722685430544 139831862980343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
/proc/14645/statm: 3521774 11946 3220 1 0 3483008 0
[pid=14645/tid=14646] ppid=14643 vsize=14087096 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/14645/task/14646/stat : 14646 (java) R 14643 14643 14382 0 -1 4202560 6157 0 0 0 28 1 0 0 20 0 15 0 50667610 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831867215472 139831863002269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14647] ppid=14643 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14647/stat : 14647 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667611 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831793068560 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14648] ppid=14643 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14648/stat : 14648 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667611 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831792016016 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14649] ppid=14643 vsize=14087096 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14649/stat : 14649 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667611 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831790962960 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14650] ppid=14643 vsize=14087096 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14650/stat : 14650 (java) S 14643 14643 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 50667611 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831789910416 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14651] ppid=14643 vsize=14087096 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14651/stat : 14651 (java) S 14643 14643 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 50667612 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831336876784 139831862991490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14652] ppid=14643 vsize=14087096 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14652/stat : 14652 (java) S 14643 14643 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 50667613 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831335823008 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14653] ppid=14643 vsize=14087096 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14653/stat : 14653 (java) S 14643 14643 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 50667613 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831334769904 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14654] ppid=14643 vsize=14087096 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14654/stat : 14654 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667615 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831333718480 139831862998939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14655] ppid=14643 vsize=14087096 memory=8508281356422055839 CPUtime=0.03 cores=0,2,4,6
/proc/14645/task/14655/stat : 14655 (java) S 14643 14643 14382 0 -1 1077944384 422 0 0 0 3 0 0 0 20 0 15 0 50667615 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831332665584 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14656] ppid=14643 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14645/task/14656/stat : 14656 (java) S 14643 14643 14382 0 -1 1077944384 288 0 0 0 4 0 0 0 20 0 15 0 50667615 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831331613040 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14657] ppid=14643 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14645/task/14657/stat : 14657 (java) S 14643 14643 14382 0 -1 1077944384 898 0 0 0 12 0 0 0 20 0 15 0 50667615 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831330559984 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14658] ppid=14643 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14658/stat : 14658 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667616 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831329507680 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14659] ppid=14643 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14659/stat : 14659 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667616 14425186304 11946 33554432000 4194304 4196468 140722685448000 139831328455728 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49236 KiB

[startup+0.700934 s]
/proc/loadavg: 1.71 1.78 1.75 4/222 14659
/proc/meminfo: memFree=25749408/32770624 swapFree=67108860/67108860
[pid=14643] ppid=14640 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14643/stat : 14643 (xcsp3-exec) S 14640 14643 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667610 115843072 363 33554432000 4194304 5098028 140733125346384 140733125344488 140409048797820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11886592 140733125350458 140733125350660 140733125350660 140733125353418 0
/proc/14643/statm: 28282 363 305 221 0 87 0
[pid=14645] ppid=14643 vsize=14087096 memory=291808 CPUtime=1.52 cores=0,2,4,6
/proc/14645/stat : 14645 (java) S 14643 14643 14382 0 -1 1077944320 12050 0 0 0 130 22 0 0 20 0 15 0 50667610 14425186304 72952 33554432000 4194304 4196468 140722685448000 140722685430544 139831862980343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
/proc/14645/statm: 3521774 72952 3302 1 0 3483008 0
[pid=14645/tid=14646] ppid=14643 vsize=14087096 memory=33 CPUtime=0.6 cores=0,2,4,6
/proc/14645/task/14646/stat : 14646 (java) R 14643 14643 14382 0 -1 4202560 6298 0 0 0 55 5 0 0 20 0 15 0 50667610 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831867211968 139831863002269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14647] ppid=14643 vsize=14087096 memory=-7816663703405220396 CPUtime=0.05 cores=0,2,4,6
/proc/14645/task/14647/stat : 14647 (java) S 14643 14643 14382 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 50667611 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831793068560 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14648] ppid=14643 vsize=14087096 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/14645/task/14648/stat : 14648 (java) S 14643 14643 14382 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 50667611 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831792016016 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14649] ppid=14643 vsize=14087096 memory=16688 CPUtime=0.05 cores=0,2,4,6
/proc/14645/task/14649/stat : 14649 (java) S 14643 14643 14382 0 -1 1077944384 61 0 0 0 2 3 0 0 20 0 15 0 50667611 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831790962960 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14650] ppid=14643 vsize=14087096 memory=2396 CPUtime=0.05 cores=0,2,4,6
/proc/14645/task/14650/stat : 14650 (java) S 14643 14643 14382 0 -1 1077944384 67 0 0 0 2 3 0 0 20 0 15 0 50667611 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831789910416 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14651] ppid=14643 vsize=14087096 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14651/stat : 14651 (java) S 14643 14643 14382 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 50667612 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831336876784 139831862991490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14652] ppid=14643 vsize=14087096 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14652/stat : 14652 (java) S 14643 14643 14382 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 50667613 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831335823008 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14653] ppid=14643 vsize=14087096 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14653/stat : 14653 (java) S 14643 14643 14382 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 50667613 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831334769904 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14654] ppid=14643 vsize=14087096 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14654/stat : 14654 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667615 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831333718480 139831862998939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14655] ppid=14643 vsize=14087096 memory=796 CPUtime=0.18 cores=0,2,4,6
/proc/14645/task/14655/stat : 14655 (java) S 14643 14643 14382 0 -1 1077944384 1392 0 0 0 18 0 0 0 20 0 15 0 50667615 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831332665584 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14656] ppid=14643 vsize=14087096 memory=4616 CPUtime=0.25 cores=0,2,4,6
/proc/14645/task/14656/stat : 14656 (java) R 14643 14643 14382 0 -1 4202560 1457 0 0 0 25 0 0 0 20 0 15 0 50667615 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831331613040 139831842816724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14657] ppid=14643 vsize=14087096 memory=1424 CPUtime=0.18 cores=0,2,4,6
/proc/14645/task/14657/stat : 14657 (java) S 14643 14643 14382 0 -1 1077944384 1270 0 0 0 18 0 0 0 20 0 15 0 50667615 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831330559984 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14658] ppid=14643 vsize=14087096 memory=10940 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14658/stat : 14658 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667616 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831329507680 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14659] ppid=14643 vsize=14087096 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14659/stat : 14659 (java) S 14643 14643 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 50667616 14425186304 72952 33554432000 4194304 4196468 140722685448000 139831328455728 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 293260 KiB

[startup+1.50077 s]
/proc/loadavg: 1.71 1.78 1.75 7/220 14690
/proc/meminfo: memFree=27014340/32770624 swapFree=67108860/67108860
[pid=14643] ppid=14640 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14643/stat : 14643 (xcsp3-exec) S 14640 14643 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667610 115843072 363 33554432000 4194304 5098028 140733125346384 140733125344488 140409048797820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11886592 140733125350458 140733125350660 140733125350660 140733125353418 0
/proc/14643/statm: 28282 363 305 221 0 87 0

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

/proc/14645/task/14653/stat : 14653 (java) S 14643 14643 14382 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 50667613 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831334769920 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14654] ppid=14643 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14654/stat : 14654 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667615 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831333718480 139831862998939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14655] ppid=14643 vsize=14091268 memory=3971496 CPUtime=4.83 cores=0,2,4,6
/proc/14645/task/14655/stat : 14655 (java) S 14643 14643 14382 0 -1 1077944384 46524 0 0 0 478 5 0 0 20 0 15 0 50667615 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831332665584 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14656] ppid=14643 vsize=14091268 memory=1452 CPUtime=4.44 cores=0,2,4,6
/proc/14645/task/14656/stat : 14656 (java) S 14643 14643 14382 0 -1 1077944384 42828 0 0 0 440 4 0 0 20 0 15 0 50667615 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831331613040 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14657] ppid=14643 vsize=14091268 memory=1452 CPUtime=1.13 cores=0,2,4,6
/proc/14645/task/14657/stat : 14657 (java) S 14643 14643 14382 0 -1 1077944384 22289 0 0 0 110 3 0 0 20 0 15 0 50667615 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831330559984 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14658] ppid=14643 vsize=14091268 memory=3971496 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14658/stat : 14658 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667616 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831329507680 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14659] ppid=14643 vsize=14091268 memory=281315861677238 CPUtime=1.01 cores=0,2,4,6
/proc/14645/task/14659/stat : 14659 (java) S 14643 14643 14382 0 -1 1077944384 2339 0 0 0 48 53 0 0 20 0 15 0 50667616 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831328455728 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
Current children cumulated CPU time: 2222.31 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 3972948 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/221 14832
/proc/meminfo: memFree=18331452/32770624 swapFree=67108860/67108860
[pid=14643] ppid=14640 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14643/stat : 14643 (xcsp3-exec) S 14640 14643 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667610 115843072 363 33554432000 4194304 5098028 140733125346384 140733125344488 140409048797820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11886592 140733125350458 140733125350660 140733125350660 140733125353418 0
/proc/14643/statm: 28282 363 305 221 0 87 0
[pid=14645] ppid=14643 vsize=14091268 memory=3971496 CPUtime=2282.34 cores=0,2,4,6
/proc/14645/stat : 14645 (java) S 14643 14643 14382 0 -1 1077944320 234230 0 0 0 227904 330 0 0 20 0 15 0 50667610 14429458432 992874 33554432000 4194304 4196468 140722685448000 140722685430544 139831862980343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
/proc/14645/statm: 3522817 992874 3420 1 0 3484032 0
[pid=14645/tid=14646] ppid=14643 vsize=14091268 memory=3971496 CPUtime=2259.12 cores=0,2,4,6
/proc/14645/task/14646/stat : 14646 (java) R 14643 14643 14382 0 -1 4202560 80752 0 0 0 225876 36 0 0 20 0 15 0 50667610 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831867219112 139831477401777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14647] ppid=14643 vsize=14091268 memory=1452 CPUtime=2.82 cores=0,2,4,6
/proc/14645/task/14647/stat : 14647 (java) S 14643 14643 14382 0 -1 1077944384 7572 0 0 0 225 57 0 0 20 0 15 0 50667611 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831793068560 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14648] ppid=14643 vsize=14091268 memory=3971496 CPUtime=2.87 cores=0,2,4,6
/proc/14645/task/14648/stat : 14648 (java) S 14643 14643 14382 0 -1 1077944384 6445 0 0 0 230 57 0 0 20 0 15 0 50667611 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831792016016 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14649] ppid=14643 vsize=14091268 memory=1452 CPUtime=2.86 cores=0,2,4,6
/proc/14645/task/14649/stat : 14649 (java) S 14643 14643 14382 0 -1 1077944384 5803 0 0 0 227 59 0 0 20 0 15 0 50667611 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831790962960 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14650] ppid=14643 vsize=14091268 memory=1452 CPUtime=2.87 cores=0,2,4,6
/proc/14645/task/14650/stat : 14650 (java) S 14643 14643 14382 0 -1 1077944384 7225 0 0 0 230 57 0 0 20 0 15 0 50667611 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831789910416 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14651] ppid=14643 vsize=14091268 memory=3971496 CPUtime=0.26 cores=0,2,4,6
/proc/14645/task/14651/stat : 14651 (java) S 14643 14643 14382 0 -1 1077944384 10744 0 0 0 24 2 0 0 20 0 15 0 50667612 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831336876784 139831862991490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14652] ppid=14643 vsize=14091268 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14652/stat : 14652 (java) S 14643 14643 14382 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 50667613 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831335823072 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14653] ppid=14643 vsize=14091268 memory=3971496 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14653/stat : 14653 (java) S 14643 14643 14382 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 50667613 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831334769920 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14654] ppid=14643 vsize=14091268 memory=3971496 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14654/stat : 14654 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667615 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831333718480 139831862998939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14655] ppid=14643 vsize=14091268 memory=1452 CPUtime=4.83 cores=0,2,4,6
/proc/14645/task/14655/stat : 14655 (java) S 14643 14643 14382 0 -1 1077944384 46536 0 0 0 478 5 0 0 20 0 15 0 50667615 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831332665584 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14656] ppid=14643 vsize=14091268 memory=1452 CPUtime=4.44 cores=0,2,4,6
/proc/14645/task/14656/stat : 14656 (java) S 14643 14643 14382 0 -1 1077944384 42833 0 0 0 440 4 0 0 20 0 15 0 50667615 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831331613040 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14657] ppid=14643 vsize=14091268 memory=4096 CPUtime=1.13 cores=0,2,4,6
/proc/14645/task/14657/stat : 14657 (java) S 14643 14643 14382 0 -1 1077944384 22574 0 0 0 110 3 0 0 20 0 15 0 50667615 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831330559984 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14658] ppid=14643 vsize=14091268 memory=3971496 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14658/stat : 14658 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667616 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831329507680 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14659] ppid=14643 vsize=14091268 memory=1452 CPUtime=1.05 cores=0,2,4,6
/proc/14645/task/14659/stat : 14659 (java) S 14643 14643 14382 0 -1 1077944384 2415 0 0 0 50 55 0 0 20 0 15 0 50667616 14429458432 992874 33554432000 4194304 4196468 140722685448000 139831328455728 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
Current children cumulated CPU time: 2282.34 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 3972948 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/220 14833
/proc/meminfo: memFree=18329748/32770624 swapFree=67108860/67108860
[pid=14643] ppid=14640 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14643/stat : 14643 (xcsp3-exec) S 14640 14643 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667610 115843072 363 33554432000 4194304 5098028 140733125346384 140733125344488 140409048797820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11886592 140733125350458 140733125350660 140733125350660 140733125353418 0
/proc/14643/statm: 28282 363 305 221 0 87 0
[pid=14645] ppid=14643 vsize=14091268 memory=3972540 CPUtime=2342.36 cores=0,2,4,6
/proc/14645/stat : 14645 (java) S 14643 14643 14382 0 -1 1077944320 236080 0 0 0 233905 331 0 0 20 0 15 0 50667610 14429458432 993135 33554432000 4194304 4196468 140722685448000 140722685430544 139831862980343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
/proc/14645/statm: 3522817 993135 3420 1 0 3484032 0
[pid=14645/tid=14646] ppid=14643 vsize=14091268 memory=3972540 CPUtime=2319.13 cores=0,2,4,6
/proc/14645/task/14646/stat : 14646 (java) R 14643 14643 14382 0 -1 4202560 82488 0 0 0 231876 37 0 0 20 0 15 0 50667610 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831867219112 139831469622320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14647] ppid=14643 vsize=14091268 memory=3972540 CPUtime=2.82 cores=0,2,4,6
/proc/14645/task/14647/stat : 14647 (java) S 14643 14643 14382 0 -1 1077944384 7572 0 0 0 225 57 0 0 20 0 15 0 50667611 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831793068560 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14648] ppid=14643 vsize=14091268 memory=3972540 CPUtime=2.87 cores=0,2,4,6
/proc/14645/task/14648/stat : 14648 (java) S 14643 14643 14382 0 -1 1077944384 6445 0 0 0 230 57 0 0 20 0 15 0 50667611 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831792016016 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14649] ppid=14643 vsize=14091268 memory=3972540 CPUtime=2.86 cores=0,2,4,6
/proc/14645/task/14649/stat : 14649 (java) S 14643 14643 14382 0 -1 1077944384 5803 0 0 0 227 59 0 0 20 0 15 0 50667611 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831790962960 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14650] ppid=14643 vsize=14091268 memory=3972540 CPUtime=2.87 cores=0,2,4,6
/proc/14645/task/14650/stat : 14650 (java) S 14643 14643 14382 0 -1 1077944384 7225 0 0 0 230 57 0 0 20 0 15 0 50667611 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831789910416 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14651] ppid=14643 vsize=14091268 memory=1452 CPUtime=0.26 cores=0,2,4,6
/proc/14645/task/14651/stat : 14651 (java) S 14643 14643 14382 0 -1 1077944384 10762 0 0 0 24 2 0 0 20 0 15 0 50667612 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831336876784 139831862991490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14652] ppid=14643 vsize=14091268 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14652/stat : 14652 (java) S 14643 14643 14382 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 50667613 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831335823072 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14653] ppid=14643 vsize=14091268 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14653/stat : 14653 (java) S 14643 14643 14382 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 50667613 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831334769920 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14654] ppid=14643 vsize=14091268 memory=16728 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14654/stat : 14654 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667615 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831333718480 139831862998939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14655] ppid=14643 vsize=14091268 memory=3972540 CPUtime=4.83 cores=0,2,4,6
/proc/14645/task/14655/stat : 14655 (java) S 14643 14643 14382 0 -1 1077944384 46552 0 0 0 478 5 0 0 20 0 15 0 50667615 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831332665584 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14656] ppid=14643 vsize=14091268 memory=1408 CPUtime=4.44 cores=0,2,4,6
/proc/14645/task/14656/stat : 14656 (java) S 14643 14643 14382 0 -1 1077944384 42839 0 0 0 440 4 0 0 20 0 15 0 50667615 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831331613040 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14657] ppid=14643 vsize=14091268 memory=1692 CPUtime=1.13 cores=0,2,4,6
/proc/14645/task/14657/stat : 14657 (java) S 14643 14643 14382 0 -1 1077944384 22582 0 0 0 110 3 0 0 20 0 15 0 50667615 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831330559984 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14658] ppid=14643 vsize=14091268 memory=916 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14658/stat : 14658 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667616 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831329507680 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14659] ppid=14643 vsize=14091268 memory=1452 CPUtime=1.08 cores=0,2,4,6
/proc/14645/task/14659/stat : 14659 (java) S 14643 14643 14382 0 -1 1077944384 2481 0 0 0 51 57 0 0 20 0 15 0 50667616 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831328455728 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
Current children cumulated CPU time: 2342.36 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 3973992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2380 s]*
/proc/loadavg: 2.00 2.03 2.00 3/221 14875
/proc/meminfo: memFree=22164752/32770624 swapFree=67108860/67108860
[pid=14643] ppid=14640 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/14643/stat : 14643 (xcsp3-exec) S 14640 14643 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 50667610 115843072 363 33554432000 4194304 5098028 140733125346384 140733125344488 140409048797820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11886592 140733125350458 140733125350660 140733125350660 140733125353418 0
/proc/14643/statm: 28282 363 305 221 0 87 0
[pid=14645] ppid=14643 vsize=14091268 memory=3972540 CPUtime=2400.1 cores=0,2,4,6
/proc/14645/stat : 14645 (java) S 14643 14643 14382 0 -1 1077944320 237698 0 0 0 239677 333 0 0 20 0 15 0 50667610 14429458432 993135 33554432000 4194304 4196468 140722685448000 140722685430544 139831862980343 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
/proc/14645/statm: 3522817 993135 3420 1 0 3484032 0
[pid=14645/tid=14646] ppid=14643 vsize=14091268 memory=1236 CPUtime=2376.83 cores=0,2,4,6
/proc/14645/task/14646/stat : 14646 (java) R 14643 14643 14382 0 -1 4202560 83991 0 0 0 237646 37 0 0 20 0 15 0 50667610 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831867219112 139831477401777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14647] ppid=14643 vsize=14091268 memory=10072 CPUtime=2.82 cores=0,2,4,6
/proc/14645/task/14647/stat : 14647 (java) S 14643 14643 14382 0 -1 1077944384 7572 0 0 0 225 57 0 0 20 0 15 0 50667611 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831793068560 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14648] ppid=14643 vsize=14091268 memory=4052 CPUtime=2.87 cores=0,2,4,6
/proc/14645/task/14648/stat : 14648 (java) S 14643 14643 14382 0 -1 1077944384 6445 0 0 0 230 57 0 0 20 0 15 0 50667611 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831792016016 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14649] ppid=14643 vsize=14091268 memory=4126316290023845779 CPUtime=2.86 cores=0,2,4,6
/proc/14645/task/14649/stat : 14649 (java) S 14643 14643 14382 0 -1 1077944384 5803 0 0 0 227 59 0 0 20 0 15 0 50667611 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831790962960 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14650] ppid=14643 vsize=14091268 memory=1732 CPUtime=2.87 cores=0,2,4,6
/proc/14645/task/14650/stat : 14650 (java) S 14643 14643 14382 0 -1 1077944384 7225 0 0 0 230 57 0 0 20 0 15 0 50667611 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831789910416 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14651] ppid=14643 vsize=14091268 memory=1008 CPUtime=0.27 cores=0,2,4,6
/proc/14645/task/14651/stat : 14651 (java) S 14643 14643 14382 0 -1 1077944384 10781 0 0 0 25 2 0 0 20 0 15 0 50667612 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831336876784 139831862991490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14652] ppid=14643 vsize=14091268 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14652/stat : 14652 (java) S 14643 14643 14382 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 50667613 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831335823072 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14653] ppid=14643 vsize=14091268 memory=796 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14653/stat : 14653 (java) S 14643 14643 14382 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 50667613 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831334769920 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14654] ppid=14643 vsize=14091268 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14654/stat : 14654 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667615 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831333718480 139831862998939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14655] ppid=14643 vsize=14091268 memory=1424 CPUtime=4.83 cores=0,2,4,6
/proc/14645/task/14655/stat : 14655 (java) S 14643 14643 14382 0 -1 1077944384 46568 0 0 0 478 5 0 0 20 0 15 0 50667615 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831332665584 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14656] ppid=14643 vsize=14091268 memory=10940 CPUtime=4.44 cores=0,2,4,6
/proc/14645/task/14656/stat : 14656 (java) S 14643 14643 14382 0 -1 1077944384 42844 0 0 0 440 4 0 0 20 0 15 0 50667615 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831331613040 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14657] ppid=14643 vsize=14091268 memory=1200 CPUtime=1.13 cores=0,2,4,6
/proc/14645/task/14657/stat : 14657 (java) S 14643 14643 14382 0 -1 1077944384 22591 0 0 0 110 3 0 0 20 0 15 0 50667615 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831330559984 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14658] ppid=14643 vsize=14091268 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/14645/task/14658/stat : 14658 (java) S 14643 14643 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 50667616 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831329507680 139831862990549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
[pid=14645/tid=14659] ppid=14643 vsize=14091268 memory=1704 CPUtime=1.1 cores=0,2,4,6
/proc/14645/task/14659/stat : 14659 (java) S 14643 14643 14382 0 -1 1077944384 2547 0 0 0 52 58 0 0 20 0 15 0 50667616 14429458432 993135 33554432000 4194304 4196468 140722685448000 139831328455728 139831862991490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12279808 140722685453441 140722685453617 140722685453617 140722685456335 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 3973992 KiB

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

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

[startup+2380.04 s]
# the end of solver process 14645 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.79 s, system=3.35751 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): 2380.04
CPU time (s): 2400.15
CPU user time (s): 2396.79
CPU system time (s): 3.35751
CPU usage (%): 100.845
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 3973992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.79
system time used= 3.35751
maximum resident set size= 3973328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56533
involuntary context switches= 1246


# summary of solver processes directly reported to runsolver:
#   pid: 14643,14645
#   total CPU time (s): 2400.15
#   total CPU user time (s): 2396.79
#   total CPU system time (s): 3.35751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3791 second user time and 23.6012 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-23 09:30:44
IDJOB=4292772
IDBENCH=141267
IDSOLVER=2747
FILE ID=node134/4292772-1532331044
RUNJOBID= node134-1532328652-14413
PBS_JOBID= 21018997
Free space on /tmp= 55880 MiB

SOLVER NAME= Choco-solver 4.0.7 seq (493a269)
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-4292772-1532331044/watcher-4292772-1532331044 -o /tmp/evaluation-result-4292772-1532331044/solver-4292772-1532331044 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14413 --watchdog 2560  HOME/xcsp3-exec -seed 1333952653 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292772-1532331044.xml

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

MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13
RANDOM SEED=1333952653

node134.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.68
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.68
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.68
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.68
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:        25883876 kB
MemAvailable:   30489616 kB
Buffers:          185856 kB
Cached:          4684216 kB
SwapCached:            0 kB
Active:          3010060 kB
Inactive:        3400888 kB
Active(anon):    1490496 kB
Inactive(anon):    70304 kB
Active(file):    1519564 kB
Inactive(file):  3330584 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            116280 kB
Writeback:             0 kB
AnonPages:       1525772 kB
Mapped:            49460 kB
Shmem:             17056 kB
Slab:             171328 kB
SReclaimable:     142856 kB
SUnreclaim:        28472 kB
KernelStack:        3616 kB
PageTables:         8312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2144804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1452032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55716 MiB
End job on node134 at 2018-07-23 10:10:24