Trace number 4291959

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 - Conflict Ordering with restarts 2018-07-02SAT (TO)309345 2400.1 2371.04

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-11-opt_c18.xml
MD5SUMd12361b5a6bb1fd64c8bfae02a2f4f2f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark101994
Best CPU time to get the best result obtained on this benchmark2400.14
Satisfiable
(Un)Satisfiability was proved
Number of variables4097
Number of constraints3757
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":3417},{"size":6,"count":48},{"size":22,"count":32},{"size":24,"count":18},{"size":36,"count":132},{"size":42,"count":168},{"size":44,"count":282}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":3418},{"degree":3,"count":6},{"degree":4,"count":10},{"degree":5,"count":46},{"degree":6,"count":68},{"degree":7,"count":77},{"degree":8,"count":85},{"degree":9,"count":54},{"degree":10,"count":33},{"degree":11,"count":37},{"degree":12,"count":21},{"degree":13,"count":8},{"degree":14,"count":1},{"degree":15,"count":35},{"degree":16,"count":26},{"degree":17,"count":63},{"degree":18,"count":54},{"degree":19,"count":32},{"degree":20,"count":12},{"degree":21,"count":7},{"degree":22,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":340},{"arity":3,"count":3417}]
Number of extensional constraints0
Number of intensional constraints3757
Distribution of constraint types[{"type":"intension","count":3757}]
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.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 146337417
0.67/0.55	c timeout: 2400
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.57	c Parsing instance...
11.78/6.31	c Parsing done, starting search...
2147.62/2121.18	o 332172
2147.62/2121.19	o 332171
2147.62/2121.20	o 331171
2147.76/2121.20	o 331071
2147.76/2121.21	o 331061
2147.76/2121.21	o 330961
2147.76/2121.22	o 330861
2147.76/2121.22	o 330761
2147.76/2121.23	o 330760
2147.76/2121.23	o 330660
2147.76/2121.24	o 330560
2147.76/2121.24	o 330460
2147.76/2121.25	o 329460
2147.76/2121.26	o 329361
2147.76/2121.26	o 329360
2147.76/2121.27	o 329260
2147.76/2121.28	o 328269
2147.76/2121.29	o 328260
2148.01/2121.30	o 328161
2148.01/2121.31	o 328152
2148.01/2121.32	o 328151
2148.01/2121.33	o 328051
2148.01/2121.33	o 328041
2148.01/2121.34	o 328031
2148.01/2121.34	o 327941
2148.01/2121.35	o 327940
2148.01/2121.36	o 327930
2148.01/2121.36	o 326940
2148.01/2121.38	o 326840
2148.01/2121.38	o 326830
2148.01/2121.39	o 326730
2148.22/2121.40	o 326721
2148.22/2121.41	o 326720
2148.22/2121.41	o 325730
2148.22/2121.44	o 325651
2148.22/2121.44	o 325641
2148.22/2121.45	o 325630
2148.22/2121.46	o 325520
2148.22/2121.47	o 324520
2148.22/2121.47	o 324510
2148.22/2121.48	o 323520
2148.33/2121.51	o 323401
2148.33/2121.52	o 322411
2148.33/2121.53	o 321411
2148.33/2121.56	o 321410
2148.33/2121.56	o 321399
2148.33/2121.58	o 321279
2148.43/2121.60	o 321269
2148.43/2121.61	o 321258
2148.43/2121.62	o 320268
2148.43/2121.67	o 320168
2148.43/2121.69	o 320167
2148.53/2121.71	o 320067
2148.53/2121.72	o 320057
2148.53/2121.73	o 319067
2148.63/2121.82	o 318289
2148.63/2121.83	o 318281
2148.63/2121.84	o 318280
2148.63/2121.84	o 318279
2148.63/2121.85	o 318179
2148.74/2121.94	o 317502
2148.74/2121.94	o 317501
2148.74/2121.95	o 317491
2148.74/2121.95	o 317391
2148.74/2121.96	o 317390
2148.74/2121.97	o 317389
2148.74/2121.98	o 317290
2148.74/2122.00	o 317190
2148.95/2122.15	o 317189
2148.95/2122.16	o 317180
2148.95/2122.16	o 317179
2148.95/2122.17	o 317178
2148.95/2122.17	o 317079
2148.95/2122.18	o 316990
2148.95/2122.19	o 316989
2149.04/2122.27	o 316880
2149.04/2122.28	o 316789
2149.04/2122.29	o 316699
2149.25/2122.45	o 316690
2149.25/2122.45	o 316689
2149.25/2122.47	o 316688
2149.25/2122.49	o 316599
2149.35/2122.52	o 316598
2149.55/2122.73	o 316589
2149.55/2122.74	o 316588
2149.65/2122.85	o 316579
2149.65/2122.87	o 316578
2149.75/2122.90	o 316489
2149.75/2122.91	o 316488
2149.75/2122.91	o 316388
2149.75/2122.93	o 315598
2149.75/2122.94	o 315588
2151.10/2124.29	o 315586
2151.10/2124.29	o 315585
2151.10/2124.29	o 315584
2151.20/2124.30	o 315583
2151.20/2124.30	o 315582
2151.20/2124.30	o 315581
2151.20/2124.31	o 315580
2151.20/2124.31	o 315579
2151.20/2124.31	o 315578
2151.20/2124.32	o 315568
2151.20/2124.33	o 315567
2151.31/2124.44	o 315478
2151.31/2124.45	o 315477
2151.41/2124.51	o 315468
2151.41/2124.51	o 315467
2151.41/2124.53	o 315378
2151.41/2124.55	o 315377
2151.51/2124.61	o 314577
2152.33/2125.48	o 313857
2152.33/2125.48	o 313856
2152.43/2125.52	o 313855
2152.73/2125.80	o 313846
2152.73/2125.81	o 313756
2152.73/2125.83	o 313755
2152.84/2125.97	o 313656
2152.84/2125.97	o 313646
2152.84/2125.98	o 313645
2152.84/2126.00	o 313637
2152.84/2126.00	o 313636
2152.95/2126.02	o 313555
2153.86/2126.92	o 313456
2153.86/2126.94	o 313455
2155.17/2128.22	o 313448
2155.17/2128.23	o 313447
2155.67/2128.77	o 313358
2155.67/2128.78	o 313357
2155.88/2128.95	o 312557
2156.09/2129.11	o 312458
2156.09/2129.12	o 312457
2159.31/2132.34	o 312449
2159.31/2132.35	o 312448
2159.81/2132.84	o 311559
2159.81/2132.84	o 311459
2159.81/2132.88	o 311458
2163.98/2136.90	o 311437
2163.98/2136.91	o 311436
2174.28/2147.12	o 311347
2174.28/2147.14	o 311346
2174.28/2147.17	o 310547
2174.28/2147.19	o 310546
2174.77/2147.69	o 310446
2180.93/2153.72	o 309645
2180.93/2153.73	o 309545
2184.37/2157.19	o 309446
2184.46/2157.24	o 309445
2201.51/2174.18	o 309346
2201.60/2174.22	o 309345
2400.05/2371.01	s SATISFIABLE
2400.05/2371.02	v <instantiation>
2400.05/2371.02	v 	<list>
2400.05/2371.02	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] 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] 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] 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] 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]
2400.05/2371.02	v 	</list>
2400.05/2371.02	v 	<values>
2400.05/2371.02	v 		484 722 310 72 380 142 310 72 498 736 408 170 170 408 666 428 142 380 470 708 324 86 254 16 100 338 554 792 750 512 792 554 764 526 750 512 240 478 58 296 792 554 652 414 366 128 652 414 310 72 380 142 58 296 30 268 72 310 792 554 254 16 128 366 338 100 792 554 456 694 310 72 366 128 484 722 352 114 44 282 100 338 652 414 484 722 680 442 498 736 652 414 708 470 100 338 750 512 380 142 512 750 666 428 764 526 792 554 114 352 708 470 666 428 324 86 142 380 666 428 30 268 380 142 296 58 526 764 380 142 282 44 72 310 540 778 142 380 310 72 792 554 736 498 792 554 268 30 282 44 792 554 30 268 526 764 680 442 30 268 414 652 100 338 100 338 554 792 72 310 526 764 750 512 72 310 540 778 380 142 156 394 156 394 792 554 442 680 484 722 58 296 380 142 428 666 428 666 86 324 442 680 366 128 540 778 114 352 380 142 442 680 442 680 352 114 666 428 414 652 652 414 764 526 526 764 254 16 114 352 540 778 736 498 778 540 470 708 512 750 778 540 72 310 652 414 470 708 72 310 156 394 408 170 254 16 268 30 128 366 58 296 128 366 456 694 72 310 764 526 414 652 554 792 722 484 100 338 498 736 512 750 792 554 156 394 652 414 310 72 156 394 736 498 324 86 366 128 268 30 414 652 736 498 310 72 792 554 764 526 750 512 478 240 86 324 156 394 478 240 380 142 764 526 128 366 380 142 380 142 408 170 414 652 442 680 380 142 750 512 58 296 478 240 394 156 44 282 114 352 394 156 526 764 414 652 366 128 142 380 526 764 268 30 722 484 30 268 484 722 240 478 478 240 526 764 282 44 764 526 282 44 554 792 380 142 30 268 254 16 526 764 666 428 268 30 764 526 666 428 722 484 442 680 338 100 792 554 708 470 394 156 114 352 680 442 792 554 156 394 170 408 526 764 484 722 708 470 484 722 352 114 428 666 324 86 30 268 156 394 380 142 394 156 694 456 156 394 30 268 16 254 736 498 114 352 540 778 352 114 428 666 58 296 142 380 764 526 324 86 484 722 408 170 310 72 170 408 666 428 100 338 114 352 366 128 652 414 268 30 58 296 666 428 680 442 142 380 16 254 778 540 526 764 456 694 540 778 414 652 16 254 114 352 708 470 512 750 394 156 268 30 380 142 680 442 708 470 540 778 156 394 380 142 366 128 16 254 470 708 338 100 380 142 142 380 268 30 128 366 310 72 512 750 498 736 156 394 338 100 142 380 708 470 652 414 708 470 652 414 736 498 540 778 268 30 380 142 694 456 86 324 778 540 72 310 478 240 652 414 366 128 44 282 254 16 268 30 338 100 680 442 282 44 512 750 456 694 282 44 128 366 680 442 408 170 142 380 778 540 44 282 470 708 240 478 428 666 498 736 652 414 72 310 44 282 394 156 666 428 764 526 736 498 44 282 254 16 484 722 470 708 428 666 380 142 44 282 156 394 114 352 722 484 114 352 750 512 694 456 394 156 484 722 680 442 72 310 254 16 1000 0 1000 0 0 1000 1000 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 0 1000 0 0 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 1000 0 1000 0 0 0 1000 1000 1000 1000 0 0 0 1000 0 0 1000 0 0 0 1000 0 1000 0 1000 0 0 1000 1000 1000 0 1000 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 1000 0 1000 1000 0 0 0 1000 1000 0 1000 1000 0 0 1000 0 0 0 1000 0 0 1000 0 1000 0 0 1000 1000 1000 1000 0 1000 0 1000 0 1000 0 1000 1000 0 1000 1000 0 1000 1000 1000 0 0 1000 1000 1000 1000 1000 0 1000 1000 0 1000 1000 1000 1000 1000 0 0 0 0 1000 0 1000 0 0 0 1000 1000 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 1000 1000 1000 0 1000 0 0 0 0 1000 1000 0 0 0 1000 0 0 1000 1000 0 0 0 1000 0 1000 0 0 1000 0 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 0 0 1000 0 1000 1000 1000 1000 1000 1000 1000 0 0 1000 1000 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 1000 0 0 1000 0 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 1000 0 0 0 1000 1000 1000 0 1000 0 1000 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 0 0 0 0 1000 0 1000 1000 0 0 1000 0 1000 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 1000 1000 1000 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 1000 0 1000 0 0 1000 0 0 1000 0 0 0 1000 0 0 1000 1000 0 0 0 1000 0 1000 1000 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 0 1000 0 0 1000 0 0 0 1000 0 0 1000 0 0 1000 0 1000 0 1000 1000 0 0 0 0 0 1000 1000 0 1000 0 1000 0 0 0 0 0 1000 1000 0 1000 1000 1000 0 0 1000 0 0 1000 1000 0 0 1000 1000 1000 0 0 0 1000 0 0 0 1000 0 1000 1000 0 0 1000 1000 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 100 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 0 100 0 0 100 0 100 100 100 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 100 0 100 0 0 0 100 100 0 0 0 0 100 0 0 0 0 100 0 0 100 100 100 0 0 0 0 100 0 0 0 0 100 100 0 100 0 0 0 100 0 0 0 100 100 100 0 0 0 100 100 100 0 0 0 0 100 100 0 0 100 100 0 100 100 0 0 0 100 0 0 0 100 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 100 100 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 100 100 100 0 0 0 0 100 100 100 0 100 0 100 100 0 0 100 0 100 0 100 0 100 0 100 0 100 100 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 100 0 0 0 100 0 100 100 100 0 0 0 100 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 100 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 100 0 0 100 100 100 0 0 0 100 100 0 0 0 100 0 0 100 100 100 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 100 100 100 100 0 0 0 0 100 100 0 100 100 100 0 0 100 100 0 100 0 100 0 0 0 0 100 100 0 0 100 100 0 100 0 0 100 0 0 100 0 100 100 100 0 0 0 0 0 0 100 100 100 0 0 0 0 100 0 100 100 100 100 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 100 100 100 0 100 0 0 100 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 0 100 0 100 100 0 0 0 100 100 0 0 0 100 100 0 100 100 100 0 0 100 100 0 0 0 0 100 0 0 0 100 100 100 0 100 0 0 0 0 0 100 0 0 0 100 100 0 100 100 0 0 0 0 100 100 0 0 0 100 0 100 0 100 100 100 0 0 100 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 100 100 100 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 100 100 0 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 100 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 100 100 100 0 100 100 0 0 100 0 100 100 0 0 0 100 100 0 0 100 100 100 100 0 0 100 0 100 100 0 100 0 0 0 0 0 100 0 100 0 100 0 100 0 0 100 0 0 100 100 0 100 100 0 0 100 100 0 100 0 100 100 100 100 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 100 0 0 100 100 100 100 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 100 100 0 100 100 0 100 0 0 0 100 0 100 0 0 100 100 0 0 100 0 0 0 0 0 100 100 0 100 100 100 0 100 0 0 100 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 100 0 100 0 100 0 0 100 100 0 0 0 100 0 100 0 100 0 0 0 0 0 0 100 100 0 100 0 100 0 100 100 100 100 0 0 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 100 0 100 0 0 0 0 0 100 100 0 100 0 0 100 100 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 0 10 10 0 10 0 10 10 0 0 0 10 0 10 0 0 10 0 0 10 10 0 0 10 0 10 10 10 10 0 0 0 0 10 10 10 0 0 10 0 0 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 0 10 0 0 10 0 10 0 0 0 0 0 10 0 0 0 10 10 0 0 0 10 0 10 10 0 0 10 10 10 10 10 0 10 0 0 0 0 10 0 10 0 10 0 0 0 10 10 0 10 10 10 0 0 10 0 10 0 0 0 10 10 10 0 10 10 0 10 0 0 10 0 0 10 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 10 0 10 10 0 10 10 0 10 10 0 0 0 10 0 10 0 0 0 10 10 0 0 10 10 0 10 10 10 0 0 0 10 10 10 0 0 0 0 0 10 0 0 0 10 0 10 10 10 10 0 0 0 10 10 0 0 0 10 0 10 0 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 10 0 10 10 10 0 10 0 10 0 0 0 0 0 0 0 10 10 0 10 10 10 0 10 10 10 0 10 0 0 10 0 0 0 10 0 10 10 0 0 0 0 0 0 10 10 0 10 10 0 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 10 10 0 10 0 10 10 0 0 0 0 0 10 10 10 10 0 0 10 10 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 10 10 0 0 10 10 0 10 0 10 0 0 10 0 10 10 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 0 10 10 0 0 10 10 10 0 0 10 10 10 0 0 10 0 0 0 0 0 10 10 0 0 10 10 0 10 0 0 10 0 10 0 0 10 0 10 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 10 0 10 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 10 0 0 10 10 0 0 10 10 10 10 10 0 0 10 10 10 10 0 10 10 0 10 0 0 0 10 0 10 10 10 10 0 0 10 0 0 10 10 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 10 0 10 0 10 10 10 10 0 0 0 10 0 10 0 0 10 10 0 10 0 0 0 10 10 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 10 0 10 10 10 10 0 0 10 10 0 0 10 10 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 0 0 10 10 10 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 10 10 10 0 0 10 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 10 10 0 0 0 10 10 10 0 0 0 0 10 0 10 10 10 0 0 10 0 10 0 0 10 10 10 0 10 0 10 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 1 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 
2400.05/2371.02	v 	</values>
2400.05/2371.02	v </instantiation>

Verifier Data 

OK	309345

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291959-1532278011/watcher-4291959-1532278011 -o /tmp/evaluation-result-4291959-1532278011/solver-4291959-1532278011 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532270887-2092 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 146337417 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291959-1532278011.xml 

running on 4 cores: 1,3,5,7

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

solver pid=2887, runsolver pid=2884

[startup+0.100083 s]*
/proc/loadavg: 1.71 1.57 1.53 5/215 2902
/proc/meminfo: memFree=22792072/32770624 swapFree=67108860/67108860
[pid=2887] ppid=2884 vsize=14082740 memory=30524 CPUtime=0.12 cores=1,3,5,7
/proc/2887/stat : 2887 (java) S 2884 2887 671 0 -1 1077944320 6534 0 0 0 11 1 0 0 20 0 15 0 45364353 14420725760 7631 33554432000 4194304 4196468 140734014785360 140734014767904 139940095192823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
/proc/2887/statm: 3520685 7631 3152 1 0 3482761 0
[pid=2887/tid=2889] ppid=2884 vsize=14082740 memory=8389772277269004345 CPUtime=0.09 cores=1,3,5,7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 671 0 -1 4202560 4588 0 0 0 8 1 0 0 20 0 15 0 45364354 14420725760 7631 33554432000 4194304 4196468 140734014785360 139940099388160 139940079273310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2890] ppid=2884 vsize=14082740 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 7631 33554432000 4194304 4196468 140734014785360 139940047812880 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2891] ppid=2884 vsize=14082740 memory=140711512546756 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 7631 33554432000 4194304 4196468 140734014785360 139940046760336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2892] ppid=2884 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 7631 33554432000 4194304 4196468 140734014785360 139940045707792 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2893] ppid=2884 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 7631 33554432000 4194304 4196468 140734014785360 139940044655248 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2894] ppid=2884 vsize=14082740 memory=140711512524416 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45364356 14420725760 7631 33554432000 4194304 4196468 140734014785360 139939637144048 139940095203970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2895] ppid=2884 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 671 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 45364356 14420725760 7631 33554432000 4194304 4196468 140734014785360 139939636090272 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2896] ppid=2884 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45364357 14420725760 7631 33554432000 4194304 4196468 140734014785360 139939635037680 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2897] ppid=2884 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 7631 33554432000 4194304 4196468 140734014785360 139939633986256 139940095211419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2898] ppid=2884 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 671 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 7631 33554432000 4194304 4196468 140734014785360 139939632932848 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2899] ppid=2884 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 7631 33554432000 4194304 4196468 140734014785360 139939563956336 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2900] ppid=2884 vsize=14082740 memory=140711512524416 CPUtime=0.01 cores=1,3,5,7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 671 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 15 0 45364359 14420725760 7631 33554432000 4194304 4196468 140734014785360 139939562903792 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2901] ppid=2884 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 7631 33554432000 4194304 4196468 140734014785360 139939561851488 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2902] ppid=2884 vsize=14082740 memory=140711512524416 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 7631 33554432000 4194304 4196468 140734014785360 139939560799024 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30524 KiB

[startup+0.210659 s]*
/proc/loadavg: 1.71 1.57 1.53 10/215 2902
/proc/meminfo: memFree=22761776/32770624 swapFree=67108860/67108860
[pid=2887] ppid=2884 vsize=14082740 memory=47152 CPUtime=0.3 cores=1,3,5,7
/proc/2887/stat : 2887 (java) S 2884 2887 671 0 -1 1077944320 10387 0 0 0 28 2 0 0 20 0 15 0 45364353 14420725760 11788 33554432000 4194304 4196468 140734014785360 140734014767904 139940095192823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
/proc/2887/statm: 3520685 11788 3384 1 0 3482761 0
[pid=2887/tid=2889] ppid=2884 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 671 0 -1 4202560 8073 0 0 0 18 2 0 0 20 0 15 0 45364354 14420725760 11788 33554432000 4194304 4196468 140734014785360 139940099419296 139940079273310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2890] ppid=2884 vsize=14082740 memory=342 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 11788 33554432000 4194304 4196468 140734014785360 139940047812880 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2891] ppid=2884 vsize=14082740 memory=140711512546639 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 11788 33554432000 4194304 4196468 140734014785360 139940046760336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2892] ppid=2884 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 11788 33554432000 4194304 4196468 140734014785360 139940045707792 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2893] ppid=2884 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 11788 33554432000 4194304 4196468 140734014785360 139940044655248 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2894] ppid=2884 vsize=14082740 memory=140711512524416 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 671 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45364356 14420725760 11788 33554432000 4194304 4196468 140734014785360 139939637144048 139940095203970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2895] ppid=2884 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 671 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 45364356 14420725760 11788 33554432000 4194304 4196468 140734014785360 139939636090272 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2896] ppid=2884 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45364357 14420725760 11788 33554432000 4194304 4196468 140734014785360 139939635037680 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2897] ppid=2884 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 11788 33554432000 4194304 4196468 140734014785360 139939633986256 139940095211419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2898] ppid=2884 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2887/task/2898/stat : 2898 (java) R 2884 2887 671 0 -1 4202560 396 0 0 0 2 0 0 0 20 0 15 0 45364359 14420725760 11788 33554432000 4194304 4196468 140734014785360 139939632913864 139940080318869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2899] ppid=2884 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2887/task/2899/stat : 2899 (java) R 2884 2887 671 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 15 0 45364359 14420725760 11788 33554432000 4194304 4196468 140734014785360 139939563956336 139940095203970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2900] ppid=2884 vsize=14082740 memory=140711512524416 CPUtime=0.06 cores=1,3,5,7
/proc/2887/task/2900/stat : 2900 (java) R 2884 2887 671 0 -1 4202560 335 0 0 0 6 0 0 0 20 0 15 0 45364359 14420725760 11788 33554432000 4194304 4196468 140734014785360 139939562902896 139940079273310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2901] ppid=2884 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 11788 33554432000 4194304 4196468 140734014785360 139939561851488 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2902] ppid=2884 vsize=14082740 memory=140711512524416 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 11788 33554432000 4194304 4196468 140734014785360 139939560799024 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47152 KiB

[startup+0.310374 s]*
/proc/loadavg: 1.71 1.57 1.53 6/215 2902
/proc/meminfo: memFree=22732612/32770624 swapFree=67108860/67108860
[pid=2887] ppid=2884 vsize=14082740 memory=50900 CPUtime=0.43 cores=1,3,5,7
/proc/2887/stat : 2887 (java) S 2884 2887 671 0 -1 1077944320 10789 0 0 0 41 2 0 0 20 0 15 0 45364353 14420725760 12725 33554432000 4194304 4196468 140734014785360 140734014767904 139940095192823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
/proc/2887/statm: 3520685 12725 3424 1 0 3482761 0
[pid=2887/tid=2889] ppid=2884 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 671 0 -1 4202560 8425 0 0 0 28 2 0 0 20 0 15 0 45364354 14420725760 12725 33554432000 4194304 4196468 140734014785360 139940099400656 139940080358376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2890] ppid=2884 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 12725 33554432000 4194304 4196468 140734014785360 139940047812880 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2891] ppid=2884 vsize=14082740 memory=140711512546636 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 12725 33554432000 4194304 4196468 140734014785360 139940046760336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2892] ppid=2884 vsize=14082740 memory=9796 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 12725 33554432000 4194304 4196468 140734014785360 139940045707792 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2893] ppid=2884 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45364354 14420725760 12725 33554432000 4194304 4196468 140734014785360 139940044655248 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2894] ppid=2884 vsize=14082740 memory=140711512538752 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 671 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45364356 14420725760 12725 33554432000 4194304 4196468 140734014785360 139939637144048 139940095203970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2895] ppid=2884 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 671 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 45364356 14420725760 12725 33554432000 4194304 4196468 140734014785360 139939636090272 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2896] ppid=2884 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45364357 14420725760 12725 33554432000 4194304 4196468 140734014785360 139939635037680 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2897] ppid=2884 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 12725 33554432000 4194304 4196468 140734014785360 139939633986256 139940095211419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2898] ppid=2884 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 671 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 45364359 14420725760 12725 33554432000 4194304 4196468 140734014785360 139939632932848 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2899] ppid=2884 vsize=14082740 memory=35 CPUtime=0.02 cores=1,3,5,7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 671 0 -1 1077944384 224 0 0 0 2 0 0 0 20 0 15 0 45364359 14420725760 12725 33554432000 4194304 4196468 140734014785360 139939563956336 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2900] ppid=2884 vsize=14082740 memory=140711512531232 CPUtime=0.08 cores=1,3,5,7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 671 0 -1 1077944384 355 0 0 0 8 0 0 0 20 0 15 0 45364359 14420725760 12725 33554432000 4194304 4196468 140734014785360 139939562903792 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2901] ppid=2884 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 12725 33554432000 4194304 4196468 140734014785360 139939561851488 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2902] ppid=2884 vsize=14082740 memory=140711512524416 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364359 14420725760 12725 33554432000 4194304 4196468 140734014785360 139939560799024 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50900 KiB

[startup+0.700743 s]
/proc/loadavg: 1.71 1.57 1.53 4/215 2902
/proc/meminfo: memFree=22675520/32770624 swapFree=67108860/67108860
[pid=2887] ppid=2884 vsize=14084808 memory=89036 CPUtime=0.98 cores=1,3,5,7
/proc/2887/stat : 2887 (java) S 2884 2887 671 0 -1 1077944320 17646 0 0 0 93 5 0 0 20 0 15 0 45364353 14422843392 22259 33554432000 4194304 4196468 140734014785360 140734014767904 139940095192823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
/proc/2887/statm: 3521202 22259 3491 1 0 3483273 0
[pid=2887/tid=2889] ppid=2884 vsize=14084808 memory=15376 CPUtime=0.67 cores=1,3,5,7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 671 0 -1 4202560 14897 0 0 0 63 4 0 0 20 0 15 0 45364354 14422843392 22259 33554432000 4194304 4196468 140734014785360 139940099407872 139940079273310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2890] ppid=2884 vsize=14084808 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14422843392 22259 33554432000 4194304 4196468 140734014785360 139940047812880 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2891] ppid=2884 vsize=14084808 memory=5793152306545448292 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14422843392 22259 33554432000 4194304 4196468 140734014785360 139940046760336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2892] ppid=2884 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364354 14422843392 22259 33554432000 4194304 4196468 140734014785360 139940045707792 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2893] ppid=2884 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45364354 14422843392 22259 33554432000 4194304 4196468 140734014785360 139940044655248 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2894] ppid=2884 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 671 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45364356 14422843392 22259 33554432000 4194304 4196468 140734014785360 139939637144048 139940095203970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2895] ppid=2884 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 671 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 45364356 14422843392 22259 33554432000 4194304 4196468 140734014785360 139939636090272 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2896] ppid=2884 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45364357 14422843392 22259 33554432000 4194304 4196468 140734014785360 139939635037680 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2897] ppid=2884 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14422843392 22259 33554432000 4194304 4196468 140734014785360 139939633986256 139940095211419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2898] ppid=2884 vsize=14084808 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 671 0 -1 1077944384 537 0 0 0 6 0 0 0 20 0 15 0 45364359 14422843392 22259 33554432000 4194304 4196468 140734014785360 139939632932848 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2899] ppid=2884 vsize=14084808 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 671 0 -1 1077944384 381 0 0 0 8 0 0 0 20 0 15 0 45364359 14422843392 22259 33554432000 4194304 4196468 140734014785360 139939563956336 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2900] ppid=2884 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 671 0 -1 1077944384 450 0 0 0 15 0 0 0 20 0 15 0 45364359 14422843392 22259 33554432000 4194304 4196468 140734014785360 139939562903792 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2901] ppid=2884 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14422843392 22259 33554432000 4194304 4196468 140734014785360 139939561851488 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2902] ppid=2884 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45364359 14422843392 22259 33554432000 4194304 4196468 140734014785360 139939560799024 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89036 KiB

[startup+1.51066 s]
/proc/loadavg: 1.71 1.57 1.53 6/215 2902
/proc/meminfo: memFree=22586308/32770624 swapFree=67108860/67108860
[pid=2887] ppid=2884 vsize=14086856 memory=225544 CPUtime=3.45 cores=1,3,5,7
/proc/2887/stat : 2887 (java) S 2884 2887 671 0 -1 1077944320 28240 0 0 0 336 9 0 0 20 0 15 0 45364353 14424940544 56386 33554432000 4194304 4196468 140734014785360 140734014767904 139940095192823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
/proc/2887/statm: 3521714 56386 3555 1 0 3483785 0
[pid=2887/tid=2889] ppid=2884 vsize=14086856 memory=56398206 CPUtime=1.46 cores=1,3,5,7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 671 0 -1 4202560 16843 0 0 0 140 6 0 0 20 0 15 0 45364354 14424940544 56386 33554432000 4194304 4196468 140734014785360 139940099427080 139939721282253 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2890] ppid=2884 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 671 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 45364354 14424940544 56386 33554432000 4194304 4196468 140734014785360 139940047812880 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2891] ppid=2884 vsize=14086856 memory=107208 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 671 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 45364354 14424940544 56386 33554432000 4194304 4196468 140734014785360 139940046760336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2892] ppid=2884 vsize=14086856 memory=15376 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 671 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 45364354 14424940544 56386 33554432000 4194304 4196468 140734014785360 139940045707792 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2893] ppid=2884 vsize=14086856 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 671 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 45364354 14424940544 56386 33554432000 4194304 4196468 140734014785360 139940044655248 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2894] ppid=2884 vsize=14086856 memory=281422766032288 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 671 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 15 0 45364356 14424940544 56386 33554432000 4194304 4196468 140734014785360 139939637144048 139940095203970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0

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

/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 671 0 -1 4202560 50938 0 0 0 219278 24 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940099430944 139939720221067 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2890] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.07 cores=1,3,5,7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 671 0 -1 1077944384 15132 0 0 0 583 24 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940047812880 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2891] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.07 cores=1,3,5,7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 671 0 -1 1077944384 14838 0 0 0 582 25 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940046760336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2892] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.06 cores=1,3,5,7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 671 0 -1 1077944384 16274 0 0 0 581 25 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940045707792 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2893] ppid=2884 vsize=14093000 memory=-7313654673739556905 CPUtime=6.07 cores=1,3,5,7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 671 0 -1 1077944384 18777 0 0 0 584 23 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940044655248 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2894] ppid=2884 vsize=14093000 memory=804012 CPUtime=1.65 cores=1,3,5,7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 671 0 -1 1077944384 15427 0 0 0 139 26 0 0 20 0 15 0 45364356 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939637144048 139940095203970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2895] ppid=2884 vsize=14093000 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 671 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45364356 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939636090336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2896] ppid=2884 vsize=14093000 memory=956 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 671 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45364357 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939635037696 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2897] ppid=2884 vsize=14093000 memory=845832 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939633986256 139940095211419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2898] ppid=2884 vsize=14093000 memory=843864 CPUtime=4.45 cores=1,3,5,7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 671 0 -1 1077944384 11218 0 0 0 443 2 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939632932848 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2899] ppid=2884 vsize=14093000 memory=841440 CPUtime=4.43 cores=1,3,5,7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 671 0 -1 1077944384 14126 0 0 0 441 2 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939563956336 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2900] ppid=2884 vsize=14093000 memory=804012 CPUtime=1.31 cores=1,3,5,7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 671 0 -1 1077944384 14323 0 0 0 129 2 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939562903792 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2901] ppid=2884 vsize=14093000 memory=804012 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939561851488 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2902] ppid=2884 vsize=14093000 memory=3848 CPUtime=0.69 cores=1,3,5,7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 671 0 -1 1077944384 2209 0 0 0 28 41 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939560799024 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
Current children cumulated CPU time: 2229.93 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 804012 KiB

[startup+2262.3 s]
/proc/loadavg: 1.34 1.33 1.32 3/216 2994
/proc/meminfo: memFree=21801528/32770624 swapFree=67108860/67108860
[pid=2887] ppid=2884 vsize=14093000 memory=804012 CPUtime=2290.43 cores=1,3,5,7
/proc/2887/stat : 2887 (java) S 2884 2887 671 0 -1 1077944320 176064 0 0 0 228862 181 0 0 20 0 15 0 45364353 14431232000 201003 33554432000 4194304 4196468 140734014785360 140734014767904 139940095192823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
/proc/2887/statm: 3523250 201003 3611 1 0 3485321 0
[pid=2887/tid=2889] ppid=2884 vsize=14093000 memory=804012 CPUtime=2252.74 cores=1,3,5,7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 671 0 -1 4202560 51590 0 0 0 225250 24 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940099430704 139939724224819 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2890] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.23 cores=1,3,5,7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 671 0 -1 1077944384 15154 0 0 0 599 24 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940047812880 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2891] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.24 cores=1,3,5,7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 671 0 -1 1077944384 14935 0 0 0 599 25 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940046760336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2892] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.24 cores=1,3,5,7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 671 0 -1 1077944384 16512 0 0 0 598 26 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940045707792 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2893] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.24 cores=1,3,5,7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 671 0 -1 1077944384 18922 0 0 0 600 24 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940044655248 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2894] ppid=2884 vsize=14093000 memory=804012 CPUtime=1.74 cores=1,3,5,7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 671 0 -1 1077944384 15620 0 0 0 148 26 0 0 20 0 15 0 45364356 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939637144048 139940095203970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2895] ppid=2884 vsize=14093000 memory=804012 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 671 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45364356 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939636090336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2896] ppid=2884 vsize=14093000 memory=804012 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 671 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45364357 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939635037696 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2897] ppid=2884 vsize=14093000 memory=55 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939633986256 139940095211419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2898] ppid=2884 vsize=14093000 memory=804012 CPUtime=4.45 cores=1,3,5,7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 671 0 -1 1077944384 11220 0 0 0 443 2 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939632932848 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2899] ppid=2884 vsize=14093000 memory=4136 CPUtime=4.43 cores=1,3,5,7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 671 0 -1 1077944384 14128 0 0 0 441 2 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939563956336 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2900] ppid=2884 vsize=14093000 memory=15416 CPUtime=1.31 cores=1,3,5,7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 671 0 -1 1077944384 14325 0 0 0 129 2 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939562903792 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2901] ppid=2884 vsize=14093000 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939561851488 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2902] ppid=2884 vsize=14093000 memory=804012 CPUtime=0.72 cores=1,3,5,7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 671 0 -1 1077944384 2224 0 0 0 29 43 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939560799024 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
Current children cumulated CPU time: 2290.43 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 804012 KiB

[startup+2322.3 s]
/proc/loadavg: 1.14 1.28 1.31 3/215 2996
/proc/meminfo: memFree=21799768/32770624 swapFree=67108860/67108860
[pid=2887] ppid=2884 vsize=14093000 memory=804012 CPUtime=2350.91 cores=1,3,5,7
/proc/2887/stat : 2887 (java) S 2884 2887 671 0 -1 1077944320 177672 0 0 0 234905 186 0 0 20 0 15 0 45364353 14431232000 201003 33554432000 4194304 4196468 140734014785360 140734014767904 139940095192823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
/proc/2887/statm: 3523250 201003 3611 1 0 3485321 0
[pid=2887/tid=2889] ppid=2884 vsize=14093000 memory=804012 CPUtime=2312.45 cores=1,3,5,7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 671 0 -1 4202560 52159 0 0 0 231220 25 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940099431024 139939729920806 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2890] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.4 cores=1,3,5,7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 671 0 -1 1077944384 15355 0 0 0 615 25 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940047812880 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2891] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.39 cores=1,3,5,7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 671 0 -1 1077944384 15345 0 0 0 613 26 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940046760336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2892] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.39 cores=1,3,5,7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 671 0 -1 1077944384 16570 0 0 0 613 26 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940045707792 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2893] ppid=2884 vsize=14093000 memory=804012 CPUtime=6.4 cores=1,3,5,7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 671 0 -1 1077944384 19051 0 0 0 616 24 0 0 20 0 15 0 45364354 14431232000 201003 33554432000 4194304 4196468 140734014785360 139940044655248 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2894] ppid=2884 vsize=14093000 memory=804012 CPUtime=1.82 cores=1,3,5,7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 671 0 -1 1077944384 15839 0 0 0 156 26 0 0 20 0 15 0 45364356 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939637144048 139940095203970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2895] ppid=2884 vsize=14093000 memory=804012 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 671 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45364356 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939636090336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2896] ppid=2884 vsize=14093000 memory=804012 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 671 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45364357 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939635037696 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2897] ppid=2884 vsize=14093000 memory=804012 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939633986256 139940095211419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2898] ppid=2884 vsize=14093000 memory=804012 CPUtime=4.45 cores=1,3,5,7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 671 0 -1 1077944384 11224 0 0 0 443 2 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939632932848 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2899] ppid=2884 vsize=14093000 memory=8112282956445269571 CPUtime=4.43 cores=1,3,5,7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 671 0 -1 1077944384 14132 0 0 0 441 2 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939563956336 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2900] ppid=2884 vsize=14093000 memory=804012 CPUtime=1.31 cores=1,3,5,7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 671 0 -1 1077944384 14329 0 0 0 129 2 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939562903792 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2901] ppid=2884 vsize=14093000 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939561851488 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2902] ppid=2884 vsize=14093000 memory=15420 CPUtime=0.75 cores=1,3,5,7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 671 0 -1 1077944384 2234 0 0 0 31 44 0 0 20 0 15 0 45364359 14431232000 201003 33554432000 4194304 4196468 140734014785360 139939560799024 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
Current children cumulated CPU time: 2350.91 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 804012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2371 s]*
/proc/loadavg: 1.51 1.36 1.33 3/215 2997
/proc/meminfo: memFree=21797652/32770624 swapFree=67108860/67108860
[pid=2887] ppid=2884 vsize=14093000 memory=803500 CPUtime=2400.05 cores=1,3,5,7
/proc/2887/stat : 2887 (java) S 2884 2887 671 0 -1 1077944320 179478 0 0 0 239817 188 0 0 20 0 15 0 45364353 14431232000 200875 33554432000 4194304 4196468 140734014785360 140734014767904 139940095192823 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
/proc/2887/statm: 3523250 200875 3611 1 0 3485321 0
[pid=2887/tid=2889] ppid=2884 vsize=14093000 memory=8112282956445269571 CPUtime=2360.91 cores=1,3,5,7
/proc/2887/task/2889/stat : 2889 (java) R 2884 2887 671 0 -1 4202560 52798 0 0 0 236066 25 0 0 20 0 15 0 45364354 14431232000 200875 33554432000 4194304 4196468 140734014785360 139940099430848 139939729920806 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2890] ppid=2884 vsize=14093000 memory=4126316290023845779 CPUtime=6.54 cores=1,3,5,7
/proc/2887/task/2890/stat : 2890 (java) S 2884 2887 671 0 -1 1077944384 15638 0 0 0 629 25 0 0 20 0 15 0 45364354 14431232000 200875 33554432000 4194304 4196468 140734014785360 139940047812880 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2891] ppid=2884 vsize=14093000 memory=288293285427166570 CPUtime=6.55 cores=1,3,5,7
/proc/2887/task/2891/stat : 2891 (java) S 2884 2887 671 0 -1 1077944384 15360 0 0 0 628 27 0 0 20 0 15 0 45364354 14431232000 200875 33554432000 4194304 4196468 140734014785360 139940046760336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2892] ppid=2884 vsize=14093000 memory=10774 CPUtime=6.55 cores=1,3,5,7
/proc/2887/task/2892/stat : 2892 (java) S 2884 2887 671 0 -1 1077944384 16683 0 0 0 628 27 0 0 20 0 15 0 45364354 14431232000 200875 33554432000 4194304 4196468 140734014785360 139940045707792 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2893] ppid=2884 vsize=14093000 memory=10774 CPUtime=6.55 cores=1,3,5,7
/proc/2887/task/2893/stat : 2893 (java) S 2884 2887 671 0 -1 1077944384 19241 0 0 0 631 24 0 0 20 0 15 0 45364354 14431232000 200875 33554432000 4194304 4196468 140734014785360 139940044655248 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2894] ppid=2884 vsize=14093000 memory=20725 CPUtime=1.89 cores=1,3,5,7
/proc/2887/task/2894/stat : 2894 (java) S 2884 2887 671 0 -1 1077944384 16187 0 0 0 163 26 0 0 20 0 15 0 45364356 14431232000 200875 33554432000 4194304 4196468 140734014785360 139939637144048 139940095203970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2895] ppid=2884 vsize=14093000 memory=10774 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2895/stat : 2895 (java) S 2884 2887 671 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 45364356 14431232000 200875 33554432000 4194304 4196468 140734014785360 139939636090336 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2896] ppid=2884 vsize=14093000 memory=20725 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2896/stat : 2896 (java) S 2884 2887 671 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 45364357 14431232000 200875 33554432000 4194304 4196468 140734014785360 139939635037696 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2897] ppid=2884 vsize=14093000 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2897/stat : 2897 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14431232000 200875 33554432000 4194304 4196468 140734014785360 139939633986256 139940095211419 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2898] ppid=2884 vsize=14093000 memory=7233736994252652628 CPUtime=4.45 cores=1,3,5,7
/proc/2887/task/2898/stat : 2898 (java) S 2884 2887 671 0 -1 1077944384 11298 0 0 0 443 2 0 0 20 0 15 0 45364359 14431232000 200875 33554432000 4194304 4196468 140734014785360 139939632932848 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2899] ppid=2884 vsize=14093000 memory=288293285427166570 CPUtime=4.43 cores=1,3,5,7
/proc/2887/task/2899/stat : 2899 (java) S 2884 2887 671 0 -1 1077944384 14248 0 0 0 441 2 0 0 20 0 15 0 45364359 14431232000 200875 33554432000 4194304 4196468 140734014785360 139939563956336 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2900] ppid=2884 vsize=14093000 memory=10774 CPUtime=1.31 cores=1,3,5,7
/proc/2887/task/2900/stat : 2900 (java) S 2884 2887 671 0 -1 1077944384 14332 0 0 0 129 2 0 0 20 0 15 0 45364359 14431232000 200875 33554432000 4194304 4196468 140734014785360 139939562903792 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2901] ppid=2884 vsize=14093000 memory=20725 CPUtime=0 cores=1,3,5,7
/proc/2887/task/2901/stat : 2901 (java) S 2884 2887 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45364359 14431232000 200875 33554432000 4194304 4196468 140734014785360 139939561851488 139940095203029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
[pid=2887/tid=2902] ppid=2884 vsize=14093000 memory=3472464608756826108 CPUtime=0.77 cores=1,3,5,7
/proc/2887/task/2902/stat : 2902 (java) S 2884 2887 671 0 -1 1077944384 2259 0 0 0 32 45 0 0 20 0 15 0 45364359 14431232000 200875 33554432000 4194304 4196468 140734014785360 139939560799024 139940095203970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 38023168 140734014788681 140734014788873 140734014788873 140734014791631 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 803500 KiB

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

[startup+2371.04 s]
# the end of solver process 2887 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.21 s, system=1.89131 s

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

Child status: 143
Real time (s): 2371.04
CPU time (s): 2400.1
CPU user time (s): 2398.21
CPU system time (s): 1.89131
CPU usage (%): 101.226
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1325492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.21
system time used= 1.89131
maximum resident set size= 1326004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99761
involuntary context switches= 3149


# summary of solver processes directly reported to runsolver:
#   pid: 2887
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2398.21
#   total CPU system time (s): 1.89131

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7888 second user time and 19.8351 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-22 18:46:51
IDJOB=4291959
IDBENCH=141209
IDSOLVER=2743
FILE ID=node150/4291959-1532278011
RUNJOBID= node150-1532270887-2092
PBS_JOBID= 21018970
Free space on /tmp= 57220 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-11-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291959-1532278011/watcher-4291959-1532278011 -o /tmp/evaluation-result-4291959-1532278011/solver-4291959-1532278011 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532270887-2092 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 146337417 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291959-1532278011.xml

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

MD5SUM BENCH= d12361b5a6bb1fd64c8bfae02a2f4f2f
RANDOM SEED=146337417

node150.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.76
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.76
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.76
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.76
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:        22817212 kB
MemAvailable:   31843536 kB
Buffers:          189420 kB
Cached:          9045908 kB
SwapCached:            0 kB
Active:          1237580 kB
Inactive:        8149264 kB
Active(anon):     109996 kB
Inactive(anon):    61468 kB
Active(file):    1127584 kB
Inactive(file):  8087796 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             71748 kB
Writeback:             0 kB
AnonPages:        145500 kB
Mapped:            48856 kB
Shmem:             17032 kB
Slab:             266032 kB
SReclaimable:     239404 kB
SUnreclaim:        26628 kB
KernelStack:        3792 kB
PageTables:         5376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1285036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57184 MiB
End job on node150 at 2018-07-22 19:26:22