Trace number 4403682

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20SAT (TO)225807374 2520.2 2365.53

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-4403682-1568993710.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403682-1568993710.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
95.95/57.07	c solve instance...
106.42/59.70	o 234919466 
107.05/59.91	o 234919458 
107.38/60.09	o 234905207 
107.84/60.28	o 234905206 
108.39/60.50	o 234890946 
109.05/60.72	o 234876694 
111.73/62.20	o 234862434 
286.29/236.42	o 234862426 
286.84/236.64	o 234848176 
289.52/237.46	o 234848175 
289.75/237.62	o 234833915 
289.75/237.64	o 234833906 
289.75/237.67	o 234805386 
290.20/237.85	o 234791126 
290.20/237.88	o 234776866 
290.56/238.06	o 234762606 
290.80/238.22	o 234748346 
290.94/238.39	o 234734086 
293.32/240.38	o 234719835 
471.89/418.44	o 234719826 
472.14/418.62	o 234705566 
472.42/418.82	o 234691306 
472.92/419.11	o 234677046 
473.27/419.28	o 234677038 
473.58/419.44	o 234662786 
473.82/419.61	o 234648526 
474.17/419.78	o 234634266 
478.19/422.05	o 234620006 
658.16/601.40	o 234619998 
658.42/601.58	o 234605746 
658.73/601.79	o 234591486 
659.24/601.97	o 234577226 
661.85/603.83	o 234562975 
837.01/778.39	o 234562966 
837.52/778.60	o 234548706 
837.81/778.78	o 234534446 
838.19/778.95	o 234520186 
838.45/779.11	o 234505936 
838.82/779.36	o 234505926 
839.07/779.53	o 234491666 
839.45/779.70	o 234477406 
839.78/779.89	o 234463146 
840.85/780.66	o 234448886 
841.22/780.83	o 234434626 
841.52/780.99	o 234434618 
842.07/781.15	o 234420366 
842.49/781.35	o 234406106 
846.17/783.50	o 234391846 
1024.92/960.70	o 234377586 
1026.03/961.02	o 234377578 
1026.26/961.18	o 234363326 
1026.51/961.33	o 234349066 
1027.59/961.65	o 234334806 
1028.13/961.87	o 234334798 
1030.25/963.74	o 234320546 
1209.85/1143.05	o 234306286 
1211.57/1143.54	o 234306278 
1212.20/1143.79	o 234292018 
1216.08/1145.98	o 234277758 
1396.17/1325.46	o 234263498 
1396.36/1325.59	o 234249238 
1397.84/1325.94	o 234234978 
1398.50/1326.19	o 234220728 
1398.73/1326.30	o 234220718 
1399.24/1326.52	o 234206458 
1399.57/1326.63	o 234192198 
1400.08/1326.81	o 234177938 
1401.83/1327.34	o 234177930 
1403.96/1329.18	o 234163678 
1581.71/1505.42	o 234149418 
1584.87/1506.30	o 234135171 
1586.73/1508.09	o 234135168 
1762.38/1683.50	o 234135159 
1762.64/1683.61	o 234135158 
1763.33/1683.84	o 234120907 
1763.47/1683.95	o 234120898 
1764.50/1684.31	o 234106656 
1766.34/1684.87	o 234106648 
1769.78/1686.73	o 234106643 
1945.54/1862.08	o 234092391 
1945.73/1862.13	o 234078131 
1946.71/1862.42	o 234078124 
1947.84/1862.77	o 234078119 
1947.84/1862.79	o 234078118 
1949.24/1863.13	o 234063867 
1951.20/1864.90	o 234063858 
2142.31/2044.89	o 225850144 
2152.78/2047.81	o 225835884 
2332.53/2227.35	o 225821634 
2333.94/2227.80	o 225807374 
2520.05/2365.40	s SATISFIABLE
2520.05/2365.40	v <instantiation>
2520.05/2365.40	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.05/2365.40	v 	<values>2480 2264 2756 2604 2460 2556 2684 2788 2288 2428 2704 2420 2668 2420 2460 2388 2744 2332 2756 2228 2620 2780 2276 2220 2820 2752 2724 2584 2780 2740 2260 2684 2280 2272 2576 2240 2372 2684 2776 2260 2412 2756 2564 2532 2820 2440 2288 2816 2520 2236 2508 2384 2368 2788 2240 2760 2388 2592 2560 2308 2756 2612 2800 2748 2428 2784 2436 2684 2724 2812 2628 2420 2348 2268 2740 2480 2788 2780 2420 2560 2748 2812 2596 2520 2668 2780 2280 2660 2668 2788 2520 2500 2260 2420 2520 2264 2748 2260 2472 2820 2572 2468 2620 2224 2776 2772 2232 2724 2744 2500 2708 2644 2400 2660 2220 2816 2740 2460 2820 2572 2732 2628 2224 2712 2460 2716 2424 2684 2520 2284 2788 2440 2772 2716 2220 2508 2564 2620 2724 2532 2228 2756 2696 2480 2240 2572 2780 2748 2604 2592 2780 2348 2816 2280 2424 2408 2264 2380 2260 2724 2716 2560 2748 2368 2220 2320 2512 2532 2264 2224 2240 2520 2632 2480 2380 2620 2748 2620 2748 2740 2772 2268 2460 2500 2772 2620 2540 2756 2248 2628 2460 2468 2244 2632 2624 2744 2260 2520 2780 2372 2748 2500 2660 2684 2788 2620 2496 2620 2660 2716 2592 2264 2552 2440 2452 2684 2324 2472 2644 2412 2260 2736 2708 2772 2264 2660 2780 2748 2464 2480 2380 2740 2788 2232 2820 2744 2632 2376 2520 2572 2264 2416 2660 2364 2284 2520 2220 2604 2704 2660 2364 2660 2756 2700 2700 2812 2268 2276 2516 2660 2396 2280 2548 2780 2636 2724 2512 2312 2716 2776 2272 2480 2248 2788 2268 2388 2748 2428 2788 2220 2772 2260 2432 2716 2724 2636 2424 2724 2468 2628 2772 2288 2496 2676 2228 2812 2380 2684 2264 2660 2464 2480 2248 2304 2732 2768 2404 2816 2508 2272 2764 2780 2716 2224 2616 2632 2660 2224 2280 2224 2592 2776 2532 2656 2456 2812 2620 2236 2724 2520 2220 2588 2748 2220 2808 2280 2304 2616 2240 2536 2500 2228 2784 2408 2324 2480 2340 2560 2764 2572 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 11 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 1 0 0 1 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 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 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 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 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 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 0 0 0 1 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 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 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 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 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 0 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 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 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 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 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 1 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 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 10 0 0 0 0 0 10 0 0 0 0 10 7 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 7 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 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 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 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 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 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 10 0 0 0 0 8 10 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 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 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 10 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 9 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 6 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 10 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 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 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 10 0 10 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 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 7 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 1 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 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 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 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 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 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 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 0 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 9 0 10 0 10 0 10 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 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 10 0 0 0 7 0 0 0 0 0 0 0 0 0 40 256 28 276 180 168 200 80 380 196 396 436 248 336 476 520 160 24 136 496 136 40 24 536 236 332 84 208 184 136 152 104 84 344 120 164 128 112 264 220 320 328 160 200 176 328 324 76 176 76 88 224 276 56 100 184 24 412 204 256 456 96 64 96 84 368 12 268 12 564 560 524 40 32 524 564 276 472 468 316 80 336 108 340 80 132 284 268 104 64 272 108 428 84 132 444 36 132 272 80 248 160 180 100 88 368 240 296 156 320 208 76 344 112 388 108 80 48 148 256 364 428 400 332 324 152 336 136 56 96 216 4 344 296 292 340 40 232 248 228 200 200 224 128 352 132 232 200 468 60 28 124 152 480 84 476 36 264 112 400 136 384 328 344 316 32 72 344 360 136 8 356 560 400 400 552 252 344 64 164 192 136 28 240 248 48 40 168 248 260 280 308 136 352 472 384 408 280 288 496 28 404 152 0 592 260 448 64 72 552 400 152 312 124 380 536 300 108 252 76 136 152 204 216 160 208 56 164 196 44 312 316 312 48 4 380 48 556 468 480 128 8 48 240 516 240 208 488 72 104 24 64 124 56 88 64 444 92 436 344 352 292 488 52 544 468 188 356 236 248 344 68 316 104 292 204 240 256 80 108 84 120 56 296 548 20 84 124 460 20 296 188 88 52 408 40 284 260 72 464 428 316 256 556 116 116 452 464 312 456 108 204 24 504 124 272 220 304 104 304 120 276 376 136 260 136 24 64 480 140 180 248 40 96 16 152 276 324 80 192 32 248 168 308 32 380 400 72 472 80 576 44 32 8 204 288 12 308 132 332 304 236 212 28 380 396 0 76 556 72 184 196 140 260 272 116 96 488 176 512 488 284 572 380 104 248 88 308 12 304 112 124 228 404 136 372 80 144 112 292 344 120 380 136 128 56 196 424 240 276 104 196 540 428 280 504 20 52 92 536 500 100 36 472 40 52 316 124 424 76 228 20 4 124 84 188 124 252 40 12 80 28 48 48 12 352 324 120 472 324 284 148 64 508 532 264 348 140 64 320 436 196 12 184 520 392 152 32 32 516 72 40 460 128 388 268 160 320 160 200 288 380 28 164 28 36 152 264 268 52 480 188 84 152 28 24 112 420 64 436 104 104 344 92 88 48 88 244 92 188 152 40 580 240 80 0 140 120 360 180 120 68 424 24 84 308 252 456 356 204 0 252 516 280 4 120 472 236 80 8 216 180 204 316 56 228 280 64 372 228 328 468 356 56 196 324 136 196 260 12 68 48 72 196 80 236 80 4 32 104 160 412 208 416 24 32 88 572 332 192 220 136 368 240 236 100 252 124 196 204 180 148 168 404 40 444 120 400 532 416 340 68 160 12 0 496 508 532 52 260 200 280 116 432 436 436 148 80 228 148 48 48 228 120 288 328 0 168 64 328 160 172 268 464 20 100 292 272 196 292 240 248 104 92 104 112 68 120 120 212 556 236 400 400 356 196 100 100 240 328 148 356 280 236 252 140 136 368 340 276 288 208 252 476 128 28 456 48 152 188 160 188 144 16 192 300 80 160 548 96 600 112 176 100 144 248 188 144 232 300 188 96 160 136 136 104 56 148 32 164 296 88 556 256 236 528 28 92 12 12 516 372 44 48 504 0 308 384 36 588 480 268 240 200 300 152 104 88 224 100 20 240 8 216 232 40 104 208 248 240 64 424 104 372 80 380 52 140 380 348 116 408 436 376 244 24 292 48 568 220 588 68 552 428 384 40 56 436 24 72 164 196 92 200 188 592 308 192 268 392 532 572 160 192 332 52 92 192 100 468 320 40 64 380 264 24 188 88 348 348 400 524 408 408 476 24 452 4 556 4 340 212 452 108 52 100 288 352 328 176 236 224 128 52 96 84 252 288 444 92 16 324 160 204 76 104 52 0 24 80 228 224 292 140 12 296 256 180 44 140 464 36 216 172 528 56 168 320 384 564 24 156 172 100 76 292 392 128 200 468 536 468 496 184 244 496 488 496 400 104 352 536 60 0 436 84 24 12 264 128 144 4 208 112 120 284 272 156 192 28 400 392 24 64 212 284 240 152 168 152 276 344 136 124 468 300 316 216 448 392 88 140 276 244 80 280 420 72 188 420 40 148 308 308 56 104 308 168 412 260 516 32 224 384 56 24 180 156 360 44 84 356 312 248 148 160 300 400 104 356 80 164 392 496 320 156 52 360 492 84 0 60 152 216 336 256 44 236 192 204 100 132 144 184 368 236 376 92 160 156 276 236 400 552 208 400 264 328 384 156 88 248 56 216 228 32 212 56 80 236 508 40 128 32 40 228 24 520 96 260 44 176 340 492 148 340 96 116 60 216 20 216 396 396 316 272 140 0 308 524 300 192 372 408 408 328 392 268 100 80 400 172 360 400 248 200 16 140 4 128 484 156 296 152 108 96 124 36 96 220 40 44 232 448 300 552 0 340 276 508 552 432 320 88 328 312 316 160 216 272 36 280 216 288 36 144 128 360 396 292 120 352 248 176 124 72 120 32 572 272 0 76 152 8 88 244 188 224 236 376 328 460 544 568 20 16 148 116 408 408 352 28 516 64 128 488 152 512 400 220 552 32 220 272 204 68 300 52 88 416 64 200 20 0 216 240 268 92 128 244 416 408 296 48 276 80 308 520 64 56 372 84 32 228 224 96 144 196 88 320 300 184 204 188 460 192 108 172 336 132 12 140 180 80 140 108 172 332 308 164 160 16 168 100 164 304 400 100 484 468 44 256 68 204 260 464 88 28 524 60 68 312 196 124 276 204 292 52 176 252 192 48 80 228 520 16 76 44 556 560 56 200 40 516 192 356 40 12 496 72 408 132 72 240 212 300 192 36 512 508 308 300 396 24 240 340 408 116 84 60 524 296 480 504 312 16 196 192 72 84 108 196 476 80 412 236 56 44 84 132 292 252 172 56 128 392 56 72 152 136 476 256 88 48 68 168 44 84 164 344 408 8 508 0 40 536 232 56 48 208 52 252 44 16 0 88 72 436 216 16 184 376 484 92 312 248 192 16 476 48 260 24 32 272 172 100 148 396 548 516 532 24 252 328 164 420 244 56 48 184 104 392 104 180 356 208 200 88 340 304 524 24 48 32 40 268 252 520 532 128 384 336 240 444 396 40 236 64 224 72 304 32 0 508 276 100 124 104 528 280 408 588 160 308 128 44 372 288 292 176 404 240 384 244 564 </values>
2520.05/2365.40	v </instantiation>
2520.05/2365.40	c Unexpected resolution interruption!

Verifier Data 

OK	225807374

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403682-1568993710/watcher-4403682-1568993710 -o /var/tmp/evaluation-result-4403682-1568993710/solver-4403682-1568993710 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568988085-26762 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1322020457 HOME/instance-4403682-1568993710.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
Current StackSize limit: 8192 KiB

solver pid=28051, runsolver pid=28048

[startup+0.100631 s]*
/proc/loadavg: 8.76 8.59 7.63 8/233 28067
/proc/meminfo: memFree=6959236/32770624 swapFree=66955312/67108860
[pid=28051] ppid=28048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28051/stat : 28051 (xcsp3-exec) S 28048 28051 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475629028 115843072 363 33554432000 4194304 5098028 140736832831776 140736832829880 140206487945852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24170496 140736832840534 140736832840793 140736832840793 140736832843718 0
/proc/28051/statm: 28282 363 304 221 0 87 0
[pid=28053] ppid=28051 vsize=15144776 memory=29696 CPUtime=0.13 cores=0,2,4,6
/proc/28053/stat : 28053 (java) S 28051 28051 26731 0 -1 1077944320 5890 0 0 0 11 2 0 0 20 0 15 0 475629028 15508250624 7424 33554432000 4194304 4196468 140728241496848 140728241479392 140022370397943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
/proc/28053/statm: 3786194 7424 3141 1 0 3748377 0
[pid=28053/tid=28054] ppid=28051 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=0,2,4,6
/proc/28053/task/28054/stat : 28054 (java) R 28051 28051 26731 0 -1 4202560 3788 0 0 0 8 1 0 0 20 0 15 0 475629028 15508250624 7424 33554432000 4194304 4196468 140728241496848 140022374619952 140022370419290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28055] ppid=28051 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28055/stat : 28055 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629029 15508250624 7424 33554432000 4194304 4196468 140728241496848 140022323018256 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28056] ppid=28051 vsize=15144776 memory=139679170025088 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28056/stat : 28056 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629029 15508250624 7424 33554432000 4194304 4196468 140728241496848 140022321965712 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28057] ppid=28051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28057/stat : 28057 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629029 15508250624 7424 33554432000 4194304 4196468 140728241496848 140022320912656 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28058] ppid=28051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28058/stat : 28058 (java) S 28051 28051 26731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475629029 15508250624 7424 33554432000 4194304 4196468 140728241496848 140022319860112 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28059] ppid=28051 vsize=15144776 memory=139679170025088 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28059/stat : 28059 (java) S 28051 28051 26731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475629031 15508250624 7424 33554432000 4194304 4196468 140728241496848 140021838371568 140022370409090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28060] ppid=28051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28060/stat : 28060 (java) S 28051 28051 26731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475629031 15508250624 7424 33554432000 4194304 4196468 140728241496848 140021837317792 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28061] ppid=28051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28061/stat : 28061 (java) S 28051 28051 26731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475629031 15508250624 7424 33554432000 4194304 4196468 140728241496848 140021836264688 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28062] ppid=28051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28062/stat : 28062 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475629034 15508250624 7424 33554432000 4194304 4196468 140728241496848 140021835213264 140022370416539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28063] ppid=28051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28063/stat : 28063 (java) S 28051 28051 26731 0 -1 1077944384 356 0 0 0 0 0 0 0 20 0 15 0 475629034 15508250624 7424 33554432000 4194304 4196468 140728241496848 140021834160368 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28064] ppid=28051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28064/stat : 28064 (java) S 28051 28051 26731 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 475629034 15508250624 7424 33554432000 4194304 4196468 140728241496848 140021833107824 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28065] ppid=28051 vsize=15144776 memory=139679170025088 CPUtime=0.02 cores=0,2,4,6
/proc/28053/task/28065/stat : 28065 (java) R 28051 28051 26731 0 -1 4202560 322 0 0 0 2 0 0 0 20 0 15 0 475629034 15508250624 7424 33554432000 4194304 4196468 140728241496848 140021832054768 140022370419290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28066] ppid=28051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28066/stat : 28066 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475629034 15508250624 7424 33554432000 4194304 4196468 140728241496848 140021831002464 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28067] ppid=28051 vsize=15144776 memory=139679170025088 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28067/stat : 28067 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629034 15508250624 7424 33554432000 4194304 4196468 140728241496848 140021829950512 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31148 KiB

[startup+0.211038 s]*
/proc/loadavg: 8.76 8.59 7.63 7/233 28067
/proc/meminfo: memFree=6945724/32770624 swapFree=66955312/67108860
[pid=28051] ppid=28048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28051/stat : 28051 (xcsp3-exec) S 28048 28051 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475629028 115843072 363 33554432000 4194304 5098028 140736832831776 140736832829880 140206487945852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24170496 140736832840534 140736832840793 140736832840793 140736832843718 0
/proc/28051/statm: 28282 363 304 221 0 87 0
[pid=28053] ppid=28051 vsize=15144776 memory=41044 CPUtime=0.34 cores=0,2,4,6
/proc/28053/stat : 28053 (java) S 28051 28051 26731 0 -1 1077944320 9454 0 0 0 31 3 0 0 20 0 15 0 475629028 15508250624 10261 33554432000 4194304 4196468 140728241496848 140728241479392 140022370397943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
/proc/28053/statm: 3786194 10261 3309 1 0 3748377 0
[pid=28053/tid=28054] ppid=28051 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28053/task/28054/stat : 28054 (java) R 28051 28051 26731 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 15 0 475629028 15508250624 10261 33554432000 4194304 4196468 140728241496848 140022374635408 140022353590648 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28055] ppid=28051 vsize=15144776 memory=1899191 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28055/stat : 28055 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629029 15508250624 10261 33554432000 4194304 4196468 140728241496848 140022323018256 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28056] ppid=28051 vsize=15144776 memory=139679173386261 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28056/stat : 28056 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629029 15508250624 10261 33554432000 4194304 4196468 140728241496848 140022321965712 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28057] ppid=28051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28057/stat : 28057 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629029 15508250624 10261 33554432000 4194304 4196468 140728241496848 140022320912656 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28058] ppid=28051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28058/stat : 28058 (java) S 28051 28051 26731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475629029 15508250624 10261 33554432000 4194304 4196468 140728241496848 140022319860112 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28059] ppid=28051 vsize=15144776 memory=139679170025088 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28059/stat : 28059 (java) S 28051 28051 26731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475629031 15508250624 10261 33554432000 4194304 4196468 140728241496848 140021838371568 140022370409090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28060] ppid=28051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28060/stat : 28060 (java) S 28051 28051 26731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475629031 15508250624 10261 33554432000 4194304 4196468 140728241496848 140021837317792 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28061] ppid=28051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28061/stat : 28061 (java) S 28051 28051 26731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475629031 15508250624 10261 33554432000 4194304 4196468 140728241496848 140021836264688 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28062] ppid=28051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28062/stat : 28062 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475629034 15508250624 10261 33554432000 4194304 4196468 140728241496848 140021835213264 140022370416539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28063] ppid=28051 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28053/task/28063/stat : 28063 (java) S 28051 28051 26731 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 15 0 475629034 15508250624 10261 33554432000 4194304 4196468 140728241496848 140021834160368 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28064] ppid=28051 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28053/task/28064/stat : 28064 (java) S 28051 28051 26731 0 -1 1077944384 289 0 0 0 2 0 0 0 20 0 15 0 475629034 15508250624 10261 33554432000 4194304 4196468 140728241496848 140021833107824 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28065] ppid=28051 vsize=15144776 memory=139679170025088 CPUtime=0.08 cores=0,2,4,6
/proc/28053/task/28065/stat : 28065 (java) S 28051 28051 26731 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 475629034 15508250624 10261 33554432000 4194304 4196468 140728241496848 140021832054768 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28066] ppid=28051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28066/stat : 28066 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475629034 15508250624 10261 33554432000 4194304 4196468 140728241496848 140021831002464 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28067] ppid=28051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28067/stat : 28067 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629034 15508250624 10261 33554432000 4194304 4196468 140728241496848 140021829950512 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42496 KiB

[startup+0.31095 s]*
/proc/loadavg: 8.76 8.59 7.63 6/233 28067
/proc/meminfo: memFree=6939868/32770624 swapFree=66955312/67108860
[pid=28051] ppid=28048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28051/stat : 28051 (xcsp3-exec) S 28048 28051 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475629028 115843072 363 33554432000 4194304 5098028 140736832831776 140736832829880 140206487945852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24170496 140736832840534 140736832840793 140736832840793 140736832843718 0
/proc/28051/statm: 28282 363 304 221 0 87 0
[pid=28053] ppid=28051 vsize=15149032 memory=49680 CPUtime=0.52 cores=0,2,4,6
/proc/28053/stat : 28053 (java) S 28051 28051 26731 0 -1 1077944320 10735 0 0 0 48 4 0 0 20 0 15 0 475629028 15512608768 12420 33554432000 4194304 4196468 140728241496848 140728241479392 140022370397943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
/proc/28053/statm: 3787258 12420 3344 1 0 3748377 0
[pid=28053/tid=28054] ppid=28051 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/28053/task/28054/stat : 28054 (java) R 28051 28051 26731 0 -1 4202560 7779 0 0 0 27 3 0 0 20 0 15 0 475629028 15512608768 12420 33554432000 4194304 4196468 140728241496848 140022374631728 140022354478430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28055] ppid=28051 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28055/stat : 28055 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629029 15512608768 12420 33554432000 4194304 4196468 140728241496848 140022323018256 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28056] ppid=28051 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28056/stat : 28056 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629029 15512608768 12420 33554432000 4194304 4196468 140728241496848 140022321965712 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28057] ppid=28051 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28057/stat : 28057 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629029 15512608768 12420 33554432000 4194304 4196468 140728241496848 140022320912656 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28058] ppid=28051 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28058/stat : 28058 (java) S 28051 28051 26731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475629029 15512608768 12420 33554432000 4194304 4196468 140728241496848 140022319860112 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28059] ppid=28051 vsize=15149032 memory=-7089679947207917727 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28059/stat : 28059 (java) S 28051 28051 26731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475629031 15512608768 12420 33554432000 4194304 4196468 140728241496848 140021838371568 140022370409090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28060] ppid=28051 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28060/stat : 28060 (java) S 28051 28051 26731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475629031 15512608768 12420 33554432000 4194304 4196468 140728241496848 140021837317792 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28061] ppid=28051 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28061/stat : 28061 (java) S 28051 28051 26731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475629031 15512608768 12420 33554432000 4194304 4196468 140728241496848 140021836264688 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28062] ppid=28051 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28062/stat : 28062 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475629034 15512608768 12420 33554432000 4194304 4196468 140728241496848 140021835213264 140022370416539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28063] ppid=28051 vsize=15149032 memory=6576575808607069861 CPUtime=0.03 cores=0,2,4,6
/proc/28053/task/28063/stat : 28063 (java) S 28051 28051 26731 0 -1 1077944384 498 0 0 0 3 0 0 0 20 0 15 0 475629034 15512608768 12420 33554432000 4194304 4196468 140728241496848 140021834160368 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28064] ppid=28051 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28053/task/28064/stat : 28064 (java) S 28051 28051 26731 0 -1 1077944384 321 0 0 0 4 0 0 0 20 0 15 0 475629034 15512608768 12420 33554432000 4194304 4196468 140728241496848 140021833107824 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28065] ppid=28051 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/28053/task/28065/stat : 28065 (java) S 28051 28051 26731 0 -1 1077944384 837 0 0 0 13 0 0 0 20 0 15 0 475629034 15512608768 12420 33554432000 4194304 4196468 140728241496848 140021832054768 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28066] ppid=28051 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28066/stat : 28066 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475629034 15512608768 12420 33554432000 4194304 4196468 140728241496848 140021831002464 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28067] ppid=28051 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28067/stat : 28067 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629034 15512608768 12420 33554432000 4194304 4196468 140728241496848 140021829950512 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51132 KiB

[startup+0.701182 s]
/proc/loadavg: 8.76 8.59 7.63 8/233 28067
/proc/meminfo: memFree=6846108/32770624 swapFree=66955312/67108860
[pid=28051] ppid=28048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28051/stat : 28051 (xcsp3-exec) S 28048 28051 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475629028 115843072 363 33554432000 4194304 5098028 140736832831776 140736832829880 140206487945852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24170496 140736832840534 140736832840793 140736832840793 140736832843718 0
/proc/28051/statm: 28282 363 304 221 0 87 0
[pid=28053] ppid=28051 vsize=15149108 memory=293812 CPUtime=1.61 cores=0,2,4,6
/proc/28053/stat : 28053 (java) S 28051 28051 26731 0 -1 1077944320 13723 0 0 0 136 25 0 0 20 0 15 0 475629028 15512686592 73453 33554432000 4194304 4196468 140728241496848 140728241479392 140022370397943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
/proc/28053/statm: 3787277 73453 3451 1 0 3748377 0
[pid=28053/tid=28054] ppid=28051 vsize=15149108 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/28053/task/28054/stat : 28054 (java) R 28051 28051 26731 0 -1 4202560 8173 0 0 0 53 7 0 0 20 0 15 0 475629028 15512686592 73453 33554432000 4194304 4196468 140728241496848 140022374630096 140022370419869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28055] ppid=28051 vsize=15149108 memory=43468 CPUtime=0.06 cores=0,2,4,6
/proc/28053/task/28055/stat : 28055 (java) S 28051 28051 26731 0 -1 1077944384 66 0 0 0 2 4 0 0 20 0 15 0 475629029 15512686592 73453 33554432000 4194304 4196468 140728241496848 140022323018256 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28056] ppid=28051 vsize=15149108 memory=984 CPUtime=0.06 cores=0,2,4,6
/proc/28053/task/28056/stat : 28056 (java) S 28051 28051 26731 0 -1 1077944384 59 0 0 0 2 4 0 0 20 0 15 0 475629029 15512686592 73453 33554432000 4194304 4196468 140728241496848 140022321965712 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28057] ppid=28051 vsize=15149108 memory=2016 CPUtime=0.06 cores=0,2,4,6
/proc/28053/task/28057/stat : 28057 (java) S 28051 28051 26731 0 -1 1077944384 63 0 0 0 2 4 0 0 20 0 15 0 475629029 15512686592 73453 33554432000 4194304 4196468 140728241496848 140022320912656 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28058] ppid=28051 vsize=15149108 memory=1412 CPUtime=0.06 cores=0,2,4,6
/proc/28053/task/28058/stat : 28058 (java) S 28051 28051 26731 0 -1 1077944384 66 0 0 0 3 3 0 0 20 0 15 0 475629029 15512686592 73453 33554432000 4194304 4196468 140728241496848 140022319860112 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28059] ppid=28051 vsize=15149108 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28059/stat : 28059 (java) S 28051 28051 26731 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475629031 15512686592 73453 33554432000 4194304 4196468 140728241496848 140021838371568 140022370409090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28060] ppid=28051 vsize=15149108 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28060/stat : 28060 (java) S 28051 28051 26731 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 475629031 15512686592 73453 33554432000 4194304 4196468 140728241496848 140021837317792 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28061] ppid=28051 vsize=15149108 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28061/stat : 28061 (java) S 28051 28051 26731 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475629031 15512686592 73453 33554432000 4194304 4196468 140728241496848 140021836264688 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28062] ppid=28051 vsize=15149108 memory=616 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28062/stat : 28062 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475629034 15512686592 73453 33554432000 4194304 4196468 140728241496848 140021835213264 140022370416539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28063] ppid=28051 vsize=15149108 memory=2832 CPUtime=0.27 cores=0,2,4,6
/proc/28053/task/28063/stat : 28063 (java) R 28051 28051 26731 0 -1 4202560 1646 0 0 0 27 0 0 0 20 0 15 0 475629034 15512686592 73453 33554432000 4194304 4196468 140728241496848 140021834149968 140022355513186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28064] ppid=28051 vsize=15149108 memory=1620 CPUtime=0.22 cores=0,2,4,6
/proc/28053/task/28064/stat : 28064 (java) R 28051 28051 26731 0 -1 4202560 969 0 0 0 22 0 0 0 20 0 15 0 475629034 15512686592 73453 33554432000 4194304 4196468 140728241496848 140021833101016 140022348416337 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28065] ppid=28051 vsize=15149108 memory=1136 CPUtime=0.2 cores=0,2,4,6
/proc/28053/task/28065/stat : 28065 (java) S 28051 28051 26731 0 -1 1077944384 1298 0 0 0 20 0 0 0 20 0 15 0 475629034 15512686592 73453 33554432000 4194304 4196468 140728241496848 140021832054768 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28066] ppid=28051 vsize=15149108 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28066/stat : 28066 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475629034 15512686592 73453 33554432000 4194304 4196468 140728241496848 140021831002464 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28067] ppid=28051 vsize=15149108 memory=6040 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28067/stat : 28067 (java) S 28051 28051 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475629034 15512686592 73453 33554432000 4194304 4196468 140728241496848 140021829950512 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 295264 KiB

[startup+1.50093 s]
/proc/loadavg: 8.62 8.56 7.62 9/233 28067
/proc/meminfo: memFree=6666272/32770624 swapFree=66955312/67108860
[pid=28051] ppid=28048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28051/stat : 28051 (xcsp3-exec) S 28048 28051 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475629028 115843072 363 33554432000 4194304 5098028 140736832831776 140736832829880 140206487945852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24170496 140736832840534 140736832840793 140736832840793 140736832843718 0
/proc/28051/statm: 28282 363 304 221 0 87 0

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

[pid=28053/tid=28057] ppid=28051 vsize=15552588 memory=6675848 CPUtime=12.54 cores=0,2,4,6
/proc/28053/task/28057/stat : 28057 (java) S 28051 28051 26731 0 -1 1077944384 747186 0 0 0 1058 196 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022320912656 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28058] ppid=28051 vsize=15552588 memory=1452 CPUtime=12.62 cores=0,2,4,6
/proc/28053/task/28058/stat : 28058 (java) S 28051 28051 26731 0 -1 1077944384 757207 0 0 0 1047 215 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022319860112 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28059] ppid=28051 vsize=15552588 memory=6675852 CPUtime=0.5 cores=0,2,4,6
/proc/28053/task/28059/stat : 28059 (java) S 28051 28051 26731 0 -1 1077944384 22189 0 0 0 43 7 0 0 20 0 19 0 475629031 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021838371568 140022370409090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28060] ppid=28051 vsize=15552588 memory=6675852 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28060/stat : 28060 (java) S 28051 28051 26731 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 475629031 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021837317856 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28061] ppid=28051 vsize=15552588 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28061/stat : 28061 (java) S 28051 28051 26731 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 475629031 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021836264704 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28062] ppid=28051 vsize=15552588 memory=6675852 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28062/stat : 28062 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021835213264 140022370416539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28063] ppid=28051 vsize=15552588 memory=0 CPUtime=7.49 cores=0,2,4,6
/proc/28053/task/28063/stat : 28063 (java) S 28051 28051 26731 0 -1 1077944384 51583 0 0 0 743 6 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021834160368 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28064] ppid=28051 vsize=15552588 memory=279358097523936 CPUtime=7.43 cores=0,2,4,6
/proc/28053/task/28064/stat : 28064 (java) S 28051 28051 26731 0 -1 1077944384 54121 0 0 0 737 6 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021833107824 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28065] ppid=28051 vsize=15552588 memory=1452 CPUtime=1.44 cores=0,2,4,6
/proc/28053/task/28065/stat : 28065 (java) S 28051 28051 26731 0 -1 1077944384 25150 0 0 0 140 4 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021832054768 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28066] ppid=28051 vsize=15552588 memory=6675760 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28066/stat : 28066 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021831002464 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28067] ppid=28051 vsize=15552588 memory=3624 CPUtime=1.39 cores=0,2,4,6
/proc/28053/task/28067/stat : 28067 (java) S 28051 28051 26731 0 -1 1077944384 9522 0 0 0 70 69 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021829950512 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28807] ppid=28051 vsize=15552588 memory=43544 CPUtime=16.07 cores=0,2,4,6
/proc/28053/task/28807/stat : 28807 (java) S 28051 28051 26731 0 -1 1077944384 15892 0 0 0 1604 3 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021817823344 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28808] ppid=28051 vsize=15552588 memory=6675852 CPUtime=15.83 cores=0,2,4,6
/proc/28053/task/28808/stat : 28808 (java) S 28051 28051 26731 0 -1 1077944384 46742 0 0 0 1580 3 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021813613824 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28809] ppid=28051 vsize=15552588 memory=1452 CPUtime=34.26 cores=0,2,4,6
/proc/28053/task/28809/stat : 28809 (java) R 28051 28051 26731 0 -1 4202560 538209 0 0 0 3399 27 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021814660808 140021994239040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28810] ppid=28051 vsize=15552588 memory=1160 CPUtime=15.56 cores=0,2,4,6
/proc/28053/task/28810/stat : 28810 (java) S 28051 28051 26731 0 -1 1077944384 21621 0 0 0 1554 2 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021815718912 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
Current children cumulated CPU time: 2416.88 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 6677304 KiB

[startup+2322.3 s]
/proc/loadavg: 1.18 1.17 2.04 2/211 28817
/proc/meminfo: memFree=4960684/32770624 swapFree=66955320/67108860
[pid=28051] ppid=28048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28051/stat : 28051 (xcsp3-exec) S 28048 28051 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475629028 115843072 363 33554432000 4194304 5098028 140736832831776 140736832829880 140206487945852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24170496 140736832840534 140736832840793 140736832840793 140736832843718 0
/proc/28051/statm: 28282 363 304 221 0 87 0
[pid=28053] ppid=28051 vsize=15552588 memory=6675852 CPUtime=2476.92 cores=0,2,4,6
/proc/28053/stat : 28053 (java) S 28051 28051 26731 0 -1 1077944320 10206460 0 0 0 246190 1502 0 0 20 0 19 0 475629028 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140728241479392 140022370397943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
/proc/28053/statm: 3888147 1668963 3564 1 0 3849247 0
[pid=28053/tid=28054] ppid=28051 vsize=15552588 memory=6675852 CPUtime=46.28 cores=0,2,4,6
/proc/28053/task/28054/stat : 28054 (java) S 28051 28051 26731 0 -1 1077944384 472609 0 0 0 4471 157 0 0 20 0 19 0 475629028 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022374638720 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28055] ppid=28051 vsize=15552588 memory=6675852 CPUtime=12.69 cores=0,2,4,6
/proc/28053/task/28055/stat : 28055 (java) S 28051 28051 26731 0 -1 1077944384 763123 0 0 0 1079 190 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022323018256 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28056] ppid=28051 vsize=15552588 memory=6675620 CPUtime=12.59 cores=0,2,4,6
/proc/28053/task/28056/stat : 28056 (java) S 28051 28051 26731 0 -1 1077944384 756428 0 0 0 1054 205 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022321965712 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28057] ppid=28051 vsize=15552588 memory=6675852 CPUtime=12.54 cores=0,2,4,6
/proc/28053/task/28057/stat : 28057 (java) S 28051 28051 26731 0 -1 1077944384 747186 0 0 0 1058 196 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022320912656 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28058] ppid=28051 vsize=15552588 memory=6675852 CPUtime=12.62 cores=0,2,4,6
/proc/28053/task/28058/stat : 28058 (java) S 28051 28051 26731 0 -1 1077944384 757207 0 0 0 1047 215 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022319860112 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28059] ppid=28051 vsize=15552588 memory=6675848 CPUtime=0.5 cores=0,2,4,6
/proc/28053/task/28059/stat : 28059 (java) S 28051 28051 26731 0 -1 1077944384 22208 0 0 0 43 7 0 0 20 0 19 0 475629031 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021838371568 140022370409090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28060] ppid=28051 vsize=15552588 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28060/stat : 28060 (java) S 28051 28051 26731 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 475629031 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021837317856 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28061] ppid=28051 vsize=15552588 memory=6675852 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28061/stat : 28061 (java) S 28051 28051 26731 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 475629031 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021836264704 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28062] ppid=28051 vsize=15552588 memory=6675852 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28062/stat : 28062 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021835213264 140022370416539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28063] ppid=28051 vsize=15552588 memory=1452 CPUtime=7.49 cores=0,2,4,6
/proc/28053/task/28063/stat : 28063 (java) S 28051 28051 26731 0 -1 1077944384 51591 0 0 0 743 6 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021834160368 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28064] ppid=28051 vsize=15552588 memory=1452 CPUtime=7.43 cores=0,2,4,6
/proc/28053/task/28064/stat : 28064 (java) S 28051 28051 26731 0 -1 1077944384 54125 0 0 0 737 6 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021833107824 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28065] ppid=28051 vsize=15552588 memory=1452 CPUtime=1.44 cores=0,2,4,6
/proc/28053/task/28065/stat : 28065 (java) S 28051 28051 26731 0 -1 1077944384 25179 0 0 0 140 4 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021832054768 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28066] ppid=28051 vsize=15552588 memory=6675852 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28066/stat : 28066 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021831002464 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28067] ppid=28051 vsize=15552588 memory=1452 CPUtime=1.44 cores=0,2,4,6
/proc/28053/task/28067/stat : 28067 (java) S 28051 28051 26731 0 -1 1077944384 9598 0 0 0 72 72 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021829950512 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28807] ppid=28051 vsize=15552588 memory=6675852 CPUtime=16.07 cores=0,2,4,6
/proc/28053/task/28807/stat : 28807 (java) S 28051 28051 26731 0 -1 1077944384 15892 0 0 0 1604 3 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021817823344 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28808] ppid=28051 vsize=15552588 memory=1452 CPUtime=15.83 cores=0,2,4,6
/proc/28053/task/28808/stat : 28808 (java) S 28051 28051 26731 0 -1 1077944384 46742 0 0 0 1580 3 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021813613824 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28809] ppid=28051 vsize=15552588 memory=6675852 CPUtime=94.26 cores=0,2,4,6
/proc/28053/task/28809/stat : 28809 (java) R 28051 28051 26731 0 -1 4202560 673958 0 0 0 9392 34 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021814660808 140021995040197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28810] ppid=28051 vsize=15552588 memory=1452 CPUtime=15.56 cores=0,2,4,6
/proc/28053/task/28810/stat : 28810 (java) S 28051 28051 26731 0 -1 1077944384 21621 0 0 0 1554 2 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021815718912 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
Current children cumulated CPU time: 2476.92 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 6677304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2365.4 s]
/proc/loadavg: 1.03 1.13 2.00 2/211 28820
/proc/meminfo: memFree=4960620/32770624 swapFree=66955320/67108860
[pid=28051] ppid=28048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28051/stat : 28051 (xcsp3-exec) S 28048 28051 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475629028 115843072 363 33554432000 4194304 5098028 140736832831776 140736832829880 140206487945852 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24170496 140736832840534 140736832840793 140736832840793 140736832843718 0
/proc/28051/statm: 28282 363 304 221 0 87 0
[pid=28053] ppid=28051 vsize=15552588 memory=6675852 CPUtime=2520.05 cores=0,2,4,6
/proc/28053/stat : 28053 (java) S 28051 28051 26731 0 -1 1077944320 10338537 0 0 0 250496 1509 0 0 20 0 19 0 475629028 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140728241479392 140022370397943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
/proc/28053/statm: 3888147 1668963 3564 1 0 3849247 0
[pid=28053/tid=28054] ppid=28051 vsize=15552588 memory=1408 CPUtime=46.28 cores=0,2,4,6
/proc/28053/task/28054/stat : 28054 (java) S 28051 28051 26731 0 -1 1077944384 472609 0 0 0 4471 157 0 0 20 0 19 0 475629028 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022374638720 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28055] ppid=28051 vsize=15552588 memory=3720 CPUtime=12.69 cores=0,2,4,6
/proc/28053/task/28055/stat : 28055 (java) S 28051 28051 26731 0 -1 1077944384 763123 0 0 0 1079 190 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022323018256 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28056] ppid=28051 vsize=15552588 memory=1452 CPUtime=12.59 cores=0,2,4,6
/proc/28053/task/28056/stat : 28056 (java) S 28051 28051 26731 0 -1 1077944384 756428 0 0 0 1054 205 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022321965712 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28057] ppid=28051 vsize=15552588 memory=6675852 CPUtime=12.54 cores=0,2,4,6
/proc/28053/task/28057/stat : 28057 (java) S 28051 28051 26731 0 -1 1077944384 747186 0 0 0 1058 196 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022320912656 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28058] ppid=28051 vsize=15552588 memory=2016 CPUtime=12.62 cores=0,2,4,6
/proc/28053/task/28058/stat : 28058 (java) S 28051 28051 26731 0 -1 1077944384 757207 0 0 0 1047 215 0 0 20 0 19 0 475629029 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140022319860112 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28059] ppid=28051 vsize=15552588 memory=1412 CPUtime=0.5 cores=0,2,4,6
/proc/28053/task/28059/stat : 28059 (java) S 28051 28051 26731 0 -1 1077944384 22218 0 0 0 43 7 0 0 20 0 19 0 475629031 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021838371568 140022370409090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28060] ppid=28051 vsize=15552588 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28060/stat : 28060 (java) S 28051 28051 26731 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 475629031 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021837317856 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28061] ppid=28051 vsize=15552588 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28061/stat : 28061 (java) S 28051 28051 26731 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 475629031 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021836264704 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28062] ppid=28051 vsize=15552588 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28062/stat : 28062 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021835213264 140022370416539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28063] ppid=28051 vsize=15552588 memory=616 CPUtime=7.49 cores=0,2,4,6
/proc/28053/task/28063/stat : 28063 (java) S 28051 28051 26731 0 -1 1077944384 51595 0 0 0 743 6 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021834160368 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28064] ppid=28051 vsize=15552588 memory=6791534058613427641 CPUtime=7.43 cores=0,2,4,6
/proc/28053/task/28064/stat : 28064 (java) S 28051 28051 26731 0 -1 1077944384 54127 0 0 0 737 6 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021833107824 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28065] ppid=28051 vsize=15552588 memory=1620 CPUtime=1.44 cores=0,2,4,6
/proc/28053/task/28065/stat : 28065 (java) S 28051 28051 26731 0 -1 1077944384 25188 0 0 0 140 4 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021832054768 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28066] ppid=28051 vsize=15552588 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/28053/task/28066/stat : 28066 (java) S 28051 28051 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021831002464 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28067] ppid=28051 vsize=15552588 memory=1072 CPUtime=1.47 cores=0,2,4,6
/proc/28053/task/28067/stat : 28067 (java) S 28051 28051 26731 0 -1 1077944384 9638 0 0 0 74 73 0 0 20 0 19 0 475629034 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021829950512 140022370409090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28807] ppid=28051 vsize=15552588 memory=1452 CPUtime=16.07 cores=0,2,4,6
/proc/28053/task/28807/stat : 28807 (java) S 28051 28051 26731 0 -1 1077944384 15892 0 0 0 1604 3 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021817823344 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28808] ppid=28051 vsize=15552588 memory=1452 CPUtime=15.83 cores=0,2,4,6
/proc/28053/task/28808/stat : 28808 (java) S 28051 28051 26731 0 -1 1077944384 46742 0 0 0 1580 3 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021813613824 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28809] ppid=28051 vsize=15552588 memory=6675852 CPUtime=137.36 cores=0,2,4,6
/proc/28053/task/28809/stat : 28809 (java) R 28051 28051 26731 0 -1 4202560 805970 0 0 0 13696 40 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021814660808 140021995039896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
[pid=28053/tid=28810] ppid=28051 vsize=15552588 memory=1160 CPUtime=15.56 cores=0,2,4,6
/proc/28053/task/28810/stat : 28810 (java) S 28051 28051 26731 0 -1 1077944384 21621 0 0 0 1554 2 0 0 20 0 19 0 475851808 15925850112 1668963 33554432000 4194304 4196468 140728241496848 140021815718912 140022370408149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34291712 140728241501147 140728241501322 140728241501322 140728241504207 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15665716 KiB
Current children cumulated memory: 6677304 KiB

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

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

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

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

[startup+2365.51 s]*
/proc/loadavg: 1.03 1.13 2.00 2/193 28822
/proc/meminfo: memFree=11269544/32770624 swapFree=66955320/67108860
Current cumulated CPU time of completed processes: 0.002222 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2365.53
CPU time (s): 2520.2
CPU user time (s): 2504.98
CPU system time (s): 15.223
CPU usage (%): 106.538
Max. virtual memory (cumulated for all children) (KiB): 15665716
Max. memory (cumulated for all children) (KiB): 6682468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.98
system time used= 15.223
maximum resident set size= 6681016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10340138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62000
involuntary context switches= 8038


# summary of solver processes directly reported to runsolver:
#   pid: 28051,28053
#   total CPU time (s): 2520.2
#   total CPU user time (s): 2504.98
#   total CPU system time (s): 15.223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7063 second user time and 23.0552 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-20 16:33:32
IDJOB=4403682
IDBENCH=141273
IDSOLVER=2863
FILE ID=node105/4403682-1568993710
RUNJOBID= node105-1568988085-26762
PBS_JOBID= 21704661
Free space on /var/tmp= 13072 MiB

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

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=1322020457

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         6976640 kB
MemAvailable:   27513428 kB
Buffers:          150544 kB
Cached:         20286212 kB
SwapCached:        49496 kB
Active:         14485732 kB
Inactive:       10292452 kB
Active(anon):    4295124 kB
Inactive(anon):    91596 kB
Active(file):   10190608 kB
Inactive(file): 10200856 kB
Unevictable:      110952 kB
Mlocked:          110952 kB
SwapTotal:      67108860 kB
SwapFree:       66955312 kB
Dirty:            108628 kB
Writeback:             0 kB
AnonPages:       4404376 kB
Mapped:            61868 kB
Shmem:             36664 kB
Slab:             602612 kB
SReclaimable:     573784 kB
SUnreclaim:        28828 kB
KernelStack:        3808 kB
PageTables:        14396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5980916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4235264 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 /var/tmp at the end= 13072 MiB
End job on node105 at 2019-09-20 17:12:57