Trace number 4291914

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-07-02SAT (TO)182404513 2400.1 2358.47

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-07-opt_c18.xml
MD5SUMba4df16e86f19a26142e39b1a48414c8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5249896
Best CPU time to get the best result obtained on this benchmark2400.22
Satisfiable
(Un)Satisfiability was proved
Number of variables3065
Number of constraints2865
Number of domains7
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2665},{"size":22,"count":8},{"size":36,"count":184},{"size":44,"count":208}]
Minimum variable degree2
Maximum variable degree62
Distribution of variable degrees[{"degree":2,"count":2665},{"degree":3,"count":15},{"degree":4,"count":8},{"degree":5,"count":34},{"degree":6,"count":11},{"degree":7,"count":34},{"degree":8,"count":5},{"degree":9,"count":45},{"degree":10,"count":18},{"degree":11,"count":11},{"degree":12,"count":7},{"degree":13,"count":30},{"degree":14,"count":10},{"degree":15,"count":31},{"degree":16,"count":5},{"degree":17,"count":26},{"degree":18,"count":5},{"degree":19,"count":13},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":7},{"degree":25,"count":5},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":2665}]
Number of extensional constraints0
Number of intensional constraints2865
Distribution of constraint types[{"type":"intension","count":2865}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.67/0.57	c version: 2018-07-02
0.67/0.57	c seed: 693693537
0.67/0.57	c timeout: 2400
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.59	c Parsing instance...
80.81/58.96	c Parsing done, starting search...
1414.97/1381.24	o 199495718
1414.97/1381.24	o 199485718
1414.97/1381.25	o 199475718
1414.97/1381.25	o 199475618
1414.97/1381.26	o 199465618
1414.97/1381.26	o 199465518
1414.97/1381.27	o 199465517
1414.97/1381.28	o 199465516
1414.97/1381.28	o 199465416
1414.97/1381.29	o 198475416
1415.20/1381.33	o 198475319
1415.20/1381.34	o 198475318
1415.20/1381.34	o 198475317
1415.20/1381.34	o 198475316
1415.20/1381.35	o 198475217
1415.20/1381.36	o 198475216
1415.20/1381.36	o 197475216
1415.20/1381.39	o 197475116
1415.20/1381.39	o 197465116
1415.20/1381.40	o 197455116
1415.20/1381.40	o 197455016
1415.35/1381.41	o 197435016
1415.35/1381.43	o 197435015
1415.35/1381.43	o 196435015
1415.61/1381.50	o 195425015
1415.74/1381.66	o 194435016
1415.74/1381.66	o 194435015
1415.74/1381.66	o 194425015
1415.74/1381.68	o 194415015
1415.89/1381.78	o 194415014
1415.99/1381.84	o 193404914
1416.20/1382.08	o 191404813
1416.40/1382.22	o 191404713
1416.50/1382.34	o 189434813
1416.80/1382.63	o 189424814
1416.80/1382.63	o 189424813
1416.80/1382.63	o 189424713
1416.80/1382.66	o 189424712
1416.80/1382.70	o 189404712
1417.10/1382.80	o 187414614
1417.65/1383.26	o 186424614
1417.75/1383.36	o 186424613
1417.85/1383.46	o 186414614
1418.66/1384.21	o 185424612
1419.16/1384.76	o 185424611
1421.36/1386.98	o 185414612
1434.37/1399.90	o 185414611
1434.37/1399.90	o 185414610
1434.37/1399.91	o 185404614
1467.60/1433.12	o 184444610
1468.09/1433.63	o 184444609
1468.99/1434.58	o 184434610
1469.50/1435.10	o 184434609
1469.50/1435.10	o 184434510
1474.52/1439.93	o 184434509
1474.52/1439.94	o 184424513
1478.73/1444.18	o 184414510
1482.52/1447.93	o 184404512
1482.63/1448.01	o 184394513
1492.52/1457.99	o 183404513
1507.23/1472.59	o 182404513
2400.02/2358.40	s SATISFIABLE
2400.02/2358.41	v <instantiation>
2400.02/2358.41	v 	<list>
2400.02/2358.41	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792]
2400.02/2358.41	v 	</list>
2400.02/2358.41	v 	<values>
2400.02/2358.41	v 		484 722 442 680 72 310 652 414 498 736 16 254 778 540 268 30 414 652 652 414 394 156 16 254 156 394 338 100 666 428 352 114 30 268 58 296 44 282 142 380 254 16 352 114 310 72 666 428 554 792 366 128 86 324 324 86 792 554 268 30 72 310 540 778 778 540 380 142 114 352 540 778 764 526 666 428 666 428 554 792 540 778 456 694 484 722 512 750 380 142 428 666 30 268 652 414 324 86 100 338 142 380 310 72 324 86 44 282 470 708 792 554 722 484 142 380 414 652 142 380 736 498 540 778 792 554 442 680 324 86 156 394 16 254 44 282 310 72 470 708 470 708 428 666 310 72 128 366 722 484 708 470 442 680 296 58 352 114 470 708 268 30 142 380 512 750 324 86 44 282 128 366 282 44 44 282 498 736 428 666 58 296 282 44 380 142 254 16 428 666 778 540 484 722 72 310 764 526 380 142 470 708 324 86 282 44 268 30 484 722 652 414 736 498 778 540 58 296 428 666 44 282 470 708 498 736 282 44 268 30 694 456 722 484 666 428 44 282 128 366 652 414 338 100 282 44 442 680 310 72 86 324 526 764 352 114 750 512 666 428 114 352 708 470 114 352 764 526 540 778 366 128 540 778 142 380 282 44 778 540 694 456 652 414 366 128 366 128 428 666 44 282 128 366 114 352 128 366 666 428 708 470 792 554 114 352 484 722 268 30 428 666 114 352 456 694 86 324 680 442 296 58 128 366 310 72 442 680 86 324 366 128 540 778 72 310 58 296 86 324 296 58 414 652 736 498 142 380 86 324 428 666 366 128 764 526 456 694 268 30 764 526 282 44 114 352 72 310 456 694 540 778 128 366 750 512 86 324 764 526 58 296 764 526 666 428 30 268 680 442 366 128 666 428 114 352 554 792 652 414 1000000 0 0 1000000 1000000 0 1000000 1000000 0 0 1000000 1000000 1000000 0 0 0 0 0 1000000 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 1000000 1000000 0 0 1000000 0 1000000 0 0 1000000 1000000 1000000 0 1000000 1000000 1000000 1000000 1000000 1000000 1000000 0 0 1000000 0 0 0 1000000 0 0 1000000 0 0 1000000 0 0 0 1000000 1000000 0 0 1000000 0 0 0 1000000 0 0 0 0 0 0 1000000 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 0 0 1000000 1000000 0 0 1000000 0 1000000 1000000 0 1000000 1000000 0 1000000 0 1000000 0 1000000 0 0 1000000 0 0 0 0 0 1000000 0 0 0 0 0 0 0 1000000 0 1000000 0 0 0 1000000 1000000 1000000 1000000 0 0 0 0 0 1000000 0 0 0 1000000 1000000 0 0 1000000 0 0 0 1000000 1000000 0 1000000 0 1000000 0 0 1000000 0 0 1000000 0 0 0 0 1000000 0 0 0 1000000 0 0 1000000 0 0 0 0 0 0 1000000 1000000 0 0 0 0 0 0 1000000 0 1000000 1000000 1000000 0 0 0 1000000 0 0 0 0 0 0 1000000 1000000 0 0 1000000 0 1000000 0 0 0 0 1000000 1000000 1000000 1000000 1000000 0 0 0 1000000 0 0 1000000 1000000 1000000 1000000 0 0 1000000 0 0 0 1000000 0 0 0 0 1000000 1000000 1000000 0 0 0 1000000 1000000 1000000 0 0 0 1000000 0 1000000 1000000 1000000 0 1000000 0 1000000 0 0 1000000 0 1000000 0 0 0 1000000 1000000 1000000 0 1000000 1000000 0 1000000 1000000 0 1000000 1000000 0 1000000 1000000 1000000 0 1000000 1000000 1000000 1000000 1000000 0 1000000 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 0 1000000 0 1000000 0 1000000 1000000 0 1000000 0 0 0 1000000 1000000 0 0 0 1000000 0 0 1000000 0 0 1000000 1000000 0 0 1000000 1000000 1000000 0 0 0 0 0 0 0 1000000 0 1000000 0 0 1000000 0 1000000 1000000 0 0 0 1000000 1000000 1000000 0 0 1000000 0 1000000 0 1000000 0 0 0 0 1000000 1000000 1000000 0 0 0 1000000 0 1000000 0 0 1000000 0 1000000 0 0 0 0 0 0 0 0 1000000 1000000 1000000 1000000 0 0 1000000 0 0 0 0 0 1000000 1000000 0 0 1000000 0 0 0 1000000 1000000 0 0 1000000 1000000 1000000 1000000 1000000 0 1000000 1000000 0 1000000 0 0 0 1000000 0 0 0 0 0 1000000 1000000 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 10000 10000 10000 0 10000 0 10000 10000 10000 0 10000 0 10000 0 0 10000 10000 10000 10000 0 10000 10000 10000 10000 0 10000 10000 10000 0 10000 0 0 0 10000 0 10000 0 10000 0 0 10000 0 0 0 0 0 0 10000 0 10000 0 0 0 0 0 0 10000 10000 10000 10000 10000 10000 0 0 0 0 0 10000 0 10000 0 0 0 0 10000 10000 0 10000 0 0 0 0 10000 10000 0 10000 0 10000 10000 0 0 10000 0 0 0 10000 0 0 10000 10000 10000 10000 10000 0 0 10000 0 0 10000 10000 0 0 10000 0 10000 10000 0 10000 0 10000 10000 0 0 0 0 0 10000 0 10000 0 0 10000 10000 0 10000 10000 10000 0 0 0 0 0 10000 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 10000 0 10000 10000 0 0 0 10000 10000 10000 10000 10000 10000 0 0 0 0 0 0 10000 0 10000 10000 10000 0 10000 10000 10000 10000 10000 0 10000 10000 0 10000 10000 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 0 10000 0 10000 10000 0 0 0 0 10000 0 10000 10000 0 10000 0 0 0 0 10000 10000 0 0 0 0 10000 0 0 0 10000 0 0 0 0 0 10000 0 0 0 0 0 10000 0 0 0 10000 0 0 0 0 0 0 10000 10000 10000 10000 0 0 10000 0 10000 0 0 10000 0 10000 0 10000 0 10000 0 10000 10000 0 10000 10000 10000 10000 0 0 0 10000 10000 10000 0 0 0 10000 10000 10000 0 10000 0 0 10000 10000 10000 0 10000 0 0 10000 10000 0 10000 0 10000 0 0 0 0 0 10000 10000 0 0 10000 0 0 0 10000 10000 0 0 10000 0 0 0 0 0 0 0 0 0 10000 0 10000 0 0 10000 0 0 0 10000 0 0 10000 10000 0 10000 0 0 10000 0 10000 10000 0 0 0 10000 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 10000 10000 0 0 0 0 10000 0 0 0 0 0 10000 10000 10000 0 0 0 0 10000 10000 10000 0 0 0 0 0 0 10000 10000 0 0 10000 0 0 0 0 0 0 10000 10000 10000 10000 10000 0 10000 10000 0 10000 10000 0 0 10000 10000 10000 0 0 0 10000 0 10000 10000 0 10000 0 10000 0 10000 0 0 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 10000 0 0 0 10000 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 10000 10000 10000 0 0 10000 10000 10000 10000 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 10000 10000 0 0 10000 0 0 0 10000 0 10000 0 0 10000 0 0 10000 0 0 0 10000 0 0 10000 10000 10000 0 10000 0 10000 10000 0 0 10000 10000 0 10000 10000 0 10000 10000 10000 10000 0 0 0 0 10000 10000 0 0 0 0 0 0 0 10000 10000 0 0 10000 0 0 10000 0 0 10000 0 10000 0 0 0 10000 10000 10000 0 10000 0 0 0 0 0 10000 10000 0 10000 10000 10000 0 0 10000 10000 10000 10000 0 0 0 0 0 10000 0 10000 10000 0 10000 10000 10000 0 10000 10000 0 0 10000 0 10000 10000 10000 10000 10000 0 10000 10000 0 10000 10000 10000 10000 10000 0 10000 10000 10000 0 10000 10000 10000 10000 10000 10000 0 10000 0 0 0 0 10000 0 0 0 10000 10000 0 0 0 0 0 10000 10000 0 0 0 0 10000 0 10000 0 0 0 0 0 10000 0 10000 10000 0 0 0 10000 0 0 0 10000 0 10000 10000 10000 0 0 0 10000 10000 10000 10000 0 0 10000 0 0 10000 0 10000 10000 10000 10000 0 0 10000 0 0 0 10000 10000 10000 0 10000 0 0 0 0 0 0 0 10000 0 0 0 0 10000 10000 0 0 10000 10000 10000 0 0 0 0 0 10000 10000 10000 0 10000 10000 0 10000 10000 0 0 0 10000 0 0 10000 0 0 0 10000 10000 10000 0 0 0 0 0 0 10000 0 0 0 0 0 0 10000 0 0 10000 10000 10000 0 0 10000 0 0 10000 0 0 0 0 0 10000 0 0 10000 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 100 0 0 0 100 0 100 100 100 0 100 100 0 0 0 0 100 0 0 100 100 100 0 0 0 0 0 0 100 100 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 0 0 100 100 0 100 100 0 0 0 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 100 100 100 100 0 0 100 100 0 100 100 0 100 0 0 0 100 0 0 100 100 0 100 100 0 100 0 0 0 0 100 100 100 0 100 100 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 100 0 100 100 0 100 100 100 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 100 0 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 100 100 100 0 0 0 100 0 0 0 0 100 0 100 100 100 0 0 100 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 100 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 100 0 100 0 100 100 100 0 100 100 0 0 100 0 0 0 0 100 100 0 0 100 0 100 100 100 0 100 100 0 0 100 0 100 100 100 0 0 100 100 0 0 0 100 0 0 0 100 0 0 100 0 0 100 100 0 0 100 100 0 0 100 0 0 0 100 0 100 100 0 0 0 0 0 100 100 100 0 100 100 100 100 100 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 100 0 0 100 100 100 100 100 100 100 0 100 100 0 0 100 0 0 0 0 100 0 0 100 0 100 100 100 100 0 0 100 0 100 100 100 100 0 0 0 100 0 0 100 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 100 100 0 100 0 100 0 0 100 0 100 0 0 100 0 0 100 0 0 0 0 100 0 100 0 100 100 100 0 100 100 100 0 100 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 100 100 100 100 100 0 0 100 100 0 0 100 0 100 100 100 100 100 100 0 100 0 100 0 100 100 100 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 100 0 100 100 0 0 0 100 0 0 0 0 100 100 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 
2400.02/2358.41	v 	</values>
2400.02/2358.41	v </instantiation>

Verifier Data

OK	182404513

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291914-1532275796/watcher-4291914-1532275796 -o /tmp/evaluation-result-4291914-1532275796/solver-4291914-1532275796 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532261510-1667 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 693693537 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291914-1532275796.xml 

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

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

solver pid=3200, runsolver pid=3197

[startup+0.100059 s]*
/proc/loadavg: 1.47 1.37 1.34 5/214 3215
/proc/meminfo: memFree=16513124/32770624 swapFree=67108860/67108860
[pid=3200] ppid=3197 vsize=14082740 memory=30240 CPUtime=0.12 cores=0,2,4,6
/proc/3200/stat : 3200 (java) S 3197 3200 1636 0 -1 1077944320 6482 0 0 0 11 1 0 0 20 0 15 0 45142745 14420725760 7560 33554432000 4194304 4196468 140724644778704 140724644761248 139774240218871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
/proc/3200/statm: 3520685 7560 3149 1 0 3482761 0
[pid=3200/tid=3202] ppid=3197 vsize=14082740 memory=4426656519297274771 CPUtime=0.08 cores=0,2,4,6
/proc/3200/task/3202/stat : 3202 (java) R 3197 3200 1636 0 -1 4202560 4503 0 0 0 8 0 0 0 20 0 15 0 45142745 14420725760 7560 33554432000 4194304 4196468 140724644778704 139774244421896 139774240240797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3203] ppid=3197 vsize=14082740 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3203/stat : 3203 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773836459152 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3204] ppid=3197 vsize=14082740 memory=140711851796096 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3204/stat : 3204 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773835406352 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3205] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3205/stat : 3205 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773834353552 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3206] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3206/stat : 3206 (java) S 3197 3200 1636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773833300752 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3207] ppid=3197 vsize=14082740 memory=140711851796096 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3207/stat : 3207 (java) S 3197 3200 1636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45142747 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773580609904 139774240230018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3208] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3208/stat : 3208 (java) S 3197 3200 1636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45142748 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773579555872 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3209] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3209/stat : 3209 (java) S 3197 3200 1636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45142748 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773578503024 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3210] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3210/stat : 3210 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773577451344 139774240237467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3211] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3211/stat : 3211 (java) S 3197 3200 1636 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773576399728 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3212] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3212/stat : 3212 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773575346928 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3213] ppid=3197 vsize=14082740 memory=140711851796096 CPUtime=0.01 cores=0,2,4,6
/proc/3200/task/3213/stat : 3213 (java) S 3197 3200 1636 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 15 0 45142750 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773574294128 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3214] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3214/stat : 3214 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773573241568 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3215] ppid=3197 vsize=14082740 memory=140711851796096 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3215/stat : 3215 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 7560 33554432000 4194304 4196468 140724644778704 139773572188848 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30240 KiB

[startup+0.210476 s]*
/proc/loadavg: 1.47 1.37 1.34 7/214 3215
/proc/meminfo: memFree=16491096/32770624 swapFree=67108860/67108860
[pid=3200] ppid=3197 vsize=14082740 memory=46308 CPUtime=0.3 cores=0,2,4,6
/proc/3200/stat : 3200 (java) S 3197 3200 1636 0 -1 1077944320 10179 0 0 0 27 3 0 0 20 0 15 0 45142745 14420725760 11577 33554432000 4194304 4196468 140724644778704 140724644761248 139774240218871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
/proc/3200/statm: 3520685 11577 3370 1 0 3482761 0
[pid=3200/tid=3202] ppid=3197 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/3200/task/3202/stat : 3202 (java) R 3197 3200 1636 0 -1 4202560 7846 0 0 0 18 2 0 0 20 0 15 0 45142745 14420725760 11577 33554432000 4194304 4196468 140724644778704 139774244445616 139774240240797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3203] ppid=3197 vsize=14082740 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3203/stat : 3203 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773836459152 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3204] ppid=3197 vsize=14082740 memory=288371088003507840 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3204/stat : 3204 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773835406352 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3205] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3205/stat : 3205 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773834353552 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3206] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3206/stat : 3206 (java) S 3197 3200 1636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773833300752 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3207] ppid=3197 vsize=14082740 memory=140711851796096 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3207/stat : 3207 (java) S 3197 3200 1636 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45142747 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773580609904 139774240230018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3208] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3208/stat : 3208 (java) S 3197 3200 1636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45142748 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773579555872 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3209] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3209/stat : 3209 (java) S 3197 3200 1636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45142748 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773578503024 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3210] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3210/stat : 3210 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773577451344 139774240237467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3211] ppid=3197 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3200/task/3211/stat : 3211 (java) R 3197 3200 1636 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 15 0 45142750 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773576386576 139774240229077 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3212] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3212/stat : 3212 (java) R 3197 3200 1636 0 -1 4202560 165 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773575347024 139774220919168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3213] ppid=3197 vsize=14082740 memory=140711851796096 CPUtime=0.05 cores=0,2,4,6
/proc/3200/task/3213/stat : 3213 (java) R 3197 3200 1636 0 -1 4202560 396 0 0 0 5 0 0 0 20 0 15 0 45142750 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773574294128 139774240230806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3214] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3214/stat : 3214 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773573241568 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3215] ppid=3197 vsize=14082740 memory=140711851796096 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3215/stat : 3215 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 11577 33554432000 4194304 4196468 140724644778704 139773572188848 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46308 KiB

[startup+0.31051 s]*
/proc/loadavg: 1.47 1.37 1.34 3/198 3215
/proc/meminfo: memFree=16673596/32770624 swapFree=67108860/67108860
[pid=3200] ppid=3197 vsize=14082740 memory=50004 CPUtime=0.44 cores=0,2,4,6
/proc/3200/stat : 3200 (java) S 3197 3200 1636 0 -1 1077944320 10646 0 0 0 41 3 0 0 20 0 15 0 45142745 14420725760 12501 33554432000 4194304 4196468 140724644778704 140724644761248 139774240218871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
/proc/3200/statm: 3520685 12501 3407 1 0 3482761 0
[pid=3200/tid=3202] ppid=3197 vsize=14082740 memory=5787221524047291200 CPUtime=0.3 cores=0,2,4,6
/proc/3200/task/3202/stat : 3202 (java) R 3197 3200 1636 0 -1 4202560 8177 0 0 0 28 2 0 0 20 0 15 0 45142745 14420725760 12501 33554432000 4194304 4196468 140724644778704 139774244404208 139774224299358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3203] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3203/stat : 3203 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773836459152 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3204] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3204/stat : 3204 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773835406352 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3205] ppid=3197 vsize=14082740 memory=30240 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3205/stat : 3205 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773834353552 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3206] ppid=3197 vsize=14082740 memory=4026532020 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3206/stat : 3206 (java) S 3197 3200 1636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45142746 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773833300752 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3207] ppid=3197 vsize=14082740 memory=327 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3207/stat : 3207 (java) S 3197 3200 1636 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45142747 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773580609904 139774240230018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3208] ppid=3197 vsize=14082740 memory=255587 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3208/stat : 3208 (java) S 3197 3200 1636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45142748 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773579555872 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3209] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3209/stat : 3209 (java) S 3197 3200 1636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45142748 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773578503024 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3210] ppid=3197 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3210/stat : 3210 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773577451344 139774240237467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3211] ppid=3197 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3200/task/3211/stat : 3211 (java) S 3197 3200 1636 0 -1 1077944384 437 0 0 0 3 0 0 0 20 0 15 0 45142750 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773576399728 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3212] ppid=3197 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3200/task/3212/stat : 3212 (java) S 3197 3200 1636 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 45142750 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773575346928 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3213] ppid=3197 vsize=14082740 memory=140711851796096 CPUtime=0.08 cores=0,2,4,6
/proc/3200/task/3213/stat : 3213 (java) S 3197 3200 1636 0 -1 1077944384 442 0 0 0 8 0 0 0 20 0 15 0 45142750 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773574294128 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3214] ppid=3197 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3214/stat : 3214 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773573241568 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3215] ppid=3197 vsize=14082740 memory=140711851796096 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3215/stat : 3215 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142750 14420725760 12501 33554432000 4194304 4196468 140724644778704 139773572188848 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50004 KiB

[startup+0.70072 s]
/proc/loadavg: 1.47 1.37 1.34 2/195 3234
/proc/meminfo: memFree=16690644/32770624 swapFree=67108860/67108860
[pid=3200] ppid=3197 vsize=14084808 memory=88172 CPUtime=0.99 cores=0,2,4,6
/proc/3200/stat : 3200 (java) S 3197 3200 1636 0 -1 1077944320 17380 0 0 0 94 5 0 0 20 0 15 0 45142745 14422843392 22043 33554432000 4194304 4196468 140724644778704 140724644761248 139774240218871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
/proc/3200/statm: 3521202 22043 3504 1 0 3483273 0
[pid=3200/tid=3202] ppid=3197 vsize=14084808 memory=1728 CPUtime=0.68 cores=0,2,4,6
/proc/3200/task/3202/stat : 3202 (java) R 3197 3200 1636 0 -1 4202560 14476 0 0 0 64 4 0 0 20 0 15 0 45142745 14422843392 22043 33554432000 4194304 4196468 140724644778704 139774244429744 139774224299358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3203] ppid=3197 vsize=14084808 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3203/stat : 3203 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773836459152 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3204] ppid=3197 vsize=14084808 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3204/stat : 3204 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773835406352 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3205] ppid=3197 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3205/stat : 3205 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142746 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773834353552 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3206] ppid=3197 vsize=14084808 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3206/stat : 3206 (java) S 3197 3200 1636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45142746 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773833300752 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3207] ppid=3197 vsize=14084808 memory=-1161699032755691872 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3207/stat : 3207 (java) S 3197 3200 1636 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45142747 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773580609904 139774240230018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3208] ppid=3197 vsize=14084808 memory=-2127766524055881815 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3208/stat : 3208 (java) S 3197 3200 1636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45142748 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773579555872 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3209] ppid=3197 vsize=14084808 memory=-7089604128532475175 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3209/stat : 3209 (java) S 3197 3200 1636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45142748 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773578503024 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3210] ppid=3197 vsize=14084808 memory=-7594308475190989358 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3210/stat : 3210 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773577451344 139774240237467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3211] ppid=3197 vsize=14084808 memory=-2247047206207641111 CPUtime=0.09 cores=0,2,4,6
/proc/3200/task/3211/stat : 3211 (java) S 3197 3200 1636 0 -1 1077944384 601 0 0 0 9 0 0 0 20 0 15 0 45142750 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773576399728 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3212] ppid=3197 vsize=14084808 memory=-2893623298589923098 CPUtime=0.05 cores=0,2,4,6
/proc/3200/task/3212/stat : 3212 (java) S 3197 3200 1636 0 -1 1077944384 369 0 0 0 5 0 0 0 20 0 15 0 45142750 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773575346928 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3213] ppid=3197 vsize=14084808 memory=6944656425123290226 CPUtime=0.15 cores=0,2,4,6
/proc/3200/task/3213/stat : 3213 (java) S 3197 3200 1636 0 -1 1077944384 553 0 0 0 15 0 0 0 20 0 15 0 45142750 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773574294128 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3214] ppid=3197 vsize=14084808 memory=920 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3214/stat : 3214 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773573241568 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3215] ppid=3197 vsize=14084808 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3215/stat : 3215 (java) S 3197 3200 1636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45142750 14422843392 22043 33554432000 4194304 4196468 140724644778704 139773572188848 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88172 KiB

[startup+1.51035 s]
/proc/loadavg: 1.47 1.37 1.34 5/215 3261
/proc/meminfo: memFree=16561488/32770624 swapFree=67108860/67108860
[pid=3200] ppid=3197 vsize=14086856 memory=219056 CPUtime=3.48 cores=0,2,4,6
/proc/3200/stat : 3200 (java) S 3197 3200 1636 0 -1 1077944320 25650 0 0 0 340 8 0 0 20 0 15 0 45142745 14424940544 54764 33554432000 4194304 4196468 140724644778704 140724644761248 139774240218871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
/proc/3200/statm: 3521714 54764 3564 1 0 3483785 0
[pid=3200/tid=3202] ppid=3197 vsize=14086856 memory=-7003737579269690708 CPUtime=1.47 cores=0,2,4,6
/proc/3200/task/3202/stat : 3202 (java) S 3197 3200 1636 0 -1 1077944384 17364 0 0 0 141 6 0 0 20 0 15 0 45142745 14424940544 54764 33554432000 4194304 4196468 140724644778704 139774244452080 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3203] ppid=3197 vsize=14086856 memory=6223407613083 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3203/stat : 3203 (java) S 3197 3200 1636 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 45142746 14424940544 54764 33554432000 4194304 4196468 140724644778704 139773836459152 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3204] ppid=3197 vsize=14086856 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3204/stat : 3204 (java) S 3197 3200 1636 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 45142746 14424940544 54764 33554432000 4194304 4196468 140724644778704 139773835406368 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3205] ppid=3197 vsize=14086856 memory=15255956585973655 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3205/stat : 3205 (java) R 3197 3200 1636 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 45142746 14424940544 54764 33554432000 4194304 4196468 140724644778704 139773834353672 139774232847079 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3206] ppid=3197 vsize=14086856 memory=15255956585973655 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3206/stat : 3206 (java) S 3197 3200 1636 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 45142746 14424940544 54764 33554432000 4194304 4196468 140724644778704 139773833300752 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3207] ppid=3197 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3207/stat : 3207 (java) S 3197 3200 1636 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 45142747 14424940544 54764 33554432000 4194304 4196468 140724644778704 139773580608416 139774240229077 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0

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

/proc/3200/task/3202/stat : 3202 (java) R 3197 3200 1636 0 -1 4202560 196732 0 0 0 218823 77 0 0 20 0 15 0 45142745 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139774244456960 139773883853718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3203] ppid=3197 vsize=14090952 memory=0 CPUtime=8.98 cores=0,2,4,6
/proc/3200/task/3203/stat : 3203 (java) S 3197 3200 1636 0 -1 1077944384 19322 0 0 0 719 179 0 0 20 0 15 0 45142746 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773836459152 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3204] ppid=3197 vsize=14090952 memory=11627492 CPUtime=9.06 cores=0,2,4,6
/proc/3200/task/3204/stat : 3204 (java) S 3197 3200 1636 0 -1 1077944384 20444 0 0 0 762 144 0 0 20 0 15 0 45142746 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773835406352 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3205] ppid=3197 vsize=14090952 memory=11627440 CPUtime=9.02 cores=0,2,4,6
/proc/3200/task/3205/stat : 3205 (java) S 3197 3200 1636 0 -1 1077944384 17760 0 0 0 774 128 0 0 20 0 15 0 45142746 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773834353552 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3206] ppid=3197 vsize=14090952 memory=11627492 CPUtime=8.98 cores=0,2,4,6
/proc/3200/task/3206/stat : 3206 (java) S 3197 3200 1636 0 -1 1077944384 16561 0 0 0 733 165 0 0 20 0 15 0 45142746 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773833300752 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3207] ppid=3197 vsize=14090952 memory=11627440 CPUtime=4.1 cores=0,2,4,6
/proc/3200/task/3207/stat : 3207 (java) S 3197 3200 1636 0 -1 1077944384 467014 0 0 0 388 22 0 0 20 0 15 0 45142747 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773580609904 139774240230018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3208] ppid=3197 vsize=14090952 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3208/stat : 3208 (java) S 3197 3200 1636 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45142748 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773579555936 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3209] ppid=3197 vsize=14090952 memory=11627384 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3209/stat : 3209 (java) S 3197 3200 1636 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 45142748 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773578503040 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3210] ppid=3197 vsize=14090952 memory=11627384 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3210/stat : 3210 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773577451344 139774240237467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3211] ppid=3197 vsize=14090952 memory=4140 CPUtime=4.15 cores=0,2,4,6
/proc/3200/task/3211/stat : 3211 (java) S 3197 3200 1636 0 -1 1077944384 14943 0 0 0 413 2 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773576399728 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3212] ppid=3197 vsize=14090952 memory=15148 CPUtime=3.73 cores=0,2,4,6
/proc/3200/task/3212/stat : 3212 (java) S 3197 3200 1636 0 -1 1077944384 8610 0 0 0 371 2 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773575346928 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3213] ppid=3197 vsize=14090952 memory=11627492 CPUtime=1.33 cores=0,2,4,6
/proc/3200/task/3213/stat : 3213 (java) S 3197 3200 1636 0 -1 1077944384 17819 0 0 0 130 3 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773574294128 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3214] ppid=3197 vsize=14090952 memory=960 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3214/stat : 3214 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773573241568 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3215] ppid=3197 vsize=14090952 memory=1240 CPUtime=0.83 cores=0,2,4,6
/proc/3200/task/3215/stat : 3215 (java) S 3197 3200 1636 0 -1 1077944384 1514 0 0 0 40 43 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773572188848 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
Current children cumulated CPU time: 2239.3 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 11627492 KiB

[startup+2262.3 s]
/proc/loadavg: 1.86 1.72 1.66 3/215 3331
/proc/meminfo: memFree=4093488/32770624 swapFree=67108860/67108860
[pid=3200] ppid=3197 vsize=14090952 memory=11627492 CPUtime=2299.31 cores=0,2,4,6
/proc/3200/stat : 3200 (java) S 3197 3200 1636 0 -1 1077944320 785795 0 0 0 229172 759 0 0 20 0 15 0 45142745 14429134848 2906873 33554432000 4194304 4196468 140724644778704 140724644761248 139774240218871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
/proc/3200/statm: 3522738 2906873 3610 1 0 3484809 0
[pid=3200/tid=3202] ppid=3197 vsize=14090952 memory=8112282956445269571 CPUtime=2249 cores=0,2,4,6
/proc/3200/task/3202/stat : 3202 (java) R 3197 3200 1636 0 -1 4202560 200327 0 0 0 224822 78 0 0 20 0 15 0 45142745 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139774244456960 139773883853288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3203] ppid=3197 vsize=14090952 memory=11627492 CPUtime=8.98 cores=0,2,4,6
/proc/3200/task/3203/stat : 3203 (java) S 3197 3200 1636 0 -1 1077944384 19322 0 0 0 719 179 0 0 20 0 15 0 45142746 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773836459152 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3204] ppid=3197 vsize=14090952 memory=11627492 CPUtime=9.06 cores=0,2,4,6
/proc/3200/task/3204/stat : 3204 (java) S 3197 3200 1636 0 -1 1077944384 20444 0 0 0 762 144 0 0 20 0 15 0 45142746 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773835406352 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3205] ppid=3197 vsize=14090952 memory=11627492 CPUtime=9.02 cores=0,2,4,6
/proc/3200/task/3205/stat : 3205 (java) S 3197 3200 1636 0 -1 1077944384 17760 0 0 0 774 128 0 0 20 0 15 0 45142746 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773834353552 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3206] ppid=3197 vsize=14090952 memory=4140 CPUtime=8.98 cores=0,2,4,6
/proc/3200/task/3206/stat : 3206 (java) S 3197 3200 1636 0 -1 1077944384 16561 0 0 0 733 165 0 0 20 0 15 0 45142746 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773833300752 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3207] ppid=3197 vsize=14090952 memory=11627492 CPUtime=4.1 cores=0,2,4,6
/proc/3200/task/3207/stat : 3207 (java) S 3197 3200 1636 0 -1 1077944384 467023 0 0 0 388 22 0 0 20 0 15 0 45142747 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773580609904 139774240230018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3208] ppid=3197 vsize=14090952 memory=11627492 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3208/stat : 3208 (java) S 3197 3200 1636 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45142748 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773579555936 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3209] ppid=3197 vsize=14090952 memory=11627492 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3209/stat : 3209 (java) S 3197 3200 1636 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 45142748 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773578503040 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3210] ppid=3197 vsize=14090952 memory=11627492 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3210/stat : 3210 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773577451344 139774240237467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3211] ppid=3197 vsize=14090952 memory=1440 CPUtime=4.16 cores=0,2,4,6
/proc/3200/task/3211/stat : 3211 (java) S 3197 3200 1636 0 -1 1077944384 14946 0 0 0 414 2 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773576399728 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3212] ppid=3197 vsize=14090952 memory=0 CPUtime=3.73 cores=0,2,4,6
/proc/3200/task/3212/stat : 3212 (java) S 3197 3200 1636 0 -1 1077944384 8618 0 0 0 371 2 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773575346928 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3213] ppid=3197 vsize=14090952 memory=11627492 CPUtime=1.33 cores=0,2,4,6
/proc/3200/task/3213/stat : 3213 (java) S 3197 3200 1636 0 -1 1077944384 17823 0 0 0 130 3 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773574294128 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3214] ppid=3197 vsize=14090952 memory=11627492 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3214/stat : 3214 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773573241568 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3215] ppid=3197 vsize=14090952 memory=4140 CPUtime=0.85 cores=0,2,4,6
/proc/3200/task/3215/stat : 3215 (java) S 3197 3200 1636 0 -1 1077944384 1542 0 0 0 41 44 0 0 20 0 15 0 45142750 14429134848 2906873 33554432000 4194304 4196468 140724644778704 139773572188848 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
Current children cumulated CPU time: 2299.31 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 11627492 KiB

[startup+2322.3 s]
/proc/loadavg: 1.66 1.68 1.65 3/215 3332
/proc/meminfo: memFree=4090984/32770624 swapFree=67108860/67108860
[pid=3200] ppid=3197 vsize=14090952 memory=11628368 CPUtime=2363.9 cores=0,2,4,6
/proc/3200/stat : 3200 (java) S 3197 3200 1636 0 -1 1077944320 809642 0 0 0 235626 764 0 0 20 0 15 0 45142745 14429134848 2907092 33554432000 4194304 4196468 140724644778704 140724644761248 139774240218871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
/proc/3200/statm: 3522738 2907092 3610 1 0 3484809 0
[pid=3200/tid=3202] ppid=3197 vsize=14090952 memory=11628368 CPUtime=2307.33 cores=0,2,4,6
/proc/3200/task/3202/stat : 3202 (java) R 3197 3200 1636 0 -1 4202560 204066 0 0 0 230655 78 0 0 20 0 15 0 45142745 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139774244456880 139773880938774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3203] ppid=3197 vsize=14090952 memory=11628344 CPUtime=10.55 cores=0,2,4,6
/proc/3200/task/3203/stat : 3203 (java) S 3197 3200 1636 0 -1 1077944384 23072 0 0 0 875 180 0 0 20 0 15 0 45142746 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773836459152 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3204] ppid=3197 vsize=14090952 memory=11628344 CPUtime=10.58 cores=0,2,4,6
/proc/3200/task/3204/stat : 3204 (java) S 3197 3200 1636 0 -1 1077944384 21153 0 0 0 913 145 0 0 20 0 15 0 45142746 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773835406352 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3205] ppid=3197 vsize=14090952 memory=11628368 CPUtime=10.56 cores=0,2,4,6
/proc/3200/task/3205/stat : 3205 (java) S 3197 3200 1636 0 -1 1077944384 18097 0 0 0 927 129 0 0 20 0 15 0 45142746 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773834353552 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3206] ppid=3197 vsize=14090952 memory=11628368 CPUtime=10.52 cores=0,2,4,6
/proc/3200/task/3206/stat : 3206 (java) S 3197 3200 1636 0 -1 1077944384 17136 0 0 0 885 167 0 0 20 0 15 0 45142746 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773833300752 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3207] ppid=3197 vsize=14090952 memory=11628368 CPUtime=4.19 cores=0,2,4,6
/proc/3200/task/3207/stat : 3207 (java) S 3197 3200 1636 0 -1 1077944384 481717 0 0 0 396 23 0 0 20 0 15 0 45142747 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773580609904 139774240230018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3208] ppid=3197 vsize=14090952 memory=11628368 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3208/stat : 3208 (java) S 3197 3200 1636 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45142748 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773579555936 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3209] ppid=3197 vsize=14090952 memory=11628368 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3209/stat : 3209 (java) S 3197 3200 1636 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 45142748 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773578503040 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3210] ppid=3197 vsize=14090952 memory=11628344 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3210/stat : 3210 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773577451344 139774240237467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3211] ppid=3197 vsize=14090952 memory=11627492 CPUtime=4.16 cores=0,2,4,6
/proc/3200/task/3211/stat : 3211 (java) S 3197 3200 1636 0 -1 1077944384 14949 0 0 0 414 2 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773576399728 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3212] ppid=3197 vsize=14090952 memory=11628368 CPUtime=3.73 cores=0,2,4,6
/proc/3200/task/3212/stat : 3212 (java) S 3197 3200 1636 0 -1 1077944384 8626 0 0 0 371 2 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773575346928 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3213] ppid=3197 vsize=14090952 memory=11628368 CPUtime=1.33 cores=0,2,4,6
/proc/3200/task/3213/stat : 3213 (java) S 3197 3200 1636 0 -1 1077944384 17827 0 0 0 130 3 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773574294128 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3214] ppid=3197 vsize=14090952 memory=988832 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3214/stat : 3214 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773573241568 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3215] ppid=3197 vsize=14090952 memory=8112282956445269571 CPUtime=0.87 cores=0,2,4,6
/proc/3200/task/3215/stat : 3215 (java) S 3197 3200 1636 0 -1 1077944384 1570 0 0 0 42 45 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773572188848 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
Current children cumulated CPU time: 2363.9 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 11628368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2358.4 s]
/proc/loadavg: 1.76 1.69 1.65 3/215 3333
/proc/meminfo: memFree=4091384/32770624 swapFree=67108860/67108860
[pid=3200] ppid=3197 vsize=14090952 memory=11628368 CPUtime=2400.02 cores=0,2,4,6
/proc/3200/stat : 3200 (java) S 3197 3200 1636 0 -1 1077944320 811911 0 0 0 239237 765 0 0 20 0 15 0 45142745 14429134848 2907092 33554432000 4194304 4196468 140724644778704 140724644761248 139774240218871 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
/proc/3200/statm: 3522738 2907092 3610 1 0 3484809 0
[pid=3200/tid=3202] ppid=3197 vsize=14090952 memory=11628368 CPUtime=2343.43 cores=0,2,4,6
/proc/3200/task/3202/stat : 3202 (java) R 3197 3200 1636 0 -1 4202560 206289 0 0 0 234265 78 0 0 20 0 15 0 45142745 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139774244456880 139773881025542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3203] ppid=3197 vsize=14090952 memory=15872 CPUtime=10.55 cores=0,2,4,6
/proc/3200/task/3203/stat : 3203 (java) S 3197 3200 1636 0 -1 1077944384 23072 0 0 0 875 180 0 0 20 0 15 0 45142746 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773836459152 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3204] ppid=3197 vsize=14090952 memory=4048 CPUtime=10.58 cores=0,2,4,6
/proc/3200/task/3204/stat : 3204 (java) S 3197 3200 1636 0 -1 1077944384 21153 0 0 0 913 145 0 0 20 0 15 0 45142746 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773835406352 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3205] ppid=3197 vsize=14090952 memory=640 CPUtime=10.56 cores=0,2,4,6
/proc/3200/task/3205/stat : 3205 (java) S 3197 3200 1636 0 -1 1077944384 18097 0 0 0 927 129 0 0 20 0 15 0 45142746 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773834353552 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3206] ppid=3197 vsize=14090952 memory=1796 CPUtime=10.52 cores=0,2,4,6
/proc/3200/task/3206/stat : 3206 (java) S 3197 3200 1636 0 -1 1077944384 17136 0 0 0 885 167 0 0 20 0 15 0 45142746 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773833300752 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3207] ppid=3197 vsize=14090952 memory=11628368 CPUtime=4.19 cores=0,2,4,6
/proc/3200/task/3207/stat : 3207 (java) S 3197 3200 1636 0 -1 1077944384 481722 0 0 0 396 23 0 0 20 0 15 0 45142747 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773580609904 139774240230018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3208] ppid=3197 vsize=14090952 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3208/stat : 3208 (java) S 3197 3200 1636 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45142748 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773579555936 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3209] ppid=3197 vsize=14090952 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3209/stat : 3209 (java) S 3197 3200 1636 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 45142748 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773578503040 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3210] ppid=3197 vsize=14090952 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3210/stat : 3210 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773577451344 139774240237467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3211] ppid=3197 vsize=14090952 memory=1712 CPUtime=4.16 cores=0,2,4,6
/proc/3200/task/3211/stat : 3211 (java) S 3197 3200 1636 0 -1 1077944384 14952 0 0 0 414 2 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773576399728 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3212] ppid=3197 vsize=14090952 memory=5524 CPUtime=3.73 cores=0,2,4,6
/proc/3200/task/3212/stat : 3212 (java) S 3197 3200 1636 0 -1 1077944384 8634 0 0 0 371 2 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773575346928 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3213] ppid=3197 vsize=14090952 memory=3248 CPUtime=1.33 cores=0,2,4,6
/proc/3200/task/3213/stat : 3213 (java) S 3197 3200 1636 0 -1 1077944384 17831 0 0 0 130 3 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773574294128 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3214] ppid=3197 vsize=14090952 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/3200/task/3214/stat : 3214 (java) S 3197 3200 1636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773573241568 139774240229077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
[pid=3200/tid=3215] ppid=3197 vsize=14090952 memory=796 CPUtime=0.88 cores=0,2,4,6
/proc/3200/task/3215/stat : 3215 (java) S 3197 3200 1636 0 -1 1077944384 1596 0 0 0 43 45 0 0 20 0 15 0 45142750 14429134848 2907092 33554432000 4194304 4196468 140724644778704 139773572188848 139774240230018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13930496 140724644783177 140724644783369 140724644783369 140724644786127 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 11628368 KiB

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

[startup+2358.47 s]
# the end of solver process 3200 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2392.4 s, system=7.7022 s

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

Child status: 143
Real time (s): 2358.47
CPU time (s): 2400.1
CPU user time (s): 2392.4
CPU system time (s): 7.7022
CPU usage (%): 101.765
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 11628368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.4
system time used= 7.7022
maximum resident set size= 11628944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 813329
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58020
involuntary context switches= 3100


# summary of solver processes directly reported to runsolver:
#   pid: 3200
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2392.4
#   total CPU system time (s): 7.7022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.295 second user time and 22.3724 second system time

The end

Launcher Data

Begin job on node102 at 2018-07-22 18:09:56
IDJOB=4291914
IDBENCH=141200
IDSOLVER=2743
FILE ID=node102/4291914-1532275796
RUNJOBID= node102-1532261510-1667
PBS_JOBID= 21018974
Free space on /tmp= 53212 MiB

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

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

MD5SUM BENCH= ba4df16e86f19a26142e39b1a48414c8
RANDOM SEED=693693537

node102.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.51
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.51
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.51
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.51
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:        16531388 kB
MemAvailable:   31760456 kB
Buffers:          240364 kB
Cached:         15077412 kB
SwapCached:            0 kB
Active:          1736852 kB
Inactive:       13815420 kB
Active(anon):     236972 kB
Inactive(anon):    16892 kB
Active(file):    1499880 kB
Inactive(file): 13798528 kB
Unevictable:        6604 kB
Mlocked:            6604 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35892 kB
Writeback:             0 kB
AnonPages:        194896 kB
Mapped:            47376 kB
Shmem:             17036 kB
Slab:             386216 kB
SReclaimable:     359120 kB
SUnreclaim:        27096 kB
KernelStack:        3776 kB
PageTables:         5588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1273900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 53176 MiB
End job on node102 at 2018-07-22 18:49:14