Trace number 4403982

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-20SAT (TO)234149418 2400.12 2322.88

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark67.2894
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403982-1568992638.xml"  -tl '2400s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4403982-1568992638.xml, -tl, 2400s, -p, 4]
0.33/0.22	c 4 solvers in parallel
0.33/0.29	c parse instance...
92.45/54.65	c solve instance...
102.62/57.29	o 234919466 
103.41/57.51	o 234919458 
103.41/57.54	o 234905207 
104.00/57.75	o 234905206 
104.40/57.98	o 234890946 
107.02/59.47	o 234876694 
308.40/259.02	o 234862434 
308.80/259.25	o 234862426 
309.29/259.47	o 234848174 
311.50/261.34	o 234833915 
515.80/465.11	o 234833906 
516.17/465.33	o 234805386 
516.17/465.35	o 234791126 
516.55/465.55	o 234776866 
518.93/467.45	o 234762606 
713.87/662.26	o 234748346 
714.13/662.46	o 234734093 
714.36/662.64	o 234734086 
714.62/662.82	o 234719835 
714.86/663.03	o 234719826 
715.08/663.21	o 234705566 
716.65/663.74	o 234691306 
716.89/663.92	o 234677046 
717.20/664.10	o 234662786 
719.36/665.92	o 234648526 
909.41/854.99	o 234634266 
909.77/855.18	o 234620006 
910.13/855.39	o 234619998 
910.42/855.58	o 234605746 
910.81/855.86	o 234591486 
911.42/856.04	o 234577227 
913.84/857.85	o 234577226 
1099.39/1042.84	o 234562966 
1099.89/1043.06	o 234548706 
1100.29/1043.25	o 234534446 
1100.67/1043.51	o 234520187 
1103.87/1045.59	o 234520186 
1292.28/1233.54	o 234505936 
1292.69/1233.73	o 234505926 
1293.53/1234.51	o 234491666 
1293.91/1234.70	o 234477406 
1294.25/1234.87	o 234463146 
1294.89/1235.13	o 234448886 
1295.26/1235.34	o 234434626 
1295.57/1235.55	o 234434618 
1298.02/1237.39	o 234420367 
1481.46/1420.20	o 234420366 
1481.76/1420.39	o 234406106 
1483.50/1420.91	o 234391846 
1483.70/1421.09	o 234377586 
1484.92/1421.43	o 234377578 
1487.10/1423.22	o 234363326 
1670.84/1606.42	o 234349066 
1671.72/1606.79	o 234334807 
1675.11/1608.88	o 234334806 
1863.23/1796.30	o 234334798 
1863.43/1796.48	o 234320546 
1863.70/1796.68	o 234306286 
1865.56/1797.38	o 234306278 
1866.11/1797.54	o 234292018 
1869.47/1799.57	o 234277758 
2057.46/1986.82	o 234263498 
2058.03/1987.11	o 234249238 
2058.76/1987.35	o 234249230 
2060.91/1989.12	o 234234978 
2246.57/2173.96	o 234220728 
2246.82/2174.11	o 234220718 
2247.15/2174.27	o 234206458 
2247.84/2174.50	o 234192198 
2248.09/2174.62	o 234177938 
2249.56/2175.05	o 234163678 
2252.22/2176.83	o 234149418 
2400.03/2322.81	s SATISFIABLE
2400.03/2322.81	v <instantiation>
2400.03/2322.81	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] </list>
2400.03/2322.81	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 2224 2260 2260 2260 2260 2260 2724 2744 2260 2260 2264 2260 2764 2724 2660 2264 2576 2264 2716 2264 2776 2264 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 1 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 1 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 1 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 1 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 1 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 1 1 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 0 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 10 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 10 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 10 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 10 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 10 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 10 10 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 0 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 484 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 116 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 356 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 4 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 44 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 36 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 196 200 200 196 0 396 436 400 400 124 0 200 36 0 240 40 420 40 24 300 228 204 260 260 256 256 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 4 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 4 160 504 0 4 4 0 0 4 552 240 200 300 40 260 464 504 440 400 400 140 84 64 276 236 40 464 300 440 0 396 444 224 20 40 40 40 200 40 40 40 0 4 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 44 40 480 256 0 0 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 44 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 36 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 0 464 40 40 464 0 556 40 40 4 0 464 0 156 344 240 336 92 36 40 276 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>
2400.03/2322.81	v </instantiation>
2400.03/2322.81	c Unexpected resolution interruption!

Verifier Data 

OK	234149418

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403982-1568992638/watcher-4403982-1568992638 -o /tmp/evaluation-result-4403982-1568992638/solver-4403982-1568992638 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568991778-30562 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1493906769 HOME/instance-4403982-1568992638.xml 

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

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

solver pid=2122, runsolver pid=2119

[startup+0.100068 s]*
/proc/loadavg: 8.17 7.88 5.40 8/233 2138
/proc/meminfo: memFree=7202408/32770624 swapFree=66935464/67108860
[pid=2122] ppid=2119 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2122/stat : 2122 (xcsp3-exec) S 2119 2122 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475201724 115843072 362 33554432000 4194304 5098028 140725525397088 140725525395192 139730905875068 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37720064 140725525402490 140725525402733 140725525402733 140725525405642 0
/proc/2122/statm: 28282 362 304 221 0 87 0
[pid=2124] ppid=2122 vsize=15144776 memory=29372 CPUtime=0.12 cores=0,2,4,6
/proc/2124/stat : 2124 (java) S 2122 2122 30531 0 -1 1077944320 5809 0 0 0 11 1 0 0 20 0 15 0 475201724 15508250624 7343 33554432000 4194304 4196468 140735970927856 140735970910400 140310155312887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
/proc/2124/statm: 3786194 7343 3114 1 0 3748377 0
[pid=2124/tid=2125] ppid=2122 vsize=15144776 memory=3047711604724501878 CPUtime=0.09 cores=0,2,4,6
/proc/2124/task/2125/stat : 2125 (java) R 2122 2122 30531 0 -1 4202560 3733 0 0 0 8 1 0 0 20 0 15 0 475201724 15508250624 7343 33554432000 4194304 4196468 140735970927856 140310159537296 140310155324822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2126] ppid=2122 vsize=15144776 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2126/stat : 2126 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201725 15508250624 7343 33554432000 4194304 4196468 140735970927856 140310083353232 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2127] ppid=2122 vsize=15144776 memory=140014421837440 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2127/stat : 2127 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201725 15508250624 7343 33554432000 4194304 4196468 140735970927856 140310082300432 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2128] ppid=2122 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2128/stat : 2128 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201725 15508250624 7343 33554432000 4194304 4196468 140735970927856 140310081247632 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2129] ppid=2122 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2129/stat : 2129 (java) S 2122 2122 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475201725 15508250624 7343 33554432000 4194304 4196468 140735970927856 140310080194832 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2130] ppid=2122 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2130/stat : 2130 (java) S 2122 2122 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475201726 15508250624 7343 33554432000 4194304 4196468 140735970927856 140309623745392 140310155324034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2131] ppid=2122 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2131/stat : 2131 (java) S 2122 2122 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475201727 15508250624 7343 33554432000 4194304 4196468 140735970927856 140309622691360 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2132] ppid=2122 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2132/stat : 2132 (java) S 2122 2122 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475201727 15508250624 7343 33554432000 4194304 4196468 140735970927856 140309621638512 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2133] ppid=2122 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2133/stat : 2133 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201729 15508250624 7343 33554432000 4194304 4196468 140735970927856 140309620586832 140310155331483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2134] ppid=2122 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2134/stat : 2134 (java) R 2122 2122 30531 0 -1 4202560 304 0 0 0 0 0 0 0 20 0 15 0 475201729 15508250624 7343 33554432000 4194304 4196468 140735970927856 140309619525696 140310136665200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2135] ppid=2122 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2135/stat : 2135 (java) R 2122 2122 30531 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475201729 15508250624 7343 33554432000 4194304 4196468 140735970927856 140309618481392 140310155324034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2136] ppid=2122 vsize=15144776 memory=140014421837440 CPUtime=0.02 cores=0,2,4,6
/proc/2124/task/2136/stat : 2136 (java) R 2122 2122 30531 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 475201729 15508250624 7343 33554432000 4194304 4196468 140735970927856 140309617428592 140310155324822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2137] ppid=2122 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2137/stat : 2137 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201730 15508250624 7343 33554432000 4194304 4196468 140735970927856 140309616376032 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2138] ppid=2122 vsize=15144776 memory=140014421837440 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2138/stat : 2138 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201730 15508250624 7343 33554432000 4194304 4196468 140735970927856 140309615324336 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30820 KiB

[startup+0.210836 s]*
/proc/loadavg: 8.17 7.88 5.40 6/233 2138
/proc/meminfo: memFree=7190868/32770624 swapFree=66935464/67108860
[pid=2122] ppid=2119 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2122/stat : 2122 (xcsp3-exec) S 2119 2122 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475201724 115843072 362 33554432000 4194304 5098028 140725525397088 140725525395192 139730905875068 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37720064 140725525402490 140725525402733 140725525402733 140725525405642 0
/proc/2122/statm: 28282 362 304 221 0 87 0
[pid=2124] ppid=2122 vsize=15144776 memory=40480 CPUtime=0.33 cores=0,2,4,6
/proc/2124/stat : 2124 (java) S 2122 2122 30531 0 -1 1077944320 9330 0 0 0 30 3 0 0 20 0 15 0 475201724 15508250624 10120 33554432000 4194304 4196468 140735970927856 140735970910400 140310155312887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
/proc/2124/statm: 3786194 10120 3307 1 0 3748377 0
[pid=2124/tid=2125] ppid=2122 vsize=15144776 memory=3047711604724501878 CPUtime=0.19 cores=0,2,4,6
/proc/2124/task/2125/stat : 2125 (java) R 2122 2122 30531 0 -1 4202560 6619 0 0 0 17 2 0 0 20 0 15 0 475201724 15508250624 10120 33554432000 4194304 4196468 140735970927856 140310159545616 140310137181264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2126] ppid=2122 vsize=15144776 memory=6944656425122832000 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2126/stat : 2126 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201725 15508250624 10120 33554432000 4194304 4196468 140735970927856 140310083353232 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2127] ppid=2122 vsize=15144776 memory=140014421837440 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2127/stat : 2127 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201725 15508250624 10120 33554432000 4194304 4196468 140735970927856 140310082300432 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2128] ppid=2122 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2128/stat : 2128 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201725 15508250624 10120 33554432000 4194304 4196468 140735970927856 140310081247632 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2129] ppid=2122 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2129/stat : 2129 (java) S 2122 2122 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475201725 15508250624 10120 33554432000 4194304 4196468 140735970927856 140310080194832 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2130] ppid=2122 vsize=15144776 memory=140014421837440 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2130/stat : 2130 (java) S 2122 2122 30531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475201726 15508250624 10120 33554432000 4194304 4196468 140735970927856 140309623745392 140310155324034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2131] ppid=2122 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2131/stat : 2131 (java) S 2122 2122 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475201727 15508250624 10120 33554432000 4194304 4196468 140735970927856 140309622691360 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2132] ppid=2122 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2132/stat : 2132 (java) S 2122 2122 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475201727 15508250624 10120 33554432000 4194304 4196468 140735970927856 140309621638512 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2133] ppid=2122 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2133/stat : 2133 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201729 15508250624 10120 33554432000 4194304 4196468 140735970927856 140309620586832 140310155331483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2134] ppid=2122 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2124/task/2134/stat : 2134 (java) S 2122 2122 30531 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 15 0 475201729 15508250624 10120 33554432000 4194304 4196468 140735970927856 140309619534192 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2135] ppid=2122 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2124/task/2135/stat : 2135 (java) S 2122 2122 30531 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 15 0 475201729 15508250624 10120 33554432000 4194304 4196468 140735970927856 140309618481392 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2136] ppid=2122 vsize=15144776 memory=140014421837440 CPUtime=0.08 cores=0,2,4,6
/proc/2124/task/2136/stat : 2136 (java) R 2122 2122 30531 0 -1 4202560 768 0 0 0 8 0 0 0 20 0 15 0 475201729 15508250624 10120 33554432000 4194304 4196468 140735970927856 140309617428592 140310134436340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2137] ppid=2122 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2137/stat : 2137 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201730 15508250624 10120 33554432000 4194304 4196468 140735970927856 140309616376032 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2138] ppid=2122 vsize=15144776 memory=140014421837440 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2138/stat : 2138 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201730 15508250624 10120 33554432000 4194304 4196468 140735970927856 140309615324336 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41928 KiB

[startup+0.312036 s]*
/proc/loadavg: 8.17 7.88 5.40 6/233 2138
/proc/meminfo: memFree=7183228/32770624 swapFree=66935464/67108860
[pid=2122] ppid=2119 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2122/stat : 2122 (xcsp3-exec) S 2119 2122 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475201724 115843072 362 33554432000 4194304 5098028 140725525397088 140725525395192 139730905875068 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37720064 140725525402490 140725525402733 140725525402733 140725525405642 0
/proc/2122/statm: 28282 362 304 221 0 87 0
[pid=2124] ppid=2122 vsize=15149032 memory=49348 CPUtime=0.51 cores=0,2,4,6
/proc/2124/stat : 2124 (java) S 2122 2122 30531 0 -1 1077944320 10679 0 0 0 47 4 0 0 20 0 15 0 475201724 15512608768 12337 33554432000 4194304 4196468 140735970927856 140735970910400 140310155312887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
/proc/2124/statm: 3787258 12337 3342 1 0 3748377 0
[pid=2124/tid=2125] ppid=2122 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/2124/task/2125/stat : 2125 (java) R 2122 2122 30531 0 -1 4202560 7767 0 0 0 27 3 0 0 20 0 15 0 475201724 15512608768 12365 33554432000 4194304 4196468 140735970927856 140310159544000 140310155334813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2126] ppid=2122 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2126/stat : 2126 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201725 15512608768 12365 33554432000 4194304 4196468 140735970927856 140310083353232 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2127] ppid=2122 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2127/stat : 2127 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201725 15512608768 12365 33554432000 4194304 4196468 140735970927856 140310082300432 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2128] ppid=2122 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2128/stat : 2128 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201725 15512608768 12365 33554432000 4194304 4196468 140735970927856 140310081247632 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2129] ppid=2122 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2129/stat : 2129 (java) S 2122 2122 30531 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475201725 15512608768 12365 33554432000 4194304 4196468 140735970927856 140310080194832 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2130] ppid=2122 vsize=15149032 memory=140014421837440 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2130/stat : 2130 (java) S 2122 2122 30531 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475201726 15512608768 12365 33554432000 4194304 4196468 140735970927856 140309623745392 140310155324034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2131] ppid=2122 vsize=15149032 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2131/stat : 2131 (java) S 2122 2122 30531 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475201727 15512608768 12365 33554432000 4194304 4196468 140735970927856 140309622691360 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2132] ppid=2122 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2132/stat : 2132 (java) S 2122 2122 30531 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475201727 15512608768 12365 33554432000 4194304 4196468 140735970927856 140309621638512 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2133] ppid=2122 vsize=15149032 memory=4294969536 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2133/stat : 2133 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201729 15512608768 12365 33554432000 4194304 4196468 140735970927856 140309620586832 140310155331483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2134] ppid=2122 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2124/task/2134/stat : 2134 (java) S 2122 2122 30531 0 -1 1077944384 461 0 0 0 4 0 0 0 20 0 15 0 475201729 15512608768 12365 33554432000 4194304 4196468 140735970927856 140309619534192 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2135] ppid=2122 vsize=15149032 memory=535 CPUtime=0.03 cores=0,2,4,6
/proc/2124/task/2135/stat : 2135 (java) S 2122 2122 30531 0 -1 1077944384 228 0 0 0 3 0 0 0 20 0 15 0 475201729 15512608768 12365 33554432000 4194304 4196468 140735970927856 140309618481392 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2136] ppid=2122 vsize=15149032 memory=140014897039163 CPUtime=0.13 cores=0,2,4,6
/proc/2124/task/2136/stat : 2136 (java) S 2122 2122 30531 0 -1 1077944384 950 0 0 0 13 0 0 0 20 0 15 0 475201729 15512608768 12365 33554432000 4194304 4196468 140735970927856 140309617428592 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2137] ppid=2122 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2137/stat : 2137 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201730 15512608768 12365 33554432000 4194304 4196468 140735970927856 140309616376032 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2138] ppid=2122 vsize=15149032 memory=280028745216032 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2138/stat : 2138 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201730 15512608768 12365 33554432000 4194304 4196468 140735970927856 140309615324336 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50796 KiB

[startup+0.700932 s]
/proc/loadavg: 8.17 7.88 5.40 6/233 2138
/proc/meminfo: memFree=7108616/32770624 swapFree=66935464/67108860
[pid=2122] ppid=2119 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2122/stat : 2122 (xcsp3-exec) S 2119 2122 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475201724 115843072 362 33554432000 4194304 5098028 140725525397088 140725525395192 139730905875068 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37720064 140725525402490 140725525402733 140725525402733 140725525405642 0
/proc/2122/statm: 28282 362 304 221 0 87 0
[pid=2124] ppid=2122 vsize=15149032 memory=292864 CPUtime=1.55 cores=0,2,4,6
/proc/2124/stat : 2124 (java) S 2122 2122 30531 0 -1 1077944320 13459 0 0 0 129 26 0 0 20 0 15 0 475201724 15512608768 73216 33554432000 4194304 4196468 140735970927856 140735970910400 140310155312887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
/proc/2124/statm: 3787258 73216 3418 1 0 3748377 0
[pid=2124/tid=2125] ppid=2122 vsize=15149032 memory=7373916858537504097 CPUtime=0.61 cores=0,2,4,6
/proc/2124/task/2125/stat : 2125 (java) R 2122 2122 30531 0 -1 4202560 8026 0 0 0 54 7 0 0 20 0 15 0 475201724 15512608768 73216 33554432000 4194304 4196468 140735970927856 140310159552016 140310155334813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2126] ppid=2122 vsize=15149032 memory=7380106142448643437 CPUtime=0.06 cores=0,2,4,6
/proc/2124/task/2126/stat : 2126 (java) S 2122 2122 30531 0 -1 1077944384 63 0 0 0 2 4 0 0 20 0 15 0 475201725 15512608768 73216 33554432000 4194304 4196468 140735970927856 140310083353232 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2127] ppid=2122 vsize=15149032 memory=588 CPUtime=0.06 cores=0,2,4,6
/proc/2124/task/2127/stat : 2127 (java) S 2122 2122 30531 0 -1 1077944384 58 0 0 0 2 4 0 0 20 0 15 0 475201725 15512608768 73216 33554432000 4194304 4196468 140735970927856 140310082300432 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2128] ppid=2122 vsize=15149032 memory=780 CPUtime=0.06 cores=0,2,4,6
/proc/2124/task/2128/stat : 2128 (java) S 2122 2122 30531 0 -1 1077944384 65 0 0 0 2 4 0 0 20 0 15 0 475201725 15512608768 73216 33554432000 4194304 4196468 140735970927856 140310081247632 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2129] ppid=2122 vsize=15149032 memory=1056 CPUtime=0.06 cores=0,2,4,6
/proc/2124/task/2129/stat : 2129 (java) S 2122 2122 30531 0 -1 1077944384 69 0 0 0 2 4 0 0 20 0 15 0 475201725 15512608768 73216 33554432000 4194304 4196468 140735970927856 140310080194832 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2130] ppid=2122 vsize=15149032 memory=11620 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2130/stat : 2130 (java) S 2122 2122 30531 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475201726 15512608768 73216 33554432000 4194304 4196468 140735970927856 140309623745392 140310155324034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2131] ppid=2122 vsize=15149032 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2131/stat : 2131 (java) S 2122 2122 30531 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 475201727 15512608768 73216 33554432000 4194304 4196468 140735970927856 140309622691360 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2132] ppid=2122 vsize=15149032 memory=7452706766398776640 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2132/stat : 2132 (java) S 2122 2122 30531 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475201727 15512608768 73216 33554432000 4194304 4196468 140735970927856 140309621638512 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2133] ppid=2122 vsize=15149032 memory=7739276948478323303 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2133/stat : 2133 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201729 15512608768 73216 33554432000 4194304 4196468 140735970927856 140309620586832 140310155331483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2134] ppid=2122 vsize=15149032 memory=7301858164987948385 CPUtime=0.21 cores=0,2,4,6
/proc/2124/task/2134/stat : 2134 (java) S 2122 2122 30531 0 -1 1077944384 1144 0 0 0 21 0 0 0 20 0 15 0 475201729 15512608768 73216 33554432000 4194304 4196468 140735970927856 140309619534192 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2135] ppid=2122 vsize=15149032 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/2124/task/2135/stat : 2135 (java) R 2122 2122 30531 0 -1 4202560 1310 0 0 0 23 0 0 0 20 0 15 0 475201729 15512608768 73216 33554432000 4194304 4196468 140735970927856 140309618471184 140310139209585 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2136] ppid=2122 vsize=15149032 memory=20356 CPUtime=0.19 cores=0,2,4,6
/proc/2124/task/2136/stat : 2136 (java) S 2122 2122 30531 0 -1 1077944384 1343 0 0 0 19 0 0 0 20 0 15 0 475201729 15512608768 73216 33554432000 4194304 4196468 140735970927856 140309617428592 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2137] ppid=2122 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2137/stat : 2137 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475201730 15512608768 73216 33554432000 4194304 4196468 140735970927856 140309616376032 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2138] ppid=2122 vsize=15149032 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2138/stat : 2138 (java) S 2122 2122 30531 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475201730 15512608768 73216 33554432000 4194304 4196468 140735970927856 140309615324336 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 294312 KiB

[startup+1.50091 s]
/proc/loadavg: 8.17 7.88 5.40 8/233 2138
/proc/meminfo: memFree=6933116/32770624 swapFree=66935464/67108860
[pid=2122] ppid=2119 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2122/stat : 2122 (xcsp3-exec) S 2119 2122 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475201724 115843072 362 33554432000 4194304 5098028 140725525397088 140725525395192 139730905875068 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37720064 140725525402490 140725525402733 140725525402733 140725525405642 0
/proc/2122/statm: 28282 362 304 221 0 87 0

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

/proc/2124/stat : 2124 (java) S 2122 2122 30531 0 -1 1077944320 2904230 0 0 0 233050 899 0 0 20 0 19 0 475201724 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140735970910400 140310155312887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
/proc/2124/statm: 3854865 1654633 3557 1 0 3815965 0
[pid=2124/tid=2125] ppid=2122 vsize=15419460 memory=1448 CPUtime=44.2 cores=0,2,4,6
/proc/2124/task/2125/stat : 2125 (java) S 2122 2122 30531 0 -1 1077944384 96153 0 0 0 4347 73 0 0 20 0 19 0 475201724 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310159553664 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2126] ppid=2122 vsize=15419460 memory=6618532 CPUtime=11.69 cores=0,2,4,6
/proc/2124/task/2126/stat : 2126 (java) S 2122 2122 30531 0 -1 1077944384 356824 0 0 0 1014 155 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310083353232 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2127] ppid=2122 vsize=15419460 memory=6618532 CPUtime=11.65 cores=0,2,4,6
/proc/2124/task/2127/stat : 2127 (java) S 2122 2122 30531 0 -1 1077944384 357608 0 0 0 1040 125 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310082300432 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2128] ppid=2122 vsize=15419460 memory=1448 CPUtime=11.75 cores=0,2,4,6
/proc/2124/task/2128/stat : 2128 (java) S 2122 2122 30531 0 -1 1077944384 344796 0 0 0 1029 146 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310081247632 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2129] ppid=2122 vsize=15419460 memory=6618532 CPUtime=11.78 cores=0,2,4,6
/proc/2124/task/2129/stat : 2129 (java) S 2122 2122 30531 0 -1 1077944384 322627 0 0 0 1041 137 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310080194832 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2130] ppid=2122 vsize=15419460 memory=6618532 CPUtime=0.42 cores=0,2,4,6
/proc/2124/task/2130/stat : 2130 (java) S 2122 2122 30531 0 -1 1077944384 21050 0 0 0 37 5 0 0 20 0 19 0 475201726 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309623745392 140310155324034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2131] ppid=2122 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2131/stat : 2131 (java) S 2122 2122 30531 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475201727 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309622691424 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2132] ppid=2122 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2132/stat : 2132 (java) S 2122 2122 30531 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 475201727 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309621638528 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2133] ppid=2122 vsize=15419460 memory=6618532 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2133/stat : 2133 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309620586832 140310155331483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2134] ppid=2122 vsize=15419460 memory=6618532 CPUtime=6.02 cores=0,2,4,6
/proc/2124/task/2134/stat : 2134 (java) S 2122 2122 30531 0 -1 1077944384 40061 0 0 0 599 3 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309619534192 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2135] ppid=2122 vsize=15419460 memory=6618532 CPUtime=6.6 cores=0,2,4,6
/proc/2124/task/2135/stat : 2135 (java) S 2122 2122 30531 0 -1 1077944384 38902 0 0 0 656 4 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309618481392 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2136] ppid=2122 vsize=15419460 memory=1448 CPUtime=1.37 cores=0,2,4,6
/proc/2124/task/2136/stat : 2136 (java) S 2122 2122 30531 0 -1 1077944384 23874 0 0 0 134 3 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309617428592 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2137] ppid=2122 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2137/stat : 2137 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475201730 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309616376032 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2138] ppid=2122 vsize=15419460 memory=6618532 CPUtime=1.43 cores=0,2,4,6
/proc/2124/task/2138/stat : 2138 (java) S 2122 2122 30531 0 -1 1077944384 8397 0 0 0 79 64 0 0 20 0 19 0 475201730 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309615324336 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2735] ppid=2122 vsize=15419460 memory=6618532 CPUtime=0.53 cores=0,2,4,6
/proc/2124/task/2735/stat : 2735 (java) S 2122 2122 30531 0 -1 1077944384 44 0 0 0 53 0 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309006635056 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2736] ppid=2122 vsize=15419460 memory=3616 CPUtime=0.54 cores=0,2,4,6
/proc/2124/task/2736/stat : 2736 (java) S 2122 2122 30531 0 -1 1077944384 161 0 0 0 54 0 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309604251008 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2737] ppid=2122 vsize=15419460 memory=41544 CPUtime=85.46 cores=0,2,4,6
/proc/2124/task/2737/stat : 2737 (java) R 2122 2122 30531 0 -1 4202560 25066 0 0 0 8544 2 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309007690952 140309763987319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2738] ppid=2122 vsize=15419460 memory=988 CPUtime=0.6 cores=0,2,4,6
/proc/2124/task/2738/stat : 2738 (java) S 2122 2122 30531 0 -1 1077944384 21 0 0 0 60 0 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309005583488 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
Current children cumulated CPU time: 2339.49 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 6619980 KiB

[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.62 2/211 2749
/proc/meminfo: memFree=4476332/32770624 swapFree=66935476/67108860
[pid=2122] ppid=2119 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2122/stat : 2122 (xcsp3-exec) S 2119 2122 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475201724 115843072 362 33554432000 4194304 5098028 140725525397088 140725525395192 139730905875068 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37720064 140725525402490 140725525402733 140725525402733 140725525405642 0
/proc/2122/statm: 28282 362 304 221 0 87 0
[pid=2124] ppid=2122 vsize=15419460 memory=6618532 CPUtime=2399.53 cores=0,2,4,6
/proc/2124/stat : 2124 (java) S 2122 2122 30531 0 -1 1077944320 2911243 0 0 0 239052 901 0 0 20 0 19 0 475201724 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140735970910400 140310155312887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
/proc/2124/statm: 3854865 1654633 3557 1 0 3815965 0
[pid=2124/tid=2125] ppid=2122 vsize=15419460 memory=1448 CPUtime=44.2 cores=0,2,4,6
/proc/2124/task/2125/stat : 2125 (java) S 2122 2122 30531 0 -1 1077944384 96153 0 0 0 4347 73 0 0 20 0 19 0 475201724 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310159553664 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2126] ppid=2122 vsize=15419460 memory=6618532 CPUtime=11.69 cores=0,2,4,6
/proc/2124/task/2126/stat : 2126 (java) S 2122 2122 30531 0 -1 1077944384 356824 0 0 0 1014 155 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310083353232 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2127] ppid=2122 vsize=15419460 memory=6618532 CPUtime=11.65 cores=0,2,4,6
/proc/2124/task/2127/stat : 2127 (java) S 2122 2122 30531 0 -1 1077944384 357608 0 0 0 1040 125 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310082300432 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2128] ppid=2122 vsize=15419460 memory=6618532 CPUtime=11.75 cores=0,2,4,6
/proc/2124/task/2128/stat : 2128 (java) S 2122 2122 30531 0 -1 1077944384 344796 0 0 0 1029 146 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310081247632 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2129] ppid=2122 vsize=15419460 memory=6618532 CPUtime=11.78 cores=0,2,4,6
/proc/2124/task/2129/stat : 2129 (java) S 2122 2122 30531 0 -1 1077944384 322627 0 0 0 1041 137 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310080194832 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2130] ppid=2122 vsize=15419460 memory=6618532 CPUtime=0.42 cores=0,2,4,6
/proc/2124/task/2130/stat : 2130 (java) S 2122 2122 30531 0 -1 1077944384 21070 0 0 0 37 5 0 0 20 0 19 0 475201726 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309623745392 140310155324034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2131] ppid=2122 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2131/stat : 2131 (java) S 2122 2122 30531 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475201727 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309622691424 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2132] ppid=2122 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2132/stat : 2132 (java) S 2122 2122 30531 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 475201727 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309621638528 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2133] ppid=2122 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2133/stat : 2133 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309620586832 140310155331483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2134] ppid=2122 vsize=15419460 memory=3616 CPUtime=6.02 cores=0,2,4,6
/proc/2124/task/2134/stat : 2134 (java) S 2122 2122 30531 0 -1 1077944384 40073 0 0 0 599 3 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309619534192 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2135] ppid=2122 vsize=15419460 memory=1448 CPUtime=6.6 cores=0,2,4,6
/proc/2124/task/2135/stat : 2135 (java) S 2122 2122 30531 0 -1 1077944384 38908 0 0 0 656 4 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309618481392 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2136] ppid=2122 vsize=15419460 memory=6618532 CPUtime=1.37 cores=0,2,4,6
/proc/2124/task/2136/stat : 2136 (java) S 2122 2122 30531 0 -1 1077944384 23916 0 0 0 134 3 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309617428592 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2137] ppid=2122 vsize=15419460 memory=6618532 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2137/stat : 2137 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475201730 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309616376032 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2138] ppid=2122 vsize=15419460 memory=1448 CPUtime=1.47 cores=0,2,4,6
/proc/2124/task/2138/stat : 2138 (java) S 2122 2122 30531 0 -1 1077944384 8477 0 0 0 81 66 0 0 20 0 19 0 475201730 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309615324336 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2735] ppid=2122 vsize=15419460 memory=1448 CPUtime=0.53 cores=0,2,4,6
/proc/2124/task/2735/stat : 2735 (java) S 2122 2122 30531 0 -1 1077944384 44 0 0 0 53 0 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309006635056 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2736] ppid=2122 vsize=15419460 memory=6618532 CPUtime=0.54 cores=0,2,4,6
/proc/2124/task/2736/stat : 2736 (java) S 2122 2122 30531 0 -1 1077944384 161 0 0 0 54 0 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309604251008 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2737] ppid=2122 vsize=15419460 memory=1448 CPUtime=145.46 cores=0,2,4,6
/proc/2124/task/2737/stat : 2737 (java) R 2122 2122 30531 0 -1 4202560 31919 0 0 0 14544 2 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309007690952 140309763987319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2738] ppid=2122 vsize=15419460 memory=1448 CPUtime=0.6 cores=0,2,4,6
/proc/2124/task/2738/stat : 2738 (java) S 2122 2122 30531 0 -1 1077944384 21 0 0 0 60 0 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309005583488 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
Current children cumulated CPU time: 2399.53 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 6619980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2322.8 s]
/proc/loadavg: 1.00 1.01 1.62 2/211 2749
/proc/meminfo: memFree=4476332/32770624 swapFree=66935476/67108860
[pid=2122] ppid=2119 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2122/stat : 2122 (xcsp3-exec) S 2119 2122 30531 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475201724 115843072 362 33554432000 4194304 5098028 140725525397088 140725525395192 139730905875068 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 37720064 140725525402490 140725525402733 140725525402733 140725525405642 0
/proc/2122/statm: 28282 362 304 221 0 87 0
[pid=2124] ppid=2122 vsize=15419460 memory=6618532 CPUtime=2400.03 cores=0,2,4,6
/proc/2124/stat : 2124 (java) S 2122 2122 30531 0 -1 1077944320 2912410 0 0 0 239102 901 0 0 20 0 19 0 475201724 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140735970910400 140310155312887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
/proc/2124/statm: 3854865 1654633 3557 1 0 3815965 0
[pid=2124/tid=2125] ppid=2122 vsize=15419460 memory=1580 CPUtime=44.2 cores=0,2,4,6
/proc/2124/task/2125/stat : 2125 (java) S 2122 2122 30531 0 -1 1077944384 96153 0 0 0 4347 73 0 0 20 0 19 0 475201724 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310159553664 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2126] ppid=2122 vsize=15419460 memory=8317482817917895235 CPUtime=11.69 cores=0,2,4,6
/proc/2124/task/2126/stat : 2126 (java) S 2122 2122 30531 0 -1 1077944384 356824 0 0 0 1014 155 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310083353232 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2127] ppid=2122 vsize=15419460 memory=-7003737579269690708 CPUtime=11.65 cores=0,2,4,6
/proc/2124/task/2127/stat : 2127 (java) S 2122 2122 30531 0 -1 1077944384 357608 0 0 0 1040 125 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310082300432 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2128] ppid=2122 vsize=15419460 memory=932 CPUtime=11.75 cores=0,2,4,6
/proc/2124/task/2128/stat : 2128 (java) S 2122 2122 30531 0 -1 1077944384 344796 0 0 0 1029 146 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310081247632 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2129] ppid=2122 vsize=15419460 memory=528 CPUtime=11.78 cores=0,2,4,6
/proc/2124/task/2129/stat : 2129 (java) S 2122 2122 30531 0 -1 1077944384 322627 0 0 0 1041 137 0 0 20 0 19 0 475201725 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140310080194832 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2130] ppid=2122 vsize=15419460 memory=1560 CPUtime=0.42 cores=0,2,4,6
/proc/2124/task/2130/stat : 2130 (java) S 2122 2122 30531 0 -1 1077944384 21070 0 0 0 37 5 0 0 20 0 19 0 475201726 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309623745392 140310155324034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2131] ppid=2122 vsize=15419460 memory=932 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2131/stat : 2131 (java) S 2122 2122 30531 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475201727 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309622691424 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2132] ppid=2122 vsize=15419460 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2132/stat : 2132 (java) S 2122 2122 30531 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 475201727 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309621638528 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2133] ppid=2122 vsize=15419460 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2133/stat : 2133 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309620586832 140310155331483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2134] ppid=2122 vsize=15419460 memory=16098161034791267 CPUtime=6.02 cores=0,2,4,6
/proc/2124/task/2134/stat : 2134 (java) S 2122 2122 30531 0 -1 1077944384 40073 0 0 0 599 3 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309619534192 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2135] ppid=2122 vsize=15419460 memory=1560 CPUtime=6.6 cores=0,2,4,6
/proc/2124/task/2135/stat : 2135 (java) S 2122 2122 30531 0 -1 1077944384 38908 0 0 0 656 4 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309618481392 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2136] ppid=2122 vsize=15419460 memory=932 CPUtime=1.37 cores=0,2,4,6
/proc/2124/task/2136/stat : 2136 (java) S 2122 2122 30531 0 -1 1077944384 23916 0 0 0 134 3 0 0 20 0 19 0 475201729 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309617428592 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2137] ppid=2122 vsize=15419460 memory=1492 CPUtime=0 cores=0,2,4,6
/proc/2124/task/2137/stat : 2137 (java) S 2122 2122 30531 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475201730 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309616376032 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2138] ppid=2122 vsize=15419460 memory=860 CPUtime=1.47 cores=0,2,4,6
/proc/2124/task/2138/stat : 2138 (java) S 2122 2122 30531 0 -1 1077944384 8477 0 0 0 81 66 0 0 20 0 19 0 475201730 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309615324336 140310155324034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2735] ppid=2122 vsize=15419460 memory=1448 CPUtime=0.53 cores=0,2,4,6
/proc/2124/task/2735/stat : 2735 (java) S 2122 2122 30531 0 -1 1077944384 44 0 0 0 53 0 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309006635056 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2736] ppid=2122 vsize=15419460 memory=1408 CPUtime=0.54 cores=0,2,4,6
/proc/2124/task/2736/stat : 2736 (java) S 2122 2122 30531 0 -1 1077944384 161 0 0 0 54 0 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309604251008 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2737] ppid=2122 vsize=15419460 memory=3668 CPUtime=145.96 cores=0,2,4,6
/proc/2124/task/2737/stat : 2737 (java) R 2122 2122 30531 0 -1 4202560 33086 0 0 0 14594 2 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309007690952 140309758422240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
[pid=2124/tid=2738] ppid=2122 vsize=15419460 memory=1448 CPUtime=0.6 cores=0,2,4,6
/proc/2124/task/2738/stat : 2738 (java) S 2122 2122 30531 0 -1 1077944384 21 0 0 0 60 0 0 0 20 0 19 0 475419408 15789527040 1654633 33554432000 4194304 4196468 140735970927856 140309005583488 140310155323093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12263424 140735970931695 140735970931866 140735970931866 140735970934735 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 6619980 KiB

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

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

[startup+2322.88 s]
# the end of solver process 2124 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2391.05 s, system=9.07162 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): 2322.88
CPU time (s): 2400.12
CPU user time (s): 2391.05
CPU system time (s): 9.07162
CPU usage (%): 103.325
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 6639600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.05
system time used= 9.07162
maximum resident set size= 6691084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2914504
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60409
involuntary context switches= 4551


# summary of solver processes directly reported to runsolver:
#   pid: 2122,2124
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2391.05
#   total CPU system time (s): 9.07162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7429 second user time and 23.4179 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-20 17:16:36
IDJOB=4403982
IDBENCH=141273
IDSOLVER=2864
FILE ID=node141/4403982-1568992638
RUNJOBID= node141-1568991778-30562
PBS_JOBID= 21704662
Free space on /tmp= 22744 MiB

SOLVER NAME= choco-solver 2019-09-20
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-4403982-1568992638/watcher-4403982-1568992638 -o /tmp/evaluation-result-4403982-1568992638/solver-4403982-1568992638 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568991778-30562 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1493906769 HOME/instance-4403982-1568992638.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=1493906769

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:         7220100 kB
MemAvailable:   28448408 kB
Buffers:          123732 kB
Cached:         21356260 kB
SwapCached:        62356 kB
Active:         14113140 kB
Inactive:       10780516 kB
Active(anon):    3351652 kB
Inactive(anon):   106180 kB
Active(file):   10761488 kB
Inactive(file): 10674336 kB
Unevictable:      109292 kB
Mlocked:          109292 kB
SwapTotal:      67108860 kB
SwapFree:       66935464 kB
Dirty:            108684 kB
Writeback:             4 kB
AnonPages:       3394056 kB
Mapped:            61616 kB
Shmem:             35256 kB
Slab:             246528 kB
SReclaimable:     216636 kB
SUnreclaim:        29892 kB
KernelStack:        3872 kB
PageTables:        11968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5282436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2850816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 22744 MiB
End job on node141 at 2019-09-20 17:55:20