Trace number 4310534

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
OscaR - Hybrid 2018-08-14SAT (TO)10671575 252.111 232.75

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-10-opt_c18.xml
MD5SUM5aacc3d423af8ffef3990b4c8ed069d4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark31727
Best CPU time to get the best result obtained on this benchmark252.11
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
Number of domains11
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.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 1991217330
0.68/0.56	c timeout: 252
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
12.30/7.17	c Parsing done, starting first complete search...
79.78/70.62	o 12307690
79.78/70.62	c First complete search done, starting ALNS search...
82.21/72.09	o 12307688
82.21/72.10	o 12307588
82.21/72.11	o 12307488
82.78/72.37	o 12306690
82.94/72.46	o 12306590
83.10/72.55	o 12306490
83.21/72.64	o 12306488
83.85/73.25	o 12306390
83.96/73.34	o 12306388
85.73/74.74	o 12306387
85.73/74.77	o 12306386
85.73/74.79	o 12306385
86.01/74.82	o 12306384
86.01/74.89	o 12306288
86.20/74.91	o 12306287
86.20/74.95	o 12306286
86.20/74.96	o 12306285
86.20/74.99	o 12306284
86.34/75.06	o 12306188
86.34/75.09	o 12306187
86.44/75.12	o 12306186
86.44/75.13	o 12306185
86.44/75.16	o 12306184
86.54/75.26	o 12306183
86.65/75.36	o 12306182
86.75/75.46	o 12306181
86.86/75.56	o 12306180
86.96/75.66	o 12306179
87.05/75.76	o 12305488
87.16/75.82	o 12305388
87.25/75.90	o 12305288
87.25/76.00	o 12305287
87.43/76.10	o 12305286
87.53/76.20	o 12305285
91.57/78.00	o 12304285
92.29/78.67	o 12304284
92.39/78.76	o 12304283
92.49/78.84	o 12304282
93.17/79.48	o 12303482
93.28/79.52	o 12303382
93.28/79.55	o 12302482
93.28/79.59	o 12302382
93.39/79.63	o 12104482
93.39/79.66	o 12103482
93.39/79.69	o 12103382
93.49/79.73	o 12102482
93.49/79.76	o 12102382
93.49/79.79	o 12102282
93.59/79.83	o 12102182
93.59/79.87	o 12102082
93.69/79.91	o 12101481
93.69/79.94	o 12101381
93.69/79.98	o 12101281
95.55/81.44	o 12100281
95.74/81.51	o 12100279
96.06/81.83	o 12099279
97.27/83.01	o 12099277
97.57/83.30	o 12099179
97.67/83.42	o 12099177
98.34/84.03	o 12099077
98.69/84.33	o 11903287
98.79/84.46	o 11903285
102.10/87.72	o 11903185
102.10/87.74	o 11903184
104.09/89.65	o 11903183
104.29/89.81	o 11903182
105.63/90.95	o 11902182
106.33/91.64	o 11902181
109.96/95.28	o 11706281
115.02/100.25	o 11705283
115.13/100.35	o 11705282
115.33/100.59	o 11705281
115.84/101.08	o 11705183
116.14/101.32	o 11705182
116.35/101.56	o 11705181
117.30/102.44	o 11704284
117.50/102.62	o 11704283
118.01/103.11	o 11704282
118.10/103.27	o 11704281
118.60/103.73	o 11704280
118.81/103.90	o 11704279
119.06/104.11	o 11704181
119.15/104.21	o 11704179
119.15/104.27	o 11704081
121.81/106.64	o 11704079
122.11/106.94	o 11703981
122.41/107.24	o 11703979
122.71/107.54	o 11703977
123.85/108.62	o 11702984
124.05/108.86	o 11702884
124.36/109.13	o 11702784
124.55/109.38	o 11702684
125.85/110.65	o 11503685
127.76/112.51	o 11503683
128.54/113.20	o 11305083
128.64/113.38	o 11305081
128.84/113.56	o 11305079
129.04/113.73	o 11304983
129.14/113.88	o 11304883
129.36/114.06	o 11304881
129.60/114.24	o 11304879
129.80/114.43	o 11304877
130.00/114.65	o 11304783
130.32/114.92	o 11303883
133.04/117.65	o 11303783
137.93/122.29	o 11301786
138.23/122.54	o 11300786
138.43/122.77	o 11299786
138.63/122.99	o 11298786
138.94/123.22	o 11298686
139.14/123.47	o 11298588
139.44/123.71	o 11297888
139.54/123.81	o 11297790
141.85/126.15	o 11297690
142.24/126.55	o 11297689
146.16/130.31	o 11297688
146.26/130.44	o 11297687
146.36/130.55	o 11297686
146.56/130.72	o 11297589
146.66/130.81	o 11297588
146.76/130.99	o 11297587
146.87/131.10	o 11297586
147.45/131.54	o 11296888
147.65/131.79	o 11296788
148.15/132.24	o 11296786
149.58/133.43	o 11296785
149.88/133.74	o 11296686
150.08/133.91	o 11296685
152.38/136.29	o 11296586
152.79/136.65	o 11296585
154.50/138.38	o 11296584
154.70/138.52	o 11296485
154.80/138.65	o 11296484
154.90/138.76	o 11296483
155.10/139.00	o 11296385
155.30/139.13	o 11296384
155.40/139.25	o 11296383
163.18/146.50	o 11296382
163.28/146.69	o 11296381
163.69/147.04	o 11296380
164.08/147.43	o 11296379
165.69/149.10	o 11295480
165.98/149.32	o 11295478
166.28/149.62	o 11295476
167.59/150.91	o 11294578
167.89/151.21	o 11294577
168.19/151.50	o 11294478
168.39/151.77	o 11294477
168.70/152.10	o 11293579
168.99/152.36	o 11293479
169.29/152.62	o 11293478
174.35/157.54	o 11291476
176.15/158.93	o 11290576
176.78/159.54	o 11290373
177.08/159.85	o 11290372
177.29/160.09	o 11290270
177.48/160.25	o 11290269
177.78/160.52	o 11290170
177.88/160.64	o 11289476
177.98/160.74	o 11289273
178.58/161.33	o 11289075
178.78/161.52	o 11288975
178.98/161.74	o 11288075
179.18/161.91	o 11287975
179.68/162.47	o 11287883
179.88/162.63	o 11287783
180.08/162.83	o 11287782
180.19/162.90	o 11287781
180.30/163.03	o 11287582
180.30/163.09	o 11287581
180.49/163.26	o 11287481
180.69/163.49	o 11287480
181.09/163.83	o 11287381
181.19/163.93	o 11287380
181.40/164.13	o 11287379
181.59/164.30	o 11286379
181.69/164.45	o 11286374
184.31/167.06	o 11286372
188.21/170.93	o 11089473
191.90/174.27	o 11089368
192.10/174.45	o 11089366
193.20/175.53	o 11087269
193.90/176.28	o 11087169
194.61/177.00	o 11086269
198.13/180.41	o 10892775
198.43/180.79	o 10892675
203.44/185.77	o 10876272
203.64/185.91	o 10876172
203.75/186.07	o 10876072
203.94/186.21	o 10876071
220.81/202.31	o 10871768
222.42/203.98	o 10871762
224.82/206.32	o 10678465
225.42/206.93	o 10677465
226.12/207.66	o 10677365
227.72/209.21	o 10676771
228.03/209.60	o 10676770
228.54/210.05	o 10676769
231.64/213.11	o 10675769
234.14/215.64	o 10675671
234.14/215.67	o 10675571
234.24/215.73	o 10675471
234.44/215.95	o 10675470
235.44/216.95	o 10675468
236.93/218.04	o 10675370
245.66/226.77	o 10674775
245.86/226.99	o 10674675
246.16/227.28	o 10674575
249.16/230.29	o 10673675
249.37/230.47	o 10672675
249.77/230.88	o 10672575
250.08/231.17	o 10671575
252.05/232.70	s SATISFIABLE
252.05/232.71	v <instantiation>
252.05/232.71	v 	<list>
252.05/232.71	v 		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]
252.05/232.71	v 	</list>
252.05/232.71	v 	<values>
252.05/232.71	v 		442 680 554 792 694 456 414 652 484 722 282 44 778 540 680 442 310 72 554 792 128 366 16 254 16 254 324 86 778 540 414 652 484 722 414 652 540 778 394 156 442 680 652 414 554 792 380 142 554 792 722 484 44 282 338 100 16 254 722 484 338 100 44 282 44 282 394 156 324 86 750 512 58 296 792 554 470 708 142 380 156 394 380 142 44 282 554 792 554 792 366 128 72 310 470 708 694 456 526 764 254 16 44 282 428 666 414 652 394 156 778 540 750 512 792 554 456 694 44 282 30 268 16 254 554 792 652 414 324 86 428 666 296 58 778 540 442 680 156 394 442 680 442 680 58 296 86 324 394 156 352 114 750 512 792 554 792 554 170 408 554 792 428 666 296 58 268 30 282 44 282 44 792 554 352 114 156 394 156 394 554 792 694 456 296 58 540 778 526 764 380 142 142 380 778 540 792 554 352 114 708 470 142 380 338 100 268 30 86 324 142 380 526 764 680 442 778 540 310 72 722 484 142 380 380 142 778 540 456 694 310 72 268 30 526 764 86 324 470 708 428 666 142 380 540 778 778 540 268 30 456 694 778 540 778 540 778 540 58 296 792 554 282 44 30 268 778 540 380 142 750 512 470 708 442 680 694 456 44 282 694 456 100 338 86 324 540 778 282 44 456 694 540 778 722 484 694 456 268 30 380 142 142 380 778 540 778 540 428 666 44 282 540 778 540 778 512 750 268 30 708 470 554 792 44 282 666 428 142 380 764 526 338 100 100 338 428 666 540 778 44 282 540 778 540 778 142 380 352 114 254 16 428 666 750 512 764 526 72 310 142 380 792 554 792 554 470 708 512 750 498 736 380 142 310 72 456 694 282 44 142 380 428 666 540 778 338 100 666 428 254 16 282 44 792 554 44 282 736 498 414 652 380 142 680 442 142 380 86 324 282 44 750 512 512 750 736 498 736 498 428 666 722 484 44 282 72 310 526 764 142 380 58 296 680 442 352 114 540 778 708 470 142 380 86 324 778 540 778 540 324 86 736 498 498 736 456 694 142 380 156 394 268 30 352 114 414 652 254 16 16 254 156 394 750 512 128 366 778 540 338 100 456 694 268 30 722 484 540 778 484 722 352 114 554 792 380 142 442 680 484 722 128 366 526 764 554 792 512 750 394 156 142 380 142 380 778 540 268 30 526 764 142 380 428 666 296 58 282 44 352 114 268 30 268 30 540 778 694 456 456 694 456 694 366 128 142 380 778 540 414 652 128 366 380 142 764 526 156 394 540 778 778 540 114 352 142 380 268 30 324 86 352 114 708 470 540 778 442 680 58 296 694 456 764 526 380 142 554 792 380 142 296 58 142 380 338 100 380 142 680 442 366 128 764 526 554 792 792 554 666 428 380 142 380 142 310 72 512 750 58 296 736 498 114 352 156 394 526 764 380 142 394 156 778 540 30 268 414 652 100 338 708 470 694 456 540 778 114 352 540 778 142 380 310 72 778 540 764 526 296 58 72 310 142 380 380 142 380 142 736 498 792 554 778 540 268 30 100 338 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 0 0 100000 100000 100000 100000 0 0 100000 100000 0 0 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 1000 1000 1000 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 1000 0 1000 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 0 0 0 1000 0 1000 1000 1000 0 0 1000 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 1000 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 1000 0 1000 1000 1000 0 0 1000 1000 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 0 1000 1000 1000 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 0 1000 1000 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 1000 1000 0 0 1000 0 0 1000 1000 1000 1000 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 1000 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 1000 0 1000 1000 1000 1000 0 1000 1000 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 1000 0 1000 1000 1000 1000 0 1000 0 0 0 1000 0 1000 0 1000 0 1000 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 1000 0 1000 0 0 1000 1000 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 0 1000 0 1000 1000 0 1000 0 0 0 0 1000 1000 0 1000 0 0 0 1000 1000 1000 0 1000 0 0 0 0 1000 0 1000 0 100 0 0 100 0 0 0 0 0 0 100 100 0 100 100 100 0 0 0 100 0 0 100 100 100 0 100 100 100 0 100 0 0 0 0 0 0 0 100 100 100 100 0 100 100 100 100 0 0 100 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 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 100 100 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 0 100 0 100 100 100 0 0 0 0 100 100 0 100 100 100 0 0 0 100 100 0 0 100 100 0 100 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 100 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 100 0 100 0 100 0 100 0 100 100 100 100 0 0 100 100 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 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 100 0 0 0 0 100 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 100 100 100 100 100 100 0 0 0 0 100 100 100 100 100 100 0 100 100 100 100 100 100 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 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 100 100 0 100 100 0 0 100 0 0 100 0 100 0 0 100 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 100 100 100 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 100 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 100 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 100 100 100 0 0 0 100 100 100 100 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 100 100 100 100 100 100 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 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 100 0 100 100 100 0 0 100 0 0 100 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 100 100 0 0 0 100 100 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 0 0 100 0 100 100 100 0 0 100 100 0 0 0 0 2 2 0 0 0 0 0 2 2 0 0 2 2 2 2 0 0 2 2 2 0 0 0 0 0 0 2 0 0 2 2 0 2 0 0 0 2 2 2 0 0 0 2 0 2 0 0 0 0 2 2 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 2 2 0 2 2 2 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 2 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 2 0 2 2 0 0 0 2 2 2 2 0 0 2 2 0 0 0 2 0 2 0 0 0 2 0 2 0 0 0 2 0 0 0 0 2 2 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 2 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 2 2 2 2 2 0 2 0 2 0 2 2 2 0 0 2 2 2 2 0 2 2 2 2 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 2 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 2 0 2 2 0 0 0 0 2 0 2 0 0 0 2 0 0 2 2 0 2 2 0 2 0 2 0 0 0 0 2 2 0 0 0 2 0 0 2 0 0 2 2 0 2 2 2 0 0 0 0 0 2 0 2 2 2 2 0 0 2 2 2 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 2 2 2 2 0 2 2 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 2 0 2 2 2 2 2 2 2 2 2 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 0 0 0 0 2 2 0 2 0 2 0 0 0 0 2 0 2 0 2 0 0 0 0 2 0 2 0 2 2 2 0 2 2 2 0 0 0 0 2 0 2 2 0 0 2 2 2 0 2 2 0 0 0 0 0 0 2 2 2 2 0 2 2 0 2 0 2 2 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 2 0 2 0 2 2 2 2 0 0 2 0 2 2 2 0 0 2 0 2 0 0 0 2 2 2 2 2 0 0 2 2 0 0 0 2 0 0 2 0 2 2 2 2 2 2 2 2 0 2 0 0 2 2 2 2 0 2 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 2 2 0 0 0 2 2 2 2 0 0 0 0 2 0 0 0 0 2 2 2 0 0 0 0 2 2 0 2 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 2 0 2 0 2 0 0 0 0 0 2 0 2 2 2 0 0 2 2 0 2 0 0 0 0 0 2 0 2 0 0 0 0 2 2 0 2 2 0 0 0 2 2 0 0 2 0 0 2 0 0 2 0 0 2 0 0 2 2 0 0 0 0 2 0 0 2 2 0 0 0 2 2 0 0 2 0 0 0 2 2 2 2 2 0 2 0 2 2 2 0 0 0 2 2 0 0 0 2 2 2 2 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 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 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 1 1 0 0 1 1 0 0 0 
252.05/232.71	v 	</values>
252.05/232.71	v </instantiation>

Verifier Data 

OK	10671575

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310534-1534329489/watcher-4310534-1534329489 -o /tmp/evaluation-result-4310534-1534329489/solver-4310534-1534329489 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534329232-16097 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1991217330 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310534-1534329489.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16381, runsolver pid=16378

[startup+0.100094 s]*
/proc/loadavg: 2.44 1.89 1.57 3/224 16396
/proc/meminfo: memFree=23592236/32770624 swapFree=67108852/67108860
[pid=16381] ppid=16378 vsize=14082736 memory=34048 CPUtime=0.11 cores=0,2,4,6
/proc/16381/stat : 16381 (java) S 16378 16381 16066 0 -1 1077944320 6955 0 0 0 10 1 0 0 20 0 15 0 250512040 14420721664 8512 33554432000 4194304 4196468 140732423226416 140732423208960 139666533256951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
/proc/16381/statm: 3520684 8512 3132 1 0 3482761 0
[pid=16381/tid=16383] ppid=16378 vsize=14082736 memory=-8485517772678140291 CPUtime=0.09 cores=0,2,4,6
/proc/16381/task/16383/stat : 16383 (java) R 16378 16381 16066 0 -1 4202560 5076 0 0 0 8 1 0 0 20 0 15 0 250512040 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666537482640 139666515075320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16384] ppid=16378 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16384/stat : 16384 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666129009168 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16385] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16385/stat : 16385 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666127956624 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16386] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16386/stat : 16386 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666126903568 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16387] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16387/stat : 16387 (java) S 16378 16381 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666125851024 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16388] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16388/stat : 16388 (java) S 16378 16381 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250512042 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666007206640 139666533268098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16389] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16389/stat : 16389 (java) S 16378 16381 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250512043 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666006152864 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16390] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16390/stat : 16390 (java) S 16378 16381 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250512043 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666005099760 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16391] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16391/stat : 16391 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666004048336 139666533275547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16392] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16392/stat : 16392 (java) S 16378 16381 16066 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 250512045 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666002995440 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16393] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16393/stat : 16393 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666001942896 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16394] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0.01 cores=0,2,4,6
/proc/16381/task/16394/stat : 16394 (java) S 16378 16381 16066 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 15 0 250512045 14420721664 8578 33554432000 4194304 4196468 140732423226416 139666000889840 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16395] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16395/stat : 16395 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14420721664 8578 33554432000 4194304 4196468 140732423226416 139665999837536 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16396] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16396/stat : 16396 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512046 14420721664 8578 33554432000 4194304 4196468 140732423226416 139665998785584 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34048 KiB

[startup+0.214517 s]*
/proc/loadavg: 2.44 1.89 1.57 6/224 16396
/proc/meminfo: memFree=23576584/32770624 swapFree=67108852/67108860
[pid=16381] ppid=16378 vsize=14082736 memory=47696 CPUtime=0.31 cores=0,2,4,6
/proc/16381/stat : 16381 (java) S 16378 16381 16066 0 -1 1077944320 10048 0 0 0 29 2 0 0 20 0 15 0 250512040 14420721664 11924 33554432000 4194304 4196468 140732423226416 140732423208960 139666533256951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
/proc/16381/statm: 3520684 11924 3376 1 0 3482761 0
[pid=16381/tid=16383] ppid=16378 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/16381/task/16383/stat : 16383 (java) R 16378 16381 16066 0 -1 4202560 7783 0 0 0 19 2 0 0 20 0 15 0 250512040 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666537479760 139666533278877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16384] ppid=16378 vsize=14082736 memory=345 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16384/stat : 16384 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666129009168 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16385] ppid=16378 vsize=14082736 memory=288370084378773120 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16385/stat : 16385 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666127956624 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16386] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16386/stat : 16386 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666126903568 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16387] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16387/stat : 16387 (java) S 16378 16381 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666125851024 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16388] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16388/stat : 16388 (java) S 16378 16381 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250512042 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666007206640 139666533268098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16389] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16389/stat : 16389 (java) S 16378 16381 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250512043 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666006152864 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16390] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16390/stat : 16390 (java) S 16378 16381 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250512043 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666005099760 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16391] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16391/stat : 16391 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666004048336 139666533275547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16392] ppid=16378 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16381/task/16392/stat : 16392 (java) S 16378 16381 16066 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 250512045 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666002995440 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16393] ppid=16378 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16381/task/16393/stat : 16393 (java) S 16378 16381 16066 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 250512045 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666001942896 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16394] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0.06 cores=0,2,4,6
/proc/16381/task/16394/stat : 16394 (java) R 16378 16381 16066 0 -1 4202560 284 0 0 0 6 0 0 0 20 0 15 0 250512045 14420721664 11924 33554432000 4194304 4196468 140732423226416 139666000889840 139666525494078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16395] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16395/stat : 16395 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14420721664 11924 33554432000 4194304 4196468 140732423226416 139665999837536 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16396] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16396/stat : 16396 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512046 14420721664 11924 33554432000 4194304 4196468 140732423226416 139665998785584 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47696 KiB

[startup+0.310875 s]*
/proc/loadavg: 2.44 1.89 1.57 5/224 16396
/proc/meminfo: memFree=23572912/32770624 swapFree=67108852/67108860
[pid=16381] ppid=16378 vsize=14082736 memory=51180 CPUtime=0.43 cores=0,2,4,6
/proc/16381/stat : 16381 (java) S 16378 16381 16066 0 -1 1077944320 10406 0 0 0 41 2 0 0 20 0 15 0 250512040 14420721664 12795 33554432000 4194304 4196468 140732423226416 140732423208960 139666533256951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
/proc/16381/statm: 3520684 12795 3379 1 0 3482761 0
[pid=16381/tid=16383] ppid=16378 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/16381/task/16383/stat : 16383 (java) R 16378 16381 16066 0 -1 4202560 8126 0 0 0 28 2 0 0 20 0 15 0 250512040 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666537468856 139666513532163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16384] ppid=16378 vsize=14082736 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16384/stat : 16384 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666129009168 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16385] ppid=16378 vsize=14082736 memory=288370084378773120 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16385/stat : 16385 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666127956624 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16386] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16386/stat : 16386 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666126903568 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16387] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16387/stat : 16387 (java) S 16378 16381 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250512041 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666125851024 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16388] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16388/stat : 16388 (java) S 16378 16381 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250512042 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666007206640 139666533268098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16389] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16389/stat : 16389 (java) S 16378 16381 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250512043 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666006152864 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16390] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16390/stat : 16390 (java) S 16378 16381 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250512043 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666005099760 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16391] ppid=16378 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16391/stat : 16391 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666004048336 139666533275547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16392] ppid=16378 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16381/task/16392/stat : 16392 (java) S 16378 16381 16066 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 250512045 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666002995440 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16393] ppid=16378 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16381/task/16393/stat : 16393 (java) S 16378 16381 16066 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 250512045 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666001942896 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16394] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0.08 cores=0,2,4,6
/proc/16381/task/16394/stat : 16394 (java) S 16378 16381 16066 0 -1 1077944384 292 0 0 0 8 0 0 0 20 0 15 0 250512045 14420721664 12795 33554432000 4194304 4196468 140732423226416 139666000889840 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16395] ppid=16378 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16395/stat : 16395 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14420721664 12795 33554432000 4194304 4196468 140732423226416 139665999837536 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16396] ppid=16378 vsize=14082736 memory=139708227061376 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16396/stat : 16396 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512046 14420721664 12795 33554432000 4194304 4196468 140732423226416 139665998785584 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51180 KiB

[startup+0.701229 s]
/proc/loadavg: 2.44 1.89 1.57 3/224 16396
/proc/meminfo: memFree=23551452/32770624 swapFree=67108852/67108860
[pid=16381] ppid=16378 vsize=14084804 memory=88316 CPUtime=0.98 cores=0,2,4,6
/proc/16381/stat : 16381 (java) S 16378 16381 16066 0 -1 1077944320 17022 0 0 0 94 4 0 0 20 0 15 0 250512040 14422839296 22079 33554432000 4194304 4196468 140732423226416 140732423208960 139666533256951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
/proc/16381/statm: 3521201 22079 3492 1 0 3483273 0
[pid=16381/tid=16383] ppid=16378 vsize=14084804 memory=3340 CPUtime=0.67 cores=0,2,4,6
/proc/16381/task/16383/stat : 16383 (java) R 16378 16381 16066 0 -1 4202560 14420 0 0 0 64 3 0 0 20 0 15 0 250512040 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666537481984 139666517337438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16384] ppid=16378 vsize=14084804 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16384/stat : 16384 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666129009168 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16385] ppid=16378 vsize=14084804 memory=37796 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16385/stat : 16385 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666127956624 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16386] ppid=16378 vsize=14084804 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16386/stat : 16386 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512041 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666126903568 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16387] ppid=16378 vsize=14084804 memory=496 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16387/stat : 16387 (java) S 16378 16381 16066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250512041 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666125851024 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16388] ppid=16378 vsize=14084804 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16388/stat : 16388 (java) S 16378 16381 16066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250512042 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666007206640 139666533268098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16389] ppid=16378 vsize=14084804 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16389/stat : 16389 (java) S 16378 16381 16066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250512043 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666006152864 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16390] ppid=16378 vsize=14084804 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16390/stat : 16390 (java) S 16378 16381 16066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250512043 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666005099760 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16391] ppid=16378 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16391/stat : 16391 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666004048336 139666533275547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16392] ppid=16378 vsize=14084804 memory=7237400421040875609 CPUtime=0.08 cores=0,2,4,6
/proc/16381/task/16392/stat : 16392 (java) S 16378 16381 16066 0 -1 1077944384 660 0 0 0 8 0 0 0 20 0 15 0 250512045 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666002995440 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16393] ppid=16378 vsize=14084804 memory=7523071198212214892 CPUtime=0.06 cores=0,2,4,6
/proc/16381/task/16393/stat : 16393 (java) S 16378 16381 16066 0 -1 1077944384 239 0 0 0 6 0 0 0 20 0 15 0 250512045 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666001942896 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16394] ppid=16378 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/16381/task/16394/stat : 16394 (java) S 16378 16381 16066 0 -1 1077944384 323 0 0 0 15 0 0 0 20 0 15 0 250512045 14422839296 22079 33554432000 4194304 4196468 140732423226416 139666000889840 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16395] ppid=16378 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16395/stat : 16395 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14422839296 22079 33554432000 4194304 4196468 140732423226416 139665999837536 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16396] ppid=16378 vsize=14084804 memory=6436 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16396/stat : 16396 (java) S 16378 16381 16066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250512046 14422839296 22079 33554432000 4194304 4196468 140732423226416 139665998785584 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88316 KiB

[startup+1.51215 s]
/proc/loadavg: 2.40 1.89 1.58 5/224 16396
/proc/meminfo: memFree=23494444/32770624 swapFree=67108852/67108860
[pid=16381] ppid=16378 vsize=14086852 memory=222052 CPUtime=3.54 cores=0,2,4,6
/proc/16381/stat : 16381 (java) S 16378 16381 16066 0 -1 1077944320 25378 0 0 0 345 9 0 0 20 0 15 0 250512040 14424936448 55513 33554432000 4194304 4196468 140732423226416 140732423208960 139666533256951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
/proc/16381/statm: 3521713 55513 3557 1 0 3483785 0
[pid=16381/tid=16383] ppid=16378 vsize=14086852 memory=167988 CPUtime=1.47 cores=0,2,4,6
/proc/16381/task/16383/stat : 16383 (java) S 16378 16381 16066 0 -1 1077944384 17197 0 0 0 141 6 0 0 20 0 15 0 250512040 14424936448 55513 33554432000 4194304 4196468 140732423226416 139666537492032 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16384] ppid=16378 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16384/stat : 16384 (java) S 16378 16381 16066 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 250512041 14424936448 55513 33554432000 4194304 4196468 140732423226416 139666129009168 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16385] ppid=16378 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16385/stat : 16385 (java) S 16378 16381 16066 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 250512041 14424936448 55513 33554432000 4194304 4196468 140732423226416 139666127956624 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16386] ppid=16378 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16386/stat : 16386 (java) S 16378 16381 16066 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 250512041 14424936448 55513 33554432000 4194304 4196468 140732423226416 139666126903568 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16387] ppid=16378 vsize=14086852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16387/stat : 16387 (java) S 16378 16381 16066 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 250512041 14424936448 55513 33554432000 4194304 4196468 140732423226416 139666125851024 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16388] ppid=16378 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16388/stat : 16388 (java) R 16378 16381 16066 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 15 0 250512042 14424936448 55513 33554432000 4194304 4196468 140732423226416 139666007205152 139666533278298 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0

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

/proc/16381/task/16383/stat : 16383 (java) R 16378 16381 16066 0 -1 4202560 38952 0 0 0 15963 49 0 0 20 0 15 0 250512040 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666537491616 139666171634764 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16384] ppid=16378 vsize=14092996 memory=4382244 CPUtime=1.93 cores=0,2,4,6
/proc/16381/task/16384/stat : 16384 (java) S 16378 16381 16066 0 -1 1077944384 3054 0 0 0 150 43 0 0 20 0 15 0 250512041 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666129009168 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16385] ppid=16378 vsize=14092996 memory=4301280 CPUtime=1.91 cores=0,2,4,6
/proc/16381/task/16385/stat : 16385 (java) S 16378 16381 16066 0 -1 1077944384 3761 0 0 0 149 42 0 0 20 0 15 0 250512041 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666127956624 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16386] ppid=16378 vsize=14092996 memory=4382244 CPUtime=1.92 cores=0,2,4,6
/proc/16381/task/16386/stat : 16386 (java) S 16378 16381 16066 0 -1 1077944384 2736 0 0 0 149 43 0 0 20 0 15 0 250512041 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666126903568 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16387] ppid=16378 vsize=14092996 memory=4382248 CPUtime=1.93 cores=0,2,4,6
/proc/16381/task/16387/stat : 16387 (java) S 16378 16381 16066 0 -1 1077944384 3785 0 0 0 152 41 0 0 20 0 15 0 250512041 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666125851024 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16388] ppid=16378 vsize=14092996 memory=4452356 CPUtime=0.18 cores=0,2,4,6
/proc/16381/task/16388/stat : 16388 (java) S 16378 16381 16066 0 -1 1077944384 4738 0 0 0 18 0 0 0 20 0 15 0 250512042 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666007206640 139666533268098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16389] ppid=16378 vsize=14092996 memory=4452356 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16389/stat : 16389 (java) S 16378 16381 16066 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250512043 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666006152928 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16390] ppid=16378 vsize=14092996 memory=4452356 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16390/stat : 16390 (java) S 16378 16381 16066 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250512043 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666005099776 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16391] ppid=16378 vsize=14092996 memory=804 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16391/stat : 16391 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666004048336 139666533275547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16392] ppid=16378 vsize=14092996 memory=56 CPUtime=5.02 cores=0,2,4,6
/proc/16381/task/16392/stat : 16392 (java) S 16378 16381 16066 0 -1 1077944384 14494 0 0 0 500 2 0 0 20 0 15 0 250512045 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666002995440 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16393] ppid=16378 vsize=14092996 memory=4452356 CPUtime=4.95 cores=0,2,4,6
/proc/16381/task/16393/stat : 16393 (java) S 16378 16381 16066 0 -1 1077944384 16727 0 0 0 493 2 0 0 20 0 15 0 250512045 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666001942896 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16394] ppid=16378 vsize=14092996 memory=4452356 CPUtime=1.45 cores=0,2,4,6
/proc/16381/task/16394/stat : 16394 (java) S 16378 16381 16066 0 -1 1077944384 11767 0 0 0 142 3 0 0 20 0 15 0 250512045 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139666000889840 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16395] ppid=16378 vsize=14092996 memory=4452348 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16395/stat : 16395 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139665999837536 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16396] ppid=16378 vsize=14092996 memory=1100 CPUtime=0.07 cores=0,2,4,6
/proc/16381/task/16396/stat : 16396 (java) S 16378 16381 16066 0 -1 1077944384 458 0 0 0 4 3 0 0 20 0 15 0 250512046 14431227904 1113089 33554432000 4194304 4196468 140732423226416 139665998785584 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
Current children cumulated CPU time: 179.58 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4452356 KiB

[startup+222.301 s]
/proc/loadavg: 1.82 1.89 1.64 3/219 16406
/proc/meminfo: memFree=19192196/32770624 swapFree=67108852/67108860
[pid=16381] ppid=16378 vsize=14092996 memory=4475132 CPUtime=241.26 cores=0,2,4,6
/proc/16381/stat : 16381 (java) S 16378 16381 16066 0 -1 1077944320 115494 0 0 0 23889 237 0 0 20 0 15 0 250512040 14431227904 1118783 33554432000 4194304 4196468 140732423226416 140732423208960 139666533256951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
/proc/16381/statm: 3523249 1118783 3615 1 0 3485321 0
[pid=16381/tid=16383] ppid=16378 vsize=14092996 memory=279416212495168 CPUtime=219.6 cores=0,2,4,6
/proc/16381/task/16383/stat : 16383 (java) R 16378 16381 16066 0 -1 4202560 44978 0 0 0 21910 50 0 0 20 0 15 0 250512040 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666537492648 139666172652576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16384] ppid=16378 vsize=14092996 memory=4474896 CPUtime=2.44 cores=0,2,4,6
/proc/16381/task/16384/stat : 16384 (java) S 16378 16381 16066 0 -1 1077944384 4350 0 0 0 200 44 0 0 20 0 15 0 250512041 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666129009168 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16385] ppid=16378 vsize=14092996 memory=4475132 CPUtime=2.42 cores=0,2,4,6
/proc/16381/task/16385/stat : 16385 (java) S 16378 16381 16066 0 -1 1077944384 4639 0 0 0 200 42 0 0 20 0 15 0 250512041 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666127956624 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16386] ppid=16378 vsize=14092996 memory=4475132 CPUtime=2.43 cores=0,2,4,6
/proc/16381/task/16386/stat : 16386 (java) S 16378 16381 16066 0 -1 1077944384 2875 0 0 0 200 43 0 0 20 0 15 0 250512041 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666126903568 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16387] ppid=16378 vsize=14092996 memory=4475132 CPUtime=2.44 cores=0,2,4,6
/proc/16381/task/16387/stat : 16387 (java) S 16378 16381 16066 0 -1 1077944384 5686 0 0 0 203 41 0 0 20 0 15 0 250512041 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666125851024 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16388] ppid=16378 vsize=14092996 memory=4475132 CPUtime=0.19 cores=0,2,4,6
/proc/16381/task/16388/stat : 16388 (java) S 16378 16381 16066 0 -1 1077944384 4957 0 0 0 18 1 0 0 20 0 15 0 250512042 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666007206640 139666533268098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16389] ppid=16378 vsize=14092996 memory=1280 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16389/stat : 16389 (java) S 16378 16381 16066 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250512043 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666006152928 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16390] ppid=16378 vsize=14092996 memory=4475132 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16390/stat : 16390 (java) S 16378 16381 16066 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250512043 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666005099776 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16391] ppid=16378 vsize=14092996 memory=4475132 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16391/stat : 16391 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666004048336 139666533275547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16392] ppid=16378 vsize=14092996 memory=4475132 CPUtime=5.05 cores=0,2,4,6
/proc/16381/task/16392/stat : 16392 (java) S 16378 16381 16066 0 -1 1077944384 14859 0 0 0 503 2 0 0 20 0 15 0 250512045 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666002995440 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16393] ppid=16378 vsize=14092996 memory=4475132 CPUtime=5.01 cores=0,2,4,6
/proc/16381/task/16393/stat : 16393 (java) S 16378 16381 16066 0 -1 1077944384 18136 0 0 0 498 3 0 0 20 0 15 0 250512045 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666001942896 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16394] ppid=16378 vsize=14092996 memory=4474920 CPUtime=1.49 cores=0,2,4,6
/proc/16381/task/16394/stat : 16394 (java) S 16378 16381 16066 0 -1 1077944384 13103 0 0 0 145 4 0 0 20 0 15 0 250512045 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139666000889840 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16395] ppid=16378 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16395/stat : 16395 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139665999837536 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16396] ppid=16378 vsize=14092996 memory=3708 CPUtime=0.11 cores=0,2,4,6
/proc/16381/task/16396/stat : 16396 (java) S 16378 16381 16066 0 -1 1077944384 489 0 0 0 6 5 0 0 20 0 15 0 250512046 14431227904 1118783 33554432000 4194304 4196468 140732423226416 139665998785584 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
Current children cumulated CPU time: 241.26 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4475132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+232.701 s]
/proc/loadavg: 1.85 1.89 1.65 3/219 16406
/proc/meminfo: memFree=19194428/32770624 swapFree=67108852/67108860
[pid=16381] ppid=16378 vsize=14092996 memory=4475248 CPUtime=252.05 cores=0,2,4,6
/proc/16381/stat : 16381 (java) S 16378 16381 16066 0 -1 1077944320 117363 0 0 0 24967 238 0 0 20 0 15 0 250512040 14431227904 1118812 33554432000 4194304 4196468 140732423226416 140732423208960 139666533256951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
/proc/16381/statm: 3523249 1118812 3615 1 0 3485321 0
[pid=16381/tid=16383] ppid=16378 vsize=14092996 memory=4475132 CPUtime=229.87 cores=0,2,4,6
/proc/16381/task/16383/stat : 16383 (java) R 16378 16381 16066 0 -1 4202560 45411 0 0 0 22937 50 0 0 20 0 15 0 250512040 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666537494632 139666172652346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16384] ppid=16378 vsize=14092996 memory=4475132 CPUtime=2.57 cores=0,2,4,6
/proc/16381/task/16384/stat : 16384 (java) S 16378 16381 16066 0 -1 1077944384 4419 0 0 0 213 44 0 0 20 0 15 0 250512041 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666129009168 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16385] ppid=16378 vsize=14092996 memory=4475248 CPUtime=2.54 cores=0,2,4,6
/proc/16381/task/16385/stat : 16385 (java) S 16378 16381 16066 0 -1 1077944384 4668 0 0 0 212 42 0 0 20 0 15 0 250512041 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666127956624 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16386] ppid=16378 vsize=14092996 memory=4475248 CPUtime=2.55 cores=0,2,4,6
/proc/16381/task/16386/stat : 16386 (java) S 16378 16381 16066 0 -1 1077944384 2912 0 0 0 212 43 0 0 20 0 15 0 250512041 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666126903568 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16387] ppid=16378 vsize=14092996 memory=1920 CPUtime=2.57 cores=0,2,4,6
/proc/16381/task/16387/stat : 16387 (java) S 16378 16381 16066 0 -1 1077944384 6969 0 0 0 215 42 0 0 20 0 15 0 250512041 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666125851024 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16388] ppid=16378 vsize=14092996 memory=4475132 CPUtime=0.19 cores=0,2,4,6
/proc/16381/task/16388/stat : 16388 (java) S 16378 16381 16066 0 -1 1077944384 4958 0 0 0 18 1 0 0 20 0 15 0 250512042 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666007206640 139666533268098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16389] ppid=16378 vsize=14092996 memory=1912 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16389/stat : 16389 (java) S 16378 16381 16066 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250512043 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666006152928 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16390] ppid=16378 vsize=14092996 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16390/stat : 16390 (java) S 16378 16381 16066 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250512043 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666005099776 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16391] ppid=16378 vsize=14092996 memory=3708 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16391/stat : 16391 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666004048336 139666533275547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16392] ppid=16378 vsize=14092996 memory=68228 CPUtime=5.05 cores=0,2,4,6
/proc/16381/task/16392/stat : 16392 (java) S 16378 16381 16066 0 -1 1077944384 14859 0 0 0 503 2 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666002995440 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16393] ppid=16378 vsize=14092996 memory=4475248 CPUtime=5.01 cores=0,2,4,6
/proc/16381/task/16393/stat : 16393 (java) S 16378 16381 16066 0 -1 1077944384 18136 0 0 0 498 3 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666001942896 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16394] ppid=16378 vsize=14092996 memory=1920 CPUtime=1.49 cores=0,2,4,6
/proc/16381/task/16394/stat : 16394 (java) S 16378 16381 16066 0 -1 1077944384 13120 0 0 0 145 4 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666000889840 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16395] ppid=16378 vsize=14092996 memory=7380 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16395/stat : 16395 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139665999837536 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16396] ppid=16378 vsize=14092996 memory=3840 CPUtime=0.11 cores=0,2,4,6
/proc/16381/task/16396/stat : 16396 (java) S 16378 16381 16066 0 -1 1077944384 489 0 0 0 6 5 0 0 20 0 15 0 250512046 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139665998785584 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4475248 KiB

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

[startup+232.75 s]
# the end of solver process 16381 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.702 s, system=2.4093 s

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

[startup+232.701 s]
/proc/loadavg: 1.85 1.89 1.65 3/219 16406
/proc/meminfo: memFree=19194428/32770624 swapFree=67108852/67108860
[pid=16381] ppid=16378 vsize=14092996 memory=4475248 CPUtime=252.05 cores=0,2,4,6
/proc/16381/stat : 16381 (java) S 16378 16381 16066 0 -1 1077944320 117363 0 0 0 24967 238 0 0 20 0 15 0 250512040 14431227904 1118812 33554432000 4194304 4196468 140732423226416 140732423208960 139666533256951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
/proc/16381/statm: 3523249 1118812 3615 1 0 3485321 0
[pid=16381/tid=16383] ppid=16378 vsize=14092996 memory=4475132 CPUtime=229.87 cores=0,2,4,6
/proc/16381/task/16383/stat : 16383 (java) R 16378 16381 16066 0 -1 4202560 45411 0 0 0 22937 50 0 0 20 0 15 0 250512040 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666537494632 139666172652346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16384] ppid=16378 vsize=14092996 memory=4475132 CPUtime=2.57 cores=0,2,4,6
/proc/16381/task/16384/stat : 16384 (java) S 16378 16381 16066 0 -1 1077944384 4419 0 0 0 213 44 0 0 20 0 15 0 250512041 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666129009168 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16385] ppid=16378 vsize=14092996 memory=4475248 CPUtime=2.54 cores=0,2,4,6
/proc/16381/task/16385/stat : 16385 (java) S 16378 16381 16066 0 -1 1077944384 4668 0 0 0 212 42 0 0 20 0 15 0 250512041 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666127956624 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16386] ppid=16378 vsize=14092996 memory=4475248 CPUtime=2.55 cores=0,2,4,6
/proc/16381/task/16386/stat : 16386 (java) S 16378 16381 16066 0 -1 1077944384 2912 0 0 0 212 43 0 0 20 0 15 0 250512041 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666126903568 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16387] ppid=16378 vsize=14092996 memory=1920 CPUtime=2.57 cores=0,2,4,6
/proc/16381/task/16387/stat : 16387 (java) S 16378 16381 16066 0 -1 1077944384 6969 0 0 0 215 42 0 0 20 0 15 0 250512041 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666125851024 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16388] ppid=16378 vsize=14092996 memory=4475132 CPUtime=0.19 cores=0,2,4,6
/proc/16381/task/16388/stat : 16388 (java) S 16378 16381 16066 0 -1 1077944384 4958 0 0 0 18 1 0 0 20 0 15 0 250512042 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666007206640 139666533268098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16389] ppid=16378 vsize=14092996 memory=1912 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16389/stat : 16389 (java) S 16378 16381 16066 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250512043 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666006152928 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16390] ppid=16378 vsize=14092996 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16390/stat : 16390 (java) S 16378 16381 16066 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250512043 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666005099776 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16391] ppid=16378 vsize=14092996 memory=3708 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16391/stat : 16391 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666004048336 139666533275547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16392] ppid=16378 vsize=14092996 memory=68228 CPUtime=5.05 cores=0,2,4,6
/proc/16381/task/16392/stat : 16392 (java) S 16378 16381 16066 0 -1 1077944384 14859 0 0 0 503 2 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666002995440 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16393] ppid=16378 vsize=14092996 memory=4475248 CPUtime=5.01 cores=0,2,4,6
/proc/16381/task/16393/stat : 16393 (java) S 16378 16381 16066 0 -1 1077944384 18136 0 0 0 498 3 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666001942896 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16394] ppid=16378 vsize=14092996 memory=1920 CPUtime=1.49 cores=0,2,4,6
/proc/16381/task/16394/stat : 16394 (java) S 16378 16381 16066 0 -1 1077944384 13120 0 0 0 145 4 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139666000889840 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16395] ppid=16378 vsize=14092996 memory=7380 CPUtime=0 cores=0,2,4,6
/proc/16381/task/16395/stat : 16395 (java) S 16378 16381 16066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250512045 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139665999837536 139666533267157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
[pid=16381/tid=16396] ppid=16378 vsize=14092996 memory=3840 CPUtime=0.11 cores=0,2,4,6
/proc/16381/task/16396/stat : 16396 (java) S 16378 16381 16066 0 -1 1077944384 489 0 0 0 6 5 0 0 20 0 15 0 250512046 14431227904 1118812 33554432000 4194304 4196468 140732423226416 139665998785584 139666533268098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17768448 140732423234650 140732423234830 140732423234830 140732423237583 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4475248 KiB

Child status: 143
Real time (s): 232.75
CPU time (s): 252.111
CPU user time (s): 249.702
CPU system time (s): 2.4093
CPU usage (%): 108.319
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4475248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.702
system time used= 2.4093
maximum resident set size= 4475796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117915
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10986
involuntary context switches= 395


# summary of solver processes directly reported to runsolver:
#   pid: 16381
#   total CPU time (s): 252.111
#   total CPU user time (s): 249.702
#   total CPU system time (s): 2.4093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.32139 second user time and 2.2741 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-15 12:38:09
IDJOB=4310534
IDBENCH=141202
IDSOLVER=2796
FILE ID=node133/4310534-1534329489
RUNJOBID= node133-1534329232-16097
PBS_JOBID= 21038161
Free space on /tmp= 39280 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-10-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310534-1534329489/watcher-4310534-1534329489 -o /tmp/evaluation-result-4310534-1534329489/solver-4310534-1534329489 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534329232-16097 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1991217330 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310534-1534329489.xml

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

MD5SUM BENCH= 5aacc3d423af8ffef3990b4c8ed069d4
RANDOM SEED=1991217330

node133.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.24
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.24
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.24
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.24
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:        23612448 kB
MemAvailable:   31660352 kB
Buffers:          157452 kB
Cached:          8130832 kB
SwapCached:            4 kB
Active:          4590904 kB
Inactive:        3989544 kB
Active(anon):     243044 kB
Inactive(anon):   109924 kB
Active(file):    4347860 kB
Inactive(file):  3879620 kB
Unevictable:        7072 kB
Mlocked:            7072 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             35744 kB
Writeback:             0 kB
AnonPages:        268448 kB
Mapped:            69348 kB
Shmem:             58008 kB
Slab:             276848 kB
SReclaimable:     248884 kB
SUnreclaim:        27964 kB
KernelStack:        3952 kB
PageTables:         6168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1335940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 39244 MiB
End job on node133 at 2018-08-15 12:42:02