Trace number 4299003

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
The dodo solver 2018-04-29SAT (TO)201697974 2520.11 2487.56

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-02-0250_c18.xml
MD5SUM24bf88c1c49a1faaa01f312934ed4415
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark181903419
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables4758
Number of constraints3055
Number of domains59
Minimum domain size1
Maximum domain size105
Distribution of domain sizes[{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}]
Minimum variable degree2
Maximum variable degree1420
Distribution of variable degrees[{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}]
Number of extensional constraints3055
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":3055}]
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.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: 2520
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
58.42/34.47	o 201740874
58.42/34.48	o 201740871
58.42/34.48	o 201740870
58.42/34.49	o 201740868
58.58/34.51	o 201740867
58.58/34.55	o 201740866
58.58/34.56	o 201740864
58.93/34.76	o 201740863
58.93/34.77	o 201740861
58.93/34.79	o 201740859
59.40/35.14	o 201740857
59.40/35.19	o 201740855
63.46/39.18	o 201740854
64.65/40.40	o 201740853
64.75/40.43	o 201740852
75.72/45.52	o 201740851
75.83/45.61	o 201740850
75.83/45.64	o 201740849
75.93/45.77	o 201740848
75.93/45.80	o 201740847
86.66/56.49	o 201740845
86.66/56.49	o 201740837
86.66/56.49	o 201740835
92.60/62.16	o 201740834
92.60/62.17	o 201726637
92.60/62.17	o 201726636
98.21/67.78	o 201726635
103.91/73.43	o 201726634
103.91/73.44	o 201726628
103.91/73.44	o 201726627
109.62/79.11	o 201726619
115.22/84.76	o 201726618
120.92/90.45	o 201726617
132.23/101.79	o 201726615
132.23/101.79	o 201726613
137.94/107.47	o 201726610
137.94/107.47	o 201726607
154.95/124.43	o 201726604
154.95/124.43	o 201726597
160.56/130.08	o 201726596
160.56/130.08	o 201726588
160.56/130.09	o 201726587
166.36/135.80	o 201726586
177.67/147.14	o 201726578
177.67/147.14	o 201726577
183.27/152.76	o 201726576
183.27/152.77	o 201726575
206.00/175.42	o 201726574
206.00/175.42	o 201726573
223.01/192.45	o 201726567
223.01/192.45	o 201726566
245.85/215.15	o 201726556
251.55/220.81	o 201726555
251.55/220.81	o 201726554
268.57/237.84	o 201726553
274.26/243.52	o 201726541
274.26/243.53	o 201726540
274.26/243.53	o 201726539
279.88/249.15	o 201726538
279.88/249.15	o 201726535
279.88/249.15	o 201726533
279.88/249.15	o 201726532
302.63/271.82	o 201726530
302.63/271.82	o 201726523
336.44/305.63	o 201726522
359.06/328.22	o 201726513
359.06/328.22	o 201726512
381.68/350.83	o 201726511
381.68/350.83	o 201726510
393.08/362.20	o 201726506
393.08/362.20	o 201726505
415.60/384.77	o 201726504
438.02/407.16	o 201726503
482.84/451.96	o 201726502
611.63/580.62	o 201712297
611.63/580.62	o 201712296
685.27/654.25	o 201712295
696.58/665.50	o 201712286
696.58/665.51	o 201712283
747.32/716.28	o 201712281
747.32/716.28	o 201712280
758.62/727.57	o 201712279
815.33/784.11	o 201712278
894.38/863.17	o 201712277
996.63/965.36	o 201698078
996.63/965.36	o 201698077
996.63/965.36	o 201698072
996.63/965.36	o 201698071
996.63/965.36	o 201698070
996.63/965.36	o 201698069
1075.69/1044.35	o 201698063
1075.69/1044.35	o 201698062
1075.69/1044.35	o 201698056
1075.69/1044.35	o 201698055
1154.84/1123.48	o 201698054
1330.82/1299.26	o 201698053
1330.82/1299.26	o 201698052
1404.47/1372.81	o 201698051
1569.17/1537.44	o 201698050
1744.39/1712.59	o 201698045
1744.39/1712.59	o 201698038
1857.32/1825.33	o 201698025
1857.32/1825.33	o 201698023
1902.45/1870.45	o 201698011
1947.68/1915.63	o 201698009
1947.68/1915.63	o 201698008
2173.93/2141.71	o 201697997
2173.93/2141.71	o 201697995
2219.06/2186.82	o 201697992
2337.84/2305.56	o 201697982
2411.65/2379.22	o 201697977
2485.09/2452.61	o 201697975
2485.09/2452.61	o 201697974
2520.03/2487.50	s SATISFIABLE
2520.03/2487.51	v <instantiation>
2520.03/2487.51	v 	<list>
2520.03/2487.51	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] 
2520.03/2487.51	v 	</list>
2520.03/2487.51	v 	<values>
2520.03/2487.51	v 		2452 2548 2604 2348 2616 2300 2492 2392 2284 2300 2632 2284 2616 2520 2376 2464 2492 2508 2584 2636 2448 2540 2516 2616 2296 2368 2336 2280 2428 2516 2512 2284 2392 2440 2256 2508 2560 2412 2596 2296 2564 2240 2432 2552 2280 2624 2408 2556 2324 2296 2516 2576 2292 2624 2612 2516 2524 2452 2580 2460 2544 2392 2532 2556 2468 2564 2444 2380 2244 2300 2340 2436 2372 2588 2488 2524 2616 2316 2464 2472 2584 2556 2572 2652 2556 2620 2480 2420 2636 2496 2524 2240 2448 2280 2440 2404 2240 2596 2432 2376 2656 2404 2320 2308 2616 2644 2552 2644 2508 2512 2504 2364 2612 2576 2616 2592 2320 2648 2432 2360 2280 2340 2424 2360 2636 2476 2656 2468 2444 2452 2296 2628 2256 2580 2580 2656 2596 2592 2404 2652 2356 2468 2616 2468 2244 2432 2432 2616 2620 2576 2512 2420 2320 2572 2584 2252 2568 2304 2596 2352 2624 2616 2480 2604 2492 2340 2604 2544 2576 2340 2264 2556 2392 2612 2488 2484 2572 2500 2556 2428 2472 2388 2608 2312 2640 2612 2600 2616 2336 2300 2516 2656 2504 2612 2576 2312 2560 2248 2536 2480 2652 2596 2384 2416 2612 2592 2552 2500 2552 2292 2436 2620 2456 2460 2476 2656 2428 2476 2444 2280 2240 2408 2592 2572 2260 2288 2508 2600 2644 2608 2564 2352 2596 2392 2396 2380 2368 2388 2440 2396 2584 2516 2556 2292 2584 2416 2332 2356 2656 2332 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 10 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 8 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 9 0 9 0 0 9 0 1 0 1 1 0 0 0 0 1 0 0 0 8 0 0 0 0 0 0 0 6 7 0 9 7 0 0 0 1 0 0 0 1 8 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 5 0 0 0 9 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 9 1 0 0 0 9 4 0 7 2 3 1 0 0 4 1 0 0 0 0 9 9 0 0 0 0 8 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 0 5 2 1 0 0 0 0 2 0 1 0 0 8 0 5 6 1 9 0 0 0 9 0 0 1 1 0 0 0 2 0 0 0 0 0 0 0 1 0 0 6 1 6 0 1 0 1 0 1 0 0 9 0 0 4 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 4 4 1 0 0 0 0 0 2 8 9 0 1 0 0 0 1 0 5 0 0 0 0 0 9 0 0 0 0 0 0 0 4 0 0 0 6 0 0 1 0 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 1 0 0 1 9 0 0 0 0 7 0 0 1 0 0 0 5 1 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 1 0 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 9 0 0 0 6 8 0 0 1 0 1 0 0 0 2 9 0 0 0 0 1 0 9 3 0 0 0 3 0 0 0 5 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 9 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 0 0 0 4 1 0 8 0 0 0 0 0 0 6 9 0 0 0 8 0 0 5 0 0 0 0 0 0 0 9 0 0 0 0 0 0 1 0 9 8 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 9 0 0 0 0 0 0 1 0 0 0 0 0 0 0 9 0 0 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 9 4 0 0 0 0 0 0 0 9 9 0 2 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 9 0 0 0 0 0 0 2 1 4 0 0 0 0 1 0 6 0 0 4 0 2 6 7 0 0 0 1 0 6 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 5 0 0 0 8 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 4 0 0 1 1 0 0 0 0 0 0 0 1 2 7 0 0 0 9 0 1 0 0 0 1 9 0 1 0 0 0 2 0 1 0 0 0 9 0 0 5 0 0 0 0 1 0 1 0 0 0 3 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 9 0 9 0 0 5 1 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 5 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 1 0 0 0 1 9 0 0 0 0 0 1 0 0 0 0 0 5 1 0 0 0 1 0 7 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 1 8 0 1 1 1 0 0 9 0 8 0 0 0 6 0 0 0 0 0 0 4 0 0 6 0 0 0 0 0 0 0 0 6 2 0 1 0 0 0 0 0 0 6 0 0 0 9 0 0 6 1 0 0 9 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 2 6 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 1 0 0 0 0 0 1 0 1 9 0 0 0 0 0 7 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 7 0 0 0 0 0 0 0 0 5 0 0 0 9 8 2 0 0 0 0 0 0 0 0 1 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 8 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 3 0 1 0 9 0 5 0 0 0 0 0 0 7 0 0 0 0 7 0 0 0 5 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 9 0 0 1 9 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 2 6 0 0 5 0 4 0 0 1 0 3 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 5 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 9 0 0 0 0 0 0 0 7 8 0 0 0 0 0 0 0 8 7 0 0 9 9 1 1 0 0 5 0 1 5 1 0 9 4 9 0 0 0 1 0 0 0 0 0 4 0 0 7 0 2 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 6 0 0 1 0 0 0 0 1 180 184 156 136 184 188 120 64 148 204 68 32 156 84 88 52 24 188 88 104 208 64 108 36 256 192 12 192 40 172 200 360 316 224 144 116 288 268 276 208 56 36 68 148 172 32 44 120 308 44 352 116 200 64 156 208 356 68 132 264 288 316 268 308 136 24 4 44 104 116 104 248 156 68 108 60 60 104 160 116 172 40 132 76 180 12 52 28 36 248 264 112 204 252 60 348 224 240 148 260 328 20 80 212 20 56 168 316 252 200 20 60 16 296 88 260 160 20 76 24 64 28 16 240 252 232 84 148 292 248 304 240 12 136 196 288 152 192 44 372 360 296 36 48 12 44 112 20 232 188 356 184 8 224 36 68 144 136 136 56 76 36 240 140 136 68 196 200 92 180 16 236 40 200 88 44 44 168 116 156 104 52 72 188 80 88 36 144 52 212 84 248 152 252 212 88 152 156 136 24 84 232 96 136 224 48 264 212 148 156 84 136 88 52 144 12 112 292 108 140 188 380 244 296 24 24 324 136 180 52 68 76 44 108 148 156 32 116 72 16 52 68 36 72 60 236 64 52 196 104 16 72 84 56 320 36 168 112 256 372 60 188 316 20 324 248 136 136 184 148 100 92 220 244 248 268 256 248 204 240 68 88 20 12 116 252 236 96 132 96 236 32 148 220 304 108 100 296 56 316 292 160 88 104 60 44 84 72 96 64 16 276 100 60 88 40 148 40 108 144 108 64 32 132 144 232 296 136 296 184 216 104 132 220 52 196 80 28 56 264 224 148 180 180 112 204 160 44 112 92 196 180 156 216 176 136 64 32 180 260 164 380 148 104 212 4 32 140 100 44 184 88 148 216 316 220 88 92 56 56 256 68 100 152 300 48 164 144 80 296 280 192 92 276 152 164 0 20 52 256 212 236 84 52 356 152 284 96 320 264 164 56 192 324 56 312 72 224 232 336 340 256 356 124 204 412 356 244 260 72 296 140 20 28 92 92 28 216 148 160 28 80 68 40 128 216 104 96 92 128 276 12 264 300 296 376 32 272 304 112 148 172 204 28 196 124 344 16 36 28 180 176 100 48 44 88 176 196 108 248 168 28 200 184 136 124 152 200 312 28 56 128 36 160 180 44 292 288 288 136 152 268 64 176 68 112 268 8 40 80 160 4 28 140 132 76 140 284 20 296 236 4 236 64 80 132 100 112 284 364 156 248 148 48 148 232 152 80 296 304 40 40 140 108 112 236 272 100 52 252 96 92 184 28 80 72 52 96 232 128 136 148 104 52 200 204 300 176 340 260 148 240 172 72 184 288 8 88 40 28 104 64 96 100 108 44 48 48 60 116 244 112 184 52 220 96 264 116 12 192 64 96 88 228 192 80 272 136 16 88 72 52 120 264 128 56 188 36 92 48 76 36 68 72 184 56 176 40 12 176 168 212 92 112 144 60 16 72 272 112 224 172 48 392 352 404 116 412 12 60 312 92 316 16 16 104 204 4 52 324 316 236 352 92 88 96 108 252 20 112 64 16 228 12 272 116 216 192 184 84 64 140 68 272 128 108 56 156 48 324 116 12 348 296 96 132 8 168 20 56 84 28 204 56 52 204 52 152 92 260 276 4 128 304 156 8 32 260 268 132 36 116 280 300 24 76 336 236 172 212 76 192 184 128 136 120 108 148 232 48 108 40 96 168 28 32 180 140 344 68 16 192 20 216 80 48 100 148 16 8 92 120 276 44 40 28 56 156 204 96 204 100 88 304 84 100 16 168 264 200 380 340 196 28 4 36 192 380 48 60 44 116 132 128 120 44 240 128 104 148 180 196 184 72 52 396 212 276 20 296 324 252 20 40 56 160 80 176 64 120 196 12 68 100 284 204 216 244 88 76 72 376 212 352 376 336 320 188 8 44 104 4 164 192 124 316 164 336 24 312 156 128 116 8 96 132 68 208 248 216 152 40 112 416 408 356 412 12 240 248 404 164 60 340 0 292 60 188 336 228 56 180 136 36 168 124 84 240 176 36 280 124 240 176 20 224 212 300 100 356 344 176 152 192 208 216 72 204 76 68 256 320 20 88 336 96 296 268 344 284 44 60 172 12 72 136 108 132 284 392 292 216 44 308 84 256 12 76 56 64 60 168 260 52 240 100 88 332 260 252 64 120 96 24 120 140 68 80 256 72 112 32 28 12 144 48 184 144 152 208 72 152 120 68 148 104 252 116 140 52 44 160 20 144 260 44 136 352 220 196 256 48 40 76 188 32 20 56 172 272 140 348 80 200 292 116 240 76 336 112 32 332 352 20 256 32 348 204 92 184 184 140 100 220 236 208 196 280 256 248 80 80 72 112 136 216 28 228 148 160 64 92 56 164 44 212 208 20 296 224 224 4 316 20 28 36 200 356 64 20 96 60 136 36 60 224 268 344 180 60 140 24 80 148 68 116 36 144 60 188 160 140 140 172 136 328 320 308 32 344 356 12 324 112 52 232 248 360 348 316 56 344 396 296 340 140 112 36 28 20 244 288 184 140 76 100 4 192 32 36 120 60 40 228 344 148 140 128 20 112 284 80 136 212 88 168 24 76 100 152 300 264 80 100 120 96 288 84 44 76 28 48 136 312 208 356 108 220 68 104 216 56 168 48 44 140 184 184 276 72 188 8 336 16 248 228 120 36 84 144 252 180 288 76 80 316 20 92 44 8 60 52 136 64 144 32 20 248 292 20 292 292 44 96 240 244 24 148 188 128 80 96 268 8 256 328 276 44 92 28 256 96 284 56 60 204 164 300 80 232 284 216 52 180 72 28 116 48 148 176 364 84 8 152 140 52 144 88 160 100 304 268 224 48 176 68 8 52 160 232 136 212 40 36 208 160 52 176 96 100 52 292 224 344 48 380 124 132 56 56 220 308 200 88 44 28 48 168 24 124 44 36 28 280 136 332 72 84 164 104 144 172 264 92 188 88 136 104 224 80 148 232 136 124 104 116 76 208 268 220 196 172 368 48 204 84 272 44 212 260 244 264 96 360 44 52 228 40 104 52 96 36 80 132 104 60 76 324 56 108 112 152 180 84 312 36 116 164 44 204 84 60 236 212 216 208 72 272 60 24 48 216 320 136 52 112 32 120 156 124 44 184 32 76 224 72 240 64 48 76 88 132 304 72 148 200 152 72 152 320 304 176 212 304 228 168 44 264 60 8 44 108 252 228 140 224 40 168 324 
2520.03/2487.51	v 	</values>
2520.03/2487.51	v </instantiation>

Verifier Data 

OK	201697974

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299003-1532797140/watcher-4299003-1532797140 -o /tmp/evaluation-result-4299003-1532797140/solver-4299003-1532797140 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532774549-6745 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4299003-1532797140.xml --timelimit 2520 

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=9081, runsolver pid=9078

[startup+0.100058 s]*
/proc/loadavg: 1.74 1.87 1.86 4/218 9096
/proc/meminfo: memFree=26826532/32770624 swapFree=67108860/67108860
[pid=9081] ppid=9078 vsize=10658972 memory=27752 CPUtime=0.13 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9078 9081 6713 0 -1 1077944320 5290 0 0 0 12 1 0 0 20 0 15 0 97277199 10914787328 6938 33554432000 4194304 4196468 140731327962800 140731327945344 140107182726903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
/proc/9081/statm: 2664743 6938 2892 1 0 2627263 0
[pid=9081/tid=9083] ppid=9078 vsize=10658972 memory=-8485773889882985313 CPUtime=0.09 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) R 9078 9081 6713 0 -1 4202560 3106 0 0 0 9 0 0 0 20 0 15 0 97277199 10914787328 6938 33554432000 4194304 4196468 140731327962800 140107186959944 140107166770533 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9084] ppid=9078 vsize=10658972 memory=5793855235993983417 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277200 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106789477392 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9085] ppid=9078 vsize=10658972 memory=139984984090240 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277200 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106788424848 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9086] ppid=9078 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277200 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106787371792 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9087] ppid=9078 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9078 9081 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97277200 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106786319248 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9088] ppid=9078 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9078 9081 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97277202 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106742417648 140107182738050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9089] ppid=9078 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9078 9081 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97277202 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106741363872 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9090] ppid=9078 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9078 9081 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97277202 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106740310768 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9091] ppid=9078 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106739259344 140107182745499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9092] ppid=9078 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) R 9078 9081 6713 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 15 0 97277205 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106738198976 140107162641114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9093] ppid=9078 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) R 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106737155024 140107182737109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9094] ppid=9078 vsize=10658972 memory=139984984090240 CPUtime=0.02 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) R 9078 9081 6713 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 97277205 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106736099408 140107161275201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9095] ppid=9078 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106735049568 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9096] ppid=9078 vsize=10658972 memory=139984984090240 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9096/stat : 9096 (java) R 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277205 10914787328 6938 33554432000 4194304 4196468 140731327962800 140106733996592 140107182738050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27752 KiB

[startup+0.210649 s]*
/proc/loadavg: 1.74 1.87 1.86 4/218 9096
/proc/meminfo: memFree=26814252/32770624 swapFree=67108860/67108860
[pid=9081] ppid=9078 vsize=10661056 memory=40684 CPUtime=0.34 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9078 9081 6713 0 -1 1077944320 8257 0 0 0 33 1 0 0 20 0 15 0 97277199 10916921344 10171 33554432000 4194304 4196468 140731327962800 140731327945344 140107182726903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
/proc/9081/statm: 2665264 10171 2970 1 0 2627263 0
[pid=9081/tid=9083] ppid=9078 vsize=10661056 memory=-3103912127665269909 CPUtime=0.2 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) R 9078 9081 6713 0 -1 4202560 5109 0 0 0 19 1 0 0 20 0 15 0 97277199 10916921344 10171 33554432000 4194304 4196468 140731327962800 140107186963312 140107182748829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9084] ppid=9078 vsize=10661056 memory=4211973711188880778 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277200 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106789477392 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9085] ppid=9078 vsize=10661056 memory=139984984090240 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277200 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106788424848 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9086] ppid=9078 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277200 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106787371792 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9087] ppid=9078 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9078 9081 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97277200 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106786319248 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9088] ppid=9078 vsize=10661056 memory=139984984090240 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9078 9081 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97277202 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106742417648 140107182738050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9089] ppid=9078 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9078 9081 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97277202 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106741363872 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9090] ppid=9078 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9078 9081 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97277202 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106740310768 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9091] ppid=9078 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106739259344 140107182745499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9092] ppid=9078 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) R 9078 9081 6713 0 -1 4202560 581 0 0 0 3 0 0 0 20 0 15 0 97277205 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106738207568 140107167608833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9093] ppid=9078 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) R 9078 9081 6713 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 97277205 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106737154928 140107182738050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9094] ppid=9078 vsize=10661056 memory=139984984090240 CPUtime=0.09 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) R 9078 9081 6713 0 -1 4202560 948 0 0 0 9 0 0 0 20 0 15 0 97277205 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106736097824 140107161710628 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9095] ppid=9078 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106735049568 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9096] ppid=9078 vsize=10661056 memory=139984984090240 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9096/stat : 9096 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277205 10916921344 10171 33554432000 4194304 4196468 140731327962800 140106733996592 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40684 KiB

[startup+0.311002 s]*
/proc/loadavg: 1.74 1.87 1.86 4/218 9096
/proc/meminfo: memFree=26750956/32770624 swapFree=67108860/67108860
[pid=9081] ppid=9078 vsize=10661056 memory=110252 CPUtime=0.6 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9078 9081 6713 0 -1 1077944320 9793 0 0 0 56 4 0 0 20 0 15 0 97277199 10916921344 27563 33554432000 4194304 4196468 140731327962800 140731327945344 140107182726903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
/proc/9081/statm: 2665264 27563 3045 1 0 2627263 0
[pid=9081/tid=9083] ppid=9078 vsize=10661056 memory=279969724891376 CPUtime=0.3 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) R 9078 9081 6713 0 -1 4202560 5145 0 0 0 28 2 0 0 20 0 15 0 97277199 10916921344 27563 33554432000 4194304 4196468 140731327962800 140107186963312 140107182748829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9084] ppid=9078 vsize=10661056 memory=4211973711188880778 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277200 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106789477392 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9085] ppid=9078 vsize=10661056 memory=139984984092612 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277200 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106788424848 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9086] ppid=9078 vsize=10661056 memory=139984862554715 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277200 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106787371792 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9087] ppid=9078 vsize=10661056 memory=139984862559183 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9078 9081 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97277200 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106786319248 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9088] ppid=9078 vsize=10661056 memory=139984984096979 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9078 9081 6713 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97277202 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106742417648 140107182738050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9089] ppid=9078 vsize=10661056 memory=139984862559183 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9078 9081 6713 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97277202 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106741363872 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9090] ppid=9078 vsize=10661056 memory=279969725139088 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9078 9081 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97277202 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106740310768 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9091] ppid=9078 vsize=10661056 memory=279969725136784 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106739259344 140107182745499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9092] ppid=9078 vsize=10661056 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) R 9078 9081 6713 0 -1 4202560 1652 0 0 0 10 0 0 0 20 0 15 0 97277205 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106738188488 140107166137718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9093] ppid=9078 vsize=10661056 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9078 9081 6713 0 -1 1077944384 653 0 0 0 6 0 0 0 20 0 15 0 97277205 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106737154928 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9094] ppid=9078 vsize=10661056 memory=139984984090240 CPUtime=0.12 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9078 9081 6713 0 -1 1077944384 976 0 0 0 12 0 0 0 20 0 15 0 97277205 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106736101872 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9095] ppid=9078 vsize=10661056 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106735049568 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9096] ppid=9078 vsize=10661056 memory=139984984090240 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9096/stat : 9096 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277205 10916921344 27563 33554432000 4194304 4196468 140731327962800 140106733996592 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 110252 KiB

[startup+0.705576 s]
/proc/loadavg: 1.74 1.87 1.86 5/218 9096
/proc/meminfo: memFree=26554544/32770624 swapFree=67108860/67108860
[pid=9081] ppid=9078 vsize=10661056 memory=484088 CPUtime=1.73 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9078 9081 6713 0 -1 1077944320 13483 0 0 0 134 39 0 0 20 0 15 0 97277199 10916921344 121022 33554432000 4194304 4196468 140731327962800 140731327945344 140107182726903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
/proc/9081/statm: 2665264 121022 3089 1 0 2627263 0
[pid=9081/tid=9083] ppid=9078 vsize=10661056 memory=5484 CPUtime=0.53 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) S 9078 9081 6713 0 -1 1077944384 5177 0 0 0 47 6 0 0 20 0 15 0 97277199 10916921344 121022 33554432000 4194304 4196468 140731327962800 140107186966160 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9084] ppid=9078 vsize=10661056 memory=1444 CPUtime=0.14 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) R 9078 9081 6713 0 -1 4202560 360 0 0 0 6 8 0 0 20 0 15 0 97277200 10916921344 121022 33554432000 4194304 4196468 140731327962800 140106789477392 140107175829882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9085] ppid=9078 vsize=10661056 memory=1160 CPUtime=0.11 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) R 9078 9081 6713 0 -1 4202560 387 0 0 0 5 6 0 0 20 0 15 0 97277200 10916921344 121022 33554432000 4194304 4196468 140731327962800 140106788425048 140107175826603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9086] ppid=9078 vsize=10661056 memory=6297835844906604903 CPUtime=0.11 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) R 9078 9081 6713 0 -1 4202560 401 0 0 0 4 7 0 0 20 0 15 0 97277200 10916921344 121022 33554432000 4194304 4196468 140731327962800 140106787371992 140107175829620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9087] ppid=9078 vsize=10661056 memory=7453282923411170919 CPUtime=0.14 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) R 9078 9081 6713 0 -1 4202560 269 0 0 0 6 8 0 0 20 0 15 0 97277200 10916921344 121022 33554432000 4194304 4196468 140731327962800 140106786319136 140107175829889 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9088] ppid=9078 vsize=10661056 memory=6220993253238723945 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9078 9081 6713 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 97277202 10916921344 121534 33554432000 4194304 4196468 140731327962800 140106742416192 140107182737109 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9089] ppid=9078 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9078 9081 6713 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97277202 10916921344 121534 33554432000 4194304 4196468 140731327962800 140106741363872 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9090] ppid=9078 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9078 9081 6713 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97277202 10916921344 121534 33554432000 4194304 4196468 140731327962800 140106740310768 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9091] ppid=9078 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916921344 121534 33554432000 4194304 4196468 140731327962800 140106739259344 140107182745499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9092] ppid=9078 vsize=10661056 memory=36 CPUtime=0.31 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) S 9078 9081 6713 0 -1 1077944384 2851 0 0 0 31 0 0 0 20 0 15 0 97277205 10916921344 121534 33554432000 4194304 4196468 140731327962800 140106738207472 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9093] ppid=9078 vsize=10661056 memory=3 CPUtime=0.19 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9078 9081 6713 0 -1 1077944384 1572 0 0 0 19 0 0 0 20 0 15 0 97277205 10916921344 121534 33554432000 4194304 4196468 140731327962800 140106737154928 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9094] ppid=9078 vsize=10661056 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9078 9081 6713 0 -1 1077944384 1013 0 0 0 13 0 0 0 20 0 15 0 97277205 10916921344 121534 33554432000 4194304 4196468 140731327962800 140106736101872 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9095] ppid=9078 vsize=10661056 memory=279969725316080 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916921344 121534 33554432000 4194304 4196468 140731327962800 140106735049568 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9096] ppid=9078 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9096/stat : 9096 (java) S 9078 9081 6713 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97277205 10916921344 121534 33554432000 4194304 4196468 140731327962800 140106733996592 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 484088 KiB

[startup+1.50077 s]
/proc/loadavg: 1.74 1.87 1.86 4/218 9096
/proc/meminfo: memFree=26359380/32770624 swapFree=67108860/67108860
[pid=9081] ppid=9078 vsize=10661132 memory=733628 CPUtime=4.18 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9078 9081 6713 0 -1 1077944320 16481 0 0 0 360 58 0 0 20 0 15 0 97277199 10916999168 183407 33554432000 4194304 4196468 140731327962800 140731327945344 140107182726903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
/proc/9081/statm: 2665283 183407 3148 1 0 2627263 0
[pid=9081/tid=9083] ppid=9078 vsize=10661132 memory=640980 CPUtime=1.21 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) R 9078 9081 6713 0 -1 4202560 5570 0 0 0 113 8 0 0 20 0 15 0 97277199 10916999168 183407 33554432000 4194304 4196468 140731327962800 140107186964224 140106816365250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9084] ppid=9078 vsize=10661132 memory=279969725202176 CPUtime=0.24 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9078 9081 6713 0 -1 1077944384 492 0 0 0 12 12 0 0 20 0 15 0 97277200 10916999168 183407 33554432000 4194304 4196468 140731327962800 140106789477392 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9085] ppid=9078 vsize=10661132 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9078 9081 6713 0 -1 1077944384 445 0 0 0 10 10 0 0 20 0 15 0 97277200 10916999168 183407 33554432000 4194304 4196468 140731327962800 140106788424848 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9086] ppid=9078 vsize=10661132 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9078 9081 6713 0 -1 1077944384 572 0 0 0 11 11 0 0 20 0 15 0 97277200 10916999168 183407 33554432000 4194304 4196468 140731327962800 140106787371792 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9087] ppid=9078 vsize=10661132 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9078 9081 6713 0 -1 1077944384 445 0 0 0 13 12 0 0 20 0 15 0 97277200 10916999168 183407 33554432000 4194304 4196468 140731327962800 140106786319248 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9088] ppid=9078 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9078 9081 6713 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 97277202 10916999168 183407 33554432000 4194304 4196468 140731327962800 140106742417648 140107182738050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0

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

/proc/9081/task/9083/stat : 9083 (java) R 9078 9081 6713 0 -1 4202560 470319 0 0 0 237236 102 0 0 20 0 15 0 97277199 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140107186963680 140106817711246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9084] ppid=9078 vsize=10661132 memory=7503900 CPUtime=8.38 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9078 9081 6713 0 -1 1077944384 17610 0 0 0 735 103 0 0 20 0 15 0 97277200 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106789477392 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9085] ppid=9078 vsize=10661132 memory=7489236 CPUtime=8.34 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9078 9081 6713 0 -1 1077944384 17509 0 0 0 734 100 0 0 20 0 15 0 97277200 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106788424848 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9086] ppid=9078 vsize=10661132 memory=7489236 CPUtime=8.36 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9078 9081 6713 0 -1 1077944384 16097 0 0 0 738 98 0 0 20 0 15 0 97277200 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106787371792 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9087] ppid=9078 vsize=10661132 memory=7489236 CPUtime=8.39 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9078 9081 6713 0 -1 1077944384 15084 0 0 0 738 101 0 0 20 0 15 0 97277200 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106786319248 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9088] ppid=9078 vsize=10661132 memory=15864 CPUtime=0.52 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9078 9081 6713 0 -1 1077944384 12928 0 0 0 47 5 0 0 20 0 15 0 97277202 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106742417648 140107182738050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9089] ppid=9078 vsize=10661132 memory=7489236 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9078 9081 6713 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 97277202 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106741363872 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9090] ppid=9078 vsize=10661132 memory=7489236 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9078 9081 6713 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 97277202 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106740310768 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9091] ppid=9078 vsize=10661132 memory=7489236 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106739259344 140107182745499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9092] ppid=9078 vsize=10661132 memory=3560 CPUtime=2.42 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) S 9078 9081 6713 0 -1 1077944384 11469 0 0 0 240 2 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106738207472 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9093] ppid=9078 vsize=10661132 memory=7489236 CPUtime=2.82 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9078 9081 6713 0 -1 1077944384 13966 0 0 0 280 2 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106737154928 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9094] ppid=9078 vsize=10661132 memory=3560 CPUtime=0.67 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9078 9081 6713 0 -1 1077944384 8778 0 0 0 66 1 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106736101872 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9095] ppid=9078 vsize=10661132 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106735049568 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9096] ppid=9078 vsize=10661132 memory=1720 CPUtime=1.39 cores=1,3,5,7
/proc/9081/task/9096/stat : 9096 (java) S 9078 9081 6713 0 -1 1077944384 2383 0 0 0 66 73 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106733996592 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
Current children cumulated CPU time: 2414.75 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 7489236 KiB

[startup+2442.3 s]
/proc/loadavg: 1.81 1.71 1.71 3/218 9197
/proc/meminfo: memFree=19469500/32770624 swapFree=67108860/67108860
[pid=9081] ppid=9078 vsize=10661132 memory=7489236 CPUtime=2474.79 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9078 9081 6713 0 -1 1077944320 591896 0 0 0 246901 578 0 0 20 0 15 0 97277199 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140731327945344 140107182726903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
/proc/9081/statm: 2665283 1872309 3203 1 0 2627263 0
[pid=9081/tid=9083] ppid=9078 vsize=10661132 memory=1224 CPUtime=2433.38 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) R 9078 9081 6713 0 -1 4202560 474520 0 0 0 243235 103 0 0 20 0 15 0 97277199 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140107186968176 140106822888360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9084] ppid=9078 vsize=10661132 memory=7489236 CPUtime=8.38 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9078 9081 6713 0 -1 1077944384 17610 0 0 0 735 103 0 0 20 0 15 0 97277200 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106789477392 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9085] ppid=9078 vsize=10661132 memory=7489236 CPUtime=8.34 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9078 9081 6713 0 -1 1077944384 17509 0 0 0 734 100 0 0 20 0 15 0 97277200 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106788424848 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9086] ppid=9078 vsize=10661132 memory=7489236 CPUtime=8.36 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9078 9081 6713 0 -1 1077944384 16097 0 0 0 738 98 0 0 20 0 15 0 97277200 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106787371792 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9087] ppid=9078 vsize=10661132 memory=7489236 CPUtime=8.39 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9078 9081 6713 0 -1 1077944384 15084 0 0 0 738 101 0 0 20 0 15 0 97277200 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106786319248 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9088] ppid=9078 vsize=10661132 memory=7489236 CPUtime=0.52 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9078 9081 6713 0 -1 1077944384 12946 0 0 0 47 5 0 0 20 0 15 0 97277202 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106742417648 140107182738050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9089] ppid=9078 vsize=10661132 memory=7489236 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9078 9081 6713 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 97277202 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106741363872 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9090] ppid=9078 vsize=10661132 memory=7489236 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9078 9081 6713 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 97277202 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106740310768 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9091] ppid=9078 vsize=10661132 memory=3560 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106739259344 140107182745499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9092] ppid=9078 vsize=10661132 memory=7489236 CPUtime=2.42 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) S 9078 9081 6713 0 -1 1077944384 11478 0 0 0 240 2 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106738207472 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9093] ppid=9078 vsize=10661132 memory=7489236 CPUtime=2.82 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9078 9081 6713 0 -1 1077944384 13969 0 0 0 280 2 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106737154928 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9094] ppid=9078 vsize=10661132 memory=3560 CPUtime=0.67 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9078 9081 6713 0 -1 1077944384 8782 0 0 0 66 1 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106736101872 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9095] ppid=9078 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106735049568 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9096] ppid=9078 vsize=10661132 memory=7489236 CPUtime=1.43 cores=1,3,5,7
/proc/9081/task/9096/stat : 9096 (java) S 9078 9081 6713 0 -1 1077944384 2455 0 0 0 68 75 0 0 20 0 15 0 97277205 10916999168 1872309 33554432000 4194304 4196468 140731327962800 140106733996592 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
Current children cumulated CPU time: 2474.79 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 7489236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2487.5 s]
/proc/loadavg: 2.16 1.82 1.75 3/219 9285
/proc/meminfo: memFree=19302632/32770624 swapFree=67108860/67108860
[pid=9081] ppid=9078 vsize=10661132 memory=7489244 CPUtime=2520.03 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9078 9081 6713 0 -1 1077944320 596437 0 0 0 251423 580 0 0 20 0 15 0 97277199 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140731327945344 140107182726903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
/proc/9081/statm: 2665283 1872311 3203 1 0 2627263 0
[pid=9081/tid=9083] ppid=9078 vsize=10661132 memory=7489244 CPUtime=2478.58 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) R 9078 9081 6713 0 -1 4202560 477629 0 0 0 247754 104 0 0 20 0 15 0 97277199 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140107186968176 140106817711296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9084] ppid=9078 vsize=10661132 memory=7489244 CPUtime=8.38 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9078 9081 6713 0 -1 1077944384 17610 0 0 0 735 103 0 0 20 0 15 0 97277200 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106789477392 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9085] ppid=9078 vsize=10661132 memory=7489244 CPUtime=8.34 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9078 9081 6713 0 -1 1077944384 17509 0 0 0 734 100 0 0 20 0 15 0 97277200 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106788424848 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9086] ppid=9078 vsize=10661132 memory=3236 CPUtime=8.36 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9078 9081 6713 0 -1 1077944384 16097 0 0 0 738 98 0 0 20 0 15 0 97277200 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106787371792 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9087] ppid=9078 vsize=10661132 memory=12040 CPUtime=8.39 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9078 9081 6713 0 -1 1077944384 15084 0 0 0 738 101 0 0 20 0 15 0 97277200 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106786319248 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9088] ppid=9078 vsize=10661132 memory=1696 CPUtime=0.52 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9078 9081 6713 0 -1 1077944384 12986 0 0 0 47 5 0 0 20 0 15 0 97277202 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106742417648 140107182738050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9089] ppid=9078 vsize=10661132 memory=828 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9078 9081 6713 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 97277202 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106741363872 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9090] ppid=9078 vsize=10661132 memory=7489244 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9078 9081 6713 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 97277202 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106740310768 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9091] ppid=9078 vsize=10661132 memory=7489244 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106739259344 140107182745499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9092] ppid=9078 vsize=10661132 memory=3560 CPUtime=2.43 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) S 9078 9081 6713 0 -1 1077944384 12378 0 0 0 241 2 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106738207472 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9093] ppid=9078 vsize=10661132 memory=7489244 CPUtime=2.82 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9078 9081 6713 0 -1 1077944384 13986 0 0 0 280 2 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106737154928 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9094] ppid=9078 vsize=10661132 memory=3560 CPUtime=0.67 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9078 9081 6713 0 -1 1077944384 9208 0 0 0 66 1 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106736101872 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9095] ppid=9078 vsize=10661132 memory=7489244 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106735049568 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9096] ppid=9078 vsize=10661132 memory=3560 CPUtime=1.45 cores=1,3,5,7
/proc/9081/task/9096/stat : 9096 (java) S 9078 9081 6713 0 -1 1077944384 2504 0 0 0 69 76 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106733996592 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 7489244 KiB

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

[startup+2487.56 s]
# the end of solver process 9081 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.28 s, system=5.83313 s

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

[startup+2487.5 s]
/proc/loadavg: 2.16 1.82 1.75 3/219 9285
/proc/meminfo: memFree=19302632/32770624 swapFree=67108860/67108860
[pid=9081] ppid=9078 vsize=10661132 memory=7489244 CPUtime=2520.03 cores=1,3,5,7
/proc/9081/stat : 9081 (java) S 9078 9081 6713 0 -1 1077944320 596437 0 0 0 251423 580 0 0 20 0 15 0 97277199 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140731327945344 140107182726903 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
/proc/9081/statm: 2665283 1872311 3203 1 0 2627263 0
[pid=9081/tid=9083] ppid=9078 vsize=10661132 memory=7489244 CPUtime=2478.58 cores=1,3,5,7
/proc/9081/task/9083/stat : 9083 (java) R 9078 9081 6713 0 -1 4202560 477629 0 0 0 247754 104 0 0 20 0 15 0 97277199 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140107186968176 140106817711296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9084] ppid=9078 vsize=10661132 memory=7489244 CPUtime=8.38 cores=1,3,5,7
/proc/9081/task/9084/stat : 9084 (java) S 9078 9081 6713 0 -1 1077944384 17610 0 0 0 735 103 0 0 20 0 15 0 97277200 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106789477392 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9085] ppid=9078 vsize=10661132 memory=7489244 CPUtime=8.34 cores=1,3,5,7
/proc/9081/task/9085/stat : 9085 (java) S 9078 9081 6713 0 -1 1077944384 17509 0 0 0 734 100 0 0 20 0 15 0 97277200 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106788424848 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9086] ppid=9078 vsize=10661132 memory=3236 CPUtime=8.36 cores=1,3,5,7
/proc/9081/task/9086/stat : 9086 (java) S 9078 9081 6713 0 -1 1077944384 16097 0 0 0 738 98 0 0 20 0 15 0 97277200 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106787371792 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9087] ppid=9078 vsize=10661132 memory=12040 CPUtime=8.39 cores=1,3,5,7
/proc/9081/task/9087/stat : 9087 (java) S 9078 9081 6713 0 -1 1077944384 15084 0 0 0 738 101 0 0 20 0 15 0 97277200 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106786319248 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9088] ppid=9078 vsize=10661132 memory=1696 CPUtime=0.52 cores=1,3,5,7
/proc/9081/task/9088/stat : 9088 (java) S 9078 9081 6713 0 -1 1077944384 12986 0 0 0 47 5 0 0 20 0 15 0 97277202 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106742417648 140107182738050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9089] ppid=9078 vsize=10661132 memory=828 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9089/stat : 9089 (java) S 9078 9081 6713 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 97277202 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106741363872 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9090] ppid=9078 vsize=10661132 memory=7489244 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9090/stat : 9090 (java) S 9078 9081 6713 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 97277202 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106740310768 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9091] ppid=9078 vsize=10661132 memory=7489244 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9091/stat : 9091 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106739259344 140107182745499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9092] ppid=9078 vsize=10661132 memory=3560 CPUtime=2.43 cores=1,3,5,7
/proc/9081/task/9092/stat : 9092 (java) S 9078 9081 6713 0 -1 1077944384 12378 0 0 0 241 2 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106738207472 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9093] ppid=9078 vsize=10661132 memory=7489244 CPUtime=2.82 cores=1,3,5,7
/proc/9081/task/9093/stat : 9093 (java) S 9078 9081 6713 0 -1 1077944384 13986 0 0 0 280 2 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106737154928 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9094] ppid=9078 vsize=10661132 memory=3560 CPUtime=0.67 cores=1,3,5,7
/proc/9081/task/9094/stat : 9094 (java) S 9078 9081 6713 0 -1 1077944384 9208 0 0 0 66 1 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106736101872 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9095] ppid=9078 vsize=10661132 memory=7489244 CPUtime=0 cores=1,3,5,7
/proc/9081/task/9095/stat : 9095 (java) S 9078 9081 6713 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106735049568 140107182737109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
[pid=9081/tid=9096] ppid=9078 vsize=10661132 memory=3560 CPUtime=1.45 cores=1,3,5,7
/proc/9081/task/9096/stat : 9096 (java) S 9078 9081 6713 0 -1 1077944384 2504 0 0 0 69 76 0 0 20 0 15 0 97277205 10916999168 1872311 33554432000 4194304 4196468 140731327962800 140106733996592 140107182738050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33665024 140731327964280 140731327964425 140731327964425 140731327967183 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 7489244 KiB

Child status: 143
Real time (s): 2487.56
CPU time (s): 2520.11
CPU user time (s): 2514.28
CPU system time (s): 5.83313
CPU usage (%): 101.309
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 7566056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.28
system time used= 5.83312
maximum resident set size= 7566056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 598328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57481
involuntary context switches= 1771


# summary of solver processes directly reported to runsolver:
#   pid: 9081
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2514.28
#   total CPU system time (s): 5.83313

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0643 second user time and 24.0854 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-28 18:59:00
IDJOB=4299003
IDBENCH=141281
IDSOLVER=2768
FILE ID=node135/4299003-1532797140
RUNJOBID= node135-1532774549-6745
PBS_JOBID= 21022460
Free space on /tmp= 48184 MiB

SOLVER NAME= The dodo solver 2018-04-29
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-02-0250_c18.xml
COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299003-1532797140/watcher-4299003-1532797140 -o /tmp/evaluation-result-4299003-1532797140/solver-4299003-1532797140 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532774549-6745 --watchdog 2580  java -jar HOME/dodo_solver.jar HOME/instance-4299003-1532797140.xml --timelimit 2520

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

MD5SUM BENCH= 24bf88c1c49a1faaa01f312934ed4415
RANDOM SEED=782721627

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:        26842528 kB
MemAvailable:   31643272 kB
Buffers:          198340 kB
Cached:          4835320 kB
SwapCached:            0 kB
Active:          2119616 kB
Inactive:        3255784 kB
Active(anon):     292880 kB
Inactive(anon):    76932 kB
Active(file):    1826736 kB
Inactive(file):  3178852 kB
Unevictable:        7212 kB
Mlocked:            7212 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            184956 kB
Writeback:             0 kB
AnonPages:        349084 kB
Mapped:            54408 kB
Shmem:             25248 kB
Slab:             249976 kB
SReclaimable:     221984 kB
SUnreclaim:        27992 kB
KernelStack:        3552 kB
PageTables:         5804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1243004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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= 48184 MiB
End job on node135 at 2018-07-28 19:40:28