Trace number 4406382

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
choco-solver 2019-09-24SAT (TO)223939309 2400.11 2379.74

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark67.2894
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
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.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406382-1569405757.xml"  -tl '2400s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406382-1569405757.xml, -tl, 2400s, -p, 1]
0.35/0.22	c simple solver
0.35/0.28	c parse instance...
20.03/13.06	c solve instance...
42.95/32.66	o 224324308 
43.16/32.72	o 224324303 
48.33/36.22	o 224310053 
48.47/36.33	o 224281553 
50.13/37.33	o 224267295 
51.50/38.50	o 224253045 
51.50/38.54	o 224253035 
51.71/38.79	o 224238775 
53.98/40.52	o 224210275 
63.76/50.24	o 224196015 
63.76/50.27	o 224196005 
81.92/68.29	o 224195995 
82.17/68.44	o 224181735 
108.14/94.31	o 224181725 
115.13/101.21	o 224167475 
115.13/101.24	o 224167465 
129.05/114.76	o 224153215 
129.05/114.78	o 224153205 
143.16/128.73	o 224153196 
176.12/161.69	o 224124686 
176.22/161.71	o 224124676 
186.65/172.17	o 224110416 
206.27/191.75	o 224110402 
206.27/191.78	o 224096142 
258.35/243.76	o 224081882 
258.45/243.82	o 224067622 
260.45/245.88	o 224053362 
260.66/246.05	o 224039112 
261.45/246.86	o 224024852 
309.94/291.15	o 223996332 
326.04/307.27	o 223982109 
326.04/307.29	o 223982099 
388.30/369.44	o 223967839 
706.15/687.12	o 223953579 
1065.04/1045.67	o 223953569 
1169.95/1150.49	o 223939309 
2400.07/2379.70	s SATISFIABLE
2400.07/2379.70	v <instantiation>
2400.07/2379.70	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] </list>
2400.07/2379.70	v 	<values>2480 2264 2756 2604 2460 2560 2684 2788 2436 2508 2704 2420 2668 2420 2464 2436 2744 2356 2756 2604 2620 2780 2272 2220 2268 2600 2724 2584 2748 2788 2260 2684 2228 2272 2576 2320 2396 2684 2736 2260 2412 2756 2568 2532 2820 2440 2752 2712 2520 2236 2508 2384 2368 2788 2792 2768 2388 2592 2560 2596 2716 2612 2808 2748 2428 2788 2436 2684 2660 2724 2628 2420 2556 2660 2788 2480 2788 2748 2424 2560 2748 2820 2596 2520 2588 2308 2752 2660 2668 2684 2520 2500 2268 2420 2520 2288 2748 2588 2472 2820 2572 2468 2620 2620 2752 2700 2232 2748 2744 2500 2788 2644 2476 2660 2220 2820 2788 2380 2652 2572 2732 2628 2224 2560 2460 2756 2424 2700 2520 2444 2788 2456 2684 2716 2776 2512 2564 2700 2724 2468 2620 2756 2700 2480 2556 2572 2780 2748 2604 2592 2748 2428 2776 2596 2512 2408 2268 2380 2816 2724 2716 2560 2748 2372 2260 2320 2512 2532 2264 2328 2268 2520 2632 2564 2312 2620 2748 2660 2748 2740 2268 2276 2500 2540 2276 2620 2540 2756 2248 2628 2460 2468 2244 2632 2544 2664 2260 2520 2780 2372 2724 2500 2660 2620 2788 2620 2496 2620 2740 2716 2592 2660 2520 2516 2452 2788 2404 2472 2724 2412 2220 2740 2708 2724 2264 2660 2780 2748 2464 2480 2380 2788 2732 2232 2820 2748 2632 2680 2520 2572 2696 2720 2660 2368 2284 2524 2628 2608 2704 2660 2444 2660 2756 2700 2620 2228 2284 2276 2520 2660 2476 2280 2552 2692 2636 2740 2560 2532 2716 2780 2272 2480 2792 2788 2564 2468 2748 2476 2788 2228 2780 2260 2512 2716 2724 2636 2424 2724 2468 2628 2772 2288 2496 2676 2244 2660 2380 2684 2264 2620 2472 2416 2476 2736 2684 2768 2404 2712 2508 2572 2684 2748 2716 2224 2616 2632 2660 2224 2280 2224 2592 2672 2532 2576 2456 2316 2620 2232 2724 2520 2220 2588 2692 2220 2808 2280 2308 2616 2240 2456 2500 2236 2784 2412 2328 2480 2352 2560 2764 2428 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 6 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 40 256 32 276 180 52 200 80 380 236 396 436 296 336 528 520 160 24 136 496 136 40 64 528 236 332 84 120 184 136 152 104 84 344 120 164 104 96 264 192 320 328 160 200 176 328 324 80 172 80 164 188 280 104 104 184 24 412 204 208 440 64 64 96 84 368 52 268 20 168 168 520 64 32 524 564 132 332 280 168 64 108 40 192 48 52 52 192 104 64 112 52 432 20 132 112 36 132 192 80 248 160 100 100 88 368 240 296 156 320 208 76 344 112 440 68 80 48 148 256 68 428 152 180 324 152 336 136 24 100 216 4 344 292 136 344 36 156 244 232 196 196 232 176 352 84 184 152 472 60 28 124 152 48 84 180 4 240 136 376 112 360 304 320 300 32 136 344 280 136 8 20 184 24 24 144 124 348 64 168 104 136 28 240 248 48 40 168 312 260 280 308 56 356 452 388 348 280 292 496 28 324 152 408 8 196 128 448 480 392 156 320 244 432 248 16 252 44 60 76 16 152 204 212 160 204 24 164 276 44 312 20 12 128 4 272 16 524 216 528 176 40 104 288 460 288 208 464 72 104 104 16 124 104 96 8 444 168 488 316 404 344 540 52 548 468 188 356 236 248 344 68 308 104 132 204 200 256 80 108 44 120 56 296 468 456 84 124 300 92 136 164 16 28 296 40 208 260 72 464 180 276 216 40 76 76 408 400 312 456 112 204 24 424 340 272 220 304 108 304 120 276 376 136 260 136 24 64 480 140 184 252 36 92 16 148 280 328 80 128 32 248 168 308 32 380 396 72 392 80 576 40 32 160 204 288 12 308 132 172 224 236 196 492 276 292 108 76 104 36 80 92 208 260 272 116 96 424 176 512 504 284 572 380 116 240 88 268 12 280 32 124 228 404 136 372 76 144 112 292 192 120 356 136 128 56 196 344 236 228 104 196 484 124 272 128 532 52 180 148 48 108 44 480 40 128 316 172 272 84 228 20 4 164 80 188 124 240 40 12 80 28 328 220 276 64 36 120 152 36 4 140 64 240 492 184 48 140 60 244 440 200 148 192 528 396 152 440 32 516 72 40 460 128 392 272 152 320 144 184 288 380 32 88 32 32 156 264 268 104 480 188 84 152 24 104 112 416 64 108 104 104 332 116 24 120 24 244 28 204 232 448 492 152 40 408 140 120 272 180 88 40 288 152 44 20 140 64 116 188 376 140 124 328 124 168 224 236 80 8 216 180 204 316 56 228 248 8 340 228 296 216 324 24 196 324 140 200 92 12 68 48 72 192 80 232 80 4 32 24 160 344 216 344 32 72 96 580 308 192 84 88 360 232 76 180 204 44 196 204 168 68 88 72 40 364 352 72 60 60 52 324 236 468 472 28 36 92 516 184 160 280 120 416 436 436 148 80 212 148 48 48 152 120 184 224 104 16 40 184 56 68 164 356 20 100 292 272 196 204 240 248 104 92 108 32 12 120 120 204 508 228 392 392 348 188 100 100 240 328 152 252 36 236 204 140 188 344 320 276 288 208 252 176 120 300 128 40 152 188 60 148 144 16 192 300 32 160 548 96 600 192 176 100 144 308 128 64 152 300 108 136 120 136 136 100 56 148 32 164 292 88 492 232 212 504 28 36 20 36 492 224 120 48 424 424 236 232 108 420 328 268 240 280 300 176 128 88 248 100 20 288 12 216 224 40 24 248 328 320 16 132 80 372 80 380 48 340 304 272 192 332 436 216 60 24 292 56 568 296 200 72 124 352 308 168 104 52 104 88 164 280 140 280 192 32 140 24 132 176 364 176 160 192 304 52 92 192 100 72 320 8 64 380 260 20 84 88 348 348 392 524 408 408 476 568 452 20 524 156 188 60 340 48 124 100 288 232 328 176 236 228 128 48 136 124 292 280 184 52 16 324 160 204 76 88 68 88 40 64 228 228 292 100 12 296 152 168 112 68 304 124 96 12 128 208 128 320 384 564 472 172 172 104 16 120 372 40 112 52 452 376 60 184 244 88 472 496 156 372 204 20 496 548 200 80 20 8 212 132 144 48 160 112 120 284 272 80 40 108 480 464 24 64 164 220 256 88 232 216 340 48 136 124 468 300 388 284 224 36 84 140 276 260 80 36 104 24 80 64 276 60 304 308 56 104 88 168 408 260 516 32 224 24 56 24 180 156 360 44 84 360 312 216 116 128 268 320 184 276 144 132 264 456 280 156 92 320 328 152 316 368 84 100 20 140 44 108 104 292 184 132 144 184 364 232 376 92 152 156 196 320 156 588 348 196 264 248 372 156 88 248 56 216 228 32 212 56 80 236 480 40 128 32 40 228 24 512 92 256 44 176 340 92 148 300 96 116 60 192 12 216 396 292 212 168 116 104 204 416 300 116 412 408 408 324 392 184 184 4 468 208 476 436 248 200 12 140 4 72 484 156 256 64 100 56 164 84 16 220 8 44 272 136 204 40 512 244 228 4 48 424 280 128 288 224 172 200 176 184 76 88 176 248 84 352 448 136 404 140 168 56 192 176 124 136 120 32 572 272 228 80 152 8 88 244 188 224 236 376 328 460 544 416 20 8 148 112 408 408 352 60 420 144 48 464 152 464 400 156 56 24 268 44 204 68 300 92 88 416 64 172 44 32 216 288 268 92 128 60 336 344 152 16 208 80 308 224 64 56 144 84 32 212 224 96 64 276 8 388 4 184 124 208 64 228 140 232 264 88 12 80 180 104 60 108 92 172 220 164 60 16 164 44 308 304 440 104 484 420 44 256 68 204 260 464 88 32 524 60 12 316 196 112 276 204 300 52 172 244 192 56 128 228 560 64 76 4 500 488 48 144 40 516 192 356 72 8 272 36 408 132 72 240 164 300 192 116 84 76 268 4 60 24 240 336 412 108 88 60 524 300 72 112 96 20 196 144 76 84 44 196 468 80 132 236 56 44 164 52 132 172 12 56 128 96 56 24 152 136 476 256 88 128 12 88 44 4 164 240 176 8 496 280 48 384 232 56 40 204 48 248 40 16 40 232 148 436 216 16 192 296 484 96 320 160 104 16 52 40 268 48 80 320 208 100 152 400 544 516 44 128 44 248 244 340 244 64 56 192 56 388 104 76 356 208 200 64 340 300 296 80 48 24 40 264 172 448 380 128 304 336 240 444 356 40 236 104 232 16 368 196 428 460 228 4 124 24 452 248 408 92 160 308 132 48 372 284 292 176 96 112 388 244 564 </values>
2400.07/2379.70	v </instantiation>
2400.07/2379.70	c Unexpected resolution interruption!

Verifier Data 

OK	223939309

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406382-1569405757/watcher-4406382-1569405757 -o /var/tmp/evaluation-result-4406382-1569405757/solver-4406382-1569405757 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569396627-9002 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1563985591 HOME/instance-4406382-1569405757.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=10888, runsolver pid=10885

[startup+0.100082 s]*
/proc/loadavg: 2.01 2.07 2.04 5/230 10904
/proc/meminfo: memFree=23005460/32770624 swapFree=66974640/67108860
[pid=10888] ppid=10885 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (xcsp3-exec) S 10885 10888 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516517562 115843072 364 33554432000 4194304 5098028 140730418862240 140730418860344 140082650632828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40394752 140730418864982 140730418865241 140730418865241 140730418868166 0
/proc/10888/statm: 28282 364 305 221 0 87 0
[pid=10890] ppid=10888 vsize=15144776 memory=28468 CPUtime=0.12 cores=0,2,4,6
/proc/10890/stat : 10890 (java) S 10888 10888 8971 0 -1 1077944320 5598 0 0 0 11 1 0 0 20 0 15 0 516517562 15508250624 7117 33554432000 4194304 4196468 140722295303584 140722295286128 139964203155191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
/proc/10890/statm: 3786194 7117 3120 1 0 3748377 0
[pid=10890/tid=10891] ppid=10888 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=0,2,4,6
/proc/10890/task/10891/stat : 10891 (java) R 10888 10888 8971 0 -1 4202560 3532 0 0 0 8 1 0 0 20 0 15 0 516517563 15508250624 7117 33554432000 4194304 4196468 140722295303584 139964207389328 139964203176538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10892] ppid=10888 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10892/stat : 10892 (java) S 10888 10888 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516517564 15508250624 7117 33554432000 4194304 4196468 140722295303584 139964131195792 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10893] ppid=10888 vsize=15144776 memory=140075703375488 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10893/stat : 10893 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517564 15508250624 7117 33554432000 4194304 4196468 140722295303584 139964130142992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10894] ppid=10888 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10894/stat : 10894 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517564 15508250624 7117 33554432000 4194304 4196468 140722295303584 139964129090704 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10895] ppid=10888 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10895/stat : 10895 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517564 15508250624 7117 33554432000 4194304 4196468 140722295303584 139964128037904 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10896] ppid=10888 vsize=15144776 memory=140075703375488 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10896/stat : 10896 (java) S 10888 10888 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516517565 15508250624 7117 33554432000 4194304 4196468 140722295303584 139963345717360 139964203166338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10897] ppid=10888 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10897/stat : 10897 (java) S 10888 10888 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516517565 15508250624 7117 33554432000 4194304 4196468 140722295303584 139963344663328 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10898] ppid=10888 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10898/stat : 10898 (java) S 10888 10888 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516517566 15508250624 7117 33554432000 4194304 4196468 140722295303584 139963343610992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10899] ppid=10888 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10899/stat : 10899 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15508250624 7117 33554432000 4194304 4196468 140722295303584 139963342559312 139964203173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10900] ppid=10888 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10900/stat : 10900 (java) R 10888 10888 8971 0 -1 4202560 321 0 0 0 0 0 0 0 20 0 15 0 516517568 15508250624 7117 33554432000 4194304 4196468 140722295303584 139963341507184 139964186681731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10901] ppid=10888 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10901/stat : 10901 (java) R 10888 10888 8971 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 516517568 15508250624 7117 33554432000 4194304 4196468 140722295303584 139963340454384 139964203166338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10902] ppid=10888 vsize=15144776 memory=140075703375488 CPUtime=0.02 cores=0,2,4,6
/proc/10890/task/10902/stat : 10902 (java) R 10888 10888 8971 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 15 0 516517568 15508250624 7117 33554432000 4194304 4196468 140722295303584 139963339402096 139964182111787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10903] ppid=10888 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10903/stat : 10903 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15508250624 7117 33554432000 4194304 4196468 140722295303584 139963338349536 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10904] ppid=10888 vsize=15144776 memory=140075703375488 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10904/stat : 10904 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517569 15508250624 7117 33554432000 4194304 4196468 140722295303584 139963337296304 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29924 KiB

[startup+0.211474 s]*
/proc/loadavg: 2.01 2.07 2.04 5/230 10904
/proc/meminfo: memFree=22992344/32770624 swapFree=66974640/67108860
[pid=10888] ppid=10885 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (xcsp3-exec) S 10885 10888 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516517562 115843072 364 33554432000 4194304 5098028 140730418862240 140730418860344 140082650632828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40394752 140730418864982 140730418865241 140730418865241 140730418868166 0
/proc/10888/statm: 28282 364 305 221 0 87 0
[pid=10890] ppid=10888 vsize=15144776 memory=40324 CPUtime=0.35 cores=0,2,4,6
/proc/10890/stat : 10890 (java) S 10888 10888 8971 0 -1 1077944320 9306 0 0 0 32 3 0 0 20 0 15 0 516517562 15508250624 10081 33554432000 4194304 4196468 140722295303584 140722295286128 139964203155191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
/proc/10890/statm: 3786194 10081 3297 1 0 3748377 0
[pid=10890/tid=10891] ppid=10888 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10890/task/10891/stat : 10891 (java) R 10888 10888 8971 0 -1 4202560 6525 0 0 0 18 2 0 0 20 0 15 0 516517563 15508250624 10081 33554432000 4194304 4196468 140722295303584 139964207391952 139964203177117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10892] ppid=10888 vsize=15144776 memory=13657 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10892/stat : 10892 (java) S 10888 10888 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516517564 15508250624 10081 33554432000 4194304 4196468 140722295303584 139964131195792 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10893] ppid=10888 vsize=15144776 memory=140075707229173 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10893/stat : 10893 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517564 15508250624 10081 33554432000 4194304 4196468 140722295303584 139964130142992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10894] ppid=10888 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10894/stat : 10894 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517564 15508250624 10081 33554432000 4194304 4196468 140722295303584 139964129090704 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10895] ppid=10888 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10895/stat : 10895 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517564 15508250624 10081 33554432000 4194304 4196468 140722295303584 139964128037904 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10896] ppid=10888 vsize=15144776 memory=140075703375488 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10896/stat : 10896 (java) S 10888 10888 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516517565 15508250624 10081 33554432000 4194304 4196468 140722295303584 139963345717360 139964203166338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10897] ppid=10888 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10897/stat : 10897 (java) S 10888 10888 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516517565 15508250624 10081 33554432000 4194304 4196468 140722295303584 139963344663328 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10898] ppid=10888 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10898/stat : 10898 (java) S 10888 10888 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516517566 15508250624 10081 33554432000 4194304 4196468 140722295303584 139963343610992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10899] ppid=10888 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10899/stat : 10899 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15508250624 10081 33554432000 4194304 4196468 140722295303584 139963342559312 139964203173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10900] ppid=10888 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10890/task/10900/stat : 10900 (java) S 10888 10888 8971 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 516517568 15508250624 10081 33554432000 4194304 4196468 140722295303584 139963341507184 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10901] ppid=10888 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10890/task/10901/stat : 10901 (java) S 10888 10888 8971 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 516517568 15508250624 10081 33554432000 4194304 4196468 140722295303584 139963340454384 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10902] ppid=10888 vsize=15144776 memory=140075703375488 CPUtime=0.08 cores=0,2,4,6
/proc/10890/task/10902/stat : 10902 (java) R 10888 10888 8971 0 -1 4202560 840 0 0 0 8 0 0 0 20 0 15 0 516517568 15508250624 10081 33554432000 4194304 4196468 140722295303584 139963339402096 139964182536385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10903] ppid=10888 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10903/stat : 10903 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15508250624 10081 33554432000 4194304 4196468 140722295303584 139963338349536 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10904] ppid=10888 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10904/stat : 10904 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517569 15508250624 10081 33554432000 4194304 4196468 140722295303584 139963337296304 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41780 KiB

[startup+0.310632 s]*
/proc/loadavg: 2.01 2.07 2.04 4/230 10904
/proc/meminfo: memFree=22984568/32770624 swapFree=66974640/67108860
[pid=10888] ppid=10885 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (xcsp3-exec) S 10885 10888 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516517562 115843072 364 33554432000 4194304 5098028 140730418862240 140730418860344 140082650632828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40394752 140730418864982 140730418865241 140730418865241 140730418868166 0
/proc/10888/statm: 28282 364 305 221 0 87 0
[pid=10890] ppid=10888 vsize=15149032 memory=49584 CPUtime=0.53 cores=0,2,4,6
/proc/10890/stat : 10890 (java) S 10888 10888 8971 0 -1 1077944320 10773 0 0 0 49 4 0 0 20 0 15 0 516517562 15512608768 12396 33554432000 4194304 4196468 140722295303584 140722295286128 139964203155191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
/proc/10890/statm: 3787258 12396 3363 1 0 3748377 0
[pid=10890/tid=10891] ppid=10888 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/10890/task/10891/stat : 10891 (java) R 10888 10888 8971 0 -1 4202560 7688 0 0 0 27 3 0 0 20 0 15 0 516517563 15512608768 12396 33554432000 4194304 4196468 140722295303584 139964207391528 139964187235678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10892] ppid=10888 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10892/stat : 10892 (java) S 10888 10888 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516517564 15512608768 12396 33554432000 4194304 4196468 140722295303584 139964131195792 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10893] ppid=10888 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10893/stat : 10893 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517564 15512608768 12396 33554432000 4194304 4196468 140722295303584 139964130142992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10894] ppid=10888 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10894/stat : 10894 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517564 15512608768 12396 33554432000 4194304 4196468 140722295303584 139964129090704 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10895] ppid=10888 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10895/stat : 10895 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517564 15512608768 12396 33554432000 4194304 4196468 140722295303584 139964128037904 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10896] ppid=10888 vsize=15149032 memory=7223591943076881810 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10896/stat : 10896 (java) S 10888 10888 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516517565 15512608768 12396 33554432000 4194304 4196468 140722295303584 139963345717360 139964203166338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10897] ppid=10888 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10897/stat : 10897 (java) S 10888 10888 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516517565 15512608768 12396 33554432000 4194304 4196468 140722295303584 139963344663328 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10898] ppid=10888 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10898/stat : 10898 (java) S 10888 10888 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516517566 15512608768 12396 33554432000 4194304 4196468 140722295303584 139963343610992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10899] ppid=10888 vsize=15149032 memory=-8253362762721939848 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10899/stat : 10899 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15512608768 12396 33554432000 4194304 4196468 140722295303584 139963342559312 139964203173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10900] ppid=10888 vsize=15149032 memory=6576575808607069350 CPUtime=0.04 cores=0,2,4,6
/proc/10890/task/10900/stat : 10900 (java) S 10888 10888 8971 0 -1 1077944384 457 0 0 0 4 0 0 0 20 0 15 0 516517568 15512608768 12396 33554432000 4194304 4196468 140722295303584 139963341507184 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10901] ppid=10888 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10890/task/10901/stat : 10901 (java) R 10888 10888 8971 0 -1 4202560 320 0 0 0 5 0 0 0 20 0 15 0 516517568 15512608768 12396 33554432000 4194304 4196468 140722295303584 139963340435400 139964188263810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10902] ppid=10888 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10890/task/10902/stat : 10902 (java) S 10888 10888 8971 0 -1 1077944384 1015 0 0 0 12 0 0 0 20 0 15 0 516517568 15512608768 12396 33554432000 4194304 4196468 140722295303584 139963339402096 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10903] ppid=10888 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10903/stat : 10903 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15512608768 12396 33554432000 4194304 4196468 140722295303584 139963338349536 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10904] ppid=10888 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10904/stat : 10904 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517569 15512608768 12396 33554432000 4194304 4196468 140722295303584 139963337296304 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51040 KiB

[startup+0.700801 s]
/proc/loadavg: 2.01 2.07 2.04 5/230 10904
/proc/meminfo: memFree=22885392/32770624 swapFree=66974640/67108860
[pid=10888] ppid=10885 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (xcsp3-exec) S 10885 10888 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516517562 115843072 364 33554432000 4194304 5098028 140730418862240 140730418860344 140082650632828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40394752 140730418864982 140730418865241 140730418865241 140730418868166 0
/proc/10888/statm: 28282 364 305 221 0 87 0
[pid=10890] ppid=10888 vsize=15149108 memory=296400 CPUtime=1.62 cores=0,2,4,6
/proc/10890/stat : 10890 (java) S 10888 10888 8971 0 -1 1077944320 14374 0 0 0 137 25 0 0 20 0 15 0 516517562 15512686592 74100 33554432000 4194304 4196468 140722295303584 140722295286128 139964203155191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
/proc/10890/statm: 3787277 74100 3449 1 0 3748377 0
[pid=10890/tid=10891] ppid=10888 vsize=15149108 memory=1794826568961 CPUtime=0.61 cores=0,2,4,6
/proc/10890/task/10891/stat : 10891 (java) R 10888 10888 8971 0 -1 4202560 8125 0 0 0 53 8 0 0 20 0 15 0 516517563 15512686592 74100 33554432000 4194304 4196468 140722295303584 139964207391408 139964187198821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10892] ppid=10888 vsize=15149108 memory=33 CPUtime=0.05 cores=0,2,4,6
/proc/10890/task/10892/stat : 10892 (java) S 10888 10888 8971 0 -1 1077944384 69 0 0 0 2 3 0 0 20 0 15 0 516517564 15512686592 74100 33554432000 4194304 4196468 140722295303584 139964131195792 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10893] ppid=10888 vsize=15149108 memory=-7604262568725289114 CPUtime=0.05 cores=0,2,4,6
/proc/10890/task/10893/stat : 10893 (java) S 10888 10888 8971 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 15 0 516517564 15512686592 74100 33554432000 4194304 4196468 140722295303584 139964130142992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10894] ppid=10888 vsize=15149108 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10890/task/10894/stat : 10894 (java) S 10888 10888 8971 0 -1 1077944384 63 0 0 0 2 3 0 0 20 0 15 0 516517564 15512686592 74100 33554432000 4194304 4196468 140722295303584 139964129090704 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10895] ppid=10888 vsize=15149108 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/10890/task/10895/stat : 10895 (java) S 10888 10888 8971 0 -1 1077944384 63 0 0 0 2 3 0 0 20 0 15 0 516517564 15512686592 74100 33554432000 4194304 4196468 140722295303584 139964128037904 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10896] ppid=10888 vsize=15149108 memory=55320 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10896/stat : 10896 (java) S 10888 10888 8971 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516517565 15512686592 74100 33554432000 4194304 4196468 140722295303584 139963345717360 139964203166338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10897] ppid=10888 vsize=15149108 memory=992 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10897/stat : 10897 (java) S 10888 10888 8971 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516517565 15512686592 74100 33554432000 4194304 4196468 140722295303584 139963344663328 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10898] ppid=10888 vsize=15149108 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10898/stat : 10898 (java) S 10888 10888 8971 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516517566 15512686592 74100 33554432000 4194304 4196468 140722295303584 139963343610992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10899] ppid=10888 vsize=15149108 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10899/stat : 10899 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15512686592 74100 33554432000 4194304 4196468 140722295303584 139963342559312 139964203173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10900] ppid=10888 vsize=15149108 memory=11624 CPUtime=0.22 cores=0,2,4,6
/proc/10890/task/10900/stat : 10900 (java) R 10888 10888 8971 0 -1 4202560 1512 0 0 0 22 0 0 0 20 0 15 0 516517568 15512686592 74100 33554432000 4194304 4196468 140722295303584 139963341507184 139964203167126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10901] ppid=10888 vsize=15149108 memory=740 CPUtime=0.29 cores=0,2,4,6
/proc/10890/task/10901/stat : 10901 (java) R 10888 10888 8971 0 -1 4202560 1582 0 0 0 29 0 0 0 20 0 15 0 516517568 15512686592 74100 33554432000 4194304 4196468 140722295303584 139963340440264 139964195444640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10902] ppid=10888 vsize=15149108 memory=1056 CPUtime=0.2 cores=0,2,4,6
/proc/10890/task/10902/stat : 10902 (java) R 10888 10888 8971 0 -1 1077944384 1517 0 0 0 20 0 0 0 20 0 15 0 516517568 15512686592 74100 33554432000 4194304 4196468 140722295303584 139963339402096 139964203166338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10903] ppid=10888 vsize=15149108 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10903/stat : 10903 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15512686592 74100 33554432000 4194304 4196468 140722295303584 139963338349536 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10904] ppid=10888 vsize=15149108 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10904/stat : 10904 (java) S 10888 10888 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516517569 15512686592 74100 33554432000 4194304 4196468 140722295303584 139963337296304 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 297856 KiB

[startup+1.50143 s]
/proc/loadavg: 2.01 2.07 2.04 6/230 10904
/proc/meminfo: memFree=22686248/32770624 swapFree=66974640/67108860
[pid=10888] ppid=10885 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (xcsp3-exec) S 10885 10888 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516517562 115843072 364 33554432000 4194304 5098028 140730418862240 140730418860344 140082650632828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40394752 140730418864982 140730418865241 140730418865241 140730418868166 0
/proc/10888/statm: 28282 364 305 221 0 87 0

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

/proc/10890/task/10898/stat : 10898 (java) S 10888 10888 8971 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516517566 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963343611008 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10899] ppid=10888 vsize=15153204 memory=992 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10899/stat : 10899 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963342559312 139964203173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10900] ppid=10888 vsize=15153204 memory=2044 CPUtime=5.27 cores=0,2,4,6
/proc/10890/task/10900/stat : 10900 (java) S 10888 10888 8971 0 -1 1077944384 27995 0 0 0 523 4 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963341507184 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10901] ppid=10888 vsize=15153204 memory=4594900 CPUtime=5.75 cores=0,2,4,6
/proc/10890/task/10901/stat : 10901 (java) S 10888 10888 8971 0 -1 1077944384 34390 0 0 0 570 5 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963340454384 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10902] ppid=10888 vsize=15153204 memory=55348 CPUtime=1.16 cores=0,2,4,6
/proc/10890/task/10902/stat : 10902 (java) S 10888 10888 8971 0 -1 1077944384 20250 0 0 0 113 3 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963339402096 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10903] ppid=10888 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10903/stat : 10903 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963338349536 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10904] ppid=10888 vsize=15153204 memory=4594900 CPUtime=1.25 cores=0,2,4,6
/proc/10890/task/10904/stat : 10904 (java) S 10888 10888 8971 0 -1 1077944384 2358 0 0 0 60 65 0 0 20 0 15 0 516517569 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963337296304 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
Current children cumulated CPU time: 2282.59 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 4596356 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/208 11165
/proc/meminfo: memFree=20650416/32770624 swapFree=66974648/67108860
[pid=10888] ppid=10885 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (xcsp3-exec) S 10885 10888 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516517562 115843072 364 33554432000 4194304 5098028 140730418862240 140730418860344 140082650632828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40394752 140730418864982 140730418865241 140730418865241 140730418868166 0
/proc/10888/statm: 28282 364 305 221 0 87 0
[pid=10890] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2342.63 cores=0,2,4,6
/proc/10890/stat : 10890 (java) S 10888 10888 8971 0 -1 1077944320 760658 0 0 0 233920 343 0 0 20 0 15 0 516517562 15516880896 1148725 33554432000 4194304 4196468 140722295303584 140722295286128 139964203155191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
/proc/10890/statm: 3788301 1148725 3529 1 0 3749401 0
[pid=10890/tid=10891] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2319.4 cores=0,2,4,6
/proc/10890/task/10891/stat : 10891 (java) R 10888 10888 8971 0 -1 4202560 603958 0 0 0 231845 95 0 0 20 0 15 0 516517563 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964207392008 139963818320709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10892] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2.39 cores=0,2,4,6
/proc/10890/task/10892/stat : 10892 (java) S 10888 10888 8971 0 -1 1077944384 15614 0 0 0 193 46 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964131195792 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10893] ppid=10888 vsize=15153204 memory=1456 CPUtime=2.35 cores=0,2,4,6
/proc/10890/task/10893/stat : 10893 (java) S 10888 10888 8971 0 -1 1077944384 15870 0 0 0 191 44 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964130142992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10894] ppid=10888 vsize=15153204 memory=1456 CPUtime=2.35 cores=0,2,4,6
/proc/10890/task/10894/stat : 10894 (java) S 10888 10888 8971 0 -1 1077944384 16071 0 0 0 189 46 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964129090704 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10895] ppid=10888 vsize=15153204 memory=6188 CPUtime=2.37 cores=0,2,4,6
/proc/10890/task/10895/stat : 10895 (java) S 10888 10888 8971 0 -1 1077944384 13532 0 0 0 193 44 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964128037904 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10896] ppid=10888 vsize=15153204 memory=4594900 CPUtime=0.22 cores=0,2,4,6
/proc/10890/task/10896/stat : 10896 (java) S 10888 10888 8971 0 -1 1077944384 9227 0 0 0 19 3 0 0 20 0 15 0 516517565 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963345717360 139964203166338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10897] ppid=10888 vsize=15153204 memory=4594900 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10897/stat : 10897 (java) S 10888 10888 8971 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 516517565 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963344663392 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10898] ppid=10888 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10898/stat : 10898 (java) S 10888 10888 8971 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516517566 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963343611008 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10899] ppid=10888 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10899/stat : 10899 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963342559312 139964203173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10900] ppid=10888 vsize=15153204 memory=1456 CPUtime=5.27 cores=0,2,4,6
/proc/10890/task/10900/stat : 10900 (java) S 10888 10888 8971 0 -1 1077944384 27998 0 0 0 523 4 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963341507184 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10901] ppid=10888 vsize=15153204 memory=1456 CPUtime=5.75 cores=0,2,4,6
/proc/10890/task/10901/stat : 10901 (java) S 10888 10888 8971 0 -1 1077944384 34394 0 0 0 570 5 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963340454384 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10902] ppid=10888 vsize=15153204 memory=4594900 CPUtime=1.16 cores=0,2,4,6
/proc/10890/task/10902/stat : 10902 (java) S 10888 10888 8971 0 -1 1077944384 20258 0 0 0 113 3 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963339402096 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10903] ppid=10888 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10903/stat : 10903 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963338349536 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10904] ppid=10888 vsize=15153204 memory=4594900 CPUtime=1.29 cores=0,2,4,6
/proc/10890/task/10904/stat : 10904 (java) S 10888 10888 8971 0 -1 1077944384 2388 0 0 0 62 67 0 0 20 0 15 0 516517569 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963337296304 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
Current children cumulated CPU time: 2342.63 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 4596356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2379.7 s]
/proc/loadavg: 1.00 1.01 1.28 2/209 11172
/proc/meminfo: memFree=20651408/32770624 swapFree=66974648/67108860
[pid=10888] ppid=10885 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (xcsp3-exec) S 10885 10888 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516517562 115843072 364 33554432000 4194304 5098028 140730418862240 140730418860344 140082650632828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40394752 140730418864982 140730418865241 140730418865241 140730418868166 0
/proc/10888/statm: 28282 364 305 221 0 87 0
[pid=10890] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2400.07 cores=0,2,4,6
/proc/10890/stat : 10890 (java) S 10888 10888 8971 0 -1 1077944320 762970 0 0 0 239662 345 0 0 20 0 15 0 516517562 15516880896 1148725 33554432000 4194304 4196468 140722295303584 140722295286128 139964203155191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
/proc/10890/statm: 3788301 1148725 3529 1 0 3749401 0
[pid=10890/tid=10891] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2376.8 cores=0,2,4,6
/proc/10890/task/10891/stat : 10891 (java) R 10888 10888 8971 0 -1 4202560 606160 0 0 0 237585 95 0 0 20 0 15 0 516517563 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964207392008 139963816638741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10892] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2.39 cores=0,2,4,6
/proc/10890/task/10892/stat : 10892 (java) S 10888 10888 8971 0 -1 1077944384 15614 0 0 0 193 46 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964131195792 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10893] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2.35 cores=0,2,4,6
/proc/10890/task/10893/stat : 10893 (java) S 10888 10888 8971 0 -1 1077944384 15870 0 0 0 191 44 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964130142992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10894] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2.35 cores=0,2,4,6
/proc/10890/task/10894/stat : 10894 (java) S 10888 10888 8971 0 -1 1077944384 16071 0 0 0 189 46 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964129090704 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10895] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2.37 cores=0,2,4,6
/proc/10890/task/10895/stat : 10895 (java) S 10888 10888 8971 0 -1 1077944384 13532 0 0 0 193 44 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964128037904 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10896] ppid=10888 vsize=15153204 memory=4594900 CPUtime=0.22 cores=0,2,4,6
/proc/10890/task/10896/stat : 10896 (java) S 10888 10888 8971 0 -1 1077944384 9245 0 0 0 19 3 0 0 20 0 15 0 516517565 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963345717360 139964203166338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10897] ppid=10888 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10897/stat : 10897 (java) S 10888 10888 8971 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 516517565 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963344663392 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10898] ppid=10888 vsize=15153204 memory=241 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10898/stat : 10898 (java) S 10888 10888 8971 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516517566 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963343611008 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10899] ppid=10888 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10899/stat : 10899 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963342559312 139964203173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10900] ppid=10888 vsize=15153204 memory=4594900 CPUtime=5.27 cores=0,2,4,6
/proc/10890/task/10900/stat : 10900 (java) S 10888 10888 8971 0 -1 1077944384 28008 0 0 0 523 4 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963341507184 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10901] ppid=10888 vsize=15153204 memory=1456 CPUtime=5.75 cores=0,2,4,6
/proc/10890/task/10901/stat : 10901 (java) S 10888 10888 8971 0 -1 1077944384 34403 0 0 0 570 5 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963340454384 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10902] ppid=10888 vsize=15153204 memory=4594900 CPUtime=1.16 cores=0,2,4,6
/proc/10890/task/10902/stat : 10902 (java) S 10888 10888 8971 0 -1 1077944384 20269 0 0 0 113 3 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963339402096 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10903] ppid=10888 vsize=15153204 memory=4594900 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10903/stat : 10903 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963338349536 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10904] ppid=10888 vsize=15153204 memory=1456 CPUtime=1.32 cores=0,2,4,6
/proc/10890/task/10904/stat : 10904 (java) S 10888 10888 8971 0 -1 1077944384 2450 0 0 0 63 69 0 0 20 0 15 0 516517569 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963337296304 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 4596356 KiB

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

[startup+2379.71 s]
# the end of solver process 10888 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001241 s, system=0.001241 s

[startup+2379.74 s]
# the end of solver process 10890 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.64 s, system=3.47764 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2379.7 s]
/proc/loadavg: 1.00 1.01 1.28 2/209 11172
/proc/meminfo: memFree=20651408/32770624 swapFree=66974648/67108860
[pid=10888] ppid=10885 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10888/stat : 10888 (xcsp3-exec) S 10885 10888 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516517562 115843072 364 33554432000 4194304 5098028 140730418862240 140730418860344 140082650632828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 40394752 140730418864982 140730418865241 140730418865241 140730418868166 0
/proc/10888/statm: 28282 364 305 221 0 87 0
[pid=10890] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2400.07 cores=0,2,4,6
/proc/10890/stat : 10890 (java) S 10888 10888 8971 0 -1 1077944320 762970 0 0 0 239662 345 0 0 20 0 15 0 516517562 15516880896 1148725 33554432000 4194304 4196468 140722295303584 140722295286128 139964203155191 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
/proc/10890/statm: 3788301 1148725 3529 1 0 3749401 0
[pid=10890/tid=10891] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2376.8 cores=0,2,4,6
/proc/10890/task/10891/stat : 10891 (java) R 10888 10888 8971 0 -1 4202560 606160 0 0 0 237585 95 0 0 20 0 15 0 516517563 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964207392008 139963816638741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10892] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2.39 cores=0,2,4,6
/proc/10890/task/10892/stat : 10892 (java) S 10888 10888 8971 0 -1 1077944384 15614 0 0 0 193 46 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964131195792 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10893] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2.35 cores=0,2,4,6
/proc/10890/task/10893/stat : 10893 (java) S 10888 10888 8971 0 -1 1077944384 15870 0 0 0 191 44 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964130142992 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10894] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2.35 cores=0,2,4,6
/proc/10890/task/10894/stat : 10894 (java) S 10888 10888 8971 0 -1 1077944384 16071 0 0 0 189 46 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964129090704 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10895] ppid=10888 vsize=15153204 memory=4594900 CPUtime=2.37 cores=0,2,4,6
/proc/10890/task/10895/stat : 10895 (java) S 10888 10888 8971 0 -1 1077944384 13532 0 0 0 193 44 0 0 20 0 15 0 516517564 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139964128037904 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10896] ppid=10888 vsize=15153204 memory=4594900 CPUtime=0.22 cores=0,2,4,6
/proc/10890/task/10896/stat : 10896 (java) S 10888 10888 8971 0 -1 1077944384 9245 0 0 0 19 3 0 0 20 0 15 0 516517565 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963345717360 139964203166338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10897] ppid=10888 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10897/stat : 10897 (java) S 10888 10888 8971 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 516517565 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963344663392 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10898] ppid=10888 vsize=15153204 memory=241 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10898/stat : 10898 (java) S 10888 10888 8971 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 516517566 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963343611008 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10899] ppid=10888 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10899/stat : 10899 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963342559312 139964203173787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10900] ppid=10888 vsize=15153204 memory=4594900 CPUtime=5.27 cores=0,2,4,6
/proc/10890/task/10900/stat : 10900 (java) S 10888 10888 8971 0 -1 1077944384 28008 0 0 0 523 4 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963341507184 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10901] ppid=10888 vsize=15153204 memory=1456 CPUtime=5.75 cores=0,2,4,6
/proc/10890/task/10901/stat : 10901 (java) S 10888 10888 8971 0 -1 1077944384 34403 0 0 0 570 5 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963340454384 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10902] ppid=10888 vsize=15153204 memory=4594900 CPUtime=1.16 cores=0,2,4,6
/proc/10890/task/10902/stat : 10902 (java) S 10888 10888 8971 0 -1 1077944384 20269 0 0 0 113 3 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963339402096 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10903] ppid=10888 vsize=15153204 memory=4594900 CPUtime=0 cores=0,2,4,6
/proc/10890/task/10903/stat : 10903 (java) S 10888 10888 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516517568 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963338349536 139964203165397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
[pid=10890/tid=10904] ppid=10888 vsize=15153204 memory=1456 CPUtime=1.32 cores=0,2,4,6
/proc/10890/task/10904/stat : 10904 (java) S 10888 10888 8971 0 -1 1077944384 2450 0 0 0 63 69 0 0 20 0 15 0 516517569 15516880896 1148725 33554432000 4194304 4196468 140722295303584 139963337296304 139964203166338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28336128 140722295309275 140722295309450 140722295309450 140722295312335 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 4596356 KiB

Child status: 143
Real time (s): 2379.74
CPU time (s): 2400.11
CPU user time (s): 2396.64
CPU system time (s): 3.47764
CPU usage (%): 100.856
Max. virtual memory (cumulated for all children) (KiB): 15268164
Max. memory (cumulated for all children) (KiB): 4596356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.64
system time used= 3.47764
maximum resident set size= 4595468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 764598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57121
involuntary context switches= 2323


# summary of solver processes directly reported to runsolver:
#   pid: 10888,10890
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2396.64
#   total CPU system time (s): 3.47764

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3741 second user time and 22.4853 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-25 12:01:54
IDJOB=4406382
IDBENCH=141273
IDSOLVER=2870
FILE ID=node117/4406382-1569405757
RUNJOBID= node117-1569396627-9002
PBS_JOBID= 21705694
Free space on /var/tmp= 13404 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406382-1569405757/watcher-4406382-1569405757 -o /var/tmp/evaluation-result-4406382-1569405757/solver-4406382-1569405757 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569396627-9002 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1563985591 HOME/instance-4406382-1569405757.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=1563985591

node117.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.75
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.75
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.75
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.75
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:        23020128 kB
MemAvailable:   29627524 kB
Buffers:          146680 kB
Cached:          6513856 kB
SwapCached:        27776 kB
Active:          5537268 kB
Inactive:        3350752 kB
Active(anon):    2197800 kB
Inactive(anon):    80928 kB
Active(file):    3339468 kB
Inactive(file):  3269824 kB
Unevictable:      106976 kB
Mlocked:          106976 kB
SwapTotal:      67108860 kB
SwapFree:       66974640 kB
Dirty:            108232 kB
Writeback:             0 kB
AnonPages:       2307364 kB
Mapped:            68760 kB
Shmem:             42976 kB
Slab:             455032 kB
SReclaimable:     426564 kB
SUnreclaim:        28468 kB
KernelStack:        3808 kB
PageTables:        10068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4718992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2201600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13404 MiB
End job on node117 at 2019-09-25 12:41:34