Trace number 4308303

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-08-14SAT (TO)311901 2520.11 2491.82

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.56	c version: 2018-08-14
0.67/0.56	c seed: 128492065
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
7.88/3.87	c Parsing done, starting search...
2217.56/2192.57	o 330114
2217.56/2192.57	o 329014
2217.56/2192.57	o 329004
2217.56/2192.59	o 328994
2217.56/2192.59	o 328792
2217.56/2192.60	o 328782
2217.76/2192.60	o 328692
2217.76/2192.61	o 328682
2217.76/2192.61	o 328582
2217.76/2192.62	o 327482
2217.76/2192.62	o 327382
2217.76/2192.62	o 326382
2217.76/2192.63	o 325382
2217.76/2192.65	o 325302
2217.76/2192.66	o 325292
2217.76/2192.68	o 324494
2217.76/2192.69	o 324493
2217.76/2192.69	o 324492
2217.76/2192.69	o 324412
2218.01/2192.70	o 324402
2218.01/2192.75	o 324392
2218.01/2192.77	o 324382
2218.01/2192.77	o 324372
2218.01/2192.78	o 324292
2218.01/2192.78	o 324282
2218.01/2192.80	o 323382
2218.27/2192.80	o 323292
2218.27/2192.83	o 322383
2218.27/2192.83	o 322373
2218.27/2192.83	o 322273
2218.27/2192.84	o 322183
2218.27/2192.85	o 322173
2218.27/2192.86	o 322163
2218.38/2192.91	o 322162
2218.38/2192.97	o 322062
2218.48/2193.07	o 321341
2218.48/2193.07	o 321251
2218.58/2193.11	o 321241
2218.58/2193.14	o 321151
2218.88/2193.45	o 320542
2218.88/2193.45	o 320452
2218.88/2193.47	o 320352
2219.08/2193.66	o 320351
2219.08/2193.67	o 320251
2223.74/2198.29	o 320160
2223.74/2198.29	o 319160
2249.26/2223.51	o 318379
2249.26/2223.52	o 318349
2249.26/2223.52	o 318140
2249.26/2223.53	o 317270
2252.69/2227.01	o 317182
2252.80/2227.03	o 317181
2252.90/2227.19	o 317180
2252.99/2227.20	o 317170
2277.59/2251.63	o 316261
2277.59/2251.64	o 316171
2277.59/2251.68	o 316170
2331.51/2305.17	o 316160
2358.72/2332.13	o 316060
2416.44/2389.34	o 315540
2416.44/2389.35	o 315539
2416.44/2389.36	o 315529
2416.44/2389.37	o 315528
2416.65/2389.60	o 315442
2416.75/2389.61	o 315441
2416.75/2389.62	o 315440
2416.75/2389.63	o 315430
2416.75/2389.64	o 315429
2416.75/2389.65	o 315428
2416.75/2389.68	o 315328
2416.86/2389.70	o 315327
2416.86/2389.72	o 315127
2416.86/2389.74	o 315027
2416.86/2389.75	o 315026
2416.86/2389.77	o 314026
2421.50/2394.39	o 313032
2421.91/2394.74	o 313012
2423.54/2396.35	o 312002
2424.88/2397.67	o 311922
2431.62/2404.21	o 311912
2431.62/2404.25	o 311911
2431.94/2404.55	o 311902
2431.94/2404.56	o 311901
2520.06/2491.80	s SATISFIABLE
2520.06/2491.81	v <instantiation>
2520.06/2491.81	v 	<list>
2520.06/2491.81	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]
2520.06/2491.81	v 	</list>
2520.06/2491.81	v 	<values>
2520.06/2491.81	v 		310 72 254 16 366 128 338 100 526 764 380 142 240 478 708 470 100 338 470 708 30 268 442 680 352 114 366 128 708 470 470 708 142 380 414 652 408 170 352 114 414 652 540 778 44 282 764 526 16 254 240 478 380 142 86 324 736 498 792 554 380 142 484 722 442 680 366 128 778 540 456 694 338 100 268 30 778 540 554 792 366 128 142 380 652 414 708 470 708 470 296 58 268 30 128 366 470 708 380 142 708 470 540 778 792 554 652 414 778 540 324 86 428 666 428 666 478 240 526 764 456 694 764 526 722 484 16 254 380 142 30 268 792 554 736 498 478 240 512 750 736 498 680 442 442 680 142 380 86 324 750 512 30 268 750 512 58 296 680 442 736 498 680 442 736 498 310 72 498 736 86 324 380 142 380 142 456 694 352 114 324 86 44 282 16 254 428 666 44 282 338 100 554 792 114 352 526 764 708 470 380 142 352 114 72 310 736 498 708 470 268 30 114 352 666 428 554 792 442 680 652 414 380 142 708 470 142 380 156 394 680 442 44 282 310 72 380 142 296 58 324 86 498 736 86 324 456 694 554 792 680 442 478 240 16 254 764 526 484 722 442 680 44 282 30 268 722 484 792 554 44 282 792 554 554 792 666 428 268 30 414 652 414 652 778 540 666 428 142 380 540 778 666 428 428 666 156 394 470 708 512 750 72 310 442 680 652 414 30 268 526 764 408 170 498 736 750 512 380 142 254 16 414 652 44 282 512 750 282 44 240 478 156 394 282 44 408 170 296 58 44 282 408 170 16 254 414 652 352 114 156 394 498 736 114 352 666 428 142 380 366 128 86 324 708 470 736 498 456 694 478 240 380 142 736 498 722 484 380 142 296 58 16 254 470 708 498 736 86 324 324 86 142 380 296 58 324 86 268 30 324 86 30 268 296 58 694 456 86 324 338 100 554 792 792 554 86 324 750 512 408 170 442 680 414 652 352 114 750 512 16 254 394 156 72 310 44 282 470 708 764 526 666 428 156 394 310 72 554 792 44 282 338 100 254 16 736 498 30 268 30 268 16 254 156 394 44 282 680 442 128 366 380 142 736 498 240 478 352 114 456 694 324 86 156 394 442 680 456 694 366 128 72 310 394 156 282 44 456 694 456 694 666 428 282 44 72 310 100 338 694 456 414 652 86 324 540 778 764 526 156 394 470 708 86 324 86 324 310 72 380 142 380 142 324 86 254 16 16 254 352 114 352 114 666 428 498 736 324 86 442 680 142 380 310 72 540 778 484 722 484 722 680 442 394 156 142 380 414 652 16 254 456 694 428 666 100 338 722 484 722 484 142 380 16 254 478 240 484 722 114 352 268 30 526 764 352 114 554 792 338 100 666 428 324 86 456 694 526 764 484 722 310 72 170 408 142 380 44 282 310 72 680 442 478 240 540 778 58 296 652 414 366 128 366 128 58 296 310 72 44 282 652 414 526 764 72 310 86 324 680 442 30 268 30 268 100 338 338 100 268 30 58 296 764 526 16 254 352 114 114 352 142 380 338 100 540 778 764 526 1000 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 0 0 1000 0 0 1000 1000 1000 0 1000 0 0 1000 0 1000 0 0 0 0 0 1000 1000 1000 1000 0 0 0 1000 0 1000 1000 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 1000 0 1000 1000 0 0 1000 1000 1000 1000 0 1000 0 1000 1000 1000 1000 1000 1000 0 1000 0 1000 1000 1000 1000 0 1000 0 1000 0 0 0 0 1000 0 0 0 1000 0 1000 1000 1000 0 1000 1000 0 1000 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 1000 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 1000 1000 0 1000 1000 1000 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 0 0 1000 1000 0 1000 0 0 1000 1000 1000 1000 1000 0 1000 0 0 1000 1000 0 0 0 1000 1000 1000 0 1000 0 1000 1000 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 1000 1000 0 1000 0 0 0 1000 0 1000 1000 1000 0 0 0 0 0 0 1000 1000 1000 0 1000 1000 1000 1000 0 0 1000 1000 1000 0 1000 1000 1000 0 1000 0 1000 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 1000 0 1000 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 1000 1000 1000 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 1000 0 0 1000 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 1000 0 0 1000 1000 0 1000 0 0 0 1000 1000 1000 0 0 1000 1000 0 0 0 0 0 0 1000 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 1000 1000 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 1000 0 1000 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 1000 0 0 1000 1000 0 0 0 1000 0 0 1000 1000 1000 0 1000 1000 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 1000 0 1000 0 1000 0 0 0 0 1000 0 1000 1000 1000 0 0 0 1000 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 1000 0 0 1000 1000 1000 1000 0 0 0 1000 1000 1000 0 1000 1000 0 0 1000 1000 1000 0 1000 100 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 100 0 100 100 100 100 100 0 0 100 100 0 0 0 0 100 100 0 0 0 100 0 0 0 100 100 100 100 0 0 100 100 100 0 100 0 0 0 0 100 0 100 100 0 100 100 0 0 100 0 100 0 0 100 100 0 100 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 100 100 100 0 0 0 100 0 100 0 100 0 100 100 100 0 0 0 100 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 100 100 0 100 100 0 100 100 100 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 100 0 0 100 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 100 100 0 100 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 100 0 100 0 0 100 0 100 0 0 100 100 0 100 0 0 100 100 0 100 0 0 0 0 100 0 0 0 100 0 0 100 100 0 0 0 100 0 0 0 100 0 0 0 100 0 0 100 100 100 0 100 100 0 0 100 100 100 100 0 0 100 0 0 0 100 100 100 0 100 0 0 0 100 0 0 100 0 100 0 100 0 100 0 0 0 0 0 100 100 100 100 0 100 0 0 0 100 0 100 100 100 0 0 100 0 100 100 100 0 100 0 100 100 100 0 100 0 100 100 0 0 0 100 0 0 100 0 0 100 100 100 100 0 100 0 0 100 100 100 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 100 0 100 0 0 100 100 100 100 0 0 0 0 100 100 0 0 0 100 0 0 100 100 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 100 100 100 100 0 100 100 100 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 100 0 100 0 100 0 0 0 100 100 0 0 0 0 0 100 0 100 100 0 100 0 100 0 100 100 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 100 0 100 0 100 0 0 0 100 100 0 100 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 100 0 0 100 0 0 100 0 0 0 0 100 0 0 100 0 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 100 0 100 0 100 100 100 100 100 100 0 100 0 100 0 0 0 100 100 0 0 100 100 0 0 100 100 0 100 0 100 0 0 100 100 100 100 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 0 0 0 0 0 100 100 100 0 0 100 0 0 0 0 0 0 100 100 100 100 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 100 100 0 0 0 100 100 0 0 100 0 100 100 0 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 100 0 100 0 0 100 100 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 100 0 0 100 0 100 0 100 100 0 0 100 100 0 0 100 100 100 0 0 0 100 0 0 100 0 100 100 100 100 0 0 100 100 100 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 100 100 100 100 0 0 0 100 0 0 100 0 0 100 100 0 0 100 0 0 0 0 0 100 100 0 100 0 100 0 0 100 0 0 100 0 0 100 100 0 0 0 0 0 100 0 100 100 100 100 0 0 100 0 100 0 0 0 10 0 10 10 0 10 0 0 0 0 0 10 0 10 0 0 10 10 0 10 0 0 0 0 10 10 10 10 10 0 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 10 0 0 10 10 10 0 10 10 10 0 0 0 10 10 10 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 10 10 0 10 0 0 0 0 10 10 10 10 10 0 10 0 10 10 0 10 0 0 0 0 0 10 0 10 10 0 10 0 10 10 0 10 10 0 0 0 0 10 0 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 10 10 10 0 10 0 10 0 10 0 10 10 0 10 0 10 10 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 10 0 10 10 0 0 0 10 10 10 0 10 0 0 0 10 10 10 0 0 0 10 10 10 0 10 0 10 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 10 0 10 10 0 0 10 0 10 10 0 0 10 0 0 10 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 10 10 0 10 10 10 10 10 0 10 0 10 0 10 10 0 10 10 10 10 10 0 0 0 0 0 0 0 10 0 10 10 0 10 10 0 0 10 0 0 0 0 10 10 0 10 0 10 10 10 0 10 10 10 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 10 0 0 10 10 10 0 0 0 10 10 0 0 0 0 0 0 0 10 10 10 0 10 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 10 0 10 10 0 10 0 0 10 10 0 0 10 0 10 10 10 10 0 0 10 0 10 10 10 0 10 10 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 10 0 10 0 0 0 0 10 10 10 10 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 10 10 10 10 10 0 10 0 0 10 10 10 0 10 10 0 0 0 0 0 10 10 10 10 10 0 10 0 0 10 0 10 0 0 10 10 10 0 0 0 0 0 10 0 10 10 0 0 0 10 0 10 10 0 0 0 0 10 0 0 10 10 0 10 0 0 10 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 0 10 0 0 10 0 10 10 0 0 0 10 10 0 0 10 10 0 10 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 10 0 10 10 10 0 0 10 10 0 0 0 10 0 10 10 10 0 0 0 10 10 0 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 10 10 10 10 0 10 0 0 0 10 10 0 10 10 0 10 10 10 0 10 10 0 10 0 0 0 0 10 10 0 10 10 0 10 0 0 10 10 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 10 0 0 0 10 10 0 0 0 10 10 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 10 10 10 10 0 0 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 10 0 0 10 10 0 10 10 0 10 0 10 0 0 10 0 10 0 10 0 10 0 0 0 10 10 10 0 10 10 0 0 0 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 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 
2520.06/2491.81	v 	</values>
2520.06/2491.81	v </instantiation>

Verifier Data 

OK	311901

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308303-1534283040/watcher-4308303-1534283040 -o /tmp/evaluation-result-4308303-1534283040/solver-4308303-1534283040 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534270601-12744 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 128492065 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308303-1534283040.xml 

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

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

solver pid=13982, runsolver pid=13979

[startup+0.100093 s]*
/proc/loadavg: 1.85 1.77 1.71 3/219 13997
/proc/meminfo: memFree=24520632/32770624 swapFree=67108840/67108860
[pid=13982] ppid=13979 vsize=14082736 memory=31472 CPUtime=0.12 cores=1,3,5,7
/proc/13982/stat : 13982 (java) S 13979 13982 11204 0 -1 1077944320 6830 0 0 0 11 1 0 0 20 0 15 0 245867188 14420721664 7868 33554432000 4194304 4196468 140736459019680 140736459002224 139979554017015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
/proc/13982/statm: 3520684 7868 3117 1 0 3482761 0
[pid=13982/tid=13984] ppid=13979 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/13982/task/13984/stat : 13984 (java) R 13979 13982 11204 0 -1 4202560 4881 0 0 0 8 1 0 0 20 0 15 0 245867189 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979558256768 139979538097502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13985] ppid=13979 vsize=14082736 memory=5793855480792881593 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13985/stat : 13985 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979506637200 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13986] ppid=13979 vsize=14082736 memory=140229782988416 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13986/stat : 13986 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979505584400 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13987] ppid=13979 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13987/stat : 13987 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979504532112 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13988] ppid=13979 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13988/stat : 13988 (java) S 13979 13982 11204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979503479312 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13989] ppid=13979 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13989/stat : 13989 (java) S 13979 13982 11204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245867191 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979095976560 139979554028162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13990] ppid=13979 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13990/stat : 13990 (java) S 13979 13982 11204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245867191 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979094922528 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13991] ppid=13979 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13991/stat : 13991 (java) S 13979 13982 11204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245867191 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979093870192 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13992] ppid=13979 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13992/stat : 13992 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979092818512 139979554035611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13993] ppid=13979 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13993/stat : 13993 (java) S 13979 13982 11204 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979023968368 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13994] ppid=13979 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13994/stat : 13994 (java) S 13979 13982 11204 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979022915568 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13995] ppid=13979 vsize=14082736 memory=140229782988416 CPUtime=0.01 cores=1,3,5,7
/proc/13982/task/13995/stat : 13995 (java) S 13979 13982 11204 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 245867194 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979021863280 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13996] ppid=13979 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13996/stat : 13996 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979020810720 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13997] ppid=13979 vsize=14082736 memory=140229782988416 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13997/stat : 13997 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 7868 33554432000 4194304 4196468 140736459019680 139979019758512 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31472 KiB

[startup+0.210865 s]*
/proc/loadavg: 1.85 1.77 1.71 5/219 13997
/proc/meminfo: memFree=24504632/32770624 swapFree=67108840/67108860
[pid=13982] ppid=13979 vsize=14082736 memory=47528 CPUtime=0.3 cores=1,3,5,7
/proc/13982/stat : 13982 (java) S 13979 13982 11204 0 -1 1077944320 10491 0 0 0 28 2 0 0 20 0 15 0 245867188 14420721664 11882 33554432000 4194304 4196468 140736459019680 140736459002224 139979554017015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
/proc/13982/statm: 3520684 11882 3363 1 0 3482761 0
[pid=13982/tid=13984] ppid=13979 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/13982/task/13984/stat : 13984 (java) R 13979 13982 11204 0 -1 4202560 8210 0 0 0 18 1 0 0 20 0 15 0 245867189 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979558244168 139979533591540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13985] ppid=13979 vsize=14082736 memory=4211973955987778954 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13985/stat : 13985 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979506637200 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13986] ppid=13979 vsize=14082736 memory=140229782988416 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13986/stat : 13986 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979505584400 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13987] ppid=13979 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13987/stat : 13987 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979504532112 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13988] ppid=13979 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13988/stat : 13988 (java) S 13979 13982 11204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979503479312 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13989] ppid=13979 vsize=14082736 memory=140229782988416 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13989/stat : 13989 (java) S 13979 13982 11204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245867191 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979095976560 139979554028162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13990] ppid=13979 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13990/stat : 13990 (java) S 13979 13982 11204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245867191 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979094922528 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13991] ppid=13979 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13991/stat : 13991 (java) S 13979 13982 11204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245867191 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979093870192 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13992] ppid=13979 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13992/stat : 13992 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979092818512 139979554035611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13993] ppid=13979 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13982/task/13993/stat : 13993 (java) R 13979 13982 11204 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 15 0 245867194 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979023968368 139979554028162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13994] ppid=13979 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13982/task/13994/stat : 13994 (java) R 13979 13982 11204 0 -1 4202560 442 0 0 0 2 0 0 0 20 0 15 0 245867194 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979022915568 139979537401808 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13995] ppid=13979 vsize=14082736 memory=140229782988416 CPUtime=0.05 cores=1,3,5,7
/proc/13982/task/13995/stat : 13995 (java) R 13979 13982 11204 0 -1 4202560 287 0 0 0 5 0 0 0 20 0 15 0 245867194 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979021860216 139979533142598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13996] ppid=13979 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13996/stat : 13996 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979020810720 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13997] ppid=13979 vsize=14082736 memory=140229782988416 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13997/stat : 13997 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 11882 33554432000 4194304 4196468 140736459019680 139979019758512 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47528 KiB

[startup+0.31083 s]*
/proc/loadavg: 1.85 1.77 1.71 3/219 13997
/proc/meminfo: memFree=24501328/32770624 swapFree=67108840/67108860
[pid=13982] ppid=13979 vsize=14082736 memory=51120 CPUtime=0.44 cores=1,3,5,7
/proc/13982/stat : 13982 (java) S 13979 13982 11204 0 -1 1077944320 10857 0 0 0 42 2 0 0 20 0 15 0 245867188 14420721664 12780 33554432000 4194304 4196468 140736459019680 140736459002224 139979554017015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
/proc/13982/statm: 3520684 12780 3403 1 0 3482761 0
[pid=13982/tid=13984] ppid=13979 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/13982/task/13984/stat : 13984 (java) R 13979 13982 11204 0 -1 4202560 8543 0 0 0 28 2 0 0 20 0 15 0 245867189 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979558224848 139979537203853 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13985] ppid=13979 vsize=14082736 memory=4211973955987778954 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13985/stat : 13985 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979506637200 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13986] ppid=13979 vsize=14082736 memory=140229782990795 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13986/stat : 13986 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979505584400 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13987] ppid=13979 vsize=14082736 memory=140229675701716 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13987/stat : 13987 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979504532112 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13988] ppid=13979 vsize=14082736 memory=140229675699663 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13988/stat : 13988 (java) S 13979 13982 11204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245867190 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979503479312 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13989] ppid=13979 vsize=14082736 memory=140229782999647 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13989/stat : 13989 (java) S 13979 13982 11204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245867191 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979095976560 139979554028162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13990] ppid=13979 vsize=14082736 memory=140229675708847 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13990/stat : 13990 (java) S 13979 13982 11204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245867191 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979094922528 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13991] ppid=13979 vsize=14082736 memory=280459351408528 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13991/stat : 13991 (java) S 13979 13982 11204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245867191 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979093870192 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13992] ppid=13979 vsize=14082736 memory=280459351406224 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13992/stat : 13992 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979092818512 139979554035611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13993] ppid=13979 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13982/task/13993/stat : 13993 (java) S 13979 13982 11204 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 15 0 245867194 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979023968368 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13994] ppid=13979 vsize=14082736 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13982/task/13994/stat : 13994 (java) S 13979 13982 11204 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 245867194 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979022915568 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13995] ppid=13979 vsize=14082736 memory=140229782988416 CPUtime=0.07 cores=1,3,5,7
/proc/13982/task/13995/stat : 13995 (java) S 13979 13982 11204 0 -1 1077944384 297 0 0 0 7 0 0 0 20 0 15 0 245867194 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979021863280 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13996] ppid=13979 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13996/stat : 13996 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979020810720 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13997] ppid=13979 vsize=14082736 memory=140229782988416 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13997/stat : 13997 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867194 14420721664 12780 33554432000 4194304 4196468 140736459019680 139979019758512 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51120 KiB

[startup+0.700695 s]
/proc/loadavg: 1.85 1.77 1.71 3/219 13997
/proc/meminfo: memFree=24477640/32770624 swapFree=67108840/67108860
[pid=13982] ppid=13979 vsize=14084804 memory=88796 CPUtime=0.99 cores=1,3,5,7
/proc/13982/stat : 13982 (java) S 13979 13982 11204 0 -1 1077944320 17606 0 0 0 94 5 0 0 20 0 15 0 245867188 14422839296 22199 33554432000 4194304 4196468 140736459019680 140736459002224 139979554017015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
/proc/13982/statm: 3521201 22199 3499 1 0 3483273 0
[pid=13982/tid=13984] ppid=13979 vsize=14084804 memory=5728 CPUtime=0.67 cores=1,3,5,7
/proc/13982/task/13984/stat : 13984 (java) R 13979 13982 11204 0 -1 4202560 14939 0 0 0 63 4 0 0 20 0 15 0 245867189 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979558241120 139979538097502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13985] ppid=13979 vsize=14084804 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13985/stat : 13985 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979506637200 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13986] ppid=13979 vsize=14084804 memory=1092 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13986/stat : 13986 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979505584400 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13987] ppid=13979 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13987/stat : 13987 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979504532112 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13988] ppid=13979 vsize=14084804 memory=8025788814161897044 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13988/stat : 13988 (java) S 13979 13982 11204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245867190 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979503479312 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13989] ppid=13979 vsize=14084804 memory=6220993253238723945 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13989/stat : 13989 (java) S 13979 13982 11204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245867191 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979095976560 139979554028162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13990] ppid=13979 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13990/stat : 13990 (java) S 13979 13982 11204 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245867191 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979094922528 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13991] ppid=13979 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13991/stat : 13991 (java) S 13979 13982 11204 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245867191 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979093870192 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13992] ppid=13979 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13992/stat : 13992 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979092818512 139979554035611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13993] ppid=13979 vsize=14084804 memory=92 CPUtime=0.06 cores=1,3,5,7
/proc/13982/task/13993/stat : 13993 (java) S 13979 13982 11204 0 -1 1077944384 296 0 0 0 6 0 0 0 20 0 15 0 245867194 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979023968368 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13994] ppid=13979 vsize=14084804 memory=6 CPUtime=0.09 cores=1,3,5,7
/proc/13982/task/13994/stat : 13994 (java) S 13979 13982 11204 0 -1 1077944384 631 0 0 0 9 0 0 0 20 0 15 0 245867194 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979022915568 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13995] ppid=13979 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/13982/task/13995/stat : 13995 (java) S 13979 13982 11204 0 -1 1077944384 359 0 0 0 14 0 0 0 20 0 15 0 245867194 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979021863280 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13996] ppid=13979 vsize=14084804 memory=280459351592432 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13996/stat : 13996 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979020810720 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13997] ppid=13979 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13997/stat : 13997 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867194 14422839296 22199 33554432000 4194304 4196468 140736459019680 139979019758512 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88796 KiB

[startup+1.50071 s]
/proc/loadavg: 1.85 1.77 1.71 6/219 13997
/proc/meminfo: memFree=24420432/32770624 swapFree=67108840/67108860
[pid=13982] ppid=13979 vsize=14086852 memory=210540 CPUtime=3.5 cores=1,3,5,7
/proc/13982/stat : 13982 (java) S 13979 13982 11204 0 -1 1077944320 28676 0 0 0 342 8 0 0 20 0 15 0 245867188 14424936448 52635 33554432000 4194304 4196468 140736459019680 140736459002224 139979554017015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
/proc/13982/statm: 3521713 52635 3554 1 0 3483785 0
[pid=13982/tid=13984] ppid=13979 vsize=14086852 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/13982/task/13984/stat : 13984 (java) S 13979 13982 11204 0 -1 1077944384 16887 0 0 0 140 6 0 0 20 0 15 0 245867189 14424936448 52635 33554432000 4194304 4196468 140736459019680 139979558252784 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13985] ppid=13979 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13985/stat : 13985 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14424936448 52635 33554432000 4194304 4196468 140736459019680 139979506637200 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13986] ppid=13979 vsize=14086852 memory=-3535359994705172322 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13986/stat : 13986 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14424936448 52635 33554432000 4194304 4196468 140736459019680 139979505584400 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13987] ppid=13979 vsize=14086852 memory=9049314521413419181 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13987/stat : 13987 (java) S 13979 13982 11204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245867190 14424936448 52635 33554432000 4194304 4196468 140736459019680 139979504532112 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13988] ppid=13979 vsize=14086852 memory=-5934715545449879427 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13988/stat : 13988 (java) S 13979 13982 11204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245867190 14424936448 52635 33554432000 4194304 4196468 140736459019680 139979503479312 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13989] ppid=13979 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13989/stat : 13989 (java) R 13979 13982 11204 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 245867191 14424936448 52635 33554432000 4194304 4196468 140736459019680 139979095976560 139979554028162 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0

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

/proc/13982/task/13984/stat : 13984 (java) R 13979 13982 11204 0 -1 4202560 53107 0 0 0 231350 26 0 0 20 0 15 0 245867189 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979558254960 139979187582918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13985] ppid=13979 vsize=14090948 memory=3500 CPUtime=6.08 cores=1,3,5,7
/proc/13982/task/13985/stat : 13985 (java) S 13979 13982 11204 0 -1 1077944384 15301 0 0 0 582 26 0 0 20 0 15 0 245867190 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979506637200 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13986] ppid=13979 vsize=14090948 memory=734940 CPUtime=6.07 cores=1,3,5,7
/proc/13982/task/13986/stat : 13986 (java) S 13979 13982 11204 0 -1 1077944384 11818 0 0 0 581 26 0 0 20 0 15 0 245867190 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979505584400 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13987] ppid=13979 vsize=14090948 memory=734940 CPUtime=6.08 cores=1,3,5,7
/proc/13982/task/13987/stat : 13987 (java) S 13979 13982 11204 0 -1 1077944384 9533 0 0 0 583 25 0 0 20 0 15 0 245867190 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979504532112 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13988] ppid=13979 vsize=14090948 memory=734940 CPUtime=6.03 cores=1,3,5,7
/proc/13982/task/13988/stat : 13988 (java) S 13979 13982 11204 0 -1 1077944384 11797 0 0 0 578 25 0 0 20 0 15 0 245867190 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979503479312 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13989] ppid=13979 vsize=14090948 memory=734940 CPUtime=1.86 cores=1,3,5,7
/proc/13982/task/13989/stat : 13989 (java) S 13979 13982 11204 0 -1 1077944384 11468 0 0 0 163 23 0 0 20 0 15 0 245867191 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979095976560 139979554028162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13990] ppid=13979 vsize=14090948 memory=734940 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13990/stat : 13990 (java) S 13979 13982 11204 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 245867191 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979094922592 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13991] ppid=13979 vsize=14090948 memory=734940 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13991/stat : 13991 (java) S 13979 13982 11204 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 245867191 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979093870208 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13992] ppid=13979 vsize=14090948 memory=734940 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13992/stat : 13992 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979092818512 139979554035611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13993] ppid=13979 vsize=14090948 memory=734940 CPUtime=3.54 cores=1,3,5,7
/proc/13982/task/13993/stat : 13993 (java) S 13979 13982 11204 0 -1 1077944384 10089 0 0 0 353 1 0 0 20 0 15 0 245867194 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979023968368 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13994] ppid=13979 vsize=14090948 memory=0 CPUtime=3.53 cores=1,3,5,7
/proc/13982/task/13994/stat : 13994 (java) S 13979 13982 11204 0 -1 1077944384 9528 0 0 0 352 1 0 0 20 0 15 0 245867194 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979022915568 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13995] ppid=13979 vsize=14090948 memory=734940 CPUtime=1.1 cores=1,3,5,7
/proc/13982/task/13995/stat : 13995 (java) S 13979 13982 11204 0 -1 1077944384 12876 0 0 0 108 2 0 0 20 0 15 0 245867194 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979021863280 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13996] ppid=13979 vsize=14090948 memory=734940 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13996/stat : 13996 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979020810720 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13997] ppid=13979 vsize=14090948 memory=734940 CPUtime=0.7 cores=1,3,5,7
/proc/13982/task/13997/stat : 13997 (java) S 13979 13982 11204 0 -1 1077944384 1348 0 0 0 31 39 0 0 20 0 15 0 245867194 14429130752 183735 33554432000 4194304 4196468 140736459019680 139979019758512 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
Current children cumulated CPU time: 2348.84 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 734940 KiB

[startup+2382.3 s]
/proc/loadavg: 1.51 1.46 1.50 3/218 14192
/proc/meminfo: memFree=23698368/32770624 swapFree=67108840/67108860
[pid=13982] ppid=13979 vsize=14090948 memory=727760 CPUtime=2409.38 cores=1,3,5,7
/proc/13982/stat : 13982 (java) S 13979 13982 11204 0 -1 1077944320 150020 0 0 0 240755 183 0 0 20 0 15 0 245867188 14429130752 181940 33554432000 4194304 4196468 140736459019680 140736459002224 139979554017015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
/proc/13982/statm: 3522737 181940 3614 1 0 3484809 0
[pid=13982/tid=13984] ppid=13979 vsize=14090948 memory=728272 CPUtime=2373.48 cores=1,3,5,7
/proc/13982/task/13984/stat : 13984 (java) R 13979 13982 11204 0 -1 4202560 53780 0 0 0 237322 26 0 0 20 0 15 0 245867189 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979558254976 139979187452099 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13985] ppid=13979 vsize=14090948 memory=734940 CPUtime=6.26 cores=1,3,5,7
/proc/13982/task/13985/stat : 13985 (java) S 13979 13982 11204 0 -1 1077944384 15474 0 0 0 599 27 0 0 20 0 15 0 245867190 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979506637200 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13986] ppid=13979 vsize=14090948 memory=10692 CPUtime=6.25 cores=1,3,5,7
/proc/13982/task/13986/stat : 13986 (java) S 13979 13982 11204 0 -1 1077944384 11895 0 0 0 599 26 0 0 20 0 15 0 245867190 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979505584400 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13987] ppid=13979 vsize=14090948 memory=729300 CPUtime=6.26 cores=1,3,5,7
/proc/13982/task/13987/stat : 13987 (java) S 13979 13982 11204 0 -1 1077944384 9600 0 0 0 600 26 0 0 20 0 15 0 245867190 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979504532112 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13988] ppid=13979 vsize=14090948 memory=734940 CPUtime=6.21 cores=1,3,5,7
/proc/13982/task/13988/stat : 13988 (java) S 13979 13982 11204 0 -1 1077944384 11988 0 0 0 596 25 0 0 20 0 15 0 245867190 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979503479312 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13989] ppid=13979 vsize=14090948 memory=734940 CPUtime=1.95 cores=1,3,5,7
/proc/13982/task/13989/stat : 13989 (java) S 13979 13982 11204 0 -1 1077944384 11561 0 0 0 171 24 0 0 20 0 15 0 245867191 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979095976560 139979554028162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13990] ppid=13979 vsize=14090948 memory=729812 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13990/stat : 13990 (java) S 13979 13982 11204 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 245867191 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979094922592 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13991] ppid=13979 vsize=14090948 memory=728272 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13991/stat : 13991 (java) S 13979 13982 11204 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 245867191 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979093870208 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13992] ppid=13979 vsize=14090948 memory=728272 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13992/stat : 13992 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979092818512 139979554035611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13993] ppid=13979 vsize=14090948 memory=727760 CPUtime=3.55 cores=1,3,5,7
/proc/13982/task/13993/stat : 13993 (java) S 13979 13982 11204 0 -1 1077944384 10232 0 0 0 354 1 0 0 20 0 15 0 245867194 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979023968368 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13994] ppid=13979 vsize=14090948 memory=3500 CPUtime=3.53 cores=1,3,5,7
/proc/13982/task/13994/stat : 13994 (java) S 13979 13982 11204 0 -1 1077944384 9699 0 0 0 352 1 0 0 20 0 15 0 245867194 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979022915568 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13995] ppid=13979 vsize=14090948 memory=2372 CPUtime=1.1 cores=1,3,5,7
/proc/13982/task/13995/stat : 13995 (java) S 13979 13982 11204 0 -1 1077944384 12989 0 0 0 108 2 0 0 20 0 15 0 245867194 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979021863280 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13996] ppid=13979 vsize=14090948 memory=3500 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13996/stat : 13996 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979020810720 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13997] ppid=13979 vsize=14090948 memory=66764 CPUtime=0.72 cores=1,3,5,7
/proc/13982/task/13997/stat : 13997 (java) S 13979 13982 11204 0 -1 1077944384 1363 0 0 0 32 40 0 0 20 0 15 0 245867194 14429130752 181940 33554432000 4194304 4196468 140736459019680 139979019758512 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
Current children cumulated CPU time: 2409.38 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 727760 KiB

[startup+2442.3 s]
/proc/loadavg: 1.37 1.44 1.49 3/218 14193
/proc/meminfo: memFree=23743040/32770624 swapFree=67108840/67108860
[pid=13982] ppid=13979 vsize=14090948 memory=683136 CPUtime=2470.12 cores=1,3,5,7
/proc/13982/stat : 13982 (java) S 13979 13982 11204 0 -1 1077944320 151988 0 0 0 246825 187 0 0 20 0 15 0 245867188 14429130752 170784 33554432000 4194304 4196468 140736459019680 140736459002224 139979554017015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
/proc/13982/statm: 3522737 170784 3614 1 0 3484809 0
[pid=13982/tid=13984] ppid=13979 vsize=14090948 memory=683136 CPUtime=2433.19 cores=1,3,5,7
/proc/13982/task/13984/stat : 13984 (java) R 13979 13982 11204 0 -1 4202560 54591 0 0 0 243293 26 0 0 20 0 15 0 245867189 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979558254976 139979187003966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13985] ppid=13979 vsize=14090948 memory=684164 CPUtime=6.47 cores=1,3,5,7
/proc/13982/task/13985/stat : 13985 (java) S 13979 13982 11204 0 -1 1077944384 15539 0 0 0 620 27 0 0 20 0 15 0 245867190 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979506637200 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13986] ppid=13979 vsize=14090948 memory=688268 CPUtime=6.46 cores=1,3,5,7
/proc/13982/task/13986/stat : 13986 (java) S 13979 13982 11204 0 -1 1077944384 11981 0 0 0 620 26 0 0 20 0 15 0 245867190 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979505584400 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13987] ppid=13979 vsize=14090948 memory=734940 CPUtime=6.48 cores=1,3,5,7
/proc/13982/task/13987/stat : 13987 (java) S 13979 13982 11204 0 -1 1077944384 9782 0 0 0 622 26 0 0 20 0 15 0 245867190 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979504532112 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13988] ppid=13979 vsize=14090948 memory=728272 CPUtime=6.43 cores=1,3,5,7
/proc/13982/task/13988/stat : 13988 (java) S 13979 13982 11204 0 -1 1077944384 12079 0 0 0 618 25 0 0 20 0 15 0 245867190 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979503479312 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13989] ppid=13979 vsize=14090948 memory=723656 CPUtime=2 cores=1,3,5,7
/proc/13982/task/13989/stat : 13989 (java) S 13979 13982 11204 0 -1 1077944384 11654 0 0 0 175 25 0 0 20 0 15 0 245867191 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979095976560 139979554028162 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13990] ppid=13979 vsize=14090948 memory=708272 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13990/stat : 13990 (java) S 13979 13982 11204 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 245867191 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979094922592 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13991] ppid=13979 vsize=14090948 memory=692372 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13991/stat : 13991 (java) S 13979 13982 11204 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 245867191 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979093870208 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13992] ppid=13979 vsize=14090948 memory=688268 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13992/stat : 13992 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979092818512 139979554035611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13993] ppid=13979 vsize=14090948 memory=687240 CPUtime=3.59 cores=1,3,5,7
/proc/13982/task/13993/stat : 13993 (java) S 13979 13982 11204 0 -1 1077944384 10406 0 0 0 358 1 0 0 20 0 15 0 245867194 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979023968368 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13994] ppid=13979 vsize=14090948 memory=684164 CPUtime=3.54 cores=1,3,5,7
/proc/13982/task/13994/stat : 13994 (java) S 13979 13982 11204 0 -1 1077944384 9713 0 0 0 353 1 0 0 20 0 15 0 245867194 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979022915568 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13995] ppid=13979 vsize=14090948 memory=683136 CPUtime=1.12 cores=1,3,5,7
/proc/13982/task/13995/stat : 13995 (java) S 13979 13982 11204 0 -1 1077944384 13423 0 0 0 110 2 0 0 20 0 15 0 245867194 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979021863280 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13996] ppid=13979 vsize=14090948 memory=3500 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13996/stat : 13996 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979020810720 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13997] ppid=13979 vsize=14090948 memory=683136 CPUtime=0.75 cores=1,3,5,7
/proc/13982/task/13997/stat : 13997 (java) S 13979 13982 11204 0 -1 1077944384 1381 0 0 0 33 42 0 0 20 0 15 0 245867194 14429130752 170784 33554432000 4194304 4196468 140736459019680 139979019758512 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
Current children cumulated CPU time: 2470.12 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 683136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2491.8 s]
/proc/loadavg: 1.56 1.49 1.50 3/218 14195
/proc/meminfo: memFree=23767088/32770624 swapFree=67108840/67108860
[pid=13982] ppid=13979 vsize=14090948 memory=658512 CPUtime=2520.06 cores=1,3,5,7
/proc/13982/stat : 13982 (java) S 13979 13982 11204 0 -1 1077944320 153133 0 0 0 251816 190 0 0 20 0 15 0 245867188 14429130752 164628 33554432000 4194304 4196468 140736459019680 140736459002224 139979554017015 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
/proc/13982/statm: 3522737 164628 3614 1 0 3484809 0
[pid=13982/tid=13984] ppid=13979 vsize=14090948 memory=659028 CPUtime=2482.48 cores=1,3,5,7
/proc/13982/task/13984/stat : 13984 (java) R 13979 13982 11204 0 -1 4202560 55104 0 0 0 248222 26 0 0 20 0 15 0 245867189 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979558254960 139979187482005 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13985] ppid=13979 vsize=14090948 memory=1408 CPUtime=6.61 cores=1,3,5,7
/proc/13982/task/13985/stat : 13985 (java) S 13979 13982 11204 0 -1 1077944384 15691 0 0 0 634 27 0 0 20 0 15 0 245867190 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979506637200 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13986] ppid=13979 vsize=14090948 memory=3244 CPUtime=6.6 cores=1,3,5,7
/proc/13982/task/13986/stat : 13986 (java) S 13979 13982 11204 0 -1 1077944384 12091 0 0 0 634 26 0 0 20 0 15 0 245867190 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979505584400 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13987] ppid=13979 vsize=14090948 memory=401488 CPUtime=6.62 cores=1,3,5,7
/proc/13982/task/13987/stat : 13987 (java) S 13979 13982 11204 0 -1 1077944384 9934 0 0 0 636 26 0 0 20 0 15 0 245867190 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979504532112 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13988] ppid=13979 vsize=14090948 memory=659028 CPUtime=6.58 cores=1,3,5,7
/proc/13982/task/13988/stat : 13988 (java) S 13979 13982 11204 0 -1 1077944384 12182 0 0 0 632 26 0 0 20 0 15 0 245867190 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979503479312 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13989] ppid=13979 vsize=14090948 memory=6791534058613427641 CPUtime=2.05 cores=1,3,5,7
/proc/13982/task/13989/stat : 13989 (java) S 13979 13982 11204 0 -1 1077944384 11747 0 0 0 180 25 0 0 20 0 15 0 245867191 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979095976560 139979554028162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13990] ppid=13979 vsize=14090948 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13990/stat : 13990 (java) S 13979 13982 11204 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 245867191 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979094922592 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13991] ppid=13979 vsize=14090948 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13991/stat : 13991 (java) S 13979 13982 11204 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 245867191 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979093870208 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13992] ppid=13979 vsize=14090948 memory=1168 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13992/stat : 13992 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979092818512 139979554035611 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13993] ppid=13979 vsize=14090948 memory=508 CPUtime=3.59 cores=1,3,5,7
/proc/13982/task/13993/stat : 13993 (java) S 13979 13982 11204 0 -1 1077944384 10409 0 0 0 358 1 0 0 20 0 15 0 245867194 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979023968368 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13994] ppid=13979 vsize=14090948 memory=924 CPUtime=3.54 cores=1,3,5,7
/proc/13982/task/13994/stat : 13994 (java) S 13979 13982 11204 0 -1 1077944384 9715 0 0 0 353 1 0 0 20 0 15 0 245867194 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979022915568 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13995] ppid=13979 vsize=14090948 memory=2372 CPUtime=1.12 cores=1,3,5,7
/proc/13982/task/13995/stat : 13995 (java) S 13979 13982 11204 0 -1 1077944384 13425 0 0 0 110 2 0 0 20 0 15 0 245867194 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979021863280 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13996] ppid=13979 vsize=14090948 memory=662616 CPUtime=0 cores=1,3,5,7
/proc/13982/task/13996/stat : 13996 (java) S 13979 13982 11204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245867194 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979020810720 139979554027221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
[pid=13982/tid=13997] ppid=13979 vsize=14090948 memory=1408 CPUtime=0.77 cores=1,3,5,7
/proc/13982/task/13997/stat : 13997 (java) S 13979 13982 11204 0 -1 1077944384 1396 0 0 0 34 43 0 0 20 0 15 0 245867194 14429130752 164628 33554432000 4194304 4196468 140736459019680 139979019758512 139979554028162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35737600 140736459023433 140736459023625 140736459023625 140736459026383 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 658512 KiB

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

[startup+2491.82 s]
# the end of solver process 13982 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.2 s, system=1.9097 s

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

Child status: 143
Real time (s): 2491.82
CPU time (s): 2520.11
CPU user time (s): 2518.2
CPU system time (s): 1.9097
CPU usage (%): 101.135
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1258192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.2
system time used= 1.9097
maximum resident set size= 1259216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101936
involuntary context switches= 3467


# summary of solver processes directly reported to runsolver:
#   pid: 13982
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.2
#   total CPU system time (s): 1.9097

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1959 second user time and 25.0214 second system time

The end

Launcher Data 

Begin job on node135 at 2018-08-14 23:44:00
IDJOB=4308303
IDBENCH=141209
IDSOLVER=2791
FILE ID=node135/4308303-1534283040
RUNJOBID= node135-1534270601-12744
PBS_JOBID= 21038122
Free space on /tmp= 47244 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
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-4308303-1534283040/watcher-4308303-1534283040 -o /tmp/evaluation-result-4308303-1534283040/solver-4308303-1534283040 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534270601-12744 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 128492065 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308303-1534283040.xml

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

MD5SUM BENCH= d12361b5a6bb1fd64c8bfae02a2f4f2f
RANDOM SEED=128492065

node135.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.50
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.50
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.50
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.50
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:        24539548 kB
MemAvailable:   31634200 kB
Buffers:          142696 kB
Cached:          7177544 kB
SwapCached:           20 kB
Active:          4216108 kB
Inactive:        3429416 kB
Active(anon):     274328 kB
Inactive(anon):   103280 kB
Active(file):    3941780 kB
Inactive(file):  3326136 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:             35720 kB
Writeback:             0 kB
AnonPages:        332072 kB
Mapped:            70564 kB
Shmem:             49804 kB
Slab:             283324 kB
SReclaimable:     255196 kB
SUnreclaim:        28128 kB
KernelStack:        3552 kB
PageTables:         5980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1456952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    258048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 47208 MiB
End job on node135 at 2018-08-15 00:25:32