Trace number 4393440

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-06-14SAT (TO)34602 2520.76 651.529

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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393440-1568354746.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393440-1568354746.xml, -tl, 2520s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
31.22/17.59	c solve instance...
38.90/19.52	o 528295 
38.90/19.54	o 528195 
38.90/19.56	o 526196 
38.90/19.57	o 526176 
38.90/19.59	o 526170 
38.90/19.60	o 526160 
39.26/19.60	o 526149 
39.26/19.61	o 525740 
40.05/19.86	o 525725 
40.05/19.87	o 525724 
40.05/19.89	o 525723 
40.41/19.90	o 525713 
40.41/19.91	o 525612 
40.41/19.95	o 525592 
40.77/20.08	o 525591 
42.28/20.47	o 525580 
43.81/20.87	o 525184 
43.81/20.88	o 525164 
43.81/20.89	o 525084 
43.81/20.90	o 525064 
44.51/21.01	o 524728 
45.60/21.64	o 524708 
47.40/23.07	o 524701 
47.40/23.08	o 524600 
47.40/23.10	o 524580 
47.58/23.13	o 524500 
47.81/23.22	o 524480 
48.53/23.44	o 524183 
49.30/23.71	o 524074 
49.30/23.72	o 524054 
50.47/24.78	o 524048 
50.59/24.81	o 524038 
51.35/25.10	o 524027 
51.35/25.10	o 523618 
51.78/25.12	o 523603 
51.78/25.12	o 523602 
51.78/25.14	o 523601 
51.78/25.15	o 523591 
51.78/25.15	o 523490 
51.78/25.18	o 523470 
52.05/25.21	o 523084 
52.05/25.23	o 523064 
52.05/25.23	o 522884 
52.05/25.24	o 522864 
52.05/25.26	o 522628 
52.05/25.26	o 522608 
52.05/25.29	o 522601 
52.05/25.29	o 522500 
52.28/25.31	o 522480 
52.28/25.34	o 522428 
52.28/25.35	o 522408 
52.28/25.38	o 522393 
52.53/25.40	o 522392 
52.53/25.41	o 522300 
52.53/25.44	o 522280 
52.89/25.53	o 522185 
54.42/25.96	o 522072 
54.42/25.96	o 522052 
54.42/25.97	o 520185 
55.26/26.22	o 519907 
55.26/26.24	o 518295 
58.84/27.58	o 518275 
58.84/27.59	o 518255 
59.61/27.80	o 518248 
59.61/27.83	o 518247 
59.61/27.86	o 518235 
59.61/27.87	o 518155 
59.61/27.88	o 518135 
63.01/28.70	o 517485 
64.20/29.05	o 516285 
67.54/30.39	o 516024 
67.64/30.41	o 516004 
67.64/30.43	o 515998 
67.64/30.44	o 515988 
67.64/30.44	o 515977 
67.64/30.45	o 515568 
67.64/30.48	o 515553 
67.83/30.50	o 515552 
67.83/30.52	o 515551 
67.83/30.53	o 515541 
67.83/30.53	o 515440 
67.83/30.57	o 515420 
68.12/30.61	o 515221 
68.12/30.62	o 515201 
68.12/30.63	o 515011 
68.12/30.64	o 514991 
68.44/30.70	o 514765 
68.44/30.70	o 514745 
68.44/30.72	o 514738 
68.44/30.72	o 514637 
68.62/30.83	o 514617 
77.38/33.11	o 514555 
77.38/33.12	o 514535 
77.38/33.15	o 514520 
77.38/33.16	o 514519 
77.38/33.18	o 514518 
77.38/33.20	o 514508 
77.38/33.20	o 514427 
77.71/33.21	o 514407 
78.06/33.37	o 514366 
78.06/33.37	o 514351 
78.06/33.38	o 514350 
78.06/33.39	o 514349 
78.06/33.39	o 514339 
78.06/33.40	o 514238 
78.66/33.64	o 514218 
80.08/34.07	o 514197 
80.40/34.30	o 514177 
82.77/35.46	o 514022 
82.77/35.49	o 514002 
82.90/35.51	o 513996 
82.90/35.52	o 513986 
82.90/35.53	o 513975 
82.90/35.55	o 513566 
82.90/35.56	o 513551 
82.90/35.58	o 513550 
82.90/35.59	o 513549 
82.90/35.60	o 513539 
83.07/35.61	o 513438 
83.07/35.66	o 513418 
83.07/35.68	o 513219 
83.07/35.68	o 513199 
83.07/35.69	o 513009 
83.34/35.70	o 512989 
83.34/35.76	o 512899 
83.34/35.77	o 512879 
83.34/35.79	o 512779 
84.37/36.00	o 512759 
84.37/36.03	o 512743 
84.37/36.05	o 512736 
84.37/36.06	o 512635 
84.37/36.08	o 512615 
84.73/36.16	o 512553 
84.73/36.18	o 512533 
85.04/36.25	o 512518 
85.04/36.27	o 512517 
85.24/36.33	o 512516 
85.24/36.34	o 512506 
85.24/36.35	o 512425 
85.24/36.35	o 512405 
85.91/36.55	o 512385 
85.91/36.57	o 512323 
85.91/36.57	o 512303 
86.49/36.72	o 512288 
86.82/36.96	o 512287 
87.89/37.94	o 512195 
87.89/37.95	o 512175 
89.33/38.38	o 512110 
93.26/39.71	o 511751 
93.26/39.72	o 511731 
93.26/39.73	o 511724 
93.26/39.74	o 511623 
93.26/39.77	o 511603 
93.50/39.80	o 511523 
93.50/39.82	o 511503 
93.50/39.85	o 511441 
93.50/39.86	o 511421 
93.82/39.90	o 511406 
93.82/39.93	o 511405 
93.82/39.98	o 511404 
93.82/40.00	o 511394 
94.14/40.01	o 511393 
94.14/40.02	o 511313 
94.14/40.02	o 511293 
96.19/40.67	o 511283 
96.19/40.68	o 510108 
97.52/41.15	o 510097 
98.55/41.41	o 510096 
99.34/41.67	o 508183 
100.54/41.93	o 506183 
101.36/42.19	o 506083 
102.50/42.46	o 506063 
103.99/42.99	o 505963 
104.60/43.24	o 505661 
105.65/44.26	o 505641 
105.65/44.29	o 505634 
105.65/44.30	o 505533 
105.78/44.31	o 505513 
106.56/44.51	o 505451 
106.56/44.52	o 505431 
106.56/44.55	o 505416 
106.56/44.56	o 505415 
106.56/44.58	o 505414 
106.56/44.59	o 505404 
106.56/44.59	o 505323 
106.56/44.60	o 505303 
107.27/44.74	o 34622 
210.21/70.82	o 34602 
2520.35/651.47	s SATISFIABLE
2520.35/651.47	v <instantiation>
2520.35/651.47	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>
2520.35/651.47	v 	<values>442 680 554 792 694 456 282 44 282 44 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 680 442 44 282 414 652 324 86 750 512 58 296 512 750 296 58 142 380 156 394 352 114 44 282 380 142 470 708 366 128 156 394 498 736 114 352 526 764 484 722 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 512 750 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 652 414 128 366 470 708 296 58 366 128 428 666 352 114 142 380 792 554 792 554 352 114 414 652 722 484 394 156 394 156 680 442 428 666 526 764 526 764 128 366 72 310 722 484 142 380 30 268 666 428 456 694 764 526 268 30 764 526 86 324 680 442 428 666 764 526 540 778 296 58 470 708 540 778 778 540 380 142 30 268 470 708 16 254 282 44 30 268 268 30 282 44 268 30 666 428 442 680 764 526 44 282 694 456 30 268 86 324 722 484 282 44 526 764 540 778 540 778 114 352 268 30 694 456 100 338 30 268 352 114 778 540 254 16 442 680 540 778 512 750 380 142 708 470 156 394 666 428 666 428 30 268 456 694 338 100 30 268 428 666 540 778 44 282 694 456 540 778 142 380 470 708 736 498 352 114 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 666 428 380 142 310 72 456 694 282 44 540 778 442 680 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 778 540 86 324 86 324 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 254 16 526 764 792 554 764 526 44 282 142 380 708 470 114 352 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 30 268 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 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 100 100 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 10 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 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 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 1000 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 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 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 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 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 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 100 0 100 0 100 0 0 100 0 100 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 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 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 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 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 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 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 100 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 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 100 0 0 0 0 0 0 0 0 0 100 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 0 0 0 0 0 0 0 0 0 0 10 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 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 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 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 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 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 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 0 0 0 1 0 0 0 0 0 0 0 0 1 0 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 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 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 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 1 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 1 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
2520.35/651.47	v </instantiation>
2520.35/651.47	c Unexpected resolution interruption!

Verifier Data 

OK	34602

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393440-1568354746/watcher-4393440-1568354746 -o /tmp/evaluation-result-4393440-1568354746/solver-4393440-1568354746 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22073 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 565430311 HOME/instance-4393440-1568354746.xml 

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

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

solver pid=25728, runsolver pid=25725

[startup+0.100862 s]*
/proc/loadavg: 8.46 8.60 8.85 6/231 25744
/proc/meminfo: memFree=30698172/32770624 swapFree=66940792/67108860
[pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411713280 115843072 363 33554432000 4194304 5098028 140726447856336 140726447854440 140203417461372 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7413760 140726447862651 140726447862893 140726447862893 140726447865802 0
/proc/25728/statm: 28282 363 304 221 0 87 0
[pid=25730] ppid=25728 vsize=15144768 memory=29152 CPUtime=0.13 cores=0,2,4,6
/proc/25730/stat : 25730 (java) S 25728 25728 22042 0 -1 1077944320 5702 0 0 0 12 1 0 0 20 0 15 0 411713280 15508242432 7288 33554432000 4194304 4196468 140736494308896 140736494291440 139928285118199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
/proc/25730/statm: 3786192 7288 3185 1 0 3748377 0
[pid=25730/tid=25731] ppid=25728 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/25730/task/25731/stat : 25731 (java) R 25728 25728 22042 0 -1 4202560 3578 0 0 0 8 1 0 0 20 0 15 0 411713281 15508242432 7288 33554432000 4194304 4196468 140736494308896 139928289348864 139928285130134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25732] ppid=25728 vsize=15144768 memory=3472468769341330640 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15508242432 7288 33554432000 4194304 4196468 140736494308896 139928237738896 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25733] ppid=25728 vsize=15144768 memory=140640446178944 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15508242432 7288 33554432000 4194304 4196468 140736494308896 139928236686096 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25734] ppid=25728 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15508242432 7288 33554432000 4194304 4196468 140736494308896 139928235633808 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25735] ppid=25728 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411713281 15508242432 7288 33554432000 4194304 4196468 140736494308896 139928234581008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25736] ppid=25728 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411713283 15508242432 7288 33554432000 4194304 4196468 140736494308896 139927752796272 139928285129346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25737] ppid=25728 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411713283 15508242432 7288 33554432000 4194304 4196468 140736494308896 139927751742240 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25738] ppid=25728 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411713283 15508242432 7288 33554432000 4194304 4196468 140736494308896 139927750689904 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25739] ppid=25728 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411713286 15508242432 7288 33554432000 4194304 4196468 140736494308896 139927749638224 139928285136795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25740] ppid=25728 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22042 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 411713286 15508242432 7288 33554432000 4194304 4196468 140736494308896 139927748586096 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25741] ppid=25728 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22042 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 411713286 15508242432 7288 33554432000 4194304 4196468 140736494308896 139927747533296 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25742] ppid=25728 vsize=15144768 memory=140640446178944 CPUtime=0.02 cores=0,2,4,6
/proc/25730/task/25742/stat : 25742 (java) R 25728 25728 22042 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 411713286 15508242432 7288 33554432000 4194304 4196468 140736494308896 139927746481008 139928263713812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25743] ppid=25728 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411713286 15508242432 7288 33554432000 4194304 4196468 140736494308896 139927745428448 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25744] ppid=25728 vsize=15144768 memory=140640446178944 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713286 15508242432 7288 33554432000 4194304 4196468 140736494308896 139927744375216 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30604 KiB

[startup+0.211118 s]*
/proc/loadavg: 8.46 8.60 8.85 7/231 25744
/proc/meminfo: memFree=30644496/32770624 swapFree=66940792/67108860
[pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411713280 115843072 363 33554432000 4194304 5098028 140726447856336 140726447854440 140203417461372 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7413760 140726447862651 140726447862893 140726447862893 140726447865802 0
/proc/25728/statm: 28282 363 304 221 0 87 0
[pid=25730] ppid=25728 vsize=15144768 memory=40824 CPUtime=0.34 cores=0,2,4,6
/proc/25730/stat : 25730 (java) S 25728 25728 22042 0 -1 1077944320 9475 0 0 0 31 3 0 0 20 0 15 0 411713280 15508242432 10206 33554432000 4194304 4196468 140736494308896 140736494291440 139928285118199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
/proc/25730/statm: 3786192 10206 3301 1 0 3748377 0
[pid=25730/tid=25731] ppid=25728 vsize=15144768 memory=5852835216252043682 CPUtime=0.19 cores=0,2,4,6
/proc/25730/task/25731/stat : 25731 (java) R 25728 25728 22042 0 -1 4202560 6624 0 0 0 17 2 0 0 20 0 15 0 411713281 15508242432 10206 33554432000 4194304 4196468 140736494308896 139928289356512 139928285130134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25732] ppid=25728 vsize=15144768 memory=3472468769341330640 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15508242432 10206 33554432000 4194304 4196468 140736494308896 139928237738896 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25733] ppid=25728 vsize=15144768 memory=140640446178944 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15508242432 10206 33554432000 4194304 4196468 140736494308896 139928236686096 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25734] ppid=25728 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15508242432 10206 33554432000 4194304 4196468 140736494308896 139928235633808 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25735] ppid=25728 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411713281 15508242432 10206 33554432000 4194304 4196468 140736494308896 139928234581008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25736] ppid=25728 vsize=15144768 memory=140640446178944 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411713283 15508242432 10206 33554432000 4194304 4196468 140736494308896 139927752796272 139928285129346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25737] ppid=25728 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411713283 15508242432 10206 33554432000 4194304 4196468 140736494308896 139927751742240 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25738] ppid=25728 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411713283 15508242432 10206 33554432000 4194304 4196468 140736494308896 139927750689904 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25739] ppid=25728 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411713286 15508242432 10206 33554432000 4194304 4196468 140736494308896 139927749638224 139928285136795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25740] ppid=25728 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22042 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 411713286 15508242432 10206 33554432000 4194304 4196468 140736494308896 139927748586096 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25741] ppid=25728 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22042 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 15 0 411713286 15508242432 10206 33554432000 4194304 4196468 140736494308896 139927747533296 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25742] ppid=25728 vsize=15144768 memory=140640446178944 CPUtime=0.08 cores=0,2,4,6
/proc/25730/task/25742/stat : 25742 (java) R 25728 25728 22042 0 -1 4202560 783 0 0 0 8 0 0 0 20 0 15 0 411713286 15508242432 10206 33554432000 4194304 4196468 140736494308896 139927746481008 139928285139546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25743] ppid=25728 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411713286 15508242432 10206 33554432000 4194304 4196468 140736494308896 139927745428448 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25744] ppid=25728 vsize=15144768 memory=140640446178944 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713286 15508242432 10206 33554432000 4194304 4196468 140736494308896 139927744375216 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42276 KiB

[startup+0.317 s]*
/proc/loadavg: 8.46 8.60 8.85 6/231 25744
/proc/meminfo: memFree=30635520/32770624 swapFree=66940792/67108860
[pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411713280 115843072 363 33554432000 4194304 5098028 140726447856336 140726447854440 140203417461372 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7413760 140726447862651 140726447862893 140726447862893 140726447865802 0
/proc/25728/statm: 28282 363 304 221 0 87 0
[pid=25730] ppid=25728 vsize=15149024 memory=50376 CPUtime=0.53 cores=0,2,4,6
/proc/25730/stat : 25730 (java) S 25728 25728 22042 0 -1 1077944320 10957 0 0 0 49 4 0 0 20 0 15 0 411713280 15512600576 12594 33554432000 4194304 4196468 140736494308896 140736494291440 139928285118199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
/proc/25730/statm: 3787256 12594 3356 1 0 3748377 0
[pid=25730/tid=25731] ppid=25728 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=0,2,4,6
/proc/25730/task/25731/stat : 25731 (java) R 25728 25728 22042 0 -1 4202560 7867 0 0 0 27 3 0 0 20 0 15 0 411713281 15512600576 12659 33554432000 4194304 4196468 140736494308896 139928289345968 139928269198686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25732] ppid=25728 vsize=15149024 memory=3472468769341330640 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15512600576 12659 33554432000 4194304 4196468 140736494308896 139928237738896 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25733] ppid=25728 vsize=15149024 memory=140640446178944 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15512600576 12659 33554432000 4194304 4196468 140736494308896 139928236686096 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25734] ppid=25728 vsize=15149024 memory=4 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15512600576 12659 33554432000 4194304 4196468 140736494308896 139928235633808 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25735] ppid=25728 vsize=15149024 memory=140640314861599 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411713281 15512600576 12659 33554432000 4194304 4196468 140736494308896 139928234581008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25736] ppid=25728 vsize=15149024 memory=281280629683968 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411713283 15512600576 12659 33554432000 4194304 4196468 140736494308896 139927752796272 139928285129346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25737] ppid=25728 vsize=15149024 memory=140640314838543 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411713283 15512600576 12659 33554432000 4194304 4196468 140736494308896 139927751742240 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25738] ppid=25728 vsize=15149024 memory=281280761026656 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411713283 15512600576 12659 33554432000 4194304 4196468 140736494308896 139927750689904 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25739] ppid=25728 vsize=15149024 memory=140640314843151 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411713286 15512600576 12659 33554432000 4194304 4196468 140736494308896 139927749638224 139928285136795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25740] ppid=25728 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22042 0 -1 1077944384 619 0 0 0 5 0 0 0 20 0 15 0 411713286 15512600576 12659 33554432000 4194304 4196468 140736494308896 139927748586096 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25741] ppid=25728 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22042 0 -1 1077944384 292 0 0 0 4 0 0 0 20 0 15 0 411713286 15512600576 12659 33554432000 4194304 4196468 140736494308896 139927747533296 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25742] ppid=25728 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25730/task/25742/stat : 25742 (java) R 25728 25728 22042 0 -1 4202560 874 0 0 0 12 0 0 0 20 0 15 0 411713286 15512600576 12659 33554432000 4194304 4196468 140736494308896 139927746481008 139928285139546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25743] ppid=25728 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411713286 15512600576 12659 33554432000 4194304 4196468 140736494308896 139927745428448 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25744] ppid=25728 vsize=15149024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713286 15512600576 12659 33554432000 4194304 4196468 140736494308896 139927744375216 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51828 KiB

[startup+0.703007 s]
/proc/loadavg: 8.34 8.57 8.84 8/231 25744
/proc/meminfo: memFree=30611816/32770624 swapFree=66940792/67108860
[pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411713280 115843072 363 33554432000 4194304 5098028 140726447856336 140726447854440 140203417461372 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7413760 140726447862651 140726447862893 140726447862893 140726447865802 0
/proc/25728/statm: 28282 363 304 221 0 87 0
[pid=25730] ppid=25728 vsize=15151148 memory=113664 CPUtime=1.74 cores=0,2,4,6
/proc/25730/stat : 25730 (java) S 25728 25728 22042 0 -1 1077944320 14457 0 0 0 169 5 0 0 20 0 15 0 411713280 15514775552 28416 33554432000 4194304 4196468 140736494308896 140736494291440 139928285118199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
/proc/25730/statm: 3787787 28416 3447 1 0 3748889 0
[pid=25730/tid=25731] ppid=25728 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/25730/task/25731/stat : 25731 (java) R 25728 25728 22042 0 -1 4202560 8429 0 0 0 64 4 0 0 20 0 15 0 411713281 15514775552 28416 33554432000 4194304 4196468 140736494308896 139928289356112 139928266982282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25732] ppid=25728 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15514775552 28416 33554432000 4194304 4196468 140736494308896 139928237738896 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25733] ppid=25728 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15514775552 28416 33554432000 4194304 4196468 140736494308896 139928236686096 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25734] ppid=25728 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713281 15514775552 28416 33554432000 4194304 4196468 140736494308896 139928235633808 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25735] ppid=25728 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411713281 15514775552 28416 33554432000 4194304 4196468 140736494308896 139928234581008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25736] ppid=25728 vsize=15151148 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411713283 15514775552 28416 33554432000 4194304 4196468 140736494308896 139927752796272 139928285129346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25737] ppid=25728 vsize=15151148 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411713283 15514775552 28416 33554432000 4194304 4196468 140736494308896 139927751742240 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25738] ppid=25728 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411713283 15514775552 28416 33554432000 4194304 4196468 140736494308896 139927750689904 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25739] ppid=25728 vsize=15151148 memory=780 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411713286 15514775552 28416 33554432000 4194304 4196468 140736494308896 139927749638224 139928285136795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25740] ppid=25728 vsize=15151148 memory=5972 CPUtime=0.37 cores=0,2,4,6
/proc/25730/task/25740/stat : 25740 (java) R 25728 25728 22042 0 -1 4202560 1518 0 0 0 37 0 0 0 20 0 15 0 411713286 15514775552 28416 33554432000 4194304 4196468 140736494308896 139927748576208 139928285139546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25741] ppid=25728 vsize=15151148 memory=624 CPUtime=0.34 cores=0,2,4,6
/proc/25730/task/25741/stat : 25741 (java) R 25728 25728 22042 0 -1 4202560 1323 0 0 0 34 0 0 0 20 0 15 0 411713286 15514775552 28416 33554432000 4194304 4196468 140736494308896 139927747524128 139928285130134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25742] ppid=25728 vsize=15151148 memory=3996 CPUtime=0.32 cores=0,2,4,6
/proc/25730/task/25742/stat : 25742 (java) R 25728 25728 22042 0 -1 1077944384 1881 0 0 0 32 0 0 0 20 0 15 0 411713286 15514775552 28416 33554432000 4194304 4196468 140736494308896 139927746476368 139928285128405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25743] ppid=25728 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411713286 15514775552 28416 33554432000 4194304 4196468 140736494308896 139927745428448 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25744] ppid=25728 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411713286 15514775552 28416 33554432000 4194304 4196468 140736494308896 139927744375216 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 115116 KiB

[startup+1.50083 s]
/proc/loadavg: 8.34 8.57 8.84 10/234 25748
/proc/meminfo: memFree=30448584/32770624 swapFree=66940792/67108860
[pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411713280 115843072 363 33554432000 4194304 5098028 140726447856336 140726447854440 140203417461372 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7413760 140726447862651 140726447862893 140726447862893 140726447865802 0
/proc/25728/statm: 28282 363 304 221 0 87 0

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

/proc/25730/stat : 25730 (java) S 25728 25728 22042 0 -1 1077944320 346122 0 0 0 247943 469 0 0 20 0 19 0 411713280 15925841920 1000355 33554432000 4194304 4196468 140736494308896 140736494291440 139928285118199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
/proc/25730/statm: 3888145 1000355 3559 1 0 3849247 0
[pid=25730/tid=25731] ppid=25728 vsize=15552580 memory=2325436 CPUtime=15.19 cores=0,2,4,6
/proc/25730/task/25731/stat : 25731 (java) S 25728 25728 22042 0 -1 1077944384 13680 0 0 0 1504 15 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928289359008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25732] ppid=25728 vsize=15552580 memory=1436 CPUtime=5.77 cores=0,2,4,6
/proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22042 0 -1 1077944384 8441 0 0 0 488 89 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928237738896 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25733] ppid=25728 vsize=15552580 memory=800 CPUtime=5.68 cores=0,2,4,6
/proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22042 0 -1 1077944384 11476 0 0 0 476 92 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928236686096 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25734] ppid=25728 vsize=15552580 memory=1764 CPUtime=5.78 cores=0,2,4,6
/proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22042 0 -1 1077944384 11366 0 0 0 488 90 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928235633808 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25735] ppid=25728 vsize=15552580 memory=1452 CPUtime=5.77 cores=0,2,4,6
/proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22042 0 -1 1077944384 11936 0 0 0 488 89 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928234581008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25736] ppid=25728 vsize=15552580 memory=4001420 CPUtime=0.77 cores=0,2,4,6
/proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22042 0 -1 1077944384 9874 0 0 0 29 48 0 0 20 0 19 0 411713283 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927752796272 139928285129346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25737] ppid=25728 vsize=15552580 memory=928 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22042 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 411713283 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927751742304 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25738] ppid=25728 vsize=15552580 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22042 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 411713283 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927750689920 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25739] ppid=25728 vsize=15552580 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927749638224 139928285136795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25740] ppid=25728 vsize=15552580 memory=2432 CPUtime=6.52 cores=0,2,4,6
/proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22042 0 -1 1077944384 32459 0 0 0 650 2 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927748586096 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25741] ppid=25728 vsize=15552580 memory=1436 CPUtime=7.4 cores=0,2,4,6
/proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22042 0 -1 1077944384 33951 0 0 0 737 3 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927747533296 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25742] ppid=25728 vsize=15552580 memory=800 CPUtime=1.23 cores=0,2,4,6
/proc/25730/task/25742/stat : 25742 (java) S 25728 25728 22042 0 -1 1077944384 17696 0 0 0 121 2 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927746481008 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25743] ppid=25728 vsize=15552580 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927745428448 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25744] ppid=25728 vsize=15552580 memory=111628 CPUtime=0.29 cores=0,2,4,6
/proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22042 0 -1 1077944384 1241 0 0 0 4 25 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927744375216 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26505] ppid=25728 vsize=15552580 memory=800 CPUtime=568.67 cores=0,2,4,6
/proc/25730/task/26505/stat : 26505 (java) R 25728 25728 22042 0 -1 4202560 22761 0 0 0 56865 2 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927732251248 139927909671133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26506] ppid=25728 vsize=15552580 memory=1804 CPUtime=567.67 cores=0,2,4,6
/proc/25730/task/26506/stat : 26506 (java) R 25728 25728 22042 0 -1 4202560 54992 0 0 0 56754 13 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927731199752 139927909671088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26507] ppid=25728 vsize=15552580 memory=0 CPUtime=567.23 cores=0,2,4,6
/proc/25730/task/26507/stat : 26507 (java) R 25728 25728 22042 0 -1 4202560 54979 0 0 0 56720 3 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927730149312 139927909671022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26508] ppid=25728 vsize=15552580 memory=-7003737579269690708 CPUtime=567.35 cores=0,2,4,6
/proc/25730/task/26508/stat : 26508 (java) R 25728 25728 22042 0 -1 4202560 4481 0 0 0 56734 1 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927728042160 139927909509632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
Current children cumulated CPU time: 2484.12 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 4002872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+651.401 s]
/proc/loadavg: 8.52 8.07 8.41 9/237 26669
/proc/meminfo: memFree=24774644/32770624 swapFree=66940792/67108860
[pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411713280 115843072 363 33554432000 4194304 5098028 140726447856336 140726447854440 140203417461372 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7413760 140726447862651 140726447862893 140726447862893 140726447865802 0
/proc/25728/statm: 28282 363 304 221 0 87 0
[pid=25730] ppid=25728 vsize=15552580 memory=4001420 CPUtime=2520.35 cores=0,2,4,6
/proc/25730/stat : 25730 (java) S 25728 25728 22042 0 -1 1077944320 346566 0 0 0 251566 469 0 0 20 0 19 0 411713280 15925841920 1000355 33554432000 4194304 4196468 140736494308896 140736494291440 139928285118199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
/proc/25730/statm: 3888145 1000355 3559 1 0 3849247 0
[pid=25730/tid=25731] ppid=25728 vsize=15552580 memory=4001420 CPUtime=15.19 cores=0,2,4,6
/proc/25730/task/25731/stat : 25731 (java) S 25728 25728 22042 0 -1 1077944384 13680 0 0 0 1504 15 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928289359008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25732] ppid=25728 vsize=15552580 memory=4001420 CPUtime=5.77 cores=0,2,4,6
/proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22042 0 -1 1077944384 8441 0 0 0 488 89 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928237738896 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25733] ppid=25728 vsize=15552580 memory=4001420 CPUtime=5.68 cores=0,2,4,6
/proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22042 0 -1 1077944384 11476 0 0 0 476 92 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928236686096 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25734] ppid=25728 vsize=15552580 memory=4001420 CPUtime=5.78 cores=0,2,4,6
/proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22042 0 -1 1077944384 11366 0 0 0 488 90 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928235633808 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25735] ppid=25728 vsize=15552580 memory=4001420 CPUtime=5.77 cores=0,2,4,6
/proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22042 0 -1 1077944384 11936 0 0 0 488 89 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928234581008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25736] ppid=25728 vsize=15552580 memory=4001420 CPUtime=0.77 cores=0,2,4,6
/proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22042 0 -1 1077944384 9874 0 0 0 29 48 0 0 20 0 19 0 411713283 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927752796272 139928285129346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25737] ppid=25728 vsize=15552580 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22042 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 411713283 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927751742304 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25738] ppid=25728 vsize=15552580 memory=4001420 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22042 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 411713283 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927750689920 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25739] ppid=25728 vsize=15552580 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927749638224 139928285136795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25740] ppid=25728 vsize=15552580 memory=3976880 CPUtime=6.52 cores=0,2,4,6
/proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22042 0 -1 1077944384 32459 0 0 0 650 2 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927748586096 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25741] ppid=25728 vsize=15552580 memory=3976880 CPUtime=7.4 cores=0,2,4,6
/proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22042 0 -1 1077944384 33951 0 0 0 737 3 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927747533296 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25742] ppid=25728 vsize=15552580 memory=4001420 CPUtime=1.23 cores=0,2,4,6
/proc/25730/task/25742/stat : 25742 (java) S 25728 25728 22042 0 -1 1077944384 17696 0 0 0 121 2 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927746481008 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25743] ppid=25728 vsize=15552580 memory=4001420 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927745428448 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25744] ppid=25728 vsize=15552580 memory=4001420 CPUtime=0.29 cores=0,2,4,6
/proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22042 0 -1 1077944384 1241 0 0 0 4 25 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927744375216 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26505] ppid=25728 vsize=15552580 memory=4001420 CPUtime=577.77 cores=0,2,4,6
/proc/25730/task/26505/stat : 26505 (java) R 25728 25728 22042 0 -1 4202560 22925 0 0 0 57775 2 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927732251248 139927908752456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26506] ppid=25728 vsize=15552580 memory=4001420 CPUtime=576.61 cores=0,2,4,6
/proc/25730/task/26506/stat : 26506 (java) R 25728 25728 22042 0 -1 4202560 55236 0 0 0 57648 13 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927731199752 139927908752447 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26507] ppid=25728 vsize=15552580 memory=1452 CPUtime=576.33 cores=0,2,4,6
/proc/25730/task/26507/stat : 26507 (java) R 25728 25728 22042 0 -1 4202560 55006 0 0 0 57630 3 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927730149312 139927910312976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26508] ppid=25728 vsize=15552580 memory=1452 CPUtime=576.45 cores=0,2,4,6
/proc/25730/task/26508/stat : 26508 (java) R 25728 25728 22042 0 -1 4202560 4490 0 0 0 57644 1 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927728042160 139927909509723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
Current children cumulated CPU time: 2520.35 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 4002872 KiB

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

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

[startup+651.529 s]
# the end of solver process 25730 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.02 s, system=4.73494 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+651.401 s]
/proc/loadavg: 8.52 8.07 8.41 9/237 26669
/proc/meminfo: memFree=24774644/32770624 swapFree=66940792/67108860
[pid=25728] ppid=25725 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25728/stat : 25728 (xcsp3-exec) S 25725 25728 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411713280 115843072 363 33554432000 4194304 5098028 140726447856336 140726447854440 140203417461372 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 7413760 140726447862651 140726447862893 140726447862893 140726447865802 0
/proc/25728/statm: 28282 363 304 221 0 87 0
[pid=25730] ppid=25728 vsize=15552580 memory=4001420 CPUtime=2520.35 cores=0,2,4,6
/proc/25730/stat : 25730 (java) S 25728 25728 22042 0 -1 1077944320 346566 0 0 0 251566 469 0 0 20 0 19 0 411713280 15925841920 1000355 33554432000 4194304 4196468 140736494308896 140736494291440 139928285118199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
/proc/25730/statm: 3888145 1000355 3559 1 0 3849247 0
[pid=25730/tid=25731] ppid=25728 vsize=15552580 memory=4001420 CPUtime=15.19 cores=0,2,4,6
/proc/25730/task/25731/stat : 25731 (java) S 25728 25728 22042 0 -1 1077944384 13680 0 0 0 1504 15 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928289359008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25732] ppid=25728 vsize=15552580 memory=4001420 CPUtime=5.77 cores=0,2,4,6
/proc/25730/task/25732/stat : 25732 (java) S 25728 25728 22042 0 -1 1077944384 8441 0 0 0 488 89 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928237738896 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25733] ppid=25728 vsize=15552580 memory=4001420 CPUtime=5.68 cores=0,2,4,6
/proc/25730/task/25733/stat : 25733 (java) S 25728 25728 22042 0 -1 1077944384 11476 0 0 0 476 92 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928236686096 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25734] ppid=25728 vsize=15552580 memory=4001420 CPUtime=5.78 cores=0,2,4,6
/proc/25730/task/25734/stat : 25734 (java) S 25728 25728 22042 0 -1 1077944384 11366 0 0 0 488 90 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928235633808 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25735] ppid=25728 vsize=15552580 memory=4001420 CPUtime=5.77 cores=0,2,4,6
/proc/25730/task/25735/stat : 25735 (java) S 25728 25728 22042 0 -1 1077944384 11936 0 0 0 488 89 0 0 20 0 19 0 411713281 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139928234581008 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25736] ppid=25728 vsize=15552580 memory=4001420 CPUtime=0.77 cores=0,2,4,6
/proc/25730/task/25736/stat : 25736 (java) S 25728 25728 22042 0 -1 1077944384 9874 0 0 0 29 48 0 0 20 0 19 0 411713283 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927752796272 139928285129346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25737] ppid=25728 vsize=15552580 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25737/stat : 25737 (java) S 25728 25728 22042 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 411713283 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927751742304 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25738] ppid=25728 vsize=15552580 memory=4001420 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25738/stat : 25738 (java) S 25728 25728 22042 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 411713283 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927750689920 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25739] ppid=25728 vsize=15552580 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25739/stat : 25739 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927749638224 139928285136795 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25740] ppid=25728 vsize=15552580 memory=3976880 CPUtime=6.52 cores=0,2,4,6
/proc/25730/task/25740/stat : 25740 (java) S 25728 25728 22042 0 -1 1077944384 32459 0 0 0 650 2 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927748586096 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25741] ppid=25728 vsize=15552580 memory=3976880 CPUtime=7.4 cores=0,2,4,6
/proc/25730/task/25741/stat : 25741 (java) S 25728 25728 22042 0 -1 1077944384 33951 0 0 0 737 3 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927747533296 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25742] ppid=25728 vsize=15552580 memory=4001420 CPUtime=1.23 cores=0,2,4,6
/proc/25730/task/25742/stat : 25742 (java) S 25728 25728 22042 0 -1 1077944384 17696 0 0 0 121 2 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927746481008 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25743] ppid=25728 vsize=15552580 memory=4001420 CPUtime=0 cores=0,2,4,6
/proc/25730/task/25743/stat : 25743 (java) S 25728 25728 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927745428448 139928285128405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=25744] ppid=25728 vsize=15552580 memory=4001420 CPUtime=0.29 cores=0,2,4,6
/proc/25730/task/25744/stat : 25744 (java) S 25728 25728 22042 0 -1 1077944384 1241 0 0 0 4 25 0 0 20 0 19 0 411713286 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927744375216 139928285129346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 35 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26505] ppid=25728 vsize=15552580 memory=4001420 CPUtime=577.77 cores=0,2,4,6
/proc/25730/task/26505/stat : 26505 (java) R 25728 25728 22042 0 -1 4202560 22925 0 0 0 57775 2 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927732251248 139927908752456 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26506] ppid=25728 vsize=15552580 memory=4001420 CPUtime=576.61 cores=0,2,4,6
/proc/25730/task/26506/stat : 26506 (java) R 25728 25728 22042 0 -1 4202560 55236 0 0 0 57648 13 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927731199752 139927908752447 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26507] ppid=25728 vsize=15552580 memory=1452 CPUtime=576.33 cores=0,2,4,6
/proc/25730/task/26507/stat : 26507 (java) R 25728 25728 22042 0 -1 4202560 55006 0 0 0 57630 3 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927730149312 139927910312976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
[pid=25730/tid=26508] ppid=25728 vsize=15552580 memory=1452 CPUtime=576.45 cores=0,2,4,6
/proc/25730/task/26508/stat : 26508 (java) R 25728 25728 22042 0 -1 4202560 4490 0 0 0 57644 1 0 0 20 0 19 0 411720362 15925841920 1000355 33554432000 4194304 4196468 140736494308896 139927728042160 139927909509723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10919936 140736494310383 140736494310554 140736494310554 140736494313423 0
Current children cumulated CPU time: 2520.35 s
Current children cumulated vsize: 15665708 KiB
Current children cumulated memory: 4002872 KiB

Child status: 143
Real time (s): 651.529
CPU time (s): 2520.76
CPU user time (s): 2516.02
CPU system time (s): 4.73494
CPU usage (%): 386.899
Max. virtual memory (cumulated for all children) (KiB): 15665708
Max. memory (cumulated for all children) (KiB): 4002872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.02
system time used= 4.73494
maximum resident set size= 4001816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348422
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23452
involuntary context switches= 45818


# summary of solver processes directly reported to runsolver:
#   pid: 25728,25730
#   total CPU time (s): 2520.76
#   total CPU user time (s): 2516.02
#   total CPU system time (s): 4.73494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.22944 second user time and 7.45449 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-13 08:05:08
IDJOB=4393440
IDBENCH=141188
IDSOLVER=2840
FILE ID=node149/4393440-1568354746
RUNJOBID= node149-1568346919-22073
PBS_JOBID= 21701170
Free space on /tmp= 57044 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393440-1568354746/watcher-4393440-1568354746 -o /tmp/evaluation-result-4393440-1568354746/solver-4393440-1568354746 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22073 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 565430311 HOME/instance-4393440-1568354746.xml

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

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=565430311

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30715388 kB
MemAvailable:   31482232 kB
Buffers:          140972 kB
Cached:           922284 kB
SwapCached:        61356 kB
Active:           838236 kB
Inactive:         663428 kB
Active(anon):     405908 kB
Inactive(anon):    72344 kB
Active(file):     432328 kB
Inactive(file):   591084 kB
Unevictable:      111276 kB
Mlocked:          111276 kB
SwapTotal:      67108860 kB
SwapFree:       66940792 kB
Dirty:             26580 kB
Writeback:             0 kB
AnonPages:        490248 kB
Mapped:            56440 kB
Shmem:             31228 kB
Slab:             147700 kB
SReclaimable:     118532 kB
SUnreclaim:        29168 kB
KernelStack:        3760 kB
PageTables:         6528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1934532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    389120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 57020 MiB
End job on node149 at 2019-09-13 08:16:00