Trace number 4399182

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-16SAT (TO)234063858 2520.13 2425.24

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.4966
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-4399182-1568700050.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399182-1568700050.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
91.81/54.10	c solve instance...
102.48/56.80	o 234919466 
105.40/58.30	o 234919458 
105.40/58.32	o 234905207 
275.53/227.81	o 234905206 
275.75/228.01	o 234890946 
276.30/228.20	o 234876694 
276.30/228.22	o 234862434 
277.47/228.59	o 234862426 
278.15/228.77	o 234848176 
278.15/228.78	o 234848175 
278.42/228.95	o 234833915 
278.42/228.96	o 234833906 
278.70/229.16	o 234805386 
278.70/229.17	o 234791126 
278.70/229.19	o 234776866 
279.02/229.36	o 234762606 
279.34/229.52	o 234748346 
279.46/229.68	o 234734093 
279.46/229.69	o 234734086 
279.73/229.86	o 234719835 
279.95/230.02	o 234719826 
280.06/230.18	o 234705566 
280.30/230.35	o 234691306 
280.52/230.51	o 234677046 
280.70/230.67	o 234677038 
283.08/232.51	o 234662787 
459.26/408.24	o 234662786 
460.79/408.75	o 234648526 
461.65/409.02	o 234634275 
463.65/410.85	o 234634266 
639.17/586.09	o 234620006 
639.66/586.27	o 234619998 
641.77/588.06	o 234605746 
813.29/759.20	o 234591486 
814.34/759.57	o 234577226 
816.59/761.39	o 234562966 
990.55/934.74	o 234548706 
990.96/934.91	o 234534446 
991.26/935.08	o 234520186 
992.79/935.58	o 234505936 
993.18/935.75	o 234505926 
993.38/935.91	o 234505920 
993.61/936.16	o 234491666 
995.81/937.95	o 234477406 
1167.55/1109.30	o 234463146 
1167.96/1109.46	o 234448886 
1169.09/1110.24	o 234434626 
1169.66/1110.43	o 234434618 
1169.66/1110.44	o 234420375 
1169.66/1110.45	o 234420366 
1172.22/1112.29	o 234406106 
1348.51/1287.35	o 234391846 
1348.91/1287.55	o 234377586 
1350.81/1288.09	o 234377578 
1353.15/1289.87	o 234363327 
1527.95/1464.15	o 234363326 
1528.19/1464.31	o 234349066 
1529.19/1464.66	o 234334806 
1531.32/1466.47	o 234334798 
1705.36/1640.14	o 234320546 
1705.60/1640.30	o 234306286 
1707.11/1640.77	o 234306278 
1707.67/1640.94	o 234292018 
1709.41/1641.45	o 234277758 
1711.66/1643.28	o 234263498 
1888.20/1817.73	o 234249238 
1889.26/1818.03	o 234234978 
1889.86/1818.27	o 234220728 
1889.98/1818.37	o 234220718 
1890.45/1818.50	o 234206458 
1890.85/1818.68	o 234192198 
1891.04/1818.79	o 234177938 
1894.41/1820.87	o 234177930 
2068.99/1995.00	o 234163678 
2069.31/1995.14	o 234149418 
2074.21/1997.63	o 234135171 
2248.76/2171.83	o 234135168 
2248.88/2171.94	o 234135159 
2249.01/2172.05	o 234135158 
2249.66/2172.26	o 234120907 
2249.78/2172.37	o 234120898 
2250.68/2172.66	o 234106656 
2252.56/2173.21	o 234106648 
2255.61/2175.06	o 234106643 
2431.69/2349.85	o 234092391 
2431.92/2349.96	o 234078131 
2432.76/2350.27	o 234078124 
2434.15/2350.61	o 234078119 
2434.15/2350.62	o 234078118 
2434.52/2350.78	o 234063867 
2435.01/2350.90	o 234063858 
2520.08/2425.20	s SATISFIABLE
2520.08/2425.20	v <instantiation>
2520.08/2425.20	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>
2520.08/2425.20	v 	<values>2480 2224 2620 2220 2460 2480 2684 2708 2220 2220 2704 2380 2220 2380 2220 2220 2704 2220 2620 2220 2620 2220 2220 2220 2220 2220 2724 2220 2684 2724 2220 2684 2220 2220 2220 2220 2260 2620 2220 2220 2220 2620 2220 2380 2220 2220 2220 2220 2480 2220 2220 2220 2220 2684 2220 2220 2220 2224 2220 2220 2620 2220 2260 2708 2260 2684 2220 2220 2620 2220 2260 2380 2260 2220 2684 2480 2684 2724 2260 2480 2708 2220 2220 2520 2220 2260 2260 2220 2220 2684 2480 2220 2220 2380 2480 2220 2684 2220 2220 2220 2380 2260 2620 2220 2220 2220 2220 2684 2744 2460 2460 2260 2220 2620 2260 2220 2684 2420 2220 2380 2684 2260 2224 2260 2460 2660 2260 2684 2520 2220 2724 2220 2260 2620 2220 2480 2220 2260 2724 2380 2260 2620 2220 2520 2220 2260 2260 2724 2260 2224 2724 2220 2260 2260 2220 2260 2220 2420 2260 2460 2660 2520 2748 2224 2220 2220 2380 2420 2224 2260 2260 2260 2264 2220 2220 2660 2500 2220 2724 2704 2220 2220 2460 2500 2220 2620 2260 2620 2220 2260 2500 2224 2220 2264 2260 2220 2220 2520 2260 2220 2724 2500 2660 2660 2748 2460 2220 2620 2220 2660 2224 2260 2480 2260 2260 2724 2260 2420 2260 2260 2260 2260 2748 2684 2264 2220 2744 2220 2224 2260 2420 2684 2684 2260 2260 2724 2224 2220 2480 2420 2220 2260 2660 2220 2260 2260 2260 2260 2260 2660 2220 2500 2660 2260 2260 2260 2220 2260 2520 2660 2260 2260 2520 2260 2260 2724 2520 2220 2660 2260 2260 2520 2260 2260 2260 2260 2460 2260 2500 2260 2260 2260 2260 2660 2684 2220 2264 2724 2260 2220 2724 2260 2220 2260 2260 2260 2420 2724 2616 2260 2260 2260 2260 2260 2724 2744 2260 2260 2264 2260 2764 2724 2660 2264 2576 2264 2716 2264 2776 2576 2264 2260 2420 2616 2260 2260 2756 2260 2660 2520 2260 2260 2724 2260 2784 2260 2260 2260 2816 2260 2500 2260 2744 2264 2260 2560 2260 2520 2500 2420 1 1 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 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 0 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 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 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 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 1 0 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 1 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 10 10 10 10 0 0 10 10 0 10 0 10 10 10 10 10 0 8 0 0 0 10 10 0 10 10 0 0 10 10 10 10 10 10 0 0 0 0 10 0 0 10 10 0 0 10 10 10 0 0 10 10 10 0 10 10 10 0 0 10 0 0 0 10 0 10 10 10 0 10 10 0 10 10 0 0 10 0 10 0 10 10 0 10 0 10 0 0 10 10 10 10 10 0 10 10 10 0 10 0 8 0 10 10 10 0 0 0 0 0 0 10 10 0 0 0 0 10 10 10 10 10 10 0 10 0 9 10 10 10 10 0 0 0 10 10 0 0 0 10 10 10 0 0 0 0 0 0 0 10 10 10 0 10 10 10 0 0 10 10 0 0 10 0 0 0 0 10 10 0 10 10 10 10 0 10 0 10 0 10 10 0 0 0 10 10 0 0 10 0 0 10 10 0 0 10 0 0 10 10 10 10 10 10 0 10 0 0 0 0 10 10 0 10 0 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 10 0 0 10 0 10 10 0 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 10 10 0 0 10 10 0 10 0 0 10 10 0 0 10 0 0 0 0 0 10 0 10 0 0 10 0 0 10 10 10 10 10 10 0 0 0 0 0 10 0 10 10 10 10 0 10 0 0 0 0 0 10 10 0 10 0 0 10 10 10 0 0 10 10 0 0 10 0 0 10 10 10 10 10 0 0 10 0 10 0 10 0 10 10 0 10 10 10 10 0 10 0 10 0 0 0 0 10 10 10 10 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 10 0 10 8 0 10 0 0 10 0 0 10 10 0 10 0 10 10 10 10 10 0 0 0 0 10 0 10 10 0 0 10 10 0 10 0 0 10 10 0 10 10 10 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 10 0 0 10 10 0 10 10 0 0 10 10 10 10 10 10 10 10 10 0 10 10 0 10 0 0 10 10 10 0 10 10 8 8 0 10 0 10 10 0 0 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 0 0 0 10 10 0 10 0 0 10 0 10 0 0 0 0 10 0 0 0 0 10 0 10 0 10 10 0 10 0 0 10 0 0 0 10 0 10 0 0 10 10 10 0 0 10 10 10 10 0 10 0 10 10 0 0 10 0 10 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 10 10 10 10 0 0 0 10 10 10 10 10 10 0 10 0 0 10 10 0 0 10 10 0 10 10 10 0 10 10 0 0 0 10 0 10 0 8 10 10 8 10 10 0 10 0 10 0 10 10 10 10 0 0 10 10 10 10 10 0 0 0 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 0 0 0 0 0 0 10 0 10 10 10 10 10 0 0 10 0 0 0 10 0 10 10 10 10 10 10 0 0 10 10 10 10 0 10 10 10 10 0 10 0 10 0 10 0 0 0 0 10 0 0 10 10 10 0 10 10 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 10 10 0 10 10 10 10 10 0 0 0 0 10 10 0 10 10 10 10 0 10 10 10 0 0 0 10 10 0 0 0 0 10 10 0 0 10 10 8 10 10 0 0 10 10 10 10 0 0 10 10 0 10 10 0 0 10 10 10 0 0 0 0 8 0 0 0 0 10 10 10 10 10 0 10 10 0 10 10 0 0 10 10 0 0 0 10 10 0 0 10 10 0 0 0 10 0 10 10 0 0 10 0 0 0 0 10 10 10 10 10 10 10 10 0 10 0 0 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 0 10 0 0 10 0 0 0 10 0 0 10 0 0 10 10 0 0 10 10 0 10 10 10 10 0 10 8 0 9 0 0 0 10 0 0 0 10 0 10 10 0 10 10 0 10 10 10 0 0 10 10 10 0 0 0 10 10 10 0 0 10 0 10 0 10 0 10 0 0 10 0 0 10 10 10 10 10 10 10 10 0 0 0 10 0 0 0 0 0 0 10 10 10 10 10 0 10 0 0 10 10 0 10 10 0 10 10 0 10 10 0 10 0 0 10 10 10 0 10 10 10 10 10 10 0 10 0 0 0 0 0 0 10 0 10 10 0 10 10 10 0 10 10 10 10 10 0 0 10 10 10 10 0 0 0 10 10 10 10 10 10 0 10 10 10 0 10 0 10 10 10 0 10 10 0 10 10 10 0 0 10 10 0 10 0 10 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 10 0 0 0 0 10 10 10 10 10 10 10 0 10 0 10 10 0 10 0 10 10 0 10 0 10 0 0 0 0 0 0 0 10 10 10 0 10 10 0 10 10 0 10 0 0 0 0 0 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 0 10 0 0 0 0 10 10 0 0 10 10 0 0 10 0 10 10 10 0 10 0 0 0 10 0 0 0 10 10 0 10 10 0 0 10 10 0 0 10 10 0 10 10 10 0 10 0 0 0 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 0 0 0 10 10 10 10 10 10 0 10 0 10 10 0 0 10 0 10 10 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 0 10 10 10 10 0 10 0 0 0 0 0 10 10 10 10 10 0 10 10 10 0 0 0 10 0 10 10 10 10 10 10 0 10 0 0 10 0 0 0 10 0 0 0 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 0 10 10 10 0 10 0 10 0 0 0 10 10 10 0 0 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 0 10 0 0 0 10 10 10 10 0 0 10 10 0 10 10 0 0 10 10 10 0 10 0 0 10 10 10 10 10 0 0 10 0 10 10 0 10 10 10 0 10 10 10 0 0 0 0 0 0 10 0 10 10 10 10 10 10 0 0 10 0 0 0 10 10 10 0 10 0 0 0 0 0 0 10 0 10 10 10 0 0 0 10 0 10 0 0 0 0 0 0 256 0 140 180 260 296 40 36 236 436 36 296 240 400 400 400 360 0 400 0 40 360 360 100 0 260 0 160 484 400 280 260 40 464 524 240 200 0 200 200 288 0 200 200 200 284 0 204 40 220 244 220 40 0 184 24 424 164 424 424 40 72 424 4 328 488 228 448 488 448 488 16 448 92 444 0 0 400 40 4 40 40 0 40 260 40 0 40 0 40 40 484 20 324 444 0 284 444 40 160 160 160 100 160 304 160 280 156 324 120 160 120 0 0 0 488 400 300 40 40 596 160 160 364 0 240 120 160 140 160 116 120 400 0 40 0 40 528 40 280 440 40 0 464 300 440 40 484 84 84 244 480 484 44 444 20 0 40 464 4 440 440 40 400 160 40 360 360 136 120 0 464 40 0 504 340 400 0 64 400 0 396 200 400 200 40 0 160 300 280 200 40 40 504 440 440 240 260 440 0 40 0 40 40 40 40 400 488 0 40 0 260 0 40 40 300 40 280 40 356 344 204 244 504 204 0 488 40 40 40 40 40 40 464 464 0 460 464 504 504 16 40 264 464 224 40 504 64 0 224 424 164 0 424 40 132 40 400 40 4 200 524 40 0 484 280 0 44 300 40 0 0 0 0 40 40 0 0 40 40 40 300 40 504 0 40 0 40 40 40 40 160 0 0 360 400 360 40 360 40 240 300 0 440 0 40 400 160 400 4 4 40 544 0 0 44 440 300 440 200 140 200 40 400 0 124 360 360 360 0 0 40 440 300 440 40 596 160 240 80 120 120 196 120 0 40 504 0 484 0 40 40 40 356 200 40 464 40 0 0 40 40 40 0 160 0 464 40 504 44 536 260 264 220 260 216 400 40 0 504 300 564 40 40 0 160 40 0 40 40 44 40 464 300 400 40 596 260 0 40 0 504 40 596 0 460 464 164 164 40 420 40 0 40 0 0 0 0 0 40 0 464 40 0 40 40 300 40 40 356 4 4 436 256 36 436 36 300 40 300 200 0 40 0 0 4 40 504 44 44 40 400 360 44 0 40 200 300 40 40 0 0 316 516 4 488 448 36 448 448 448 448 48 40 40 40 40 40 0 400 524 464 424 64 424 460 424 164 40 424 0 300 40 44 240 160 0 440 40 40 280 40 360 360 360 400 360 356 360 200 0 40 200 504 40 484 4 120 436 0 0 40 0 0 356 300 240 40 200 0 300 524 224 464 224 424 180 40 60 260 180 220 464 0 164 264 64 464 244 464 504 460 0 40 464 0 316 260 100 220 100 216 260 40 220 80 36 88 448 448 0 40 40 40 504 440 596 0 504 0 504 40 260 300 260 164 260 140 204 260 300 280 40 0 44 360 160 40 40 0 40 0 40 0 0 0 0 0 0 240 200 40 40 44 356 564 464 0 40 400 440 40 40 224 224 40 424 224 224 464 108 164 424 260 180 220 220 180 220 220 504 40 4 40 40 40 200 536 0 40 0 0 440 356 40 140 100 280 80 120 120 260 140 204 180 0 44 40 464 224 424 464 424 40 40 440 0 0 0 0 40 356 40 40 40 464 280 40 440 40 40 120 40 280 40 0 0 0 484 356 40 160 0 40 100 360 124 360 124 360 0 0 40 40 0 504 504 464 280 40 0 0 0 0 0 4 40 564 0 40 280 200 40 200 304 64 424 184 484 20 224 20 200 240 200 200 40 40 236 264 40 464 0 464 356 0 40 40 0 40 564 396 400 360 400 120 40 488 0 40 0 0 40 40 424 40 424 80 40 160 160 60 200 160 40 160 40 260 40 40 40 304 40 120 120 140 40 420 424 424 0 40 40 40 0 0 400 516 0 0 524 40 0 36 36 36 36 500 400 40 240 0 0 504 60 240 200 40 240 116 200 200 196 0 396 436 400 400 124 0 200 356 0 240 40 420 40 24 300 228 204 260 260 256 56 260 260 0 0 528 0 280 40 40 40 504 464 464 460 464 40 0 40 40 40 40 0 160 0 0 0 400 200 200 360 360 360 440 40 200 440 40 40 396 256 60 40 204 60 260 40 464 40 504 556 40 0 0 4 0 0 0 64 204 160 304 40 120 344 404 160 0 356 360 360 0 40 40 40 524 100 100 204 0 40 0 0 40 40 40 40 40 36 0 36 0 0 36 260 464 64 160 0 400 40 484 524 36 4 36 36 36 304 460 264 464 504 0 40 0 300 40 40 40 0 504 0 40 40 0 0 0 40 0 0 40 40 356 40 40 0 4 316 44 280 200 0 160 156 196 40 40 0 0 0 40 200 200 140 400 400 56 160 228 296 204 260 40 368 488 0 128 88 0 268 24 488 0 4 36 0 280 40 40 40 44 120 120 304 60 40 436 360 0 40 40 316 160 504 0 4 4 0 0 4 552 240 200 300 40 260 464 504 440 400 400 140 84 64 116 236 40 464 300 440 0 396 444 224 20 40 40 40 200 40 40 40 0 396 40 40 200 240 288 224 200 280 160 184 276 240 160 0 240 40 40 40 0 40 64 360 424 400 356 40 400 104 40 260 40 40 484 0 400 240 240 224 236 400 200 40 280 40 356 40 480 256 0 312 4 464 40 564 40 504 40 464 440 40 40 40 164 260 140 260 260 100 40 40 0 204 20 0 160 184 240 236 88 400 440 400 400 440 396 0 228 488 64 200 200 40 4 0 40 40 144 4 240 40 400 240 36 0 400 244 20 40 0 160 36 40 0 40 36 0 40 356 160 160 200 160 160 0 0 400 240 0 484 460 4 40 44 40 224 40 440 40 356 564 36 36 492 36 400 0 0 160 0 0 0 0 24 164 424 0 424 60 424 424 40 424 0 200 4 0 464 64 464 464 40 276 296 220 244 220 0 160 40 504 200 400 0 64 40 40 40 40 556 4 524 4 0 464 160 0 4 260 0 0 0 4 0 484 400 396 0 84 40 0 396 40 40 160 240 240 160 224 236 96 400 160 240 200 4 160 356 0 0 0 0 40 40 40 40 0 4 0 0 164 260 224 0 400 400 240 0 400 40 356 0 356 240 260 260 160 0 496 464 464 464 0 0 296 260 400 40 160 0 0 464 0 260 400 4 524 0 400 424 0 0 400 72 40 40 0 312 464 40 40 464 0 556 40 40 4 0 464 0 156 344 240 336 92 356 352 116 400 556 0 484 516 0 460 464 400 0 48 504 224 0 4 316 516 512 516 4 4 396 0 4 160 496 100 484 </values>
2520.08/2425.20	v </instantiation>
2520.08/2425.20	c Unexpected resolution interruption!

Verifier Data 

OK	234063858

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399182-1568700050/watcher-4399182-1568700050 -o /tmp/evaluation-result-4399182-1568700050/solver-4399182-1568700050 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568695657-13663 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 274023319 HOME/instance-4399182-1568700050.xml 

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

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

solver pid=14087, runsolver pid=14084

[startup+0.10011 s]*
/proc/loadavg: 7.29 7.45 4.85 8/232 14103
/proc/meminfo: memFree=28963228/32770624 swapFree=66939784/67108860
[pid=14087] ppid=14084 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14087/stat : 14087 (xcsp3-exec) S 14084 14087 13631 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446263240 115843072 363 33554432000 4194304 5098028 140732839872800 140732839870904 139816466530940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140732839875451 140732839875693 140732839875693 140732839878602 0
/proc/14087/statm: 28282 363 304 221 0 87 0
[pid=14089] ppid=14087 vsize=15144776 memory=27484 CPUtime=0.13 cores=1,3,5,7
/proc/14089/stat : 14089 (java) S 14087 14087 13631 0 -1 1077944320 5816 0 0 0 12 1 0 0 20 0 15 0 446263240 15508250624 6871 33554432000 4194304 4196468 140727860915536 140727860898080 140165686509303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
/proc/14089/statm: 3786194 6871 3158 1 0 3748377 0
[pid=14089/tid=14090] ppid=14087 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=1,3,5,7
/proc/14089/task/14090/stat : 14090 (java) R 14087 14087 13631 0 -1 4202560 3638 0 0 0 8 1 0 0 20 0 15 0 446263241 15508250624 6871 33554432000 4194304 4196468 140727860915536 140165690743672 140165678746430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14091] ppid=14087 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14091/stat : 14091 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263241 15508250624 6871 33554432000 4194304 4196468 140727860915536 140165279050768 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14092] ppid=14087 vsize=15144776 memory=140454790211200 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14092/stat : 14092 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263241 15508250624 6871 33554432000 4194304 4196468 140727860915536 140165277998224 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14093] ppid=14087 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14093/stat : 14093 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263241 15508250624 6871 33554432000 4194304 4196468 140727860915536 140165276945168 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14094] ppid=14087 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14094/stat : 14094 (java) S 14087 14087 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263241 15508250624 6871 33554432000 4194304 4196468 140727860915536 140165275892624 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14095] ppid=14087 vsize=15144776 memory=140454790211200 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14095/stat : 14095 (java) S 14087 14087 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263243 15508250624 6871 33554432000 4194304 4196468 140727860915536 140164560627952 140165686520450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14096] ppid=14087 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14096/stat : 14096 (java) S 14087 14087 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263243 15508250624 6871 33554432000 4194304 4196468 140727860915536 140164559574176 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14097] ppid=14087 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14097/stat : 14097 (java) S 14087 14087 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263243 15508250624 6871 33554432000 4194304 4196468 140727860915536 140164558521072 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14098] ppid=14087 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14098/stat : 14098 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263246 15508250624 6871 33554432000 4194304 4196468 140727860915536 140164557469648 140165686527899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14099] ppid=14087 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14099/stat : 14099 (java) S 14087 14087 13631 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 15 0 446263246 15508250624 6871 33554432000 4194304 4196468 140727860915536 140164556417776 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14100] ppid=14087 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14100/stat : 14100 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263246 15508250624 6871 33554432000 4194304 4196468 140727860915536 140164555365232 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14101] ppid=14087 vsize=15144776 memory=140454790211200 CPUtime=0.02 cores=1,3,5,7
/proc/14089/task/14101/stat : 14101 (java) R 14087 14087 13631 0 -1 4202560 423 0 0 0 2 0 0 0 20 0 15 0 446263246 15508250624 6871 33554432000 4194304 4196468 140727860915536 140164554312176 140165686530650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14102] ppid=14087 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14102/stat : 14102 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263246 15508250624 6871 33554432000 4194304 4196468 140727860915536 140164553259872 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14103] ppid=14087 vsize=15144776 memory=140454790211200 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14103/stat : 14103 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263246 15508250624 6871 33554432000 4194304 4196468 140727860915536 140164552206896 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28936 KiB

[startup+0.210695 s]*
/proc/loadavg: 7.29 7.45 4.85 7/232 14103
/proc/meminfo: memFree=28949492/32770624 swapFree=66939784/67108860
[pid=14087] ppid=14084 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14087/stat : 14087 (xcsp3-exec) S 14084 14087 13631 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446263240 115843072 363 33554432000 4194304 5098028 140732839872800 140732839870904 139816466530940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140732839875451 140732839875693 140732839875693 140732839878602 0
/proc/14087/statm: 28282 363 304 221 0 87 0
[pid=14089] ppid=14087 vsize=15144776 memory=39880 CPUtime=0.34 cores=1,3,5,7
/proc/14089/stat : 14089 (java) S 14087 14087 13631 0 -1 1077944320 9722 0 0 0 31 3 0 0 20 0 15 0 446263240 15508250624 9970 33554432000 4194304 4196468 140727860915536 140727860898080 140165686509303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
/proc/14089/statm: 3786194 9970 3306 1 0 3748377 0
[pid=14089/tid=14090] ppid=14087 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14089/task/14090/stat : 14090 (java) R 14087 14087 13631 0 -1 4202560 6671 0 0 0 18 2 0 0 20 0 15 0 446263241 15508250624 9970 33554432000 4194304 4196468 140727860915536 140165690742032 140165670589790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14091] ppid=14087 vsize=15144776 memory=1899191 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14091/stat : 14091 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263241 15508250624 9970 33554432000 4194304 4196468 140727860915536 140165279050768 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14092] ppid=14087 vsize=15144776 memory=140454790225114 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14092/stat : 14092 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263241 15508250624 9970 33554432000 4194304 4196468 140727860915536 140165277998224 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14093] ppid=14087 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14093/stat : 14093 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263241 15508250624 9970 33554432000 4194304 4196468 140727860915536 140165276945168 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14094] ppid=14087 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14094/stat : 14094 (java) S 14087 14087 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263241 15508250624 9970 33554432000 4194304 4196468 140727860915536 140165275892624 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14095] ppid=14087 vsize=15144776 memory=140454790211200 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14095/stat : 14095 (java) S 14087 14087 13631 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263243 15508250624 9970 33554432000 4194304 4196468 140727860915536 140164560627952 140165686520450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14096] ppid=14087 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14096/stat : 14096 (java) S 14087 14087 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263243 15508250624 9970 33554432000 4194304 4196468 140727860915536 140164559574176 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14097] ppid=14087 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14097/stat : 14097 (java) S 14087 14087 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263243 15508250624 9970 33554432000 4194304 4196468 140727860915536 140164558521072 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14098] ppid=14087 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14098/stat : 14098 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263246 15508250624 9970 33554432000 4194304 4196468 140727860915536 140164557469648 140165686527899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14099] ppid=14087 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14089/task/14099/stat : 14099 (java) S 14087 14087 13631 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 446263246 15508250624 9970 33554432000 4194304 4196468 140727860915536 140164556417776 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14100] ppid=14087 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14089/task/14100/stat : 14100 (java) S 14087 14087 13631 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 15 0 446263246 15508250624 9970 33554432000 4194304 4196468 140727860915536 140164555365232 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14101] ppid=14087 vsize=15144776 memory=140454790211200 CPUtime=0.08 cores=1,3,5,7
/proc/14089/task/14101/stat : 14101 (java) S 14087 14087 13631 0 -1 1077944384 944 0 0 0 8 0 0 0 20 0 15 0 446263246 15508250624 9970 33554432000 4194304 4196468 140727860915536 140164554312176 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14102] ppid=14087 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14102/stat : 14102 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263246 15508250624 9970 33554432000 4194304 4196468 140727860915536 140164553259872 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14103] ppid=14087 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14103/stat : 14103 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263246 15508250624 9970 33554432000 4194304 4196468 140727860915536 140164552206896 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41332 KiB

[startup+0.311987 s]*
/proc/loadavg: 7.29 7.45 4.85 8/232 14103
/proc/meminfo: memFree=28941828/32770624 swapFree=66939784/67108860
[pid=14087] ppid=14084 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14087/stat : 14087 (xcsp3-exec) S 14084 14087 13631 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446263240 115843072 363 33554432000 4194304 5098028 140732839872800 140732839870904 139816466530940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140732839875451 140732839875693 140732839875693 140732839878602 0
/proc/14087/statm: 28282 363 304 221 0 87 0
[pid=14089] ppid=14087 vsize=15149032 memory=49444 CPUtime=0.53 cores=1,3,5,7
/proc/14089/stat : 14089 (java) S 14087 14087 13631 0 -1 1077944320 11218 0 0 0 49 4 0 0 20 0 15 0 446263240 15512608768 12361 33554432000 4194304 4196468 140727860915536 140727860898080 140165686509303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
/proc/14089/statm: 3787258 12361 3363 1 0 3748377 0
[pid=14089/tid=14090] ppid=14087 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/14089/task/14090/stat : 14090 (java) R 14087 14087 13631 0 -1 4202560 7849 0 0 0 27 3 0 0 20 0 15 0 446263241 15512608768 12361 33554432000 4194304 4196468 140727860915536 140165690743280 140165668364947 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14091] ppid=14087 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14091/stat : 14091 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263241 15512608768 12361 33554432000 4194304 4196468 140727860915536 140165279050768 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14092] ppid=14087 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14092/stat : 14092 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263241 15512608768 12361 33554432000 4194304 4196468 140727860915536 140165277998224 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14093] ppid=14087 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14093/stat : 14093 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263241 15512608768 12361 33554432000 4194304 4196468 140727860915536 140165276945168 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14094] ppid=14087 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14094/stat : 14094 (java) S 14087 14087 13631 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446263241 15512608768 12361 33554432000 4194304 4196468 140727860915536 140165275892624 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14095] ppid=14087 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14095/stat : 14095 (java) S 14087 14087 13631 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446263243 15512608768 12361 33554432000 4194304 4196468 140727860915536 140164560627952 140165686520450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14096] ppid=14087 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14096/stat : 14096 (java) S 14087 14087 13631 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446263243 15512608768 12361 33554432000 4194304 4196468 140727860915536 140164559574176 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14097] ppid=14087 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14097/stat : 14097 (java) S 14087 14087 13631 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446263243 15512608768 12361 33554432000 4194304 4196468 140727860915536 140164558521072 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14098] ppid=14087 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14098/stat : 14098 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263246 15512608768 12361 33554432000 4194304 4196468 140727860915536 140164557469648 140165686527899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14099] ppid=14087 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/14089/task/14099/stat : 14099 (java) S 14087 14087 13631 0 -1 1077944384 587 0 0 0 4 0 0 0 20 0 15 0 446263246 15512608768 12361 33554432000 4194304 4196468 140727860915536 140164556417776 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14100] ppid=14087 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14089/task/14100/stat : 14100 (java) R 14087 14087 13631 0 -1 4202560 386 0 0 0 5 0 0 0 20 0 15 0 446263246 15512608768 12361 33554432000 4194304 4196468 140727860915536 140164555346248 140165671438773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14101] ppid=14087 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14089/task/14101/stat : 14101 (java) S 14087 14087 13631 0 -1 1077944384 1098 0 0 0 12 0 0 0 20 0 15 0 446263246 15512608768 12361 33554432000 4194304 4196468 140727860915536 140164554312176 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14102] ppid=14087 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14102/stat : 14102 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263246 15512608768 12361 33554432000 4194304 4196468 140727860915536 140164553259872 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14103] ppid=14087 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14103/stat : 14103 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263246 15512608768 12361 33554432000 4194304 4196468 140727860915536 140164552206896 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50896 KiB

[startup+0.701808 s]
/proc/loadavg: 7.29 7.45 4.85 6/232 14103
/proc/meminfo: memFree=28855760/32770624 swapFree=66939784/67108860
[pid=14087] ppid=14084 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14087/stat : 14087 (xcsp3-exec) S 14084 14087 13631 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446263240 115843072 363 33554432000 4194304 5098028 140732839872800 140732839870904 139816466530940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140732839875451 140732839875693 140732839875693 140732839878602 0
/proc/14087/statm: 28282 363 304 221 0 87 0
[pid=14089] ppid=14087 vsize=15149032 memory=293788 CPUtime=1.6 cores=1,3,5,7
/proc/14089/stat : 14089 (java) S 14087 14087 13631 0 -1 1077944320 14284 0 0 0 137 23 0 0 20 0 15 0 446263240 15512608768 73447 33554432000 4194304 4196468 140727860915536 140727860898080 140165686509303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
/proc/14089/statm: 3787258 73447 3419 1 0 3748377 0
[pid=14089/tid=14090] ppid=14087 vsize=15149032 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/14089/task/14090/stat : 14090 (java) R 14087 14087 13631 0 -1 4202560 8152 0 0 0 54 7 0 0 20 0 15 0 446263241 15512608768 73447 33554432000 4194304 4196468 140727860915536 140165690745856 140165686531229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14091] ppid=14087 vsize=15149032 memory=33 CPUtime=0.05 cores=1,3,5,7
/proc/14089/task/14091/stat : 14091 (java) S 14087 14087 13631 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 15 0 446263241 15512608768 73447 33554432000 4194304 4196468 140727860915536 140165279050768 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14092] ppid=14087 vsize=15149032 memory=-7816663703405220396 CPUtime=0.06 cores=1,3,5,7
/proc/14089/task/14092/stat : 14092 (java) S 14087 14087 13631 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 15 0 446263241 15512608768 73447 33554432000 4194304 4196468 140727860915536 140165277998224 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14093] ppid=14087 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14089/task/14093/stat : 14093 (java) S 14087 14087 13631 0 -1 1077944384 63 0 0 0 2 3 0 0 20 0 15 0 446263241 15512608768 73447 33554432000 4194304 4196468 140727860915536 140165276945168 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14094] ppid=14087 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/14089/task/14094/stat : 14094 (java) S 14087 14087 13631 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 15 0 446263241 15512608768 73447 33554432000 4194304 4196468 140727860915536 140165275892624 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14095] ppid=14087 vsize=15149032 memory=35272 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14095/stat : 14095 (java) S 14087 14087 13631 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 446263243 15512608768 73447 33554432000 4194304 4196468 140727860915536 140164560627952 140165686520450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14096] ppid=14087 vsize=15149032 memory=984 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14096/stat : 14096 (java) S 14087 14087 13631 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 446263243 15512608768 73447 33554432000 4194304 4196468 140727860915536 140164559574176 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14097] ppid=14087 vsize=15149032 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14097/stat : 14097 (java) S 14087 14087 13631 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 446263243 15512608768 73447 33554432000 4194304 4196468 140727860915536 140164558521072 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14098] ppid=14087 vsize=15149032 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14098/stat : 14098 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263246 15512608768 73447 33554432000 4194304 4196468 140727860915536 140164557469648 140165686527899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14099] ppid=14087 vsize=15149032 memory=1548 CPUtime=0.24 cores=1,3,5,7
/proc/14089/task/14099/stat : 14099 (java) R 14087 14087 13631 0 -1 4202560 1393 0 0 0 24 0 0 0 20 0 15 0 446263246 15512608768 73447 33554432000 4194304 4196468 140727860915536 140164556417776 140165671430674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14100] ppid=14087 vsize=15149032 memory=7396 CPUtime=0.27 cores=1,3,5,7
/proc/14089/task/14100/stat : 14100 (java) R 14087 14087 13631 0 -1 4202560 1522 0 0 0 27 0 0 0 20 0 15 0 446263246 15512608768 73447 33554432000 4194304 4196468 140727860915536 140164555351112 140165665747776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14101] ppid=14087 vsize=15149032 memory=4000 CPUtime=0.19 cores=1,3,5,7
/proc/14089/task/14101/stat : 14101 (java) S 14087 14087 13631 0 -1 1077944384 1579 0 0 0 19 0 0 0 20 0 15 0 446263246 15512608768 73447 33554432000 4194304 4196468 140727860915536 140164554312176 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14102] ppid=14087 vsize=15149032 memory=616 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14102/stat : 14102 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446263246 15512608768 73447 33554432000 4194304 4196468 140727860915536 140164553259872 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14103] ppid=14087 vsize=15149032 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14103/stat : 14103 (java) S 14087 14087 13631 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446263246 15512608768 73447 33554432000 4194304 4196468 140727860915536 140164552206896 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 295240 KiB

[startup+1.50081 s]
/proc/loadavg: 7.29 7.45 4.85 9/232 14103
/proc/meminfo: memFree=28657608/32770624 swapFree=66939784/67108860
[pid=14087] ppid=14084 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14087/stat : 14087 (xcsp3-exec) S 14084 14087 13631 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446263240 115843072 363 33554432000 4194304 5098028 140732839872800 140732839870904 139816466530940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140732839875451 140732839875693 140732839875693 140732839878602 0
/proc/14087/statm: 28282 363 304 221 0 87 0

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

/proc/14089/stat : 14089 (java) S 14087 14087 13631 0 -1 1077944320 710321 0 0 0 239864 552 0 0 20 0 19 0 446263240 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140727860898080 140165686509303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
/proc/14089/statm: 3921429 1711974 3565 1 0 3882529 0
[pid=14089/tid=14090] ppid=14087 vsize=15685716 memory=6847896 CPUtime=43.65 cores=1,3,5,7
/proc/14089/task/14090/stat : 14090 (java) S 14087 14087 13631 0 -1 1077944384 55714 0 0 0 4306 59 0 0 20 0 19 0 446263241 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140165690750080 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14091] ppid=14087 vsize=15685716 memory=6847896 CPUtime=12.14 cores=1,3,5,7
/proc/14089/task/14091/stat : 14091 (java) S 14087 14087 13631 0 -1 1077944384 75015 0 0 0 1113 101 0 0 20 0 19 0 446263241 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140165279050768 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14092] ppid=14087 vsize=15685716 memory=6847896 CPUtime=12.06 cores=1,3,5,7
/proc/14089/task/14092/stat : 14092 (java) S 14087 14087 13631 0 -1 1077944384 83861 0 0 0 1113 93 0 0 20 0 19 0 446263241 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140165277998224 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14093] ppid=14087 vsize=15685716 memory=1452 CPUtime=12.16 cores=1,3,5,7
/proc/14089/task/14093/stat : 14093 (java) S 14087 14087 13631 0 -1 1077944384 73528 0 0 0 1127 89 0 0 20 0 19 0 446263241 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140165276945168 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14094] ppid=14087 vsize=15685716 memory=6847896 CPUtime=12.1 cores=1,3,5,7
/proc/14089/task/14094/stat : 14094 (java) S 14087 14087 13631 0 -1 1077944384 95653 0 0 0 1107 103 0 0 20 0 19 0 446263241 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140165275892624 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14095] ppid=14087 vsize=15685716 memory=6847896 CPUtime=0.45 cores=1,3,5,7
/proc/14089/task/14095/stat : 14095 (java) S 14087 14087 13631 0 -1 1077944384 15171 0 0 0 40 5 0 0 20 0 19 0 446263243 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164560627952 140165686520450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14096] ppid=14087 vsize=15685716 memory=6847896 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14096/stat : 14096 (java) S 14087 14087 13631 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 446263243 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164559574240 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14097] ppid=14087 vsize=15685716 memory=6847896 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14097/stat : 14097 (java) S 14087 14087 13631 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 19 0 446263243 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164558521088 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14098] ppid=14087 vsize=15685716 memory=6847896 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14098/stat : 14098 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263246 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164557469648 140165686527899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14099] ppid=14087 vsize=15685716 memory=6847896 CPUtime=6.26 cores=1,3,5,7
/proc/14089/task/14099/stat : 14099 (java) S 14087 14087 13631 0 -1 1077944384 44440 0 0 0 621 5 0 0 20 0 19 0 446263246 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164556417776 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14100] ppid=14087 vsize=15685716 memory=6847896 CPUtime=6.64 cores=1,3,5,7
/proc/14089/task/14100/stat : 14100 (java) S 14087 14087 13631 0 -1 1077944384 38617 0 0 0 661 3 0 0 20 0 19 0 446263246 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164555365232 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14101] ppid=14087 vsize=15685716 memory=6847896 CPUtime=1.35 cores=1,3,5,7
/proc/14089/task/14101/stat : 14101 (java) S 14087 14087 13631 0 -1 1077944384 27734 0 0 0 130 5 0 0 20 0 19 0 446263246 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164554312176 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14102] ppid=14087 vsize=15685716 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14102/stat : 14102 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263246 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164553259872 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14103] ppid=14087 vsize=15685716 memory=1452 CPUtime=1.44 cores=1,3,5,7
/proc/14089/task/14103/stat : 14103 (java) S 14087 14087 13631 0 -1 1077944384 7564 0 0 0 62 82 0 0 20 0 19 0 446263246 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164552206896 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14788] ppid=14087 vsize=15685716 memory=6847896 CPUtime=0.09 cores=1,3,5,7
/proc/14089/task/14788/stat : 14788 (java) S 14087 14087 13631 0 -1 1077944384 95 0 0 0 9 0 0 0 20 0 19 0 446480747 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164533526192 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14789] ppid=14087 vsize=15685716 memory=1772 CPUtime=0.09 cores=1,3,5,7
/proc/14089/task/14789/stat : 14789 (java) S 14087 14087 13631 0 -1 1077944384 54 0 0 0 9 0 0 0 20 0 19 0 446480747 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164534579968 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14790] ppid=14087 vsize=15685716 memory=904 CPUtime=146.96 cores=1,3,5,7
/proc/14089/task/14790/stat : 14790 (java) R 14087 14087 13631 0 -1 4202560 6533 0 0 0 14696 0 0 0 20 0 19 0 446480747 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164535634224 140165329152878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14791] ppid=14087 vsize=15685716 memory=1452 CPUtime=0.1 cores=1,3,5,7
/proc/14089/task/14791/stat : 14791 (java) S 14087 14087 13631 0 -1 1077944384 62 0 0 0 10 0 0 0 20 0 19 0 446480775 16062173184 1711974 33554432000 4194304 4196468 140727860915536 140164538791424 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
Current children cumulated CPU time: 2404.16 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 6849348 KiB

[startup+2382.3 s]
/proc/loadavg: 1.11 1.07 1.53 2/210 14836
/proc/meminfo: memFree=24263816/32770624 swapFree=66939800/67108860
[pid=14087] ppid=14084 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14087/stat : 14087 (xcsp3-exec) S 14084 14087 13631 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446263240 115843072 363 33554432000 4194304 5098028 140732839872800 140732839870904 139816466530940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140732839875451 140732839875693 140732839875693 140732839878602 0
/proc/14087/statm: 28282 363 304 221 0 87 0
[pid=14089] ppid=14087 vsize=15685716 memory=6850184 CPUtime=2477.14 cores=1,3,5,7
/proc/14089/stat : 14089 (java) S 14087 14087 13631 0 -1 1077944320 728583 0 0 0 247157 557 0 0 20 0 19 0 446263240 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140727860898080 140165686509303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
/proc/14089/statm: 3921429 1712546 3565 1 0 3882529 0
[pid=14089/tid=14090] ppid=14087 vsize=15685716 memory=6850184 CPUtime=43.66 cores=1,3,5,7
/proc/14089/task/14090/stat : 14090 (java) S 14087 14087 13631 0 -1 1077944384 56323 0 0 0 4307 59 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165690750080 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14091] ppid=14087 vsize=15685716 memory=1452 CPUtime=12.14 cores=1,3,5,7
/proc/14089/task/14091/stat : 14091 (java) S 14087 14087 13631 0 -1 1077944384 75015 0 0 0 1113 101 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165279050768 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14092] ppid=14087 vsize=15685716 memory=6853280 CPUtime=12.06 cores=1,3,5,7
/proc/14089/task/14092/stat : 14092 (java) S 14087 14087 13631 0 -1 1077944384 83861 0 0 0 1113 93 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165277998224 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14093] ppid=14087 vsize=15685716 memory=6850184 CPUtime=12.16 cores=1,3,5,7
/proc/14089/task/14093/stat : 14093 (java) S 14087 14087 13631 0 -1 1077944384 73528 0 0 0 1127 89 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165276945168 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14094] ppid=14087 vsize=15685716 memory=6850184 CPUtime=12.1 cores=1,3,5,7
/proc/14089/task/14094/stat : 14094 (java) S 14087 14087 13631 0 -1 1077944384 95653 0 0 0 1107 103 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165275892624 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14095] ppid=14087 vsize=15685716 memory=6850184 CPUtime=0.45 cores=1,3,5,7
/proc/14089/task/14095/stat : 14095 (java) S 14087 14087 13631 0 -1 1077944384 15303 0 0 0 40 5 0 0 20 0 19 0 446263243 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164560627952 140165686520450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14096] ppid=14087 vsize=15685716 memory=6850184 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14096/stat : 14096 (java) S 14087 14087 13631 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 446263243 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164559574240 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14097] ppid=14087 vsize=15685716 memory=6850184 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14097/stat : 14097 (java) S 14087 14087 13631 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 19 0 446263243 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164558521088 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14098] ppid=14087 vsize=15685716 memory=6850184 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14098/stat : 14098 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164557469648 140165686527899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14099] ppid=14087 vsize=15685716 memory=6850184 CPUtime=6.42 cores=1,3,5,7
/proc/14089/task/14099/stat : 14099 (java) S 14087 14087 13631 0 -1 1077944384 46539 0 0 0 637 5 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164556417776 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14100] ppid=14087 vsize=15685716 memory=1452 CPUtime=6.94 cores=1,3,5,7
/proc/14089/task/14100/stat : 14100 (java) S 14087 14087 13631 0 -1 1077944384 43418 0 0 0 691 3 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164555365232 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14101] ppid=14087 vsize=15685716 memory=14056 CPUtime=1.36 cores=1,3,5,7
/proc/14089/task/14101/stat : 14101 (java) S 14087 14087 13631 0 -1 1077944384 28619 0 0 0 131 5 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164554312176 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14102] ppid=14087 vsize=15685716 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14102/stat : 14102 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164553259872 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14103] ppid=14087 vsize=15685716 memory=2436 CPUtime=1.48 cores=1,3,5,7
/proc/14089/task/14103/stat : 14103 (java) S 14087 14087 13631 0 -1 1077944384 7871 0 0 0 63 85 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164552206896 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14829] ppid=14087 vsize=15685716 memory=1452 CPUtime=3.47 cores=1,3,5,7
/proc/14089/task/14829/stat : 14829 (java) S 14087 14087 13631 0 -1 1077944384 1065 0 0 0 347 0 0 0 20 0 19 0 446498331 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164534579376 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14830] ppid=14087 vsize=15685716 memory=1452 CPUtime=3.5 cores=1,3,5,7
/proc/14089/task/14830/stat : 14830 (java) S 14087 14087 13631 0 -1 1077944384 1109 0 0 0 350 0 0 0 20 0 19 0 446498331 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164538791168 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14831] ppid=14087 vsize=15685716 memory=1452 CPUtime=31.37 cores=1,3,5,7
/proc/14089/task/14831/stat : 14831 (java) R 14087 14087 13631 0 -1 4202560 3150 0 0 0 3137 0 0 0 20 0 19 0 446498331 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164533522152 140165329152855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14832] ppid=14087 vsize=15685716 memory=6850184 CPUtime=3.54 cores=1,3,5,7
/proc/14089/task/14832/stat : 14832 (java) S 14087 14087 13631 0 -1 1077944384 1264 0 0 0 354 0 0 0 20 0 19 0 446498331 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164535632896 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
Current children cumulated CPU time: 2477.14 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 6851636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2425.2 s]
/proc/loadavg: 1.05 1.06 1.51 2/210 14840
/proc/meminfo: memFree=24263828/32770624 swapFree=66939800/67108860
[pid=14087] ppid=14084 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14087/stat : 14087 (xcsp3-exec) S 14084 14087 13631 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446263240 115843072 363 33554432000 4194304 5098028 140732839872800 140732839870904 139816466530940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12062720 140732839875451 140732839875693 140732839875693 140732839878602 0
/proc/14087/statm: 28282 363 304 221 0 87 0
[pid=14089] ppid=14087 vsize=15685716 memory=6850184 CPUtime=2520.08 cores=1,3,5,7
/proc/14089/stat : 14089 (java) S 14087 14087 13631 0 -1 1077944320 729879 0 0 0 251449 559 0 0 20 0 19 0 446263240 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140727860898080 140165686509303 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
/proc/14089/statm: 3921429 1712546 3565 1 0 3882529 0
[pid=14089/tid=14090] ppid=14087 vsize=15685716 memory=1072 CPUtime=43.66 cores=1,3,5,7
/proc/14089/task/14090/stat : 14090 (java) S 14087 14087 13631 0 -1 1077944384 56323 0 0 0 4307 59 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165690750080 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14091] ppid=14087 vsize=15685716 memory=6044 CPUtime=12.14 cores=1,3,5,7
/proc/14089/task/14091/stat : 14091 (java) S 14087 14087 13631 0 -1 1077944384 75015 0 0 0 1113 101 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165279050768 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14092] ppid=14087 vsize=15685716 memory=784 CPUtime=12.06 cores=1,3,5,7
/proc/14089/task/14092/stat : 14092 (java) S 14087 14087 13631 0 -1 1077944384 83861 0 0 0 1113 93 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165277998224 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14093] ppid=14087 vsize=15685716 memory=1060 CPUtime=12.16 cores=1,3,5,7
/proc/14089/task/14093/stat : 14093 (java) S 14087 14087 13631 0 -1 1077944384 73528 0 0 0 1127 89 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165276945168 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14094] ppid=14087 vsize=15685716 memory=14012 CPUtime=12.1 cores=1,3,5,7
/proc/14089/task/14094/stat : 14094 (java) S 14087 14087 13631 0 -1 1077944384 95653 0 0 0 1107 103 0 0 20 0 19 0 446263241 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140165275892624 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14095] ppid=14087 vsize=15685716 memory=15476 CPUtime=0.45 cores=1,3,5,7
/proc/14089/task/14095/stat : 14095 (java) S 14087 14087 13631 0 -1 1077944384 15322 0 0 0 40 5 0 0 20 0 19 0 446263243 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164560627952 140165686520450 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14096] ppid=14087 vsize=15685716 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14096/stat : 14096 (java) S 14087 14087 13631 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 446263243 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164559574240 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14097] ppid=14087 vsize=15685716 memory=920 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14097/stat : 14097 (java) S 14087 14087 13631 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 19 0 446263243 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164558521088 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14098] ppid=14087 vsize=15685716 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14098/stat : 14098 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164557469648 140165686527899 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14099] ppid=14087 vsize=15685716 memory=6850184 CPUtime=6.42 cores=1,3,5,7
/proc/14089/task/14099/stat : 14099 (java) S 14087 14087 13631 0 -1 1077944384 46547 0 0 0 637 5 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164556417776 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14100] ppid=14087 vsize=15685716 memory=1412 CPUtime=6.94 cores=1,3,5,7
/proc/14089/task/14100/stat : 14100 (java) S 14087 14087 13631 0 -1 1077944384 43422 0 0 0 691 3 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164555365232 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14101] ppid=14087 vsize=15685716 memory=3712 CPUtime=1.36 cores=1,3,5,7
/proc/14089/task/14101/stat : 14101 (java) S 14087 14087 13631 0 -1 1077944384 28648 0 0 0 131 5 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164554312176 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14102] ppid=14087 vsize=15685716 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14089/task/14102/stat : 14102 (java) S 14087 14087 13631 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164553259872 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14103] ppid=14087 vsize=15685716 memory=6850184 CPUtime=1.51 cores=1,3,5,7
/proc/14089/task/14103/stat : 14103 (java) S 14087 14087 13631 0 -1 1077944384 7945 0 0 0 64 87 0 0 20 0 19 0 446263246 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164552206896 140165686520450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14829] ppid=14087 vsize=15685716 memory=1160 CPUtime=3.47 cores=1,3,5,7
/proc/14089/task/14829/stat : 14829 (java) S 14087 14087 13631 0 -1 1077944384 1065 0 0 0 347 0 0 0 20 0 19 0 446498331 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164534579376 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14830] ppid=14087 vsize=15685716 memory=111632 CPUtime=3.5 cores=1,3,5,7
/proc/14089/task/14830/stat : 14830 (java) S 14087 14087 13631 0 -1 1077944384 1109 0 0 0 350 0 0 0 20 0 19 0 446498331 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164538791168 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14831] ppid=14087 vsize=15685716 memory=804 CPUtime=74.27 cores=1,3,5,7
/proc/14089/task/14831/stat : 14831 (java) R 14087 14087 13631 0 -1 4202560 4312 0 0 0 7427 0 0 0 20 0 19 0 446498331 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164533522152 140165334942957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
[pid=14089/tid=14832] ppid=14087 vsize=15685716 memory=4108 CPUtime=3.54 cores=1,3,5,7
/proc/14089/task/14832/stat : 14832 (java) S 14087 14087 13631 0 -1 1077944384 1264 0 0 0 354 0 0 0 20 0 19 0 446498331 16062173184 1712546 33554432000 4194304 4196468 140727860915536 140164535632896 140165686519509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140727860921327 140727860921498 140727860921498 140727860924367 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 6851636 KiB

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

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

[startup+2425.24 s]
# the end of solver process 14089 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.5 s, system=5.62372 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

Child status: 143
Real time (s): 2425.24
CPU time (s): 2520.13
CPU user time (s): 2514.5
CPU system time (s): 5.62372
CPU usage (%): 103.913
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 6854756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.5
system time used= 5.62372
maximum resident set size= 6853304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 731626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62639
involuntary context switches= 2762


# summary of solver processes directly reported to runsolver:
#   pid: 14087,14089
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2514.5
#   total CPU system time (s): 5.62372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2004 second user time and 26.8448 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-17 06:59:14
IDJOB=4399182
IDBENCH=141273
IDSOLVER=2853
FILE ID=node105/4399182-1568700050
RUNJOBID= node105-1568695657-13663
PBS_JOBID= 21703823
Free space on /tmp= 60900 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399182-1568700050/watcher-4399182-1568700050 -o /tmp/evaluation-result-4399182-1568700050/solver-4399182-1568700050 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568695657-13663 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 274023319 HOME/instance-4399182-1568700050.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=274023319

node105.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.00
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.00
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.00
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.00
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:        28977828 kB
MemAvailable:   29735028 kB
Buffers:          180752 kB
Cached:           876372 kB
SwapCached:        65640 kB
Active:          2757832 kB
Inactive:         476504 kB
Active(anon):    2117916 kB
Inactive(anon):   103456 kB
Active(file):     639916 kB
Inactive(file):   373048 kB
Unevictable:      109028 kB
Mlocked:          109028 kB
SwapTotal:      67108860 kB
SwapFree:       66939784 kB
Dirty:            108440 kB
Writeback:             0 kB
AnonPages:       2279580 kB
Mapped:            57308 kB
Shmem:             35576 kB
Slab:             148668 kB
SReclaimable:     120144 kB
SUnreclaim:        28524 kB
KernelStack:        4096 kB
PageTables:         9772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3566352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2158592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60900 MiB
End job on node105 at 2019-09-17 07:39:39