Trace number 4393222

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-06-14SAT (TO)225550661 2520.52 2251.12

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393222-1568355179.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393222-1568355179.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
91.06/54.18	c solve instance...
100.38/56.57	o 234919466 
103.92/58.14	o 234919458 
104.18/58.31	o 234905207 
274.48/227.97	o 234905206 
274.70/228.15	o 234890946 
275.24/228.34	o 234876694 
275.51/228.51	o 234862434 
275.51/228.52	o 234862426 
277.33/229.10	o 234848176 
277.55/229.11	o 234848175 
277.55/229.12	o 234833915 
277.55/229.13	o 234833906 
277.55/229.15	o 234805386 
277.55/229.16	o 234791126 
277.99/229.34	o 234776866 
278.29/229.50	o 234762606 
278.29/229.51	o 234748346 
278.29/229.51	o 234734093 
278.29/229.52	o 234734086 
278.29/229.54	o 234719835 
279.92/230.04	o 234719826 
280.13/230.21	o 234705566 
280.30/230.37	o 234691306 
280.53/230.53	o 234677046 
280.77/230.70	o 234677038 
283.24/232.61	o 234662787 
459.07/408.06	o 234662786 
459.28/408.27	o 234648526 
460.18/408.52	o 234634275 
462.82/410.45	o 234634266 
638.58/585.80	o 234620006 
638.80/585.98	o 234619998 
639.10/586.14	o 234605746 
639.60/586.32	o 234591486 
640.18/586.54	o 234577226 
643.99/588.82	o 234562966 
816.39/760.22	o 234548706 
816.92/760.44	o 234534446 
817.30/760.60	o 234520186 
817.43/760.77	o 234505936 
817.78/760.94	o 234505926 
817.90/761.11	o 234491666 
818.38/761.36	o 234477406 
818.85/761.55	o 234463146 
819.19/761.71	o 234463138 
821.32/763.63	o 234448886 
998.19/939.01	o 234434626 
999.19/939.34	o 234420375 
999.42/939.50	o 234420366 
1001.58/941.40	o 234406106 
1179.93/1118.58	o 234391846 
1180.20/1118.74	o 234377586 
1181.75/1119.23	o 234377578 
1181.99/1119.38	o 234363326 
1182.24/1119.54	o 234349066 
1183.83/1120.01	o 234334806 
1184.60/1120.32	o 234334798 
1186.63/1122.18	o 234320546 
1364.00/1299.24	o 234306286 
1366.05/1299.88	o 234306278 
1366.40/1300.07	o 234292028 
1369.29/1301.96	o 234292018 
1546.93/1478.22	o 234277758 
1547.58/1478.49	o 234263498 
1548.08/1478.61	o 234249238 
1548.30/1478.73	o 234234978 
1549.14/1479.04	o 234234970 
1549.42/1479.15	o 234220718 
1551.51/1480.97	o 234206458 
1733.59/1658.67	o 234192198 
1734.19/1658.91	o 234177938 
1737.31/1659.72	o 234177930 
1737.64/1659.89	o 234163678 
1737.83/1660.00	o 234149418 
1743.98/1662.43	o 234135171 
1919.02/1837.34	o 234135168 
1919.24/1837.52	o 234135159 
1919.24/1837.54	o 234135158 
1920.32/1837.80	o 234120907 
1920.32/1837.81	o 234120898 
1921.50/1838.28	o 234106656 
1923.63/1838.86	o 234106648 
1927.49/1840.80	o 234106643 
2101.53/2014.36	o 234092391 
2101.91/2014.58	o 234078131 
2103.06/2014.93	o 234078124 
2104.57/2015.40	o 234078119 
2104.93/2015.41	o 234078118 
2106.05/2015.81	o 234063867 
2107.76/2017.59	o 234063858 
2288.70/2192.82	o 225550661 
2520.18/2251.06	s SATISFIABLE
2520.18/2251.06	v <instantiation>
2520.18/2251.06	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] </list>
2520.18/2251.06	v 	<values>2480 2264 2756 2604 2460 2560 2684 2788 2436 2420 2704 2420 2668 2420 2464 2300 2744 2356 2756 2244 2620 2780 2276 2780 2748 2820 2724 2584 2748 2788 2260 2684 2304 2272 2564 2220 2396 2684 2260 2260 2340 2756 2564 2532 2816 2440 2264 2816 2520 2236 2508 2356 2368 2788 2244 2772 2388 2520 2560 2516 2724 2612 2812 2748 2428 2788 2412 2604 2660 2772 2628 2420 2556 2260 2740 2480 2788 2780 2424 2560 2748 2812 2596 2520 2588 2788 2284 2660 2668 2788 2520 2500 2260 2420 2520 2264 2748 2380 2464 2820 2572 2468 2620 2620 2780 2772 2224 2724 2744 2500 2708 2644 2400 2708 2220 2816 2740 2380 2820 2572 2732 2628 2224 2780 2460 2684 2316 2732 2520 2276 2788 2376 2732 2716 2220 2488 2564 2700 2724 2492 2220 2756 2696 2480 2260 2572 2780 2748 2604 2592 2780 2220 2220 2300 2512 2408 2276 2380 2260 2724 2716 2560 2748 2372 2348 2820 2432 2532 2264 2224 2264 2520 2560 2564 2380 2748 2748 2660 2748 2740 2772 2276 2468 2508 2276 2620 2540 2756 2224 2628 2460 2468 2244 2632 2544 2744 2260 2520 2776 2372 2748 2500 2660 2620 2788 2504 2644 2620 2660 2716 2592 2660 2552 2440 2380 2684 2316 2472 2564 2412 2388 2736 2708 2772 2264 2668 2780 2748 2388 2480 2380 2740 2788 2312 2820 2748 2632 2720 2520 2572 2696 2760 2660 2344 2284 2524 2340 2604 2704 2660 2344 2464 2756 2700 2708 2812 2284 2276 2520 2660 2372 2780 2528 2780 2636 2772 2512 2220 2716 2776 2264 2480 2224 2788 2284 2260 2748 2340 2788 2220 2772 2820 2424 2716 2724 2636 2428 2724 2380 2628 2772 2264 2416 2676 2244 2812 2380 2684 2264 2700 2472 2416 2476 2656 2732 2768 2384 2820 2508 2260 2764 2780 2716 2224 2616 2632 2660 2224 2260 2224 2592 2776 2532 2576 2376 2316 2620 2236 2724 2520 2220 2588 2748 2220 2808 2260 2236 2524 2220 2684 2500 2236 2784 2412 2304 2480 2340 2560 2764 2532 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 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 1 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 8 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 8 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 8 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 9 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 8 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 3 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 10 0 0 0 0 0 0 0 7 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 7 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 6 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 1 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 40 256 8 276 180 260 220 80 380 204 396 436 248 336 452 520 160 24 136 496 136 40 24 536 236 332 84 168 184 136 152 104 84 216 120 164 104 96 264 196 316 328 44 200 176 328 324 80 172 80 4 220 300 104 104 184 24 420 204 344 440 96 64 96 84 368 528 268 24 168 568 512 40 32 524 564 128 336 288 168 64 108 64 192 136 140 360 276 104 76 288 264 428 84 132 444 36 132 280 80 248 160 200 100 88 368 240 296 156 320 208 4 344 112 364 408 80 48 148 256 12 448 328 400 324 152 336 136 76 100 216 8 344 292 356 348 36 244 244 152 0 196 228 40 440 220 448 288 468 60 28 240 152 48 84 460 36 240 136 376 112 360 304 320 380 32 136 344 384 136 8 340 544 384 384 536 236 344 64 168 152 136 28 240 248 48 40 168 288 260 280 308 216 352 472 384 344 280 292 64 556 236 408 440 32 364 352 24 0 488 324 160 260 52 308 464 228 176 312 144 204 152 204 236 160 204 56 164 204 44 320 300 324 100 32 348 16 524 528 528 176 40 0 288 564 288 208 488 72 104 24 16 124 56 88 64 464 92 412 240 328 268 464 52 544 468 188 356 236 248 252 56 304 100 288 216 344 256 80 184 136 188 44 304 568 0 96 124 488 0 464 164 16 80 384 40 284 368 72 464 296 200 260 40 400 408 44 400 312 456 112 128 24 504 76 264 220 376 180 376 192 276 376 8 112 136 24 64 480 232 208 248 40 96 36 152 300 344 80 128 32 248 168 308 32 376 392 68 596 76 572 40 28 4 200 284 12 308 132 332 304 236 196 556 404 396 0 76 556 68 184 196 140 260 296 116 92 424 176 512 536 284 572 288 104 248 88 288 136 304 136 124 248 432 164 400 120 136 112 292 412 144 380 56 148 56 196 444 260 276 104 196 544 424 276 500 16 40 184 152 512 104 48 508 168 52 316 124 424 84 228 92 76 164 32 256 196 180 40 12 80 28 256 256 304 152 116 176 264 116 76 140 96 248 500 392 48 140 84 248 468 208 0 196 552 400 152 40 32 436 72 40 484 128 388 268 152 320 144 184 288 380 24 88 32 32 156 264 268 56 552 188 108 176 0 104 32 328 144 380 184 184 264 440 24 112 24 244 28 24 128 496 460 200 40 456 140 120 360 200 88 256 216 240 132 20 260 464 284 212 24 260 524 280 4 236 456 236 80 8 216 180 204 324 56 228 280 96 372 228 400 560 352 56 196 324 140 200 260 12 68 128 72 216 80 256 80 4 32 184 160 412 208 440 24 32 88 592 332 192 124 136 360 236 244 180 252 148 196 204 180 68 88 72 40 364 80 408 564 444 416 64 156 0 496 492 504 528 48 260 192 280 116 416 436 436 148 80 292 148 48 48 228 120 288 328 0 88 64 320 160 172 268 484 20 228 292 296 196 204 260 248 104 92 104 240 76 120 120 204 40 384 408 400 356 116 100 100 240 328 160 356 260 236 252 140 136 368 340 284 288 208 332 488 120 116 336 48 356 204 244 236 152 88 204 300 80 356 556 96 600 192 176 100 144 248 168 152 240 300 108 64 152 136 136 100 56 148 32 164 316 400 432 260 240 556 32 96 8 8 40 372 44 48 496 496 384 512 36 596 556 276 248 200 308 152 104 88 224 100 20 240 12 216 224 40 128 200 248 240 64 424 104 380 80 380 180 140 376 348 116 408 484 432 52 72 212 56 568 220 596 68 120 556 392 32 56 84 24 112 164 280 172 288 120 600 388 192 268 480 556 344 160 192 308 52 92 192 172 72 320 40 64 404 284 24 192 88 368 368 392 524 336 408 476 0 452 20 556 64 408 280 392 176 16 100 288 352 328 176 236 224 128 48 64 52 296 344 424 124 92 432 52 96 184 56 172 48 72 144 228 228 292 180 12 296 256 180 16 236 472 544 232 100 40 40 128 408 404 564 472 92 92 36 36 168 352 168 160 76 496 496 496 184 244 376 472 496 528 96 352 536 560 0 356 104 44 32 284 108 144 24 208 112 120 304 480 76 112 108 480 464 24 64 212 268 280 112 208 192 316 352 136 124 492 380 316 280 220 40 88 140 276 292 80 260 408 40 80 440 0 60 296 308 56 104 88 188 408 260 436 32 224 264 56 24 180 156 280 44 84 356 332 248 148 276 300 528 24 484 64 292 292 600 424 480 544 156 472 44 480 80 124 116 224 384 132 188 104 292 208 132 144 184 356 224 376 92 160 156 196 384 408 552 120 440 264 352 384 156 88 336 56 216 228 32 212 36 80 316 484 40 128 32 40 228 24 512 16 256 68 176 356 8 440 120 596 196 52 216 20 216 396 396 316 420 120 0 308 500 300 120 172 336 336 324 340 184 184 4 396 172 360 400 376 72 144 268 132 0 484 156 344 112 148 56 244 84 176 220 40 44 232 456 300 552 0 348 356 508 552 424 308 96 320 304 308 152 208 264 120 168 208 280 176 352 288 136 444 140 120 336 248 176 124 136 120 32 596 296 252 80 152 8 88 244 196 224 236 376 328 460 544 568 20 8 148 112 408 408 372 28 500 64 220 488 152 512 400 156 56 24 220 44 204 68 300 12 88 416 64 220 20 0 216 240 188 92 128 100 336 344 360 16 208 80 308 504 64 172 28 232 256 360 380 96 144 272 88 320 44 184 332 280 64 196 88 156 336 92 8 160 116 80 72 108 100 260 308 164 252 96 236 60 148 304 76 100 484 468 44 284 76 292 260 464 88 28 524 60 16 388 272 48 276 204 292 52 244 244 192 48 80 228 520 16 80 44 476 544 56 200 48 436 116 276 40 8 272 72 408 132 72 260 212 300 192 112 80 76 164 44 52 24 260 360 428 132 84 60 524 300 360 432 192 16 192 192 72 84 108 196 468 80 436 232 56 44 436 72 232 180 340 252 324 180 252 268 44 136 496 256 88 40 76 176 132 184 24 432 428 8 492 0 48 536 232 56 40 204 48 248 40 16 40 128 68 64 364 516 308 204 16 152 292 248 192 16 548 0 300 24 32 292 172 192 148 396 540 524 556 24 236 456 36 548 252 56 48 184 260 412 104 184 376 204 204 88 364 324 296 24 44 56 268 264 172 504 552 128 384 336 240 464 436 40 236 24 252 212 368 216 420 508 356 104 124 104 528 280 408 92 240 328 152 44 372 356 312 116 96 216 384 244 564 </values>
2520.18/2251.06	v </instantiation>
2520.18/2251.06	c Unexpected resolution interruption!

Verifier Data 

OK	225550661

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393222-1568355179/watcher-4393222-1568355179 -o /tmp/evaluation-result-4393222-1568355179/solver-4393222-1568355179 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568354118-30104 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 378015180 HOME/instance-4393222-1568355179.xml 

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

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


[startup+0.100667 s]*
/proc/loadavg: 7.94 7.41 5.07 7/234 2305
/proc/meminfo: memFree=24572628/32770624 swapFree=66957012/67108860
[pid=2289] ppid=2286 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2289/stat : 2289 (xcsp3-exec) S 2286 2289 30073 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411431790 115843072 362 33554432000 4194304 5098028 140730676530352 140730676528456 139971058946684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14987264 140730676536187 140730676536429 140730676536429 140730676539338 0
/proc/2289/statm: 28282 362 304 221 0 87 0
[pid=2291] ppid=2289 vsize=15144768 memory=29872 CPUtime=0.12 cores=0,2,4,6
/proc/2291/stat : 2291 (java) S 2289 2289 30073 0 -1 1077944320 5933 0 0 0 11 1 0 0 20 0 15 0 411431790 15508242432 7468 33554432000 4194304 4196468 140724742558640 140724742541184 139857243684599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
/proc/2291/statm: 3786192 7468 3111 1 0 3748377 0
[pid=2291/tid=2292] ppid=2289 vsize=15144768 memory=4716004659011092361 CPUtime=0.09 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (java) R 2289 2289 30073 0 -1 4202560 3862 0 0 0 9 0 0 0 20 0 15 0 411431790 15508242432 7468 33554432000 4194304 4196468 140724742558640 139857247909008 139857235921726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2293] ppid=2289 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431791 15508242432 7468 33554432000 4194304 4196468 140724742558640 139857155341072 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2294] ppid=2289 vsize=15144768 memory=140681838777984 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431791 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856835505040 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2295] ppid=2289 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2295/stat : 2295 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431791 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856834452496 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2296] ppid=2289 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2296/stat : 2296 (java) S 2289 2289 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411431791 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856833399952 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2297] ppid=2289 vsize=15144768 memory=140681838777984 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2297/stat : 2297 (java) S 2289 2289 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411431792 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856712304624 139857243695746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2298] ppid=2289 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2298/stat : 2298 (java) S 2289 2289 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411431793 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856711250848 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2299] ppid=2289 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2299/stat : 2299 (java) S 2289 2289 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411431793 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856710198256 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2300] ppid=2289 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2300/stat : 2300 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411431795 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856709146832 139857243703195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2301] ppid=2289 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2301/stat : 2301 (java) R 2289 2289 30073 0 -1 4202560 320 0 0 0 0 0 0 0 20 0 15 0 411431796 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856708094448 139857227120337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2302] ppid=2289 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2302/stat : 2302 (java) R 2289 2289 30073 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 411431796 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856707041904 139857243695746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2303] ppid=2289 vsize=15144768 memory=140681838777984 CPUtime=0.02 cores=0,2,4,6
/proc/2291/task/2303/stat : 2303 (java) R 2289 2289 30073 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 411431796 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856705989360 139857243698481 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2304] ppid=2289 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2304/stat : 2304 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411431796 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856704937056 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2305] ppid=2289 vsize=15144768 memory=140681838777984 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2305/stat : 2305 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431796 15508242432 7468 33554432000 4194304 4196468 140724742558640 139856703883568 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31320 KiB

[startup+0.210748 s]*
/proc/loadavg: 7.94 7.41 5.07 6/234 2305
/proc/meminfo: memFree=24560652/32770624 swapFree=66957012/67108860
[pid=2289] ppid=2286 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2289/stat : 2289 (xcsp3-exec) S 2286 2289 30073 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411431790 115843072 362 33554432000 4194304 5098028 140730676530352 140730676528456 139971058946684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14987264 140730676536187 140730676536429 140730676536429 140730676539338 0
/proc/2289/statm: 28282 362 304 221 0 87 0
[pid=2291] ppid=2289 vsize=15144768 memory=41340 CPUtime=0.34 cores=0,2,4,6
/proc/2291/stat : 2291 (java) S 2289 2289 30073 0 -1 1077944320 9480 0 0 0 31 3 0 0 20 0 15 0 411431790 15508242432 10335 33554432000 4194304 4196468 140724742558640 140724742541184 139857243684599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
/proc/2291/statm: 3786192 10335 3309 1 0 3748377 0
[pid=2291/tid=2292] ppid=2289 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (java) R 2289 2289 30073 0 -1 4202560 6679 0 0 0 18 2 0 0 20 0 15 0 411431790 15508242432 10335 33554432000 4194304 4196468 140724742558640 139857247918304 139857243696534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2293] ppid=2289 vsize=15144768 memory=8952 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431791 15508242432 10335 33554432000 4194304 4196468 140724742558640 139857155341072 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2294] ppid=2289 vsize=15144768 memory=288371057990489728 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431791 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856835505040 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2295] ppid=2289 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2295/stat : 2295 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431791 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856834452496 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2296] ppid=2289 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2296/stat : 2296 (java) S 2289 2289 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411431791 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856833399952 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2297] ppid=2289 vsize=15144768 memory=140681838777984 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2297/stat : 2297 (java) S 2289 2289 30073 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411431792 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856712304624 139857243695746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2298] ppid=2289 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2298/stat : 2298 (java) S 2289 2289 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411431793 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856711250848 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2299] ppid=2289 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2299/stat : 2299 (java) S 2289 2289 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411431793 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856710198256 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2300] ppid=2289 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2300/stat : 2300 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411431795 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856709146832 139857243703195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2301] ppid=2289 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2291/task/2301/stat : 2301 (java) S 2289 2289 30073 0 -1 1077944384 541 0 0 0 3 0 0 0 20 0 15 0 411431796 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856708094448 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2302] ppid=2289 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2291/task/2302/stat : 2302 (java) S 2289 2289 30073 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 411431796 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856707041904 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2303] ppid=2289 vsize=15144768 memory=140681838777984 CPUtime=0.07 cores=0,2,4,6
/proc/2291/task/2303/stat : 2303 (java) R 2289 2289 30073 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 15 0 411431796 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856705989360 139857243705946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2304] ppid=2289 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2304/stat : 2304 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411431796 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856704937056 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2305] ppid=2289 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2305/stat : 2305 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431796 15508242432 10335 33554432000 4194304 4196468 140724742558640 139856703883568 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42788 KiB

[startup+0.321142 s]*
/proc/loadavg: 7.94 7.41 5.07 7/234 2305
/proc/meminfo: memFree=24553112/32770624 swapFree=66957012/67108860
[pid=2289] ppid=2286 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2289/stat : 2289 (xcsp3-exec) S 2286 2289 30073 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411431790 115843072 362 33554432000 4194304 5098028 140730676530352 140730676528456 139971058946684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14987264 140730676536187 140730676536429 140730676536429 140730676539338 0
/proc/2289/statm: 28282 362 304 221 0 87 0
[pid=2291] ppid=2289 vsize=15149024 memory=50204 CPUtime=0.54 cores=0,2,4,6
/proc/2291/stat : 2291 (java) S 2289 2289 30073 0 -1 1077944320 10930 0 0 0 50 4 0 0 20 0 15 0 411431790 15512600576 12551 33554432000 4194304 4196468 140724742558640 140724742541184 139857243684599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
/proc/2291/statm: 3787256 12551 3348 1 0 3748377 0
[pid=2291/tid=2292] ppid=2289 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (java) R 2289 2289 30073 0 -1 4202560 7918 0 0 0 28 3 0 0 20 0 15 0 411431790 15512600576 12624 33554432000 4194304 4196468 140724742558640 139857247920144 139857227765086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2293] ppid=2289 vsize=15149024 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431791 15512600576 12624 33554432000 4194304 4196468 140724742558640 139857155341072 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2294] ppid=2289 vsize=15149024 memory=20844 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431791 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856835505040 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2295] ppid=2289 vsize=15149024 memory=492 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2295/stat : 2295 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431791 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856834452496 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2296] ppid=2289 vsize=15149024 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2296/stat : 2296 (java) S 2289 2289 30073 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411431791 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856833399952 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2297] ppid=2289 vsize=15149024 memory=932 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2297/stat : 2297 (java) S 2289 2289 30073 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411431792 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856712304624 139857243695746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2298] ppid=2289 vsize=15149024 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2298/stat : 2298 (java) S 2289 2289 30073 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411431793 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856711250848 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2299] ppid=2289 vsize=15149024 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2299/stat : 2299 (java) S 2289 2289 30073 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411431793 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856710198256 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2300] ppid=2289 vsize=15149024 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2300/stat : 2300 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411431795 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856709146832 139857243703195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2301] ppid=2289 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2291/task/2301/stat : 2301 (java) S 2289 2289 30073 0 -1 1077944384 567 0 0 0 5 0 0 0 20 0 15 0 411431796 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856708094448 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2302] ppid=2289 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2291/task/2302/stat : 2302 (java) S 2289 2289 30073 0 -1 1077944384 326 0 0 0 4 0 0 0 20 0 15 0 411431796 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856707041904 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2303] ppid=2289 vsize=15149024 memory=35809 CPUtime=0.12 cores=0,2,4,6
/proc/2291/task/2303/stat : 2303 (java) S 2289 2289 30073 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 15 0 411431796 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856705989360 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2304] ppid=2289 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2304/stat : 2304 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411431796 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856704937056 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2305] ppid=2289 vsize=15149024 memory=-1598831813028945288 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2305/stat : 2305 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431796 15512600576 12624 33554432000 4194304 4196468 140724742558640 139856703883568 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51652 KiB

[startup+0.701138 s]
/proc/loadavg: 7.94 7.41 5.07 7/234 2305
/proc/meminfo: memFree=24467528/32770624 swapFree=66957012/67108860
[pid=2289] ppid=2286 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2289/stat : 2289 (xcsp3-exec) S 2286 2289 30073 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411431790 115843072 362 33554432000 4194304 5098028 140730676530352 140730676528456 139971058946684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14987264 140730676536187 140730676536429 140730676536429 140730676539338 0
/proc/2289/statm: 28282 362 304 221 0 87 0
[pid=2291] ppid=2289 vsize=15149024 memory=293048 CPUtime=1.58 cores=0,2,4,6
/proc/2291/stat : 2291 (java) S 2289 2289 30073 0 -1 1077944320 13510 0 0 0 132 26 0 0 20 0 15 0 411431790 15512600576 73262 33554432000 4194304 4196468 140724742558640 140724742541184 139857243684599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
/proc/2291/statm: 3787256 73262 3418 1 0 3748377 0
[pid=2291/tid=2292] ppid=2289 vsize=15149024 memory=72 CPUtime=0.61 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (java) R 2289 2289 30073 0 -1 4202560 8046 0 0 0 54 7 0 0 20 0 15 0 411431790 15512600576 73262 33554432000 4194304 4196468 140724742558640 139857247923728 139857243706525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2293] ppid=2289 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (java) S 2289 2289 30073 0 -1 1077944384 63 0 0 0 2 4 0 0 20 0 15 0 411431791 15512600576 73262 33554432000 4194304 4196468 140724742558640 139857155341072 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2294] ppid=2289 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (java) S 2289 2289 30073 0 -1 1077944384 59 0 0 0 2 4 0 0 20 0 15 0 411431791 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856835505040 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2295] ppid=2289 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2291/task/2295/stat : 2295 (java) S 2289 2289 30073 0 -1 1077944384 63 0 0 0 2 4 0 0 20 0 15 0 411431791 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856834452496 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2296] ppid=2289 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/2291/task/2296/stat : 2296 (java) S 2289 2289 30073 0 -1 1077944384 69 0 0 0 2 4 0 0 20 0 15 0 411431791 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856833399952 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2297] ppid=2289 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2297/stat : 2297 (java) S 2289 2289 30073 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 411431792 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856712304624 139857243695746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2298] ppid=2289 vsize=15149024 memory=13378 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2298/stat : 2298 (java) S 2289 2289 30073 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 411431793 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856711250848 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2299] ppid=2289 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2299/stat : 2299 (java) S 2289 2289 30073 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 411431793 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856710198256 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2300] ppid=2289 vsize=15149024 memory=1195 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2300/stat : 2300 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411431795 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856709146832 139857243703195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2301] ppid=2289 vsize=15149024 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/2291/task/2301/stat : 2301 (java) R 2289 2289 30073 0 -1 4202560 1653 0 0 0 28 0 0 0 20 0 15 0 411431796 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856708080800 139857224860396 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2302] ppid=2289 vsize=15149024 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/2291/task/2302/stat : 2302 (java) R 2289 2289 30073 0 -1 4202560 919 0 0 0 20 0 0 0 20 0 15 0 411431796 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856707041904 139857228101328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2303] ppid=2289 vsize=15149024 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/2291/task/2303/stat : 2303 (java) S 2289 2289 30073 0 -1 1077944384 1257 0 0 0 19 0 0 0 20 0 15 0 411431796 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856705989360 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2304] ppid=2289 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2304/stat : 2304 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411431796 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856704937056 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2305] ppid=2289 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2305/stat : 2305 (java) S 2289 2289 30073 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411431796 15512600576 73262 33554432000 4194304 4196468 140724742558640 139856703883568 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 294496 KiB

[startup+1.50094 s]
/proc/loadavg: 7.94 7.41 5.07 8/234 2305
/proc/meminfo: memFree=24304564/32770624 swapFree=66957012/67108860
[pid=2289] ppid=2286 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2289/stat : 2289 (xcsp3-exec) S 2286 2289 30073 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411431790 115843072 362 33554432000 4194304 5098028 140730676530352 140730676528456 139971058946684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14987264 140730676536187 140730676536429 140730676536429 140730676539338 0
/proc/2289/statm: 28282 362 304 221 0 87 0

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

/proc/2291/stat : 2291 (java) S 2289 2289 30073 0 -1 1077944320 727382 0 0 0 223273 545 0 0 20 0 19 0 411431790 15790571520 1674657 33554432000 4194304 4196468 140724742558640 140724742541184 139857243684599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
/proc/2291/statm: 3855120 1674657 3556 1 0 3816222 0
[pid=2291/tid=2292] ppid=2289 vsize=15420480 memory=6698628 CPUtime=43.92 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (java) S 2289 2289 30073 0 -1 1077944384 39567 0 0 0 4333 59 0 0 20 0 19 0 411431790 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139857247925376 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2293] ppid=2289 vsize=15420480 memory=6698628 CPUtime=11.93 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (java) S 2289 2289 30073 0 -1 1077944384 70623 0 0 0 1098 95 0 0 20 0 19 0 411431791 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139857155341072 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2294] ppid=2289 vsize=15420480 memory=6698628 CPUtime=11.93 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (java) S 2289 2289 30073 0 -1 1077944384 109234 0 0 0 1094 99 0 0 20 0 19 0 411431791 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856835505040 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2295] ppid=2289 vsize=15420480 memory=6698628 CPUtime=11.9 cores=0,2,4,6
/proc/2291/task/2295/stat : 2295 (java) S 2289 2289 30073 0 -1 1077944384 75076 0 0 0 1094 96 0 0 20 0 19 0 411431791 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856834452496 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2296] ppid=2289 vsize=15420480 memory=1448 CPUtime=11.88 cores=0,2,4,6
/proc/2291/task/2296/stat : 2296 (java) S 2289 2289 30073 0 -1 1077944384 78820 0 0 0 1093 95 0 0 20 0 19 0 411431791 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856833399952 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2297] ppid=2289 vsize=15420480 memory=6698628 CPUtime=0.46 cores=0,2,4,6
/proc/2291/task/2297/stat : 2297 (java) S 2289 2289 30073 0 -1 1077944384 16739 0 0 0 42 4 0 0 20 0 19 0 411431792 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856712304624 139857243695746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2298] ppid=2289 vsize=15420480 memory=6698628 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2298/stat : 2298 (java) S 2289 2289 30073 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 411431793 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856711250912 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2299] ppid=2289 vsize=15420480 memory=6698628 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2299/stat : 2299 (java) S 2289 2289 30073 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 411431793 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856710198272 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2300] ppid=2289 vsize=15420480 memory=6698628 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2300/stat : 2300 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411431795 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856709146832 139857243703195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2301] ppid=2289 vsize=15420480 memory=6698628 CPUtime=5.99 cores=0,2,4,6
/proc/2291/task/2301/stat : 2301 (java) S 2289 2289 30073 0 -1 1077944384 32472 0 0 0 596 3 0 0 20 0 19 0 411431796 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856708094448 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2302] ppid=2289 vsize=15420480 memory=6698628 CPUtime=6.86 cores=0,2,4,6
/proc/2291/task/2302/stat : 2302 (java) S 2289 2289 30073 0 -1 1077944384 46838 0 0 0 681 5 0 0 20 0 19 0 411431796 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856707041904 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2303] ppid=2289 vsize=15420480 memory=6698628 CPUtime=1.34 cores=0,2,4,6
/proc/2291/task/2303/stat : 2303 (java) S 2289 2289 30073 0 -1 1077944384 23076 0 0 0 131 3 0 0 20 0 19 0 411431796 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856705989360 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2304] ppid=2289 vsize=15420480 memory=6698628 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2304/stat : 2304 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411431796 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856704937056 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2305] ppid=2289 vsize=15420480 memory=1448 CPUtime=1.26 cores=0,2,4,6
/proc/2291/task/2305/stat : 2305 (java) S 2289 2289 30073 0 -1 1077944384 8306 0 0 0 70 56 0 0 20 0 19 0 411431796 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856703883568 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3485] ppid=2289 vsize=15420480 memory=6698628 CPUtime=1.56 cores=0,2,4,6
/proc/2291/task/3485/stat : 3485 (java) S 2289 2289 30073 0 -1 1077944384 462 0 0 0 156 0 0 0 20 0 19 0 411633550 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856688369008 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3486] ppid=2289 vsize=15420480 memory=6698628 CPUtime=1.57 cores=0,2,4,6
/proc/2291/task/3486/stat : 3486 (java) S 2289 2289 30073 0 -1 1077944384 501 0 0 0 157 0 0 0 20 0 19 0 411633550 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856689423360 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3487] ppid=2289 vsize=15420480 memory=6698628 CPUtime=124.4 cores=0,2,4,6
/proc/2291/task/3487/stat : 3487 (java) R 2289 2289 30073 0 -1 4202560 6295 0 0 0 12440 0 0 0 20 0 19 0 411633550 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856690473024 139856846119195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3488] ppid=2289 vsize=15420480 memory=1760 CPUtime=1.54 cores=0,2,4,6
/proc/2291/task/3488/stat : 3488 (java) S 2289 2289 30073 0 -1 1077944384 651 0 0 0 154 0 0 0 20 0 19 0 411633550 15790571520 1674657 33554432000 4194304 4196468 140724742558640 139856691528960 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
Current children cumulated CPU time: 2238.18 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 6700076 KiB

[startup+2202.3 s]
/proc/loadavg: 4.13 4.89 5.04 7/233 3580
/proc/meminfo: memFree=14586068/32770624 swapFree=66957012/67108860
[pid=2289] ppid=2286 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2289/stat : 2289 (xcsp3-exec) S 2286 2289 30073 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411431790 115843072 362 33554432000 4194304 5098028 140730676530352 140730676528456 139971058946684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14987264 140730676536187 140730676536429 140730676536429 140730676539338 0
/proc/2289/statm: 28282 362 304 221 0 87 0
[pid=2291] ppid=2289 vsize=15420480 memory=6700520 CPUtime=2326.39 cores=0,2,4,6
/proc/2291/stat : 2291 (java) S 2289 2289 30073 0 -1 1077944320 756513 0 0 0 232090 549 0 0 20 0 19 0 411431790 15790571520 1675130 33554432000 4194304 4196468 140724742558640 140724742541184 139857243684599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
/proc/2291/statm: 3855120 1675130 3556 1 0 3816222 0
[pid=2291/tid=2292] ppid=2289 vsize=15420480 memory=6698628 CPUtime=43.93 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (java) S 2289 2289 30073 0 -1 1077944384 40128 0 0 0 4334 59 0 0 20 0 19 0 411431790 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139857247925376 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2293] ppid=2289 vsize=15420480 memory=6698628 CPUtime=11.93 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (java) S 2289 2289 30073 0 -1 1077944384 70623 0 0 0 1098 95 0 0 20 0 19 0 411431791 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139857155341072 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2294] ppid=2289 vsize=15420480 memory=6698628 CPUtime=11.93 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (java) S 2289 2289 30073 0 -1 1077944384 109234 0 0 0 1094 99 0 0 20 0 19 0 411431791 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856835505040 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2295] ppid=2289 vsize=15420480 memory=6698628 CPUtime=11.9 cores=0,2,4,6
/proc/2291/task/2295/stat : 2295 (java) S 2289 2289 30073 0 -1 1077944384 75076 0 0 0 1094 96 0 0 20 0 19 0 411431791 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856834452496 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2296] ppid=2289 vsize=15420480 memory=6698628 CPUtime=11.88 cores=0,2,4,6
/proc/2291/task/2296/stat : 2296 (java) S 2289 2289 30073 0 -1 1077944384 78820 0 0 0 1093 95 0 0 20 0 19 0 411431791 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856833399952 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2297] ppid=2289 vsize=15420480 memory=6700520 CPUtime=0.46 cores=0,2,4,6
/proc/2291/task/2297/stat : 2297 (java) S 2289 2289 30073 0 -1 1077944384 16967 0 0 0 42 4 0 0 20 0 19 0 411431792 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856712304624 139857243695746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2298] ppid=2289 vsize=15420480 memory=6700520 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2298/stat : 2298 (java) S 2289 2289 30073 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 411431793 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856711250912 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2299] ppid=2289 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2299/stat : 2299 (java) S 2289 2289 30073 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 411431793 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856710198272 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2300] ppid=2289 vsize=15420480 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2300/stat : 2300 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411431795 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856709146832 139857243703195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2301] ppid=2289 vsize=15420480 memory=1448 CPUtime=6.71 cores=0,2,4,6
/proc/2291/task/2301/stat : 2301 (java) S 2289 2289 30073 0 -1 1077944384 41798 0 0 0 667 4 0 0 20 0 19 0 411431796 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856708094448 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2302] ppid=2289 vsize=15420480 memory=1448 CPUtime=7.34 cores=0,2,4,6
/proc/2291/task/2302/stat : 2302 (java) S 2289 2289 30073 0 -1 1077944384 52084 0 0 0 728 6 0 0 20 0 19 0 411431796 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856707041904 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2303] ppid=2289 vsize=15420480 memory=6698628 CPUtime=1.39 cores=0,2,4,6
/proc/2291/task/2303/stat : 2303 (java) S 2289 2289 30073 0 -1 1077944384 26468 0 0 0 136 3 0 0 20 0 19 0 411431796 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856705989360 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2304] ppid=2289 vsize=15420480 memory=3512 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2304/stat : 2304 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411431796 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856704937056 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2305] ppid=2289 vsize=15420480 memory=38972 CPUtime=1.3 cores=0,2,4,6
/proc/2291/task/2305/stat : 2305 (java) S 2289 2289 30073 0 -1 1077944384 8741 0 0 0 72 58 0 0 20 0 19 0 411431796 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856703883568 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3577] ppid=2289 vsize=15420480 memory=1448 CPUtime=9.08 cores=0,2,4,6
/proc/2291/task/3577/stat : 3577 (java) R 2289 2289 30073 0 -1 4202560 2242 0 0 0 908 0 0 0 20 0 19 0 411651073 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856691523288 139856840669591 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3578] ppid=2289 vsize=15420480 memory=6700520 CPUtime=9.11 cores=0,2,4,6
/proc/2291/task/3578/stat : 3578 (java) R 2289 2289 30073 0 -1 4202560 1994 0 0 0 911 0 0 0 20 0 19 0 411651073 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856689419544 139856840669577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3579] ppid=2289 vsize=15420480 memory=1448 CPUtime=9.32 cores=0,2,4,6
/proc/2291/task/3579/stat : 3579 (java) R 2289 2289 30073 0 -1 4202560 1202 0 0 0 932 0 0 0 20 0 19 0 411651073 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856690472136 139856846119234 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3580] ppid=2289 vsize=15420480 memory=6700520 CPUtime=8.88 cores=0,2,4,6
/proc/2291/task/3580/stat : 3580 (java) R 2289 2289 30073 0 -1 4202560 2636 0 0 0 888 0 0 0 20 0 19 0 411651073 15790571520 1675130 33554432000 4194304 4196468 140724742558640 139856688365976 139856842672312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
Current children cumulated CPU time: 2326.39 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 6701968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2251 s]*
/proc/loadavg: 4.44 4.87 5.03 9/233 3584
/proc/meminfo: memFree=13109180/32770624 swapFree=66957012/67108860
[pid=2289] ppid=2286 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2289/stat : 2289 (xcsp3-exec) S 2286 2289 30073 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411431790 115843072 362 33554432000 4194304 5098028 140730676530352 140730676528456 139971058946684 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14987264 140730676536187 140730676536429 140730676536429 140730676539338 0
/proc/2289/statm: 28282 362 304 221 0 87 0
[pid=2291] ppid=2289 vsize=15420480 memory=6700568 CPUtime=2520.18 cores=0,2,4,6
/proc/2291/stat : 2291 (java) S 2289 2289 30073 0 -1 1077944320 777862 0 0 0 251463 555 0 0 20 0 19 0 411431790 15790571520 1675142 33554432000 4194304 4196468 140724742558640 140724742541184 139857243684599 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
/proc/2291/statm: 3855120 1675142 3556 1 0 3816222 0
[pid=2291/tid=2292] ppid=2289 vsize=15420480 memory=7022364632946311227 CPUtime=43.93 cores=0,2,4,6
/proc/2291/task/2292/stat : 2292 (java) S 2289 2289 30073 0 -1 1077944384 40128 0 0 0 4334 59 0 0 20 0 19 0 411431790 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139857247925376 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2293] ppid=2289 vsize=15420480 memory=364 CPUtime=11.93 cores=0,2,4,6
/proc/2291/task/2293/stat : 2293 (java) S 2289 2289 30073 0 -1 1077944384 70623 0 0 0 1098 95 0 0 20 0 19 0 411431791 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139857155341072 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2294] ppid=2289 vsize=15420480 memory=140681841787777 CPUtime=11.93 cores=0,2,4,6
/proc/2291/task/2294/stat : 2294 (java) S 2289 2289 30073 0 -1 1077944384 109234 0 0 0 1094 99 0 0 20 0 19 0 411431791 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856835505040 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2295] ppid=2289 vsize=15420480 memory=0 CPUtime=11.9 cores=0,2,4,6
/proc/2291/task/2295/stat : 2295 (java) S 2289 2289 30073 0 -1 1077944384 75076 0 0 0 1094 96 0 0 20 0 19 0 411431791 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856834452496 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2296] ppid=2289 vsize=15420480 memory=-1 CPUtime=11.88 cores=0,2,4,6
/proc/2291/task/2296/stat : 2296 (java) S 2289 2289 30073 0 -1 1077944384 78820 0 0 0 1093 95 0 0 20 0 19 0 411431791 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856833399952 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2297] ppid=2289 vsize=15420480 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/2291/task/2297/stat : 2297 (java) S 2289 2289 30073 0 -1 1077944384 17187 0 0 0 44 9 0 0 20 0 19 0 411431792 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856712304624 139857243695746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2298] ppid=2289 vsize=15420480 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2298/stat : 2298 (java) S 2289 2289 30073 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 411431793 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856711250912 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2299] ppid=2289 vsize=15420480 memory=140681838777984 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2299/stat : 2299 (java) S 2289 2289 30073 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 411431793 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856710198272 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2300] ppid=2289 vsize=15420480 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2300/stat : 2300 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411431795 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856709146832 139857243703195 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2301] ppid=2289 vsize=15420480 memory=0 CPUtime=7.02 cores=0,2,4,6
/proc/2291/task/2301/stat : 2301 (java) S 2289 2289 30073 0 -1 1077944384 46998 0 0 0 698 4 0 0 20 0 19 0 411431796 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856708094448 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2302] ppid=2289 vsize=15420480 memory=-1 CPUtime=7.66 cores=0,2,4,6
/proc/2291/task/2302/stat : 2302 (java) S 2289 2289 30073 0 -1 1077944384 56753 0 0 0 760 6 0 0 20 0 19 0 411431796 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856707041904 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2303] ppid=2289 vsize=15420480 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/2291/task/2303/stat : 2303 (java) S 2289 2289 30073 0 -1 1077944384 28226 0 0 0 138 3 0 0 20 0 19 0 411431796 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856705989360 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2304] ppid=2289 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2291/task/2304/stat : 2304 (java) S 2289 2289 30073 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411431796 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856704937056 139857243694805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=2305] ppid=2289 vsize=15420480 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/2291/task/2305/stat : 2305 (java) S 2289 2289 30073 0 -1 1077944384 9020 0 0 0 75 60 0 0 20 0 19 0 411431796 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856703883568 139857243695746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3577] ppid=2289 vsize=15420480 memory=0 CPUtime=57.48 cores=0,2,4,6
/proc/2291/task/3577/stat : 3577 (java) R 2289 2289 30073 0 -1 4202560 4314 0 0 0 5748 0 0 0 20 0 19 0 411651073 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856691522600 139856841214261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3578] ppid=2289 vsize=15420480 memory=0 CPUtime=57.08 cores=0,2,4,6
/proc/2291/task/3578/stat : 3578 (java) R 2289 2289 30073 0 -1 4202560 5047 0 0 0 5708 0 0 0 20 0 19 0 411651073 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856689418584 139856846119234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3579] ppid=2289 vsize=15420480 memory=0 CPUtime=57.71 cores=0,2,4,6
/proc/2291/task/3579/stat : 3579 (java) R 2289 2289 30073 0 -1 4202560 3230 0 0 0 5771 0 0 0 20 0 19 0 411651073 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856690470824 139856839450847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
[pid=2291/tid=3580] ppid=2289 vsize=15420480 memory=0 CPUtime=57.15 cores=0,2,4,6
/proc/2291/task/3580/stat : 3580 (java) R 2289 2289 30073 0 -1 4202560 4706 0 0 0 5715 0 0 0 20 0 19 0 411651073 15790571520 1675142 33554432000 4194304 4196468 140724742558640 139856688365944 139856842672255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33189888 140724742562799 140724742562970 140724742562970 140724742565839 0
Current children cumulated CPU time: 2520.18 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 6702016 KiB

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

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

[startup+2251.12 s]
# the end of solver process 2291 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.93 s, system=5.58963 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): 2251.12
CPU time (s): 2520.52
CPU user time (s): 2514.93
CPU system time (s): 5.58963
CPU usage (%): 111.967
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 6710544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.93
system time used= 5.58963
maximum resident set size= 6709096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 779554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58916
involuntary context switches= 7850


# summary of solver processes directly reported to runsolver:
#   pid: 2289,2291
#   total CPU time (s): 2520.52
#   total CPU user time (s): 2514.93
#   total CPU system time (s): 5.58963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4133 second user time and 24.5224 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 08:12:16
IDJOB=4393222
IDBENCH=141273
IDSOLVER=2840
FILE ID=node147/4393222-1568355179
RUNJOBID= node147-1568354118-30104
PBS_JOBID= 21701187
Free space on /tmp= 56440 MiB

SOLVER NAME= choco-solver 2019-06-14
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-4393222-1568355179/watcher-4393222-1568355179 -o /tmp/evaluation-result-4393222-1568355179/solver-4393222-1568355179 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568354118-30104 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 378015180 HOME/instance-4393222-1568355179.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=378015180

node147.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
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:        24590148 kB
MemAvailable:   29751596 kB
Buffers:          149564 kB
Cached:          5229624 kB
SwapCached:        48500 kB
Active:          4293360 kB
Inactive:        3198628 kB
Active(anon):    2064760 kB
Inactive(anon):    89312 kB
Active(file):    2228600 kB
Inactive(file):  3109316 kB
Unevictable:      107768 kB
Mlocked:          107768 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:            108540 kB
Writeback:            32 kB
AnonPages:       2321328 kB
Mapped:            57124 kB
Shmem:             32768 kB
Slab:             280984 kB
SReclaimable:     251992 kB
SUnreclaim:        28992 kB
KernelStack:        4000 kB
PageTables:         9660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3314200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2199552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 56412 MiB
End job on node147 at 2019-09-13 08:49:47