Trace number 4400600

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16SAT (TO)24644 2400.52 620.706

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml
MD5SUM19bcf73076031218e5fd4b7208c9a15e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark18575
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
Number of domains9
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity2
Maximum constraint arity280
Distribution of constraint arities[{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}]
Number of extensional constraints0
Number of intensional constraints4409
Distribution of constraint types[{"type":"intension","count":4409},{"type":"instantiation","count":1}]
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400600-1568697418.xml"  -tl '2400s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400600-1568697418.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
31.69/17.30	c solve instance...
39.19/19.25	o 528295 
39.19/19.27	o 528195 
39.19/19.29	o 526196 
39.19/19.30	o 526176 
39.47/19.32	o 526170 
39.47/19.33	o 526160 
39.47/19.33	o 526149 
39.47/19.34	o 525740 
40.92/19.70	o 525725 
40.92/19.71	o 525724 
40.92/19.72	o 525723 
40.92/19.72	o 525713 
40.92/19.72	o 525612 
40.92/19.76	o 525592 
41.69/19.94	o 525591 
42.88/20.27	o 525580 
44.83/20.71	o 525184 
44.83/20.73	o 525164 
44.83/20.74	o 525158 
44.83/20.75	o 525148 
44.83/20.76	o 525137 
44.83/20.76	o 524728 
45.78/21.32	o 524713 
47.46/22.76	o 524712 
47.57/22.81	o 524711 
47.57/22.83	o 524701 
47.57/22.84	o 524600 
47.87/22.91	o 524580 
47.87/22.96	o 524500 
47.87/22.98	o 524480 
49.01/23.25	o 524479 
49.38/23.35	o 521161 
61.93/27.00	o 521156 
63.62/27.47	o 521074 
64.80/27.77	o 520074 
65.36/28.01	o 520073 
65.36/28.02	o 519075 
66.48/28.31	o 517075 
67.25/28.59	o 517063 
68.44/28.89	o 516073 
70.00/29.28	o 516012 
70.00/29.28	o 515992 
70.00/29.29	o 515986 
70.00/29.29	o 515063 
70.55/29.54	o 515022 
70.55/29.54	o 514063 
71.27/29.81	o 514010 
71.27/29.83	o 513990 
72.35/30.85	o 513984 
72.35/30.87	o 513974 
72.35/30.87	o 513963 
72.35/30.88	o 513554 
72.35/30.89	o 513539 
72.50/30.90	o 513538 
72.50/30.90	o 513537 
72.50/30.91	o 513527 
72.90/31.04	o 513426 
73.33/31.34	o 513406 
73.33/31.37	o 513326 
73.33/31.39	o 513306 
73.58/31.42	o 513254 
73.58/31.43	o 513234 
73.86/31.51	o 513219 
73.86/31.53	o 513218 
73.86/31.56	o 513206 
73.86/31.58	o 513126 
73.86/31.59	o 513106 
74.18/31.68	o 512763 
74.18/31.68	o 512743 
74.18/31.70	o 512736 
74.52/31.70	o 512635 
74.52/31.72	o 512615 
74.52/31.76	o 512593 
74.91/32.00	o 512553 
75.02/32.01	o 511593 
75.81/32.28	o 511541 
75.81/32.29	o 510593 
76.76/32.58	o 36037 
84.70/34.67	o 35138 
84.86/34.74	o 35136 
85.23/34.86	o 35026 
85.58/34.97	o 34826 
86.70/35.26	o 34626 
99.80/38.52	o 32648 
113.32/42.05	o 32628 
120.29/43.82	o 32209 
140.62/49.55	o 31230 
149.65/51.89	o 29760 
149.96/51.91	o 29561 
150.33/52.07	o 29560 
160.08/54.58	o 29549 
162.35/55.39	o 29449 
169.86/57.55	o 29389 
233.13/73.71	o 28797 
243.24/76.42	o 28757 
244.37/76.94	o 27856 
378.02/110.75	o 27020 
450.20/129.01	o 26942 
522.47/147.26	o 26632 
523.52/147.77	o 26622 
541.75/152.60	o 26477 
542.08/152.71	o 25124 
585.25/164.02	o 25054 
781.82/213.87	o 24754 
855.38/232.56	o 24744 
873.70/237.24	o 24644 
2400.20/620.66	s SATISFIABLE
2400.20/620.66	v <instantiation>
2400.20/620.66	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055] </list>
2400.20/620.66	v 	<values>442 680 554 792 694 456 282 44 414 652 512 750 512 750 680 442 310 72 540 778 414 652 16 254 254 16 666 428 86 324 100 338 484 722 414 652 540 778 442 680 442 680 352 114 554 792 512 750 156 394 722 484 44 282 338 100 16 254 722 484 338 100 792 554 44 282 414 652 324 86 750 512 58 296 526 764 296 58 142 380 156 394 352 114 44 282 380 142 470 708 366 128 156 394 498 736 114 352 526 764 484 722 16 254 540 778 414 652 778 540 366 128 750 512 764 526 456 694 44 282 30 268 16 254 282 44 652 414 254 16 428 666 296 58 352 114 442 680 156 394 442 680 442 680 58 296 750 512 394 156 44 282 750 512 44 282 792 554 170 408 58 296 428 666 380 142 268 30 554 792 442 680 44 282 352 114 652 414 86 324 128 366 470 708 296 58 456 694 394 156 282 44 142 380 254 16 792 554 352 114 414 652 142 380 394 156 394 156 722 484 456 694 526 764 526 764 142 380 72 310 722 484 142 380 30 268 680 442 456 694 764 526 268 30 764 526 86 324 680 442 428 666 736 498 540 778 296 58 540 778 540 778 778 540 380 142 30 268 456 694 16 254 282 44 30 268 268 30 282 44 680 442 380 142 442 680 764 526 44 282 694 456 30 268 86 324 722 484 282 44 526 764 540 778 470 708 114 352 268 30 694 456 100 338 30 268 352 114 778 540 254 16 442 680 540 778 512 750 296 58 708 470 156 394 666 428 666 428 30 268 456 694 338 100 30 268 428 666 540 778 44 282 694 456 540 778 142 380 470 708 736 498 352 114 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 666 428 380 142 310 72 456 694 282 44 540 778 442 680 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 778 540 86 324 114 352 750 512 708 470 736 498 736 498 428 666 394 156 296 58 142 380 30 268 764 526 540 778 680 442 352 114 778 540 708 470 666 428 86 324 268 30 778 540 128 366 736 498 498 736 540 778 142 380 526 764 268 30 352 114 414 652 44 282 16 254 156 394 750 512 128 366 736 498 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 394 156 380 142 296 58 722 484 792 554 764 526 142 380 722 484 666 428 442 680 526 764 268 30 484 722 296 58 526 764 352 114 268 30 268 30 526 764 694 456 456 694 456 694 366 128 58 296 694 456 470 708 128 366 30 268 652 414 394 156 540 778 366 128 100 338 142 380 268 30 428 666 352 114 708 470 380 142 442 680 142 380 72 310 764 526 324 86 268 30 666 428 58 296 484 722 338 100 540 778 680 442 366 128 86 324 428 666 30 268 666 428 114 352 512 750 310 72 512 750 254 16 736 498 114 352 156 394 680 442 254 16 100 338 30 268 30 268 414 652 30 268 324 86 428 666 750 512 778 540 30 268 666 428 268 30 268 30 666 428 128 366 86 324 512 750 366 128 722 484 254 16 100 338 254 16 72 310 100 338 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 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 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 1 1 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 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 </values>
2400.20/620.66	v </instantiation>
2400.20/620.66	c Unexpected resolution interruption!

Verifier Data 

OK	24644

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400600-1568697418/watcher-4400600-1568697418 -o /tmp/evaluation-result-4400600-1568697418/solver-4400600-1568697418 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30437 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 822399995 HOME/instance-4400600-1568697418.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
solver pid=8856, runsolver pid=8853
Current StackSize limit: 8192 KiB


[startup+0.100132 s]*
/proc/loadavg: 7.41 8.18 8.15 9/233 8872
/proc/meminfo: memFree=26406576/32770624 swapFree=66953076/67108860
[pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0
/proc/8856/statm: 28282 363 304 221 0 87 0
[pid=8858] ppid=8856 vsize=15144776 memory=28988 CPUtime=0.12 cores=0,2,4,6
/proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 5650 0 0 0 11 1 0 0 20 0 15 0 446010644 15508250624 7247 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
/proc/8858/statm: 3786194 7247 3157 1 0 3748377 0
[pid=8858/tid=8859] ppid=8856 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=0,2,4,6
/proc/8858/task/8859/stat : 8859 (java) R 8856 8856 30406 0 -1 4202560 3561 0 0 0 8 1 0 0 20 0 15 0 446010644 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705770554800 140705766343258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8860] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8861] ppid=8856 vsize=15144776 memory=288230376155018656 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8862] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8863] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8864] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010646 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8865] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446010647 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705233789728 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8866] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446010647 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705232737392 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8867] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010649 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8868] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8868/stat : 8868 (java) R 8856 8856 30406 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8869] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8869/stat : 8869 (java) R 8856 8856 30406 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705229579968 140705749757649 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8870] ppid=8856 vsize=15144776 memory=139721178510976 CPUtime=0.02 cores=0,2,4,6
/proc/8858/task/8870/stat : 8870 (java) R 8856 8856 30406 0 -1 4202560 378 0 0 0 2 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705228528496 140705750402398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8871] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8872] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 7247 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30440 KiB

[startup+0.210723 s]*
/proc/loadavg: 7.41 8.18 8.15 8/233 8872
/proc/meminfo: memFree=26393616/32770624 swapFree=66953076/67108860
[pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0
/proc/8856/statm: 28282 363 304 221 0 87 0
[pid=8858] ppid=8856 vsize=15144776 memory=40140 CPUtime=0.34 cores=0,2,4,6
/proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 9301 0 0 0 31 3 0 0 20 0 15 0 446010644 15508250624 10035 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
/proc/8858/statm: 3786194 10035 3253 1 0 3748377 0
[pid=8858/tid=8859] ppid=8856 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/8858/task/8859/stat : 8859 (java) R 8856 8856 30406 0 -1 4202560 6544 0 0 0 18 2 0 0 20 0 15 0 446010644 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705770559648 140705360122165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8860] ppid=8856 vsize=15144776 memory=4296914231 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8861] ppid=8856 vsize=15144776 memory=139721178536223 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8862] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8863] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010645 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8864] ppid=8856 vsize=15144776 memory=139721178510976 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446010646 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8865] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446010647 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705233789728 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8866] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446010647 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705232737392 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8867] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010649 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8868] ppid=8856 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8869] ppid=8856 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 179 0 0 0 3 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8870] ppid=8856 vsize=15144776 memory=139721178510976 CPUtime=0.08 cores=0,2,4,6
/proc/8858/task/8870/stat : 8870 (java) R 8856 8856 30406 0 -1 4202560 814 0 0 0 8 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705228528496 140705752003302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8871] ppid=8856 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8872] ppid=8856 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010650 15508250624 10035 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41592 KiB

[startup+0.313609 s]*
/proc/loadavg: 7.41 8.18 8.15 7/233 8872
/proc/meminfo: memFree=26386132/32770624 swapFree=66953076/67108860
[pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0
/proc/8856/statm: 28282 363 304 221 0 87 0
[pid=8858] ppid=8856 vsize=15149032 memory=50300 CPUtime=0.54 cores=0,2,4,6
/proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 10837 0 0 0 50 4 0 0 20 0 15 0 446010644 15512608768 12575 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
/proc/8858/statm: 3787258 12575 3371 1 0 3748377 0
[pid=8858/tid=8859] ppid=8856 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/8858/task/8859/stat : 8859 (java) R 8856 8856 30406 0 -1 4202560 7790 0 0 0 27 3 0 0 20 0 15 0 446010644 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705770555008 140705750402398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8860] ppid=8856 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8861] ppid=8856 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8862] ppid=8856 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8863] ppid=8856 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010645 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8864] ppid=8856 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446010646 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8865] ppid=8856 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446010647 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705233789728 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8866] ppid=8856 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446010647 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705232737392 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8867] ppid=8856 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010649 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8868] ppid=8856 vsize=15149032 memory=6944652177228980320 CPUtime=0.04 cores=0,2,4,6
/proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 600 0 0 0 4 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8869] ppid=8856 vsize=15149032 memory=-6654736624941490777 CPUtime=0.04 cores=0,2,4,6
/proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 213 0 0 0 4 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8870] ppid=8856 vsize=15149032 memory=5794270578205302177 CPUtime=0.12 cores=0,2,4,6
/proc/8858/task/8870/stat : 8870 (java) S 8856 8856 30406 0 -1 1077944384 967 0 0 0 12 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705228528496 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8871] ppid=8856 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8872] ppid=8856 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010650 15512608768 12575 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51752 KiB

[startup+0.700765 s]
/proc/loadavg: 7.46 8.18 8.15 9/233 8872
/proc/meminfo: memFree=26364608/32770624 swapFree=66953076/67108860
[pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0
/proc/8856/statm: 28282 363 304 221 0 87 0
[pid=8858] ppid=8856 vsize=15151156 memory=113292 CPUtime=1.73 cores=0,2,4,6
/proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 14335 0 0 0 167 6 0 0 20 0 15 0 446010644 15514783744 28323 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
/proc/8858/statm: 3787789 28323 3448 1 0 3748889 0
[pid=8858/tid=8859] ppid=8856 vsize=15151156 memory=4137303382726774134 CPUtime=0.67 cores=0,2,4,6
/proc/8858/task/8859/stat : 8859 (java) R 8856 8856 30406 0 -1 4202560 8468 0 0 0 63 4 0 0 20 0 15 0 446010644 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705770542336 140705766333846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8860] ppid=8856 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8861] ppid=8856 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8862] ppid=8856 vsize=15151156 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010645 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8863] ppid=8856 vsize=15151156 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446010645 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8864] ppid=8856 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446010646 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8865] ppid=8856 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446010647 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705233789728 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8866] ppid=8856 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446010647 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705232737392 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8867] ppid=8856 vsize=15151156 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010649 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8868] ppid=8856 vsize=15151156 memory=26052 CPUtime=0.36 cores=0,2,4,6
/proc/8858/task/8868/stat : 8868 (java) R 8856 8856 30406 0 -1 1077944384 1598 0 0 0 36 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8869] ppid=8856 vsize=15151156 memory=14068 CPUtime=0.33 cores=0,2,4,6
/proc/8858/task/8869/stat : 8869 (java) R 8856 8856 30406 0 -1 4202560 1101 0 0 0 33 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705229571168 140705750717747 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8870] ppid=8856 vsize=15151156 memory=524 CPUtime=0.32 cores=0,2,4,6
/proc/8858/task/8870/stat : 8870 (java) R 8856 8856 30406 0 -1 4202560 1861 0 0 0 32 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705228528496 140705744994522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8871] ppid=8856 vsize=15151156 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8872] ppid=8856 vsize=15151156 memory=928 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446010650 15514783744 28323 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 114744 KiB

[startup+1.50076 s]
/proc/loadavg: 7.46 8.18 8.15 8/233 8872
/proc/meminfo: memFree=26285796/32770624 swapFree=66953076/67108860
[pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0
/proc/8856/statm: 28282 363 304 221 0 87 0

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

/proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 521314 0 0 0 200541 339 0 0 20 0 19 0 446010644 15925850112 938170 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
/proc/8858/statm: 3888147 938170 3561 1 0 3849247 0
[pid=8858/tid=8859] ppid=8856 vsize=15552588 memory=3752680 CPUtime=14.83 cores=0,2,4,6
/proc/8858/task/8859/stat : 8859 (java) S 8856 8856 30406 0 -1 1077944384 18484 0 0 0 1468 15 0 0 20 0 19 0 446010644 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705770562688 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8860] ppid=8856 vsize=15552588 memory=3664580 CPUtime=5.59 cores=0,2,4,6
/proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 15077 0 0 0 493 66 0 0 20 0 19 0 446010645 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8861] ppid=8856 vsize=15552588 memory=3750596 CPUtime=5.69 cores=0,2,4,6
/proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 15777 0 0 0 500 69 0 0 20 0 19 0 446010645 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8862] ppid=8856 vsize=15552588 memory=3750596 CPUtime=5.65 cores=0,2,4,6
/proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 8592 0 0 0 496 69 0 0 20 0 19 0 446010645 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8863] ppid=8856 vsize=15552588 memory=3750596 CPUtime=5.6 cores=0,2,4,6
/proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 11978 0 0 0 494 66 0 0 20 0 19 0 446010645 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8864] ppid=8856 vsize=15552588 memory=3750596 CPUtime=0.17 cores=0,2,4,6
/proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 12223 0 0 0 16 1 0 0 20 0 19 0 446010646 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8865] ppid=8856 vsize=15552588 memory=3750596 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705233789792 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8866] ppid=8856 vsize=15552588 memory=3752680 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705232737408 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8867] ppid=8856 vsize=15552588 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010649 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8868] ppid=8856 vsize=15552588 memory=3752680 CPUtime=6.66 cores=0,2,4,6
/proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 39086 0 0 0 663 3 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8869] ppid=8856 vsize=15552588 memory=1452 CPUtime=6.11 cores=0,2,4,6
/proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 35113 0 0 0 608 3 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8870] ppid=8856 vsize=15552588 memory=1452 CPUtime=1.19 cores=0,2,4,6
/proc/8858/task/8870/stat : 8870 (java) S 8856 8856 30406 0 -1 1077944384 20175 0 0 0 117 2 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705228528496 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8871] ppid=8856 vsize=15552588 memory=3750596 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8872] ppid=8856 vsize=15552588 memory=1452 CPUtime=0.21 cores=0,2,4,6
/proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 2867 0 0 0 3 18 0 0 20 0 19 0 446010650 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9399] ppid=8856 vsize=15552588 memory=1452 CPUtime=282.13 cores=0,2,4,6
/proc/8858/task/9399/stat : 9399 (java) R 8856 8856 30406 0 -1 4202560 7400 0 0 0 28213 0 0 0 20 0 19 0 446034369 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705141869064 140705362215984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9400] ppid=8856 vsize=15552588 memory=1452 CPUtime=283.77 cores=0,2,4,6
/proc/8858/task/9400/stat : 9400 (java) R 8856 8856 30406 0 -1 4202560 42485 0 0 0 28371 6 0 0 20 0 19 0 446034369 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705213004560 140705362214431 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9401] ppid=8856 vsize=15552588 memory=1452 CPUtime=283.23 cores=0,2,4,6
/proc/8858/task/9401/stat : 9401 (java) R 8856 8856 30406 0 -1 4202560 12155 0 0 0 28322 1 0 0 20 0 19 0 446034369 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705215106512 140705364359856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9402] ppid=8856 vsize=15552588 memory=1452 CPUtime=284.32 cores=0,2,4,6
/proc/8858/task/9402/stat : 9402 (java) R 8856 8856 30406 0 -1 4202560 12418 0 0 0 28431 1 0 0 20 0 19 0 446034369 15925850112 938170 33554432000 4194304 4196468 140735008087600 140705210896424 140705363749046 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
Current children cumulated CPU time: 2008.8 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 3754132 KiB

[startup+582.302 s]
/proc/loadavg: 8.67 8.24 8.12 9/237 9451
/proc/meminfo: memFree=22728456/32770624 swapFree=66953076/67108860
[pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0
/proc/8856/statm: 28282 363 304 221 0 87 0
[pid=8858] ppid=8856 vsize=15552588 memory=3764936 CPUtime=2247.7 cores=0,2,4,6
/proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 532253 0 0 0 224429 341 0 0 20 0 19 0 446010644 15925850112 941234 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
/proc/8858/statm: 3888147 941234 3561 1 0 3849247 0
[pid=8858/tid=8859] ppid=8856 vsize=15552588 memory=3764936 CPUtime=14.83 cores=0,2,4,6
/proc/8858/task/8859/stat : 8859 (java) S 8856 8856 30406 0 -1 1077944384 18484 0 0 0 1468 15 0 0 20 0 19 0 446010644 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705770562688 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8860] ppid=8856 vsize=15552588 memory=3754708 CPUtime=5.61 cores=0,2,4,6
/proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 15444 0 0 0 495 66 0 0 20 0 19 0 446010645 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8861] ppid=8856 vsize=15552588 memory=3752680 CPUtime=5.71 cores=0,2,4,6
/proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 16140 0 0 0 502 69 0 0 20 0 19 0 446010645 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8862] ppid=8856 vsize=15552588 memory=3752680 CPUtime=5.68 cores=0,2,4,6
/proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 9325 0 0 0 499 69 0 0 20 0 19 0 446010645 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8863] ppid=8856 vsize=15552588 memory=3752680 CPUtime=5.62 cores=0,2,4,6
/proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 12522 0 0 0 496 66 0 0 20 0 19 0 446010645 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8864] ppid=8856 vsize=15552588 memory=3754708 CPUtime=0.17 cores=0,2,4,6
/proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 12498 0 0 0 16 1 0 0 20 0 19 0 446010646 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8865] ppid=8856 vsize=15552588 memory=3754708 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705233789792 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8866] ppid=8856 vsize=15552588 memory=3754708 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705232737408 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8867] ppid=8856 vsize=15552588 memory=3754708 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010649 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8868] ppid=8856 vsize=15552588 memory=3754708 CPUtime=6.66 cores=0,2,4,6
/proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 39094 0 0 0 663 3 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8869] ppid=8856 vsize=15552588 memory=1452 CPUtime=6.11 cores=0,2,4,6
/proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 35115 0 0 0 608 3 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8870] ppid=8856 vsize=15552588 memory=3764936 CPUtime=1.19 cores=0,2,4,6
/proc/8858/task/8870/stat : 8870 (java) S 8856 8856 30406 0 -1 1077944384 20180 0 0 0 117 2 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705228528496 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8871] ppid=8856 vsize=15552588 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8872] ppid=8856 vsize=15552588 memory=1452 CPUtime=0.22 cores=0,2,4,6
/proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 2896 0 0 0 3 19 0 0 20 0 19 0 446010650 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9399] ppid=8856 vsize=15552588 memory=1452 CPUtime=341.97 cores=0,2,4,6
/proc/8858/task/9399/stat : 9399 (java) R 8856 8856 30406 0 -1 4202560 8291 0 0 0 34197 0 0 0 20 0 19 0 446034369 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705141869064 140705362216057 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9400] ppid=8856 vsize=15552588 memory=1452 CPUtime=343.73 cores=0,2,4,6
/proc/8858/task/9400/stat : 9400 (java) R 8856 8856 30406 0 -1 4202560 47843 0 0 0 34366 7 0 0 20 0 19 0 446034369 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705213004576 140705361136756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9401] ppid=8856 vsize=15552588 memory=1452 CPUtime=342.69 cores=0,2,4,6
/proc/8858/task/9401/stat : 9401 (java) R 8856 8856 30406 0 -1 4202560 13367 0 0 0 34268 1 0 0 20 0 19 0 446034369 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705215106888 140705364216139 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9402] ppid=8856 vsize=15552588 memory=1452 CPUtime=343.85 cores=0,2,4,6
/proc/8858/task/9402/stat : 9402 (java) R 8856 8856 30406 0 -1 4202560 13570 0 0 0 34384 1 0 0 20 0 19 0 446034369 15925850112 941234 33554432000 4194304 4196468 140735008087600 140705210896176 140705364783038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
Current children cumulated CPU time: 2247.7 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 3766388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+620.602 s]
/proc/loadavg: 9.03 8.40 8.18 12/237 10028
/proc/meminfo: memFree=26705712/32770624 swapFree=66953076/67108860
[pid=8856] ppid=8853 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8856/stat : 8856 (xcsp3-exec) S 8853 8856 30406 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446010644 115843072 363 33554432000 4194304 5098028 140721451988848 140721451986952 140198167270012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19496960 140721451996027 140721451996269 140721451996269 140721451999178 0
/proc/8856/statm: 28282 363 304 221 0 87 0
[pid=8858] ppid=8856 vsize=15552588 memory=3764908 CPUtime=2400.2 cores=0,2,4,6
/proc/8858/stat : 8858 (java) S 8856 8856 30406 0 -1 1077944320 534942 0 0 0 239675 345 0 0 20 0 19 0 446010644 15925850112 941227 33554432000 4194304 4196468 140735008087600 140735008070144 140705766321911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
/proc/8858/statm: 3888147 941227 3561 1 0 3849247 0
[pid=8858/tid=8859] ppid=8856 vsize=15552588 memory=4112 CPUtime=14.83 cores=0,2,4,6
/proc/8858/task/8859/stat : 8859 (java) S 8856 8856 30406 0 -1 1077944384 18484 0 0 0 1468 15 0 0 20 0 19 0 446010644 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705770562688 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8860] ppid=8856 vsize=15552588 memory=8112282956445269571 CPUtime=5.62 cores=0,2,4,6
/proc/8858/task/8860/stat : 8860 (java) S 8856 8856 30406 0 -1 1077944384 15447 0 0 0 496 66 0 0 20 0 19 0 446010645 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705694362512 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8861] ppid=8856 vsize=15552588 memory=288230596050944315 CPUtime=5.73 cores=0,2,4,6
/proc/8858/task/8861/stat : 8861 (java) S 8856 8856 30406 0 -1 1077944384 16147 0 0 0 504 69 0 0 20 0 19 0 446010645 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705693309712 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8862] ppid=8856 vsize=15552588 memory=16100368647981698 CPUtime=5.69 cores=0,2,4,6
/proc/8858/task/8862/stat : 8862 (java) S 8856 8856 30406 0 -1 1077944384 9328 0 0 0 500 69 0 0 20 0 19 0 446010645 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705692257424 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8863] ppid=8856 vsize=15552588 memory=6016 CPUtime=5.63 cores=0,2,4,6
/proc/8858/task/8863/stat : 8863 (java) S 8856 8856 30406 0 -1 1077944384 12527 0 0 0 497 66 0 0 20 0 19 0 446010645 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705691204624 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8864] ppid=8856 vsize=15552588 memory=14012 CPUtime=0.17 cores=0,2,4,6
/proc/8858/task/8864/stat : 8864 (java) S 8856 8856 30406 0 -1 1077944384 12500 0 0 0 16 1 0 0 20 0 19 0 446010646 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705234843760 140705766333058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8865] ppid=8856 vsize=15552588 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8865/stat : 8865 (java) S 8856 8856 30406 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705233789792 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8866] ppid=8856 vsize=15552588 memory=26060 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8866/stat : 8866 (java) S 8856 8856 30406 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 19 0 446010647 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705232737408 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8867] ppid=8856 vsize=15552588 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8867/stat : 8867 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010649 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705231685712 140705766340507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8868] ppid=8856 vsize=15552588 memory=3624 CPUtime=6.66 cores=0,2,4,6
/proc/8858/task/8868/stat : 8868 (java) S 8856 8856 30406 0 -1 1077944384 39094 0 0 0 663 3 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705230633584 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8869] ppid=8856 vsize=15552588 memory=48032 CPUtime=6.11 cores=0,2,4,6
/proc/8858/task/8869/stat : 8869 (java) S 8856 8856 30406 0 -1 1077944384 35115 0 0 0 608 3 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705229580784 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8870] ppid=8856 vsize=15552588 memory=988 CPUtime=1.19 cores=0,2,4,6
/proc/8858/task/8870/stat : 8870 (java) S 8856 8856 30406 0 -1 1077944384 20180 0 0 0 117 2 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705228528496 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8871] ppid=8856 vsize=15552588 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/8858/task/8871/stat : 8871 (java) S 8856 8856 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705227475936 140705766332117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=8872] ppid=8856 vsize=15552588 memory=1384 CPUtime=0.24 cores=0,2,4,6
/proc/8858/task/8872/stat : 8872 (java) S 8856 8856 30406 0 -1 1077944384 2898 0 0 0 3 21 0 0 20 0 19 0 446010650 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705226422704 140705766333058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9399] ppid=8856 vsize=15552588 memory=4156 CPUtime=379.89 cores=0,2,4,6
/proc/8858/task/9399/stat : 9399 (java) R 8856 8856 30406 0 -1 4202560 8305 0 0 0 37988 1 0 0 20 0 19 0 446034369 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705141869064 140705366998173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9400] ppid=8856 vsize=15552588 memory=33 CPUtime=381.99 cores=0,2,4,6
/proc/8858/task/9400/stat : 9400 (java) R 8856 8856 30406 0 -1 4202560 50359 0 0 0 38189 10 0 0 20 0 19 0 446034369 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705213004768 140705363749071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9401] ppid=8856 vsize=15552588 memory=-8253362762722141311 CPUtime=380.65 cores=0,2,4,6
/proc/8858/task/9401/stat : 9401 (java) R 8856 8856 30406 0 -1 4202560 13474 0 0 0 38064 1 0 0 20 0 19 0 446034369 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705215106760 140705363748284 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
[pid=8858/tid=9402] ppid=8856 vsize=15552588 memory=7822038051842261661 CPUtime=382.12 cores=0,2,4,6
/proc/8858/task/9402/stat : 9402 (java) R 8856 8856 30406 0 -1 4202560 13600 0 0 0 38211 1 0 0 20 0 19 0 446034369 15925850112 941227 33554432000 4194304 4196468 140735008087600 140705210896384 140705362215984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8093696 140735008089071 140735008089242 140735008089242 140735008092111 0
Current children cumulated CPU time: 2400.2 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 3766360 KiB

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

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

[startup+620.706 s]
# the end of solver process 8858 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.04 s, system=3.48168 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): 620.706
CPU time (s): 2400.52
CPU user time (s): 2397.04
CPU system time (s): 3.48168
CPU usage (%): 386.74
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 3766428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.04
system time used= 3.48168
maximum resident set size= 3765308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536664
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21248
involuntary context switches= 35995


# summary of solver processes directly reported to runsolver:
#   pid: 8856,8858
#   total CPU time (s): 2400.52
#   total CPU user time (s): 2397.04
#   total CPU system time (s): 3.48168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.01776 second user time and 6.78579 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-17 07:16:18
IDJOB=4400600
IDBENCH=141188
IDSOLVER=2856
FILE ID=node127/4400600-1568697418
RUNJOBID= node127-1568694277-30437
PBS_JOBID= 21703804
Free space on /tmp= 61288 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400600-1568697418/watcher-4400600-1568697418 -o /tmp/evaluation-result-4400600-1568697418/solver-4400600-1568697418 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30437 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 822399995 HOME/instance-4400600-1568697418.xml

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

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=822399995

node127.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.55
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.55
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.55
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.55
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:        26423860 kB
MemAvailable:   27584320 kB
Buffers:           90276 kB
Cached:          1354900 kB
SwapCached:        51464 kB
Active:          4766844 kB
Inactive:         973896 kB
Active(anon):    4255076 kB
Inactive(anon):    89816 kB
Active(file):     511768 kB
Inactive(file):   884080 kB
Unevictable:      110656 kB
Mlocked:          110656 kB
SwapTotal:      67108860 kB
SwapFree:       66953076 kB
Dirty:             26380 kB
Writeback:             0 kB
AnonPages:       4305004 kB
Mapped:            61844 kB
Shmem:             40672 kB
Slab:             191304 kB
SReclaimable:     160892 kB
SUnreclaim:        30412 kB
KernelStack:        4064 kB
PageTables:        14200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5412716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4182016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61260 MiB
End job on node127 at 2019-09-17 07:26:39