Trace number 4394122

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14SAT (TO)234106643 2400.15 2311.04

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	234106643

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394122-1568350308/watcher-4394122-1568350308 -o /tmp/evaluation-result-4394122-1568350308/solver-4394122-1568350308 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568349660-25421 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 781720343 HOME/instance-4394122-1568350308.xml 

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

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

solver pid=25637, runsolver pid=25634

[startup+0.100058 s]*
/proc/loadavg: 7.76 7.01 4.77 7/234 25653
/proc/meminfo: memFree=29091836/32770624 swapFree=66980240/67108860
[pid=25637] ppid=25634 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411293466 115843072 363 33554432000 4194304 5098028 140725412271552 140725412269656 139695366890108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18399232 140725412275067 140725412275309 140725412275309 140725412278218 0
/proc/25637/statm: 28282 363 304 221 0 87 0
[pid=25639] ppid=25637 vsize=15144768 memory=28632 CPUtime=0.12 cores=1,3,5,7
/proc/25639/stat : 25639 (java) S 25637 25637 25389 0 -1 1077944320 5690 0 0 0 11 1 0 0 20 0 15 0 411293466 15508242432 7158 33554432000 4194304 4196468 140728335087184 140728335069728 140668963835639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
/proc/25639/statm: 3786192 7158 3118 1 0 3748377 0
[pid=25639/tid=25640] ppid=25637 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/25639/task/25640/stat : 25640 (java) R 25637 25637 25389 0 -1 4202560 3574 0 0 0 8 1 0 0 20 0 15 0 411293467 15508242432 7223 33554432000 4194304 4196468 140728335087184 140668968068416 140668947916126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25641] ppid=25637 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411293467 15508242432 7223 33554432000 4194304 4196468 140728335087184 140668916455696 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25642] ppid=25637 vsize=15144768 memory=140114901804672 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293467 15508242432 7223 33554432000 4194304 4196468 140728335087184 140668915403152 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25643] ppid=25637 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293467 15508242432 7223 33554432000 4194304 4196468 140728335087184 140668914350608 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25644] ppid=25637 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411293467 15508242432 7223 33554432000 4194304 4196468 140728335087184 140668913298064 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25645] ppid=25637 vsize=15144768 memory=140114901804672 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411293469 15508242432 7223 33554432000 4194304 4196468 140728335087184 140667904842224 140668963846786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25646] ppid=25637 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411293469 15508242432 7223 33554432000 4194304 4196468 140728335087184 140667903788448 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25647] ppid=25637 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411293469 15508242432 7223 33554432000 4194304 4196468 140728335087184 140667902735856 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25648] ppid=25637 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411293472 15508242432 7223 33554432000 4194304 4196468 140728335087184 140667901684432 140668963854235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25649] ppid=25637 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25649/stat : 25649 (java) R 25637 25637 25389 0 -1 4202560 343 0 0 0 0 0 0 0 20 0 15 0 411293472 15508242432 7223 33554432000 4194304 4196468 140728335087184 140667900622528 140668941668496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25650] ppid=25637 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25650/stat : 25650 (java) R 25637 25637 25389 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 411293472 15508242432 7223 33554432000 4194304 4196468 140728335087184 140667899578576 140668963845845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25651] ppid=25637 vsize=15144768 memory=140114901804672 CPUtime=0.02 cores=1,3,5,7
/proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25389 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 411293472 15508242432 7223 33554432000 4194304 4196468 140728335087184 140667898525936 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25652] ppid=25637 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411293472 15508242432 7223 33554432000 4194304 4196468 140728335087184 140667454839392 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25653] ppid=25637 vsize=15144768 memory=140114901804672 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293472 15508242432 7223 33554432000 4194304 4196468 140728335087184 140667453786928 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30084 KiB

[startup+0.210662 s]*
/proc/loadavg: 7.76 7.01 4.77 7/234 25653
/proc/meminfo: memFree=29078820/32770624 swapFree=66980240/67108860
[pid=25637] ppid=25634 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411293466 115843072 363 33554432000 4194304 5098028 140725412271552 140725412269656 139695366890108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18399232 140725412275067 140725412275309 140725412275309 140725412278218 0
/proc/25637/statm: 28282 363 304 221 0 87 0
[pid=25639] ppid=25637 vsize=15144768 memory=40732 CPUtime=0.34 cores=1,3,5,7
/proc/25639/stat : 25639 (java) S 25637 25637 25389 0 -1 1077944320 9441 0 0 0 31 3 0 0 20 0 15 0 411293466 15508242432 10183 33554432000 4194304 4196468 140728335087184 140728335069728 140668963835639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
/proc/25639/statm: 3786192 10183 3289 1 0 3748377 0
[pid=25639/tid=25640] ppid=25637 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25639/task/25640/stat : 25640 (java) R 25637 25637 25389 0 -1 4202560 6609 0 0 0 18 2 0 0 20 0 15 0 411293467 15508242432 10183 33554432000 4194304 4196468 140728335087184 140668968068368 140668584425520 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25641] ppid=25637 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411293467 15508242432 10183 33554432000 4194304 4196468 140728335087184 140668916455696 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25642] ppid=25637 vsize=15144768 memory=140114904999859 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293467 15508242432 10183 33554432000 4194304 4196468 140728335087184 140668915403152 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25643] ppid=25637 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293467 15508242432 10183 33554432000 4194304 4196468 140728335087184 140668914350608 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25644] ppid=25637 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411293467 15508242432 10183 33554432000 4194304 4196468 140728335087184 140668913298064 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25645] ppid=25637 vsize=15144768 memory=140114901804672 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25389 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411293469 15508242432 10183 33554432000 4194304 4196468 140728335087184 140667904842224 140668963846786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25646] ppid=25637 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411293469 15508242432 10183 33554432000 4194304 4196468 140728335087184 140667903788448 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25647] ppid=25637 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411293469 15508242432 10183 33554432000 4194304 4196468 140728335087184 140667902735856 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25648] ppid=25637 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411293472 15508242432 10183 33554432000 4194304 4196468 140728335087184 140667901684432 140668963854235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25649] ppid=25637 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25389 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 15 0 411293472 15508242432 10183 33554432000 4194304 4196468 140728335087184 140667900631024 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25650] ppid=25637 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25639/task/25650/stat : 25650 (java) S 25637 25637 25389 0 -1 1077944384 373 0 0 0 3 0 0 0 20 0 15 0 411293472 15508242432 10183 33554432000 4194304 4196468 140728335087184 140667899578480 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25651] ppid=25637 vsize=15144768 memory=140114901804672 CPUtime=0.08 cores=1,3,5,7
/proc/25639/task/25651/stat : 25651 (java) R 25637 25637 25389 0 -1 4202560 784 0 0 0 8 0 0 0 20 0 15 0 411293472 15508242432 10183 33554432000 4194304 4196468 140728335087184 140667898525744 140668963856986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25652] ppid=25637 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411293472 15508242432 10183 33554432000 4194304 4196468 140728335087184 140667454839392 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25653] ppid=25637 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293472 15508242432 10183 33554432000 4194304 4196468 140728335087184 140667453786928 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42184 KiB

[startup+0.310571 s]*
/proc/loadavg: 7.76 7.01 4.77 8/234 25653
/proc/meminfo: memFree=29074092/32770624 swapFree=66980240/67108860
[pid=25637] ppid=25634 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411293466 115843072 363 33554432000 4194304 5098028 140725412271552 140725412269656 139695366890108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18399232 140725412275067 140725412275309 140725412275309 140725412278218 0
/proc/25637/statm: 28282 363 304 221 0 87 0
[pid=25639] ppid=25637 vsize=15149024 memory=49968 CPUtime=0.53 cores=1,3,5,7
/proc/25639/stat : 25639 (java) S 25637 25637 25389 0 -1 1077944320 10838 0 0 0 48 5 0 0 20 0 15 0 411293466 15512600576 12492 33554432000 4194304 4196468 140728335087184 140728335069728 140668963835639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
/proc/25639/statm: 3787256 12492 3372 1 0 3748377 0
[pid=25639/tid=25640] ppid=25637 vsize=15149024 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/25639/task/25640/stat : 25640 (java) R 25637 25637 25389 0 -1 4202560 7759 0 0 0 26 3 0 0 20 0 15 0 411293467 15512600576 12492 33554432000 4194304 4196468 140728335087184 140668968070912 140668947916126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25641] ppid=25637 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411293467 15512600576 12492 33554432000 4194304 4196468 140728335087184 140668916455696 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25642] ppid=25637 vsize=15149024 memory=3214057 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293467 15512600576 12492 33554432000 4194304 4196468 140728335087184 140668915403152 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25643] ppid=25637 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293467 15512600576 12492 33554432000 4194304 4196468 140728335087184 140668914350608 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25644] ppid=25637 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25389 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411293467 15512600576 12492 33554432000 4194304 4196468 140728335087184 140668913298064 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25645] ppid=25637 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25389 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411293469 15512600576 12492 33554432000 4194304 4196468 140728335087184 140667904842224 140668963846786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25646] ppid=25637 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411293469 15512600576 12492 33554432000 4194304 4196468 140728335087184 140667903788448 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25647] ppid=25637 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25389 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411293469 15512600576 12492 33554432000 4194304 4196468 140728335087184 140667902735856 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25648] ppid=25637 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411293472 15512600576 12492 33554432000 4194304 4196468 140728335087184 140667901684432 140668963854235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25649] ppid=25637 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25389 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 15 0 411293472 15512600576 12492 33554432000 4194304 4196468 140728335087184 140667900631024 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25650] ppid=25637 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/25639/task/25650/stat : 25650 (java) R 25637 25637 25389 0 -1 4202560 481 0 0 0 5 0 0 0 20 0 15 0 411293472 15512600576 12492 33554432000 4194304 4196468 140728335087184 140667899559496 140668947220239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25651] ppid=25637 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25389 0 -1 1077944384 894 0 0 0 12 0 0 0 20 0 15 0 411293472 15512600576 12492 33554432000 4194304 4196468 140728335087184 140667898525936 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25652] ppid=25637 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411293472 15512600576 12492 33554432000 4194304 4196468 140728335087184 140667454839392 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25653] ppid=25637 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293472 15512600576 12492 33554432000 4194304 4196468 140728335087184 140667453786928 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51420 KiB

[startup+0.702937 s]
/proc/loadavg: 7.76 7.01 4.77 6/234 25653
/proc/meminfo: memFree=28985324/32770624 swapFree=66980240/67108860
[pid=25637] ppid=25634 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411293466 115843072 363 33554432000 4194304 5098028 140725412271552 140725412269656 139695366890108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18399232 140725412275067 140725412275309 140725412275309 140725412278218 0
/proc/25637/statm: 28282 363 304 221 0 87 0
[pid=25639] ppid=25637 vsize=15149024 memory=294568 CPUtime=1.61 cores=1,3,5,7
/proc/25639/stat : 25639 (java) S 25637 25637 25389 0 -1 1077944320 13965 0 0 0 136 25 0 0 20 0 15 0 411293466 15512600576 73642 33554432000 4194304 4196468 140728335087184 140728335069728 140668963835639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
/proc/25639/statm: 3787256 73642 3420 1 0 3748377 0
[pid=25639/tid=25640] ppid=25637 vsize=15149024 memory=1786773505281 CPUtime=0.61 cores=1,3,5,7
/proc/25639/task/25640/stat : 25640 (java) R 25637 25637 25389 0 -1 4202560 8039 0 0 0 52 9 0 0 20 0 15 0 411293467 15512600576 73642 33554432000 4194304 4196468 140728335087184 140668968074768 140668963857565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25641] ppid=25637 vsize=15149024 memory=512 CPUtime=0.06 cores=1,3,5,7
/proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25389 0 -1 1077944384 69 0 0 0 3 3 0 0 20 0 15 0 411293467 15512600576 73642 33554432000 4194304 4196468 140728335087184 140668916455696 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25642] ppid=25637 vsize=15149024 memory=1564 CPUtime=0.06 cores=1,3,5,7
/proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25389 0 -1 1077944384 65 0 0 0 2 4 0 0 20 0 15 0 411293467 15512600576 73642 33554432000 4194304 4196468 140728335087184 140668915403152 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25643] ppid=25637 vsize=15149024 memory=928 CPUtime=0.06 cores=1,3,5,7
/proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25389 0 -1 1077944384 59 0 0 0 3 3 0 0 20 0 15 0 411293467 15512600576 73642 33554432000 4194304 4196468 140728335087184 140668914350608 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25644] ppid=25637 vsize=15149024 memory=3772 CPUtime=0.06 cores=1,3,5,7
/proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25389 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 411293467 15512600576 73642 33554432000 4194304 4196468 140728335087184 140668913298064 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25645] ppid=25637 vsize=15149024 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25389 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 411293469 15512600576 73642 33554432000 4194304 4196468 140728335087184 140667904842224 140668963846786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25646] ppid=25637 vsize=15149024 memory=920 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25389 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411293469 15512600576 73642 33554432000 4194304 4196468 140728335087184 140667903788448 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25647] ppid=25637 vsize=15149024 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25389 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 411293469 15512600576 73642 33554432000 4194304 4196468 140728335087184 140667902735856 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25648] ppid=25637 vsize=15149024 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411293472 15512600576 73642 33554432000 4194304 4196468 140728335087184 140667901684432 140668963854235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25649] ppid=25637 vsize=15149024 memory=1764 CPUtime=0.25 cores=1,3,5,7
/proc/25639/task/25649/stat : 25649 (java) R 25637 25637 25389 0 -1 4202560 1678 0 0 0 25 0 0 0 20 0 15 0 411293472 15512600576 73642 33554432000 4194304 4196468 140728335087184 140667900622480 140668943082400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25650] ppid=25637 vsize=15149024 memory=111632 CPUtime=0.26 cores=1,3,5,7
/proc/25639/task/25650/stat : 25650 (java) R 25637 25637 25389 0 -1 4202560 1194 0 0 0 26 0 0 0 20 0 15 0 411293472 15512600576 73642 33554432000 4194304 4196468 140728335087184 140667899578480 140668945380267 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25651] ppid=25637 vsize=15149024 memory=804 CPUtime=0.19 cores=1,3,5,7
/proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25389 0 -1 1077944384 1420 0 0 0 19 0 0 0 20 0 15 0 411293472 15512600576 73642 33554432000 4194304 4196468 140728335087184 140667898525936 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25652] ppid=25637 vsize=15149024 memory=4108 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411293472 15512600576 73642 33554432000 4194304 4196468 140728335087184 140667454839392 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25653] ppid=25637 vsize=15149024 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25389 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411293472 15512600576 73642 33554432000 4194304 4196468 140728335087184 140667453786928 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 296020 KiB

[startup+1.50083 s]
/proc/loadavg: 7.76 7.01 4.77 7/234 25653
/proc/meminfo: memFree=28821120/32770624 swapFree=66980240/67108860
[pid=25637] ppid=25634 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411293466 115843072 363 33554432000 4194304 5098028 140725412271552 140725412269656 139695366890108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18399232 140725412275067 140725412275309 140725412275309 140725412278218 0
/proc/25637/statm: 28282 363 304 221 0 87 0

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

/proc/25639/stat : 25639 (java) S 25637 25637 25389 0 -1 1077944320 781051 0 0 0 234593 545 0 0 20 0 19 0 411293466 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140728335069728 140668963835639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
/proc/25639/statm: 3888402 1693025 3553 1 0 3849504 0
[pid=25639/tid=25640] ppid=25637 vsize=15553608 memory=8317482817917895235 CPUtime=44.09 cores=1,3,5,7
/proc/25639/task/25640/stat : 25640 (java) S 25637 25637 25389 0 -1 1077944384 46273 0 0 0 4354 55 0 0 20 0 19 0 411293467 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140668968076416 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25641] ppid=25637 vsize=15553608 memory=4126316290023845779 CPUtime=12.15 cores=1,3,5,7
/proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25389 0 -1 1077944384 67392 0 0 0 1115 100 0 0 20 0 19 0 411293467 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140668916455696 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25642] ppid=25637 vsize=15553608 memory=9580 CPUtime=12.13 cores=1,3,5,7
/proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25389 0 -1 1077944384 107871 0 0 0 1112 101 0 0 20 0 19 0 411293467 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140668915403152 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25643] ppid=25637 vsize=15553608 memory=14008 CPUtime=12.05 cores=1,3,5,7
/proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25389 0 -1 1077944384 78982 0 0 0 1112 93 0 0 20 0 19 0 411293467 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140668914350608 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25644] ppid=25637 vsize=15553608 memory=6791534058613427641 CPUtime=12.12 cores=1,3,5,7
/proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25389 0 -1 1077944384 71787 0 0 0 1116 96 0 0 20 0 19 0 411293467 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140668913298064 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25645] ppid=25637 vsize=15553608 memory=11976 CPUtime=0.44 cores=1,3,5,7
/proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25389 0 -1 1077944384 13960 0 0 0 39 5 0 0 20 0 19 0 411293469 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667904842224 140668963846786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25646] ppid=25637 vsize=15553608 memory=6268 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25389 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 411293469 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667903788512 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25647] ppid=25637 vsize=15553608 memory=512 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25389 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 411293469 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667902735872 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25648] ppid=25637 vsize=15553608 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411293472 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667901684432 140668963854235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25649] ppid=25637 vsize=15553608 memory=928 CPUtime=6.81 cores=1,3,5,7
/proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25389 0 -1 1077944384 38484 0 0 0 678 3 0 0 20 0 19 0 411293472 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667900631024 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 49 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25650] ppid=25637 vsize=15553608 memory=3772 CPUtime=6.43 cores=1,3,5,7
/proc/25639/task/25650/stat : 25650 (java) S 25637 25637 25389 0 -1 1077944384 46138 0 0 0 637 6 0 0 20 0 19 0 411293472 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667899578480 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25651] ppid=25637 vsize=15553608 memory=2273 CPUtime=1.38 cores=1,3,5,7
/proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25389 0 -1 1077944384 26417 0 0 0 134 4 0 0 20 0 19 0 411293472 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667898525936 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25652] ppid=25637 vsize=15553608 memory=35428 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411293472 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667454839392 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25653] ppid=25637 vsize=15553608 memory=37636 CPUtime=1.25 cores=1,3,5,7
/proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25389 0 -1 1077944384 8646 0 0 0 57 68 0 0 20 0 19 0 411293472 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667453786928 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26512] ppid=25637 vsize=15553608 memory=39844 CPUtime=0.13 cores=1,3,5,7
/proc/25639/task/26512/stat : 26512 (java) S 25637 25637 25389 0 -1 1077944384 213 0 0 0 13 0 0 0 20 0 19 0 411514584 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667442720144 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26513] ppid=25637 vsize=15553608 memory=30785 CPUtime=0.13 cores=1,3,5,7
/proc/25639/task/26513/stat : 26513 (java) S 25637 25637 25389 0 -1 1077944384 233 0 0 0 13 0 0 0 20 0 19 0 411514584 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667440616448 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26514] ppid=25637 vsize=15553608 memory=4420 CPUtime=51.11 cores=1,3,5,7
/proc/25639/task/26514/stat : 26514 (java) R 25637 25637 25389 0 -1 4202560 4005 0 0 0 5111 0 0 0 20 0 19 0 411514584 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667439565896 140668589521919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26515] ppid=25637 vsize=15553608 memory=6628 CPUtime=0.14 cores=1,3,5,7
/proc/25639/task/26515/stat : 26515 (java) S 25637 25637 25389 0 -1 1077944384 324 0 0 0 14 0 0 0 20 0 19 0 411514584 15926894592 1693025 33554432000 4194304 4196468 140728335087184 140667438511360 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
Current children cumulated CPU time: 2351.38 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 6773552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2311 s]
/proc/loadavg: 2.10 2.15 2.38 3/237 26526
/proc/meminfo: memFree=15831680/32770624 swapFree=66980292/67108860
[pid=25637] ppid=25634 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411293466 115843072 363 33554432000 4194304 5098028 140725412271552 140725412269656 139695366890108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18399232 140725412275067 140725412275309 140725412275309 140725412278218 0
/proc/25637/statm: 28282 363 304 221 0 87 0
[pid=25639] ppid=25637 vsize=15553608 memory=6772132 CPUtime=2400.09 cores=1,3,5,7
/proc/25639/stat : 25639 (java) S 25637 25637 25389 0 -1 1077944320 782526 0 0 0 239463 546 0 0 20 0 19 0 411293466 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140728335069728 140668963835639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
/proc/25639/statm: 3888402 1693033 3553 1 0 3849504 0
[pid=25639/tid=25640] ppid=25637 vsize=15553608 memory=6772132 CPUtime=44.09 cores=1,3,5,7
/proc/25639/task/25640/stat : 25640 (java) S 25637 25637 25389 0 -1 1077944384 46273 0 0 0 4354 55 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668968076416 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25641] ppid=25637 vsize=15553608 memory=6774700 CPUtime=12.15 cores=1,3,5,7
/proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25389 0 -1 1077944384 67392 0 0 0 1115 100 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668916455696 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25642] ppid=25637 vsize=15553608 memory=6772100 CPUtime=12.13 cores=1,3,5,7
/proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25389 0 -1 1077944384 107871 0 0 0 1112 101 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668915403152 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25643] ppid=25637 vsize=15553608 memory=6772132 CPUtime=12.05 cores=1,3,5,7
/proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25389 0 -1 1077944384 78982 0 0 0 1112 93 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668914350608 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25644] ppid=25637 vsize=15553608 memory=6772132 CPUtime=12.12 cores=1,3,5,7
/proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25389 0 -1 1077944384 71787 0 0 0 1116 96 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668913298064 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25645] ppid=25637 vsize=15553608 memory=1452 CPUtime=0.44 cores=1,3,5,7
/proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25389 0 -1 1077944384 13980 0 0 0 39 5 0 0 20 0 19 0 411293469 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667904842224 140668963846786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25646] ppid=25637 vsize=15553608 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25389 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 411293469 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667903788512 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25647] ppid=25637 vsize=15553608 memory=6772132 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25389 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 411293469 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667902735872 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25648] ppid=25637 vsize=15553608 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667901684432 140668963854235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25649] ppid=25637 vsize=15553608 memory=1060 CPUtime=6.81 cores=1,3,5,7
/proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25389 0 -1 1077944384 38490 0 0 0 678 3 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667900631024 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 49 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25650] ppid=25637 vsize=15553608 memory=2828 CPUtime=6.43 cores=1,3,5,7
/proc/25639/task/25650/stat : 25650 (java) S 25637 25637 25389 0 -1 1077944384 46153 0 0 0 637 6 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667899578480 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25651] ppid=25637 vsize=15553608 memory=756 CPUtime=1.38 cores=1,3,5,7
/proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25389 0 -1 1077944384 26436 0 0 0 134 4 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667898525936 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25652] ppid=25637 vsize=15553608 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667454839392 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25653] ppid=25637 vsize=15553608 memory=6772132 CPUtime=1.27 cores=1,3,5,7
/proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25389 0 -1 1077944384 8721 0 0 0 58 69 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667453786928 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26512] ppid=25637 vsize=15553608 memory=8819684 CPUtime=0.13 cores=1,3,5,7
/proc/25639/task/26512/stat : 26512 (java) S 25637 25637 25389 0 -1 1077944384 213 0 0 0 13 0 0 0 20 0 19 0 411514584 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667442720144 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26513] ppid=25637 vsize=15553608 memory=3620 CPUtime=0.13 cores=1,3,5,7
/proc/25639/task/26513/stat : 26513 (java) S 25637 25637 25389 0 -1 1077944384 233 0 0 0 13 0 0 0 20 0 19 0 411514584 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667440616448 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26514] ppid=25637 vsize=15553608 memory=18296 CPUtime=99.8 cores=1,3,5,7
/proc/25639/task/26514/stat : 26514 (java) R 25637 25637 25389 0 -1 4202560 5345 0 0 0 9980 0 0 0 20 0 19 0 411514584 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667439565896 140668589521931 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26515] ppid=25637 vsize=15553608 memory=2004 CPUtime=0.14 cores=1,3,5,7
/proc/25639/task/26515/stat : 26515 (java) S 25637 25637 25389 0 -1 1077944384 324 0 0 0 14 0 0 0 20 0 19 0 411514584 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667438511360 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 6773584 KiB

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

[startup+2311.01 s]
# the end of solver process 25637 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002206 s, system=0 s

[startup+2311.04 s]
# the end of solver process 25639 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.65 s, system=5.49448 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+2311 s]
/proc/loadavg: 2.10 2.15 2.38 3/237 26526
/proc/meminfo: memFree=15831680/32770624 swapFree=66980292/67108860
[pid=25637] ppid=25634 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25637/stat : 25637 (xcsp3-exec) S 25634 25637 25389 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411293466 115843072 363 33554432000 4194304 5098028 140725412271552 140725412269656 139695366890108 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18399232 140725412275067 140725412275309 140725412275309 140725412278218 0
/proc/25637/statm: 28282 363 304 221 0 87 0
[pid=25639] ppid=25637 vsize=15553608 memory=6772132 CPUtime=2400.09 cores=1,3,5,7
/proc/25639/stat : 25639 (java) S 25637 25637 25389 0 -1 1077944320 782526 0 0 0 239463 546 0 0 20 0 19 0 411293466 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140728335069728 140668963835639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
/proc/25639/statm: 3888402 1693033 3553 1 0 3849504 0
[pid=25639/tid=25640] ppid=25637 vsize=15553608 memory=6772132 CPUtime=44.09 cores=1,3,5,7
/proc/25639/task/25640/stat : 25640 (java) S 25637 25637 25389 0 -1 1077944384 46273 0 0 0 4354 55 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668968076416 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25641] ppid=25637 vsize=15553608 memory=6774700 CPUtime=12.15 cores=1,3,5,7
/proc/25639/task/25641/stat : 25641 (java) S 25637 25637 25389 0 -1 1077944384 67392 0 0 0 1115 100 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668916455696 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25642] ppid=25637 vsize=15553608 memory=6772100 CPUtime=12.13 cores=1,3,5,7
/proc/25639/task/25642/stat : 25642 (java) S 25637 25637 25389 0 -1 1077944384 107871 0 0 0 1112 101 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668915403152 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25643] ppid=25637 vsize=15553608 memory=6772132 CPUtime=12.05 cores=1,3,5,7
/proc/25639/task/25643/stat : 25643 (java) S 25637 25637 25389 0 -1 1077944384 78982 0 0 0 1112 93 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668914350608 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25644] ppid=25637 vsize=15553608 memory=6772132 CPUtime=12.12 cores=1,3,5,7
/proc/25639/task/25644/stat : 25644 (java) S 25637 25637 25389 0 -1 1077944384 71787 0 0 0 1116 96 0 0 20 0 19 0 411293467 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140668913298064 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25645] ppid=25637 vsize=15553608 memory=1452 CPUtime=0.44 cores=1,3,5,7
/proc/25639/task/25645/stat : 25645 (java) S 25637 25637 25389 0 -1 1077944384 13980 0 0 0 39 5 0 0 20 0 19 0 411293469 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667904842224 140668963846786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25646] ppid=25637 vsize=15553608 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25646/stat : 25646 (java) S 25637 25637 25389 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 411293469 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667903788512 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25647] ppid=25637 vsize=15553608 memory=6772132 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25647/stat : 25647 (java) S 25637 25637 25389 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 19 0 411293469 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667902735872 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25648] ppid=25637 vsize=15553608 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25648/stat : 25648 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667901684432 140668963854235 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25649] ppid=25637 vsize=15553608 memory=1060 CPUtime=6.81 cores=1,3,5,7
/proc/25639/task/25649/stat : 25649 (java) S 25637 25637 25389 0 -1 1077944384 38490 0 0 0 678 3 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667900631024 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 49 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25650] ppid=25637 vsize=15553608 memory=2828 CPUtime=6.43 cores=1,3,5,7
/proc/25639/task/25650/stat : 25650 (java) S 25637 25637 25389 0 -1 1077944384 46153 0 0 0 637 6 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667899578480 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25651] ppid=25637 vsize=15553608 memory=756 CPUtime=1.38 cores=1,3,5,7
/proc/25639/task/25651/stat : 25651 (java) S 25637 25637 25389 0 -1 1077944384 26436 0 0 0 134 4 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667898525936 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25652] ppid=25637 vsize=15553608 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25639/task/25652/stat : 25652 (java) S 25637 25637 25389 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667454839392 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=25653] ppid=25637 vsize=15553608 memory=6772132 CPUtime=1.27 cores=1,3,5,7
/proc/25639/task/25653/stat : 25653 (java) S 25637 25637 25389 0 -1 1077944384 8721 0 0 0 58 69 0 0 20 0 19 0 411293472 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667453786928 140668963846786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26512] ppid=25637 vsize=15553608 memory=8819684 CPUtime=0.13 cores=1,3,5,7
/proc/25639/task/26512/stat : 26512 (java) S 25637 25637 25389 0 -1 1077944384 213 0 0 0 13 0 0 0 20 0 19 0 411514584 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667442720144 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26513] ppid=25637 vsize=15553608 memory=3620 CPUtime=0.13 cores=1,3,5,7
/proc/25639/task/26513/stat : 26513 (java) S 25637 25637 25389 0 -1 1077944384 233 0 0 0 13 0 0 0 20 0 19 0 411514584 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667440616448 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26514] ppid=25637 vsize=15553608 memory=18296 CPUtime=99.8 cores=1,3,5,7
/proc/25639/task/26514/stat : 26514 (java) R 25637 25637 25389 0 -1 4202560 5345 0 0 0 9980 0 0 0 20 0 19 0 411514584 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667439565896 140668589521931 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
[pid=25639/tid=26515] ppid=25637 vsize=15553608 memory=2004 CPUtime=0.14 cores=1,3,5,7
/proc/25639/task/26515/stat : 26515 (java) S 25637 25637 25389 0 -1 1077944384 324 0 0 0 14 0 0 0 20 0 19 0 411514584 15926894592 1693033 33554432000 4194304 4196468 140728335087184 140667438511360 140668963845845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29917184 140728335090671 140728335090842 140728335090842 140728335093711 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 6773584 KiB

Child status: 143
Real time (s): 2311.04
CPU time (s): 2400.15
CPU user time (s): 2394.65
CPU system time (s): 5.49448
CPU usage (%): 103.856
Max. virtual memory (cumulated for all children) (KiB): 15666736
Max. memory (cumulated for all children) (KiB): 6777056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.65
system time used= 5.49449
maximum resident set size= 6775728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 784346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59606
involuntary context switches= 3256


# summary of solver processes directly reported to runsolver:
#   pid: 25637,25639
#   total CPU time (s): 2400.15
#   total CPU user time (s): 2394.65
#   total CPU system time (s): 5.49448

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6285 second user time and 24.0621 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-13 06:51:06
IDJOB=4394122
IDBENCH=141273
IDSOLVER=2842
FILE ID=node121/4394122-1568350308
RUNJOBID= node121-1568349660-25421
PBS_JOBID= 21701172
Free space on /tmp= 60944 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394122-1568350308/watcher-4394122-1568350308 -o /tmp/evaluation-result-4394122-1568350308/solver-4394122-1568350308 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568349660-25421 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 781720343 HOME/instance-4394122-1568350308.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=781720343

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29108856 kB
MemAvailable:   29464588 kB
Buffers:          135816 kB
Cached:           514596 kB
SwapCached:        18960 kB
Active:          2832444 kB
Inactive:         287868 kB
Active(anon):    2456688 kB
Inactive(anon):    42984 kB
Active(file):     375756 kB
Inactive(file):   244884 kB
Unevictable:      109528 kB
Mlocked:          109528 kB
SwapTotal:      67108860 kB
SwapFree:       66980240 kB
Dirty:            108360 kB
Writeback:             0 kB
AnonPages:       2460320 kB
Mapped:            45932 kB
Shmem:             21180 kB
Slab:             130696 kB
SReclaimable:     101856 kB
SUnreclaim:        28840 kB
KernelStack:        4080 kB
PageTables:        10888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3967748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2338816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 60796 MiB
End job on node121 at 2019-09-13 07:29:37