Trace number 4400000

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-16 parallelSAT (TO)18942 19648.9 2520.15

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 benchmark17553
Best CPU time to get the best result obtained on this benchmark19734.7
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400000-1568717521.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4400000-1568717521.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
80.05/33.82	c solve instance...
97.35/36.16	o 528295 
97.35/36.19	o 528195 
97.57/36.21	o 526196 
101.43/36.72	o 526176 
101.43/36.74	o 526170 
101.43/36.77	o 526160 
101.43/36.80	o 526149 
101.71/36.81	o 525740 
101.71/36.85	o 525725 
101.71/36.86	o 525724 
101.71/36.87	o 525723 
101.71/36.88	o 525713 
102.07/36.92	o 525612 
102.07/36.98	o 525592 
104.85/37.68	o 525591 
107.92/39.28	o 525580 
110.50/39.64	o 525184 
110.50/39.66	o 525164 
110.50/39.67	o 525084 
110.50/39.68	o 525064 
110.91/39.74	o 524824 
112.14/40.05	o 524728 
112.14/40.07	o 524708 
112.14/40.08	o 522824 
112.72/40.35	o 522628 
112.72/40.36	o 522608 
112.72/40.37	o 521824 
114.30/40.79	o 521616 
114.40/40.81	o 521596 
115.71/41.91	o 521589 
115.71/41.92	o 521488 
115.71/41.95	o 521468 
115.71/41.98	o 521416 
116.32/42.16	o 521396 
116.61/42.22	o 521381 
116.61/42.24	o 521380 
116.61/42.27	o 521288 
116.61/42.29	o 521268 
117.78/42.46	o 521188 
117.78/42.48	o 521168 
119.99/42.72	o 521167 
124.45/43.32	o 521156 
124.45/43.36	o 521014 
126.25/43.66	o 520808 
126.25/43.67	o 520788 
126.45/43.70	o 519814 
126.82/43.97	o 519796 
126.82/43.99	o 519776 
127.02/44.01	o 519769 
127.02/44.02	o 519668 
128.20/45.08	o 519648 
130.44/45.44	o 519568 
130.44/45.45	o 519548 
131.67/45.68	o 519061 
131.67/45.70	o 519041 
132.09/45.71	o 518961 
132.09/45.77	o 518941 
132.43/45.81	o 518823 
132.76/46.08	o 518739 
134.34/47.14	o 518719 
135.94/47.42	o 518605 
135.94/47.44	o 518585 
135.94/47.46	o 518578 
135.94/47.46	o 518477 
136.28/47.55	o 518457 
136.68/47.61	o 518377 
136.68/47.68	o 518357 
137.78/47.83	o 518227 
140.19/48.17	o 518217 
142.31/48.50	o 518155 
142.45/48.50	o 518135 
142.45/48.51	o 515317 
142.85/48.78	o 122196 
144.03/49.83	o 121206 
144.03/49.85	o 121196 
144.03/49.86	o 120396 
144.03/49.87	o 120196 
144.03/49.89	o 119196 
144.48/49.94	o 118196 
149.74/50.66	o 34667 
151.94/50.96	o 34659 
189.73/55.77	o 31011 
212.98/58.79	o 30911 
217.13/59.44	o 30910 
217.37/59.55	o 30900 
240.05/62.73	o 30700 
242.79/63.34	o 30629 
263.21/65.97	o 30409 
265.24/66.44	o 29809 
271.12/67.51	o 29732 
271.12/67.60	o 29722 
284.33/69.37	o 29623 
284.58/69.48	o 29621 
284.80/69.58	o 29619 
285.10/69.69	o 29618 
286.95/70.16	o 29418 
296.70/71.44	o 27572 
297.99/71.62	o 27473 
318.59/74.85	o 27256 
318.85/74.91	o 26255 
338.75/77.59	o 26195 
339.57/77.73	o 24296 
341.30/78.62	o 24205 
371.74/83.24	o 24003 
386.35/85.48	o 23993 
386.54/85.55	o 23893 
390.68/86.67	o 23804 
391.19/86.90	o 23605 
391.29/86.98	o 23505 
392.67/87.93	o 23395 
428.06/92.97	o 23295 
593.28/114.45	o 23287 
620.07/118.43	o 23277 
843.01/146.99	o 22877 
853.43/148.71	o 22767 
1503.46/230.33	o 22766 
1644.87/248.13	o 22656 
1984.81/291.53	o 22556 
2063.47/302.11	o 22531 
2063.47/302.18	o 22521 
2432.20/349.17	o 22488 
8074.19/1056.70	o 22466 
8105.84/1062.87	o 22448 
8247.52/1080.73	o 22384 
8249.84/1082.93	o 22373 
8727.61/1143.63	o 22364 
9600.30/1253.78	o 21927 
9613.59/1256.11	o 21918 
9614.40/1256.69	o 21907 
9616.43/1257.81	o 21885 
9617.07/1258.22	o 21865 
9806.73/1282.43	o 21527 
10199.57/1332.07	o 21264 
10199.84/1332.18	o 21255 
11857.21/1540.74	o 21253 
13845.42/1790.03	o 21087 
13871.54/1794.07	o 19717 
14007.82/1811.47	o 19716 
15536.67/2003.75	o 19673 
15540.55/2004.91	o 19665 
15541.00/2005.02	o 19655 
15994.31/2061.96	o 18942 
19648.26/2520.07	s SATISFIABLE
19648.26/2520.07	v <instantiation>
19648.26/2520.07	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>
19648.26/2520.07	v 	<values>442 680 554 792 694 456 282 44 16 254 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 366 128 44 282 380 142 470 708 366 128 156 394 498 736 114 352 526 764 540 778 722 484 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 114 352 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 16 254 128 366 470 708 296 58 554 792 16 254 394 156 142 380 16 254 792 554 352 114 414 652 778 540 394 156 324 86 128 366 428 666 526 764 526 764 142 380 72 310 722 484 142 380 30 268 694 456 456 694 764 526 268 30 764 526 86 324 680 442 428 666 694 456 540 778 296 58 540 778 540 778 778 540 380 142 30 268 470 708 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 680 442 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 366 128 750 512 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 512 750 380 142 722 484 792 554 764 526 142 380 722 484 666 428 442 680 526 764 268 30 484 722 296 58 540 778 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 764 526 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 156 394 30 268 30 268 414 652 30 268 324 86 428 666 750 512 778 540 86 324 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 100 100 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 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 10 10 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 100 0 0 0 0 100 0 0 0 0 0 100 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 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 0 0 0 0 0 0 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 100 0 0 0 0 0 0 0 0 0 0 100 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 0 0 0 0 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 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 100 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 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 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 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 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 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 100 0 0 0 0 100 0 0 100 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 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 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 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 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 100 0 0 100 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 0 0 0 0 0 0 0 0 0 0 0 0 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 100 0 0 100 0 100 0 0 0 100 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 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 10 0 0 0 0 0 0 10 0 0 10 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 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 10 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 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 10 0 0 0 0 0 0 0 0 10 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 10 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 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 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 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 10 10 0 0 0 0 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 10 0 0 10 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 10 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 10 0 0 10 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 0 0 0 0 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 1 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 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 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 0 0 0 0 0 0 0 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 0 0 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 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 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 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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>
19648.26/2520.07	v </instantiation>
19648.26/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	18942

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400000-1568717521/watcher-4400000-1568717521 -o /tmp/evaluation-result-4400000-1568717521/solver-4400000-1568717521 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568710964-23678 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 51411872 HOME/instance-4400000-1568717521.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=25066, runsolver pid=25063

[startup+0.100176 s]*
/proc/loadavg: 8.03 8.17 8.22 2/213 25087
/proc/meminfo: memFree=31079128/32770624 swapFree=66989064/67108860
[pid=25066] ppid=25063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25066/stat : 25066 (xcsp3-exec) S 25063 25066 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448019938 115843072 363 33554432000 4194304 5098028 140732628418256 140732628416360 140015095767676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37044224 140732628419447 140732628419689 140732628419689 140732628422602 0
/proc/25066/statm: 28282 363 305 221 0 87 0
[pid=25068] ppid=25066 vsize=28227396 memory=28696 CPUtime=0.13 cores=0-7
/proc/25068/stat : 25068 (java) S 25066 25066 23651 0 -1 1077944320 5650 0 0 0 11 2 0 0 20 0 20 0 448019938 28904853504 7174 33554432000 4194304 4196468 140737035840448 140737035822992 140073643441911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
/proc/25068/statm: 7056849 7174 3116 1 0 7019032 0
[pid=25068/tid=25069] ppid=25066 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/25068/task/25069/stat : 25069 (java) R 25066 25066 23651 0 -1 4202560 3597 0 0 0 8 1 0 0 20 0 20 0 448019938 28904853504 7174 33554432000 4194304 4196468 140737035840448 140073647675184 140073643463837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25070] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25070/stat : 25070 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 7174 33554432000 4194304 4196468 140737035840448 140073596062352 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25071] ppid=25066 vsize=28227396 memory=288370592920954496 CPUtime=0 cores=0-7
/proc/25068/task/25071/stat : 25071 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 7174 33554432000 4194304 4196468 140737035840448 140073595009552 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25072] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25072/stat : 25072 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 7174 33554432000 4194304 4196468 140737035840448 140073593956752 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25073] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25073/stat : 25073 (java) S 25066 25066 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 7174 33554432000 4194304 4196468 140737035840448 140073592903952 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25074] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25074/stat : 25074 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 7174 33554432000 4194304 4196468 140737035840448 140073591852176 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25075] ppid=25066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25068/task/25075/stat : 25075 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 7174 33554432000 4194304 4196468 140737035840448 140073590799376 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25076] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25076/stat : 25076 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 7174 33554432000 4194304 4196468 140737035840448 140073589746576 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25077] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25077/stat : 25077 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 7174 33554432000 4194304 4196468 140737035840448 140073588693776 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25078] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25078/stat : 25078 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019941 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072241121648 140073643453058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25079] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25079/stat : 25079 (java) S 25066 25066 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448019941 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072240067616 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25080] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25080/stat : 25080 (java) S 25066 25066 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448019941 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072036852592 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25081] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25081/stat : 25081 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072035800912 140073643460507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25082] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25082/stat : 25082 (java) R 25066 25066 23651 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072034749296 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25083] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25083/stat : 25083 (java) S 25066 25066 23651 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072033696496 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25084] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25084/stat : 25084 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072032643696 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25085] ppid=25066 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25068/task/25085/stat : 25085 (java) R 25066 25066 23651 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 20 0 448019944 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072031590896 140073628607511 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25086] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25086/stat : 25086 (java) S 25066 25066 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072030538336 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25087] ppid=25066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25068/task/25087/stat : 25087 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 7174 33554432000 4194304 4196468 140737035840448 140072029485616 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30148 KiB

[startup+0.210333 s]*
/proc/loadavg: 8.03 8.17 8.22 2/212 25087
/proc/meminfo: memFree=31066032/32770624 swapFree=66989064/67108860
[pid=25066] ppid=25063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25066/stat : 25066 (xcsp3-exec) S 25063 25066 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448019938 115843072 363 33554432000 4194304 5098028 140732628418256 140732628416360 140015095767676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37044224 140732628419447 140732628419689 140732628419689 140732628422602 0
/proc/25066/statm: 28282 363 305 221 0 87 0
[pid=25068] ppid=25066 vsize=28227396 memory=40944 CPUtime=0.34 cores=0-7
/proc/25068/stat : 25068 (java) S 25066 25066 23651 0 -1 1077944320 9509 0 0 0 30 4 0 0 20 0 20 0 448019938 28904853504 10236 33554432000 4194304 4196468 140737035840448 140737035822992 140073643441911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
/proc/25068/statm: 7056849 10236 3290 1 0 7019032 0
[pid=25068/tid=25069] ppid=25066 vsize=28227396 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/25068/task/25069/stat : 25069 (java) R 25066 25066 23651 0 -1 4202560 6631 0 0 0 17 2 0 0 20 0 20 0 448019938 28904853504 10236 33554432000 4194304 4196468 140737035840448 140073647671632 140073643453846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25070] ppid=25066 vsize=28227396 memory=9318 CPUtime=0 cores=0-7
/proc/25068/task/25070/stat : 25070 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 10236 33554432000 4194304 4196468 140737035840448 140073596062352 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25071] ppid=25066 vsize=28227396 memory=140216769266686 CPUtime=0 cores=0-7
/proc/25068/task/25071/stat : 25071 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 10236 33554432000 4194304 4196468 140737035840448 140073595009552 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25072] ppid=25066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25068/task/25072/stat : 25072 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 10236 33554432000 4194304 4196468 140737035840448 140073593956752 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25073] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25073/stat : 25073 (java) S 25066 25066 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 10236 33554432000 4194304 4196468 140737035840448 140073592903952 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25074] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25074/stat : 25074 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 10236 33554432000 4194304 4196468 140737035840448 140073591852176 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25075] ppid=25066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25068/task/25075/stat : 25075 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 10236 33554432000 4194304 4196468 140737035840448 140073590799376 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25076] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25076/stat : 25076 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 10236 33554432000 4194304 4196468 140737035840448 140073589746576 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25077] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25077/stat : 25077 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28904853504 10236 33554432000 4194304 4196468 140737035840448 140073588693776 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25078] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25078/stat : 25078 (java) S 25066 25066 23651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448019941 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072241121648 140073643453058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25079] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25079/stat : 25079 (java) S 25066 25066 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448019941 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072240067616 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25080] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25080/stat : 25080 (java) S 25066 25066 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448019941 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072036852592 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25081] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25081/stat : 25081 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072035800912 140073643460507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25082] ppid=25066 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/25068/task/25082/stat : 25082 (java) R 25066 25066 23651 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 20 0 448019944 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072034749296 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25083] ppid=25066 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/25068/task/25083/stat : 25083 (java) S 25066 25066 23651 0 -1 1077944384 308 0 0 0 2 0 0 0 20 0 20 0 448019944 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072033696496 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25084] ppid=25066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25068/task/25084/stat : 25084 (java) S 25066 25066 23651 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072032643696 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25085] ppid=25066 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/25068/task/25085/stat : 25085 (java) R 25066 25066 23651 0 -1 4202560 777 0 0 0 7 0 0 0 20 0 20 0 448019944 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072031590896 140073621976304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25086] ppid=25066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25086/stat : 25086 (java) S 25066 25066 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072030538336 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25087] ppid=25066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/25068/task/25087/stat : 25087 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019944 28904853504 10236 33554432000 4194304 4196468 140737035840448 140072029485616 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42396 KiB

[startup+0.309755 s]*
/proc/loadavg: 8.03 8.17 8.22 4/212 25087
/proc/meminfo: memFree=31058488/32770624 swapFree=66989064/67108860
[pid=25066] ppid=25063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25066/stat : 25066 (xcsp3-exec) S 25063 25066 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448019938 115843072 363 33554432000 4194304 5098028 140732628418256 140732628416360 140015095767676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37044224 140732628419447 140732628419689 140732628419689 140732628422602 0
/proc/25066/statm: 28282 363 305 221 0 87 0
[pid=25068] ppid=25066 vsize=28231652 memory=50032 CPUtime=0.52 cores=0-7
/proc/25068/stat : 25068 (java) S 25066 25066 23651 0 -1 1077944320 10873 0 0 0 48 4 0 0 20 0 20 0 448019938 28909211648 12508 33554432000 4194304 4196468 140737035840448 140737035822992 140073643441911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
/proc/25068/statm: 7057913 12508 3332 1 0 7019032 0
[pid=25068/tid=25069] ppid=25066 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/25068/task/25069/stat : 25069 (java) R 25066 25066 23651 0 -1 4202560 7745 0 0 0 26 3 0 0 20 0 20 0 448019938 28909211648 12508 33554432000 4194304 4196468 140737035840448 140073647675696 140073643463837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25070] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25070/stat : 25070 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28909211648 12508 33554432000 4194304 4196468 140737035840448 140073596062352 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25071] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25071/stat : 25071 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28909211648 12508 33554432000 4194304 4196468 140737035840448 140073595009552 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25072] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25072/stat : 25072 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28909211648 12508 33554432000 4194304 4196468 140737035840448 140073593956752 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25073] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25073/stat : 25073 (java) S 25066 25066 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448019939 28909211648 12508 33554432000 4194304 4196468 140737035840448 140073592903952 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25074] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25074/stat : 25074 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28909211648 12508 33554432000 4194304 4196468 140737035840448 140073591852176 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25075] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25075/stat : 25075 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28909211648 12508 33554432000 4194304 4196468 140737035840448 140073590799376 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25076] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25076/stat : 25076 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28909211648 12508 33554432000 4194304 4196468 140737035840448 140073589746576 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25077] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25077/stat : 25077 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28909211648 12508 33554432000 4194304 4196468 140737035840448 140073588693776 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25078] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25078/stat : 25078 (java) S 25066 25066 23651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448019941 28909211648 12508 33554432000 4194304 4196468 140737035840448 140072241121648 140073643453058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25079] ppid=25066 vsize=28231652 memory=280433313127808 CPUtime=0 cores=0-7
/proc/25068/task/25079/stat : 25079 (java) S 25066 25066 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448019941 28909211648 12508 33554432000 4194304 4196468 140737035840448 140072240067616 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25080] ppid=25066 vsize=28231652 memory=280433313132416 CPUtime=0 cores=0-7
/proc/25068/task/25080/stat : 25080 (java) S 25066 25066 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448019941 28909211648 12508 33554432000 4194304 4196468 140737035840448 140072036852592 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25081] ppid=25066 vsize=28231652 memory=280433313137024 CPUtime=0 cores=0-7
/proc/25068/task/25081/stat : 25081 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019944 28909211648 12508 33554432000 4194304 4196468 140737035840448 140072035800912 140073643460507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25082] ppid=25066 vsize=28231652 memory=280433313141632 CPUtime=0.02 cores=0-7
/proc/25068/task/25082/stat : 25082 (java) S 25066 25066 23651 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 20 0 448019944 28909211648 12508 33554432000 4194304 4196468 140737035840448 140072034749296 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25083] ppid=25066 vsize=28231652 memory=280433313146240 CPUtime=0.03 cores=0-7
/proc/25068/task/25083/stat : 25083 (java) S 25066 25066 23651 0 -1 1077944384 320 0 0 0 3 0 0 0 20 0 20 0 448019944 28909211648 12536 33554432000 4194304 4196468 140737035840448 140072033696496 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25084] ppid=25066 vsize=28231652 memory=280433313150848 CPUtime=0.01 cores=0-7
/proc/25068/task/25084/stat : 25084 (java) R 25066 25066 23651 0 -1 4202560 219 0 0 0 1 0 0 0 20 0 20 0 448019944 28909211648 12536 33554432000 4194304 4196468 140737035840448 140072032643696 140073624617751 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25085] ppid=25066 vsize=28231652 memory=280433313155456 CPUtime=0.12 cores=0-7
/proc/25068/task/25085/stat : 25085 (java) S 25066 25066 23651 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 20 0 448019944 28909211648 12536 33554432000 4194304 4196468 140737035840448 140072031590896 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25086] ppid=25066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25086/stat : 25086 (java) S 25066 25066 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448019944 28909211648 12536 33554432000 4194304 4196468 140737035840448 140072030538336 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25087] ppid=25066 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/25068/task/25087/stat : 25087 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019944 28909211648 12536 33554432000 4194304 4196468 140737035840448 140072029485616 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51484 KiB

[startup+0.701013 s]
/proc/loadavg: 8.03 8.17 8.22 6/212 25087
/proc/meminfo: memFree=31035428/32770624 swapFree=66989064/67108860
[pid=25066] ppid=25063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25066/stat : 25066 (xcsp3-exec) S 25063 25066 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448019938 115843072 363 33554432000 4194304 5098028 140732628418256 140732628416360 140015095767676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37044224 140732628419447 140732628419689 140732628419689 140732628422602 0
/proc/25066/statm: 28282 363 305 221 0 87 0
[pid=25068] ppid=25066 vsize=28233776 memory=121624 CPUtime=1.99 cores=0-7
/proc/25068/stat : 25068 (java) S 25066 25066 23651 0 -1 1077944320 15499 0 0 0 191 8 0 0 20 0 20 0 448019938 28911386624 30406 33554432000 4194304 4196468 140737035840448 140737035822992 140073643441911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
/proc/25068/statm: 7058444 30406 3450 1 0 7019544 0
[pid=25068/tid=25069] ppid=25066 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/25068/task/25069/stat : 25069 (java) R 25066 25066 23651 0 -1 4202560 8610 0 0 0 63 5 0 0 20 0 20 0 448019938 28911386624 30406 33554432000 4194304 4196468 140737035840448 140073647668672 140073621438316 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25070] ppid=25066 vsize=28233776 memory=140216656765824 CPUtime=0 cores=0-7
/proc/25068/task/25070/stat : 25070 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28911386624 30406 33554432000 4194304 4196468 140737035840448 140073596062352 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25071] ppid=25066 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/25068/task/25071/stat : 25071 (java) S 25066 25066 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448019939 28911386624 30406 33554432000 4194304 4196468 140737035840448 140073595009552 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25072] ppid=25066 vsize=28233776 memory=1228 CPUtime=0 cores=0-7
/proc/25068/task/25072/stat : 25072 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448019939 28911386624 30406 33554432000 4194304 4196468 140737035840448 140073593956752 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0

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

/proc/meminfo: memFree=25677760/32770624 swapFree=66989116/67108860
[pid=25066] ppid=25063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25066/stat : 25066 (xcsp3-exec) S 25063 25066 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448019938 115843072 363 33554432000 4194304 5098028 140732628418256 140732628416360 140015095767676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37044224 140732628419447 140732628419689 140732628419689 140732628422602 0
/proc/25066/statm: 28282 363 305 221 0 87 0
[pid=25068] ppid=25066 vsize=28768336 memory=5419816 CPUtime=19507 cores=0-7
/proc/25068/stat : 25068 (java) S 25066 25066 23651 0 -1 1077944320 2082076 0 0 0 1947814 2885 0 0 20 0 28 0 448019938 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140737035822992 140073643441911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
/proc/25068/statm: 7192084 1354954 3568 1 0 7153184 0
[pid=25068/tid=25069] ppid=25066 vsize=28768336 memory=1452 CPUtime=28.12 cores=0-7
/proc/25068/task/25069/stat : 25069 (java) S 25066 25066 23651 0 -1 1077944384 29848 0 0 0 2786 26 0 0 20 0 28 0 448019938 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140073647682720 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25070] ppid=25066 vsize=28768336 memory=5419816 CPUtime=11.14 cores=0-7
/proc/25068/task/25070/stat : 25070 (java) S 25066 25066 23651 0 -1 1077944384 36184 0 0 0 950 164 0 0 20 0 28 0 448019939 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140073596062352 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25071] ppid=25066 vsize=28768336 memory=5417768 CPUtime=11.18 cores=0-7
/proc/25068/task/25071/stat : 25071 (java) S 25066 25066 23651 0 -1 1077944384 32561 0 0 0 974 144 0 0 20 0 28 0 448019939 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140073595009552 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25072] ppid=25066 vsize=28768336 memory=5418284 CPUtime=11.19 cores=0-7
/proc/25068/task/25072/stat : 25072 (java) S 25066 25066 23651 0 -1 1077944384 36811 0 0 0 958 161 0 0 20 0 28 0 448019939 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140073593956752 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25073] ppid=25066 vsize=28768336 memory=5545908 CPUtime=11.24 cores=0-7
/proc/25068/task/25073/stat : 25073 (java) S 25066 25066 23651 0 -1 1077944384 37149 0 0 0 968 156 0 0 20 0 28 0 448019939 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140073592903952 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25074] ppid=25066 vsize=28768336 memory=5460568 CPUtime=11.21 cores=0-7
/proc/25068/task/25074/stat : 25074 (java) S 25066 25066 23651 0 -1 1077944384 41684 0 0 0 963 158 0 0 20 0 28 0 448019939 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140073591852176 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25075] ppid=25066 vsize=28768336 memory=5429536 CPUtime=11.15 cores=0-7
/proc/25068/task/25075/stat : 25075 (java) S 25066 25066 23651 0 -1 1077944384 34025 0 0 0 960 155 0 0 20 0 28 0 448019939 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140073590799376 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25076] ppid=25066 vsize=28768336 memory=5421340 CPUtime=11.22 cores=0-7
/proc/25068/task/25076/stat : 25076 (java) S 25066 25066 23651 0 -1 1077944384 34112 0 0 0 969 153 0 0 20 0 28 0 448019939 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140073589746576 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25077] ppid=25066 vsize=28768336 memory=5418264 CPUtime=11.22 cores=0-7
/proc/25068/task/25077/stat : 25077 (java) S 25066 25066 23651 0 -1 1077944384 36846 0 0 0 959 163 0 0 20 0 28 0 448019939 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140073588693776 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25078] ppid=25066 vsize=28768336 memory=5418264 CPUtime=0.49 cores=0-7
/proc/25068/task/25078/stat : 25078 (java) S 25066 25066 23651 0 -1 1077944384 33039 0 0 0 42 7 0 0 20 0 28 0 448019941 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072241121648 140073643453058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25079] ppid=25066 vsize=28768336 memory=5418268 CPUtime=0 cores=0-7
/proc/25068/task/25079/stat : 25079 (java) S 25066 25066 23651 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 448019941 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072240067680 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25080] ppid=25066 vsize=28768336 memory=5418268 CPUtime=0 cores=0-7
/proc/25068/task/25080/stat : 25080 (java) S 25066 25066 23651 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 448019941 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072036852608 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25081] ppid=25066 vsize=28768336 memory=5418268 CPUtime=0 cores=0-7
/proc/25068/task/25081/stat : 25081 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448019944 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072035800912 140073643460507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25082] ppid=25066 vsize=28768336 memory=5418284 CPUtime=5 cores=0-7
/proc/25068/task/25082/stat : 25082 (java) S 25066 25066 23651 0 -1 1077944384 40675 0 0 0 493 7 0 0 20 0 28 0 448019944 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072034749296 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25083] ppid=25066 vsize=28768336 memory=5418284 CPUtime=4.96 cores=0-7
/proc/25068/task/25083/stat : 25083 (java) S 25066 25066 23651 0 -1 1077944384 34473 0 0 0 491 5 0 0 20 0 28 0 448019944 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072033696496 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25084] ppid=25066 vsize=28768336 memory=5417768 CPUtime=4.52 cores=0-7
/proc/25068/task/25084/stat : 25084 (java) S 25066 25066 23651 0 -1 1077944384 35676 0 0 0 446 6 0 0 20 0 28 0 448019944 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072032643696 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25085] ppid=25066 vsize=28768336 memory=5417768 CPUtime=1.36 cores=0-7
/proc/25068/task/25085/stat : 25085 (java) S 25066 25066 23651 0 -1 1077944384 30343 0 0 0 130 6 0 0 20 0 28 0 448019944 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072031590896 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25086] ppid=25066 vsize=28768336 memory=5419816 CPUtime=0 cores=0-7
/proc/25068/task/25086/stat : 25086 (java) S 25066 25066 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448019944 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072030538336 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25087] ppid=25066 vsize=28768336 memory=5419816 CPUtime=1.01 cores=0-7
/proc/25068/task/25087/stat : 25087 (java) S 25066 25066 23651 0 -1 1077944384 8344 0 0 0 44 57 0 0 20 0 28 0 448019944 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072029485616 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26401] ppid=25066 vsize=28768336 memory=5419816 CPUtime=438.32 cores=0-7
/proc/25068/task/26401/stat : 26401 (java) R 25066 25066 23651 0 -1 4202560 15986 0 0 0 43819 13 0 0 20 0 28 0 448226134 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072015248200 140073268422560 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26402] ppid=25066 vsize=28768336 memory=5419816 CPUtime=440.07 cores=0-7
/proc/25068/task/26402/stat : 26402 (java) R 25066 25066 23651 0 -1 4202560 6312 0 0 0 44002 5 0 0 20 0 28 0 448226134 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072013143864 140073268422564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26403] ppid=25066 vsize=28768336 memory=1452 CPUtime=437.37 cores=0-7
/proc/25068/task/26403/stat : 26403 (java) R 25066 25066 23651 0 -1 4202560 5620 0 0 0 43733 4 0 0 20 0 28 0 448226134 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072011039688 140073267320151 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26404] ppid=25066 vsize=28768336 memory=3620 CPUtime=438.09 cores=0-7
/proc/25068/task/26404/stat : 26404 (java) R 25066 25066 23651 0 -1 4202560 41929 0 0 0 43774 35 0 0 20 0 28 0 448226134 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072016305408 140073271237236 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26405] ppid=25066 vsize=28768336 memory=140221064210047 CPUtime=437.41 cores=0-7
/proc/25068/task/26405/stat : 26405 (java) R 25066 25066 23651 0 -1 4202560 6265 0 0 0 43730 11 0 0 20 0 28 0 448226134 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072014197080 140073268422591 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26406] ppid=25066 vsize=28768336 memory=496 CPUtime=440.02 cores=0-7
/proc/25068/task/26406/stat : 26406 (java) R 25066 25066 23651 0 -1 4202560 4371 0 0 0 43986 16 0 0 20 0 28 0 448226134 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072012091216 140073267320151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26407] ppid=25066 vsize=28768336 memory=1564 CPUtime=440.01 cores=0-7
/proc/25068/task/26407/stat : 26407 (java) R 25066 25066 23651 0 -1 4202560 9708 0 0 0 43990 11 0 0 20 0 28 0 448226134 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072017354936 140073268422608 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26408] ppid=25066 vsize=28768336 memory=1452 CPUtime=440.04 cores=0-7
/proc/25068/task/26408/stat : 26408 (java) R 25066 25066 23651 0 -1 4202560 4544 0 0 0 43993 11 0 0 20 0 28 0 448226134 29458776064 1354954 33554432000 4194304 4196468 140737035840448 140072018407240 140073268422560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
Current children cumulated CPU time: 19507 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5421268 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.01 8.12 8.12 9/221 26443
/proc/meminfo: memFree=25676948/32770624 swapFree=66989116/67108860
[pid=25066] ppid=25063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25066/stat : 25066 (xcsp3-exec) S 25063 25066 23651 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 448019938 115843072 363 33554432000 4194304 5098028 140732628418256 140732628416360 140015095767676 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37044224 140732628419447 140732628419689 140732628419689 140732628422602 0
/proc/25066/statm: 28282 363 305 221 0 87 0
[pid=25068] ppid=25066 vsize=28768336 memory=5419824 CPUtime=19648.3 cores=0-7
/proc/25068/stat : 25068 (java) S 25066 25066 23651 0 -1 1077944320 2088150 0 0 0 1961939 2887 0 0 20 0 28 0 448019938 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140737035822992 140073643441911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
/proc/25068/statm: 7192084 1354956 3568 1 0 7153184 0
[pid=25068/tid=25069] ppid=25066 vsize=28768336 memory=1398722017469774279 CPUtime=28.12 cores=0-7
/proc/25068/task/25069/stat : 25069 (java) S 25066 25066 23651 0 -1 1077944384 29848 0 0 0 2786 26 0 0 20 0 28 0 448019938 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140073647682720 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25070] ppid=25066 vsize=28768336 memory=5791726317270477408 CPUtime=11.15 cores=0-7
/proc/25068/task/25070/stat : 25070 (java) S 25066 25066 23651 0 -1 1077944384 36635 0 0 0 951 164 0 0 20 0 28 0 448019939 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140073596062352 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25071] ppid=25066 vsize=28768336 memory=4715433313220523562 CPUtime=11.19 cores=0-7
/proc/25068/task/25071/stat : 25071 (java) S 25066 25066 23651 0 -1 1077944384 33009 0 0 0 974 145 0 0 20 0 28 0 448019939 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140073595009552 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25072] ppid=25066 vsize=28768336 memory=4638778398332698726 CPUtime=11.2 cores=0-7
/proc/25068/task/25072/stat : 25072 (java) S 25066 25066 23651 0 -1 1077944384 37355 0 0 0 958 162 0 0 20 0 28 0 448019939 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140073593956752 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25073] ppid=25066 vsize=28768336 memory=7438040445053456720 CPUtime=11.25 cores=0-7
/proc/25068/task/25073/stat : 25073 (java) S 25066 25066 23651 0 -1 1077944384 37961 0 0 0 969 156 0 0 20 0 28 0 448019939 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140073592903952 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25074] ppid=25066 vsize=28768336 memory=111628 CPUtime=11.22 cores=0-7
/proc/25068/task/25074/stat : 25074 (java) S 25066 25066 23651 0 -1 1077944384 42049 0 0 0 964 158 0 0 20 0 28 0 448019939 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140073591852176 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25075] ppid=25066 vsize=28768336 memory=804 CPUtime=11.15 cores=0-7
/proc/25068/task/25075/stat : 25075 (java) S 25066 25066 23651 0 -1 1077944384 34452 0 0 0 960 155 0 0 20 0 28 0 448019939 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140073590799376 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25076] ppid=25066 vsize=28768336 memory=1808 CPUtime=11.23 cores=0-7
/proc/25068/task/25076/stat : 25076 (java) S 25066 25066 23651 0 -1 1077944384 34470 0 0 0 970 153 0 0 20 0 28 0 448019939 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140073589746576 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25077] ppid=25066 vsize=28768336 memory=924 CPUtime=11.22 cores=0-7
/proc/25068/task/25077/stat : 25077 (java) S 25066 25066 23651 0 -1 1077944384 37219 0 0 0 959 163 0 0 20 0 28 0 448019939 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140073588693776 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25078] ppid=25066 vsize=28768336 memory=4136 CPUtime=0.49 cores=0-7
/proc/25068/task/25078/stat : 25078 (java) S 25066 25066 23651 0 -1 1077944384 33330 0 0 0 42 7 0 0 20 0 28 0 448019941 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072241121648 140073643453058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25079] ppid=25066 vsize=28768336 memory=4096 CPUtime=0 cores=0-7
/proc/25068/task/25079/stat : 25079 (java) S 25066 25066 23651 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 448019941 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072240067680 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25080] ppid=25066 vsize=28768336 memory=1412 CPUtime=0 cores=0-7
/proc/25068/task/25080/stat : 25080 (java) S 25066 25066 23651 0 -1 1077944384 135 0 0 0 0 0 0 0 20 0 28 0 448019941 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072036852608 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25081] ppid=25066 vsize=28768336 memory=4712 CPUtime=0 cores=0-7
/proc/25068/task/25081/stat : 25081 (java) S 25066 25066 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448019944 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072035800912 140073643460507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25082] ppid=25066 vsize=28768336 memory=1452 CPUtime=5 cores=0-7
/proc/25068/task/25082/stat : 25082 (java) S 25066 25066 23651 0 -1 1077944384 40675 0 0 0 493 7 0 0 20 0 28 0 448019944 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072034749296 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25083] ppid=25066 vsize=28768336 memory=5419824 CPUtime=4.96 cores=0-7
/proc/25068/task/25083/stat : 25083 (java) S 25066 25066 23651 0 -1 1077944384 34473 0 0 0 491 5 0 0 20 0 28 0 448019944 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072033696496 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25084] ppid=25066 vsize=28768336 memory=1736 CPUtime=4.52 cores=0-7
/proc/25068/task/25084/stat : 25084 (java) S 25066 25066 23651 0 -1 1077944384 35676 0 0 0 446 6 0 0 20 0 28 0 448019944 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072032643696 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25085] ppid=25066 vsize=28768336 memory=1764 CPUtime=1.36 cores=0-7
/proc/25068/task/25085/stat : 25085 (java) S 25066 25066 23651 0 -1 1077944384 30343 0 0 0 130 6 0 0 20 0 28 0 448019944 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072031590896 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25086] ppid=25066 vsize=28768336 memory=111628 CPUtime=0 cores=0-7
/proc/25068/task/25086/stat : 25086 (java) S 25066 25066 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448019944 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072030538336 140073643452117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=25087] ppid=25066 vsize=28768336 memory=804 CPUtime=1.01 cores=0-7
/proc/25068/task/25087/stat : 25087 (java) S 25066 25066 23651 0 -1 1077944384 8344 0 0 0 44 57 0 0 20 0 28 0 448019944 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072029485616 140073643453058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26401] ppid=25066 vsize=28768336 memory=1808 CPUtime=456.02 cores=0-7
/proc/25068/task/26401/stat : 26401 (java) R 25066 25066 23651 0 -1 4202560 16886 0 0 0 45589 13 0 0 20 0 28 0 448226134 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072015248240 140073268423267 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26402] ppid=25066 vsize=28768336 memory=924 CPUtime=457.77 cores=0-7
/proc/25068/task/26402/stat : 26402 (java) R 25066 25066 23651 0 -1 4202560 6327 0 0 0 45772 5 0 0 20 0 28 0 448226134 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072013143832 140073267305159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26403] ppid=25066 vsize=28768336 memory=4136 CPUtime=454.89 cores=0-7
/proc/25068/task/26403/stat : 26403 (java) R 25066 25066 23651 0 -1 4202560 5784 0 0 0 45485 4 0 0 20 0 28 0 448226134 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072011039416 140073267320151 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26404] ppid=25066 vsize=28768336 memory=4096 CPUtime=455.59 cores=0-7
/proc/25068/task/26404/stat : 26404 (java) R 25066 25066 23651 0 -1 4202560 42610 0 0 0 45523 36 0 0 20 0 28 0 448226134 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072016305600 140073268981520 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26405] ppid=25066 vsize=28768336 memory=1412 CPUtime=455.11 cores=0-7
/proc/25068/task/26405/stat : 26405 (java) R 25066 25066 23651 0 -1 4202560 6319 0 0 0 45500 11 0 0 20 0 28 0 448226134 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072014197176 140073267320210 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26406] ppid=25066 vsize=28768336 memory=4712 CPUtime=457.72 cores=0-7
/proc/25068/task/26406/stat : 26406 (java) R 25066 25066 23651 0 -1 4202560 4385 0 0 0 45756 16 0 0 20 0 28 0 448226134 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072012091464 140073267320268 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26407] ppid=25066 vsize=28768336 memory=1452 CPUtime=457.71 cores=0-7
/proc/25068/task/26407/stat : 26407 (java) R 25066 25066 23651 0 -1 4202560 9739 0 0 0 45760 11 0 0 20 0 28 0 448226134 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072017354936 140073271530712 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
[pid=25068/tid=26408] ppid=25066 vsize=28768336 memory=5419824 CPUtime=457.75 cores=0-7
/proc/25068/task/26408/stat : 26408 (java) R 25066 25066 23651 0 -1 4202560 4689 0 0 0 45763 12 0 0 20 0 28 0 448226134 29458776064 1354956 33554432000 4194304 4196468 140737035840448 140072018407480 140073268422560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140737035846634 140737035846806 140737035846806 140737035849679 0
Current children cumulated CPU time: 19648.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5421276 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.01 8.12 8.12 2/194 26445
/proc/meminfo: memFree=30866840/32770624 swapFree=66989116/67108860
Current cumulated CPU time of completed processes: 0.002322 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19648.9
CPU user time (s): 19620
CPU system time (s): 28.9268
CPU usage (%): 779.674
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 6057860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19620
system time used= 28.9268
maximum resident set size= 6056408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2089873
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87493
involuntary context switches= 214653


# summary of solver processes directly reported to runsolver:
#   pid: 25066,25068
#   total CPU time (s): 19648.9
#   total CPU user time (s): 19620
#   total CPU system time (s): 28.9268

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9855 second user time and 32.0089 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-17 12:51:24
IDJOB=4400000
IDBENCH=141188
IDSOLVER=2854
FILE ID=node126/4400000-1568717521
RUNJOBID= node126-1568710964-23678
PBS_JOBID= 21703921
Free space on /tmp= 55704 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400000-1568717521/watcher-4400000-1568717521 -o /tmp/evaluation-result-4400000-1568717521/solver-4400000-1568717521 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568710964-23678 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 51411872 HOME/instance-4400000-1568717521.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=51411872

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31094292 kB
MemAvailable:   31886916 kB
Buffers:           79488 kB
Cached:           979372 kB
SwapCached:         8596 kB
Active:           631100 kB
Inactive:         442448 kB
Active(anon):      23324 kB
Inactive(anon):    25020 kB
Active(file):     607776 kB
Inactive(file):   417428 kB
Unevictable:      106940 kB
Mlocked:          106940 kB
SwapTotal:      67108860 kB
SwapFree:       66989064 kB
Dirty:             26080 kB
Writeback:             0 kB
AnonPages:        116000 kB
Mapped:            43416 kB
Shmem:             25424 kB
Slab:             196232 kB
SReclaimable:     166512 kB
SUnreclaim:        29720 kB
KernelStack:        3600 kB
PageTables:         5904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55680 MiB
End job on node126 at 2019-09-17 13:33:24