Trace number 4406053

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-24SAT (TO)176024801 2520.1 2502.04

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml
MD5SUM3fdf89d4941046bada2032faa76e855a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63832030
Best CPU time to get the best result obtained on this benchmark59.6866
Satisfiable
(Un)Satisfiability was proved
Number of variables4790
Number of constraints2852
Number of domains18
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}]
Minimum variable degree1
Maximum variable degree1264
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}]
Number of extensional constraints1263
Number of intensional constraints1589
Distribution of constraint types[{"type":"extension","count":1263},{"type":"intension","count":1589}]
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-4406053-1569414628.xml"  -tl '2520s' -p 1
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406053-1569414628.xml, -tl, 2520s, -p, 1]
0.13/0.22	c simple solver
0.34/0.28	c parse instance...
20.82/12.04	c solve instance...
119.80/108.01	o 176429309 
125.14/111.78	o 176416679 
125.43/111.92	o 176404049 
128.43/114.56	o 176391419 
132.21/118.21	o 176391409 
135.04/121.09	o 176378779 
138.11/123.87	o 176366149 
138.43/124.20	o 176366139 
138.72/124.43	o 176366129 
141.27/126.93	o 176353499 
141.57/127.21	o 176340869 
141.89/127.58	o 176340849 
142.33/127.91	o 176340839 
153.15/138.67	o 176328209 
153.49/138.96	o 176315579 
155.70/141.15	o 176302949 
156.09/141.56	o 176290319 
165.72/151.08	o 176290309 
166.61/151.91	o 176290299 
168.91/154.22	o 176290289 
169.31/154.60	o 176290279 
170.01/155.38	o 176290269 
189.45/174.60	o 176277639 
189.75/174.96	o 176265009 
192.45/177.65	o 176252379 
194.56/179.75	o 176239749 
213.21/197.76	o 176227119 
213.62/198.15	o 176214489 
216.45/200.88	o 176214469 
217.46/201.88	o 176214465 
223.17/207.52	o 176201830 
225.27/209.66	o 176201821 
233.78/218.10	o 176201820 
237.97/222.30	o 176201811 
240.99/225.24	o 176189181 
243.19/227.48	o 176176551 
243.69/227.97	o 176176531 
258.32/242.53	o 176163914 
260.52/244.73	o 176163904 
261.23/245.41	o 176163897 
262.73/246.96	o 176151271 
263.13/247.35	o 176151264 
340.42/324.21	o 176138634 
342.62/326.44	o 176138624 
344.92/328.71	o 176138616 
382.95/366.76	o 176138606 
385.26/369.04	o 176125976 
385.65/369.41	o 176125966 
579.69/563.18	o 176125961 
598.79/582.26	o 176113331 
599.20/582.63	o 176113321 
604.82/588.21	o 176113311 
662.60/645.98	o 176100671 
675.72/659.02	o 176088041 
676.01/659.38	o 176088031 
729.65/712.91	o 176088021 
762.07/745.38	o 176088011 
950.02/933.18	o 176075381 
982.64/965.73	o 176075371 
997.45/980.56	o 176075370 
1536.73/1519.47	o 176062730 
1624.41/1607.05	o 176050090 
1699.46/1682.10	o 176050081 
1850.96/1833.40	o 176050071 
2243.36/2225.59	o 176037431 
2261.18/2243.36	o 176024801 
2520.05/2502.01	s SATISFIABLE
2520.05/2502.01	v <instantiation>
2520.05/2502.01	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] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] 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] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] 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] 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] 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] </list>
2520.05/2502.01	v 	<values>2552 2304 2580 2408 2524 2696 2384 2300 2624 2236 2332 2592 2236 2400 2528 2568 2368 2248 2276 2660 2416 2488 2492 2644 2620 2424 2260 2456 2276 2268 2700 2548 2620 2676 2700 2260 2700 2380 2472 2628 2648 2656 2696 2600 2228 2700 2600 2512 2388 2372 2424 2288 2288 2372 2260 2296 2260 2628 2320 2608 2264 2612 2360 2268 2608 2608 2260 2476 2272 2440 2648 2236 2700 2372 2388 2620 2408 2672 2268 2684 2348 2452 2644 2432 2232 2320 2260 2700 2228 2336 2580 2368 2592 2600 2288 2276 2296 2632 2600 2220 2432 2660 2236 2260 2232 2360 2504 2560 2296 2504 2260 2384 2648 2624 2648 2268 2440 2260 2248 2224 2344 2456 2304 2660 2432 2228 2312 2236 2552 2220 2488 2236 2408 2460 2268 2460 2260 2592 2280 2696 2436 2228 2456 2412 2600 2416 2676 2684 2336 2220 2560 2688 2360 2372 2276 2660 2392 2220 2368 2648 2220 2500 2256 2424 2660 2644 2424 2424 2588 2280 2380 2528 2648 2696 2660 2220 2464 2660 2416 2700 2660 2308 2476 2604 2392 2220 2628 2416 2564 2412 2400 2336 2228 2544 2260 2584 2660 2648 2224 2220 2372 2600 2580 2608 2232 2660 2648 2584 2412 2240 2332 2400 2292 2660 2380 2408 2260 2648 2512 2624 2612 2472 2308 2228 2360 2652 2684 2576 2620 2656 2268 2316 2660 2660 2544 2596 2652 2488 2636 2340 2656 2500 2360 2700 2528 2532 2644 2384 2368 2420 2328 2600 2332 2324 2504 2228 2264 2700 2604 2572 2660 2660 2604 2352 2668 2228 2636 2320 2652 2236 2620 2448 2220 2492 2224 2296 2620 2700 2244 2516 2268 2316 2500 2308 2600 2636 2644 2656 2444 2224 2452 2508 2608 2552 2380 2636 2700 2464 2384 2692 2504 2364 2488 2572 2584 2316 2696 2540 2280 2608 2268 2352 2348 2276 2400 2660 2688 2296 2336 2560 2400 2288 2276 2364 2660 2700 2608 2264 2340 2424 2224 2420 2656 2224 2464 2660 2260 2540 2264 2432 2540 2428 2272 2264 2376 2648 2392 2484 2376 2632 2588 2648 2484 2240 2264 2312 2584 2368 2684 2660 2328 2560 2592 2700 2380 2464 2488 2260 2220 2504 2460 2684 2276 2524 2352 2220 2644 2452 2464 2656 2588 2276 2284 2296 2552 2316 2348 2528 2260 2256 2584 2624 2224 2268 2628 2336 2616 2284 2328 2368 2668 2664 2336 2644 2496 2448 2404 2260 2340 2224 2700 2272 2260 2684 2700 2532 2696 2660 2356 2272 2464 2640 2676 2284 2448 2560 2580 2392 2692 2264 2700 2340 2220 2660 2244 2248 2404 2392 2688 2544 2504 2448 2700 2688 2592 2220 2260 2472 2624 2344 2504 2460 2464 2560 2644 2260 2332 2588 2224 2700 2300 2296 2660 2268 2640 2628 2480 2276 2420 2488 2412 2688 2556 2264 2220 2220 2220 2660 2676 2336 2260 2356 2664 2352 2220 2408 2360 2700 2628 2376 2220 2420 2264 2624 2220 2308 2536 2552 2324 2408 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 56 40 292 80 320 396 80 356 360 180 48 212 184 236 72 264 288 304 216 256 256 196 116 56 52 228 108 164 164 188 348 288 92 76 4 76 36 176 36 64 216 188 352 268 100 84 64 80 172 356 104 332 96 200 108 268 136 268 368 24 104 128 104 168 232 304 308 136 76 132 320 260 244 224 48 288 12 204 184 256 136 440 396 384 56 268 368 116 184 204 288 288 52 420 332 60 48 244 136 268 64 260 96 172 20 264 116 220 384 212 260 368 308 240 380 56 320 260 196 236 204 68 4 24 400 400 84 40 152 220 200 196 236 96 16 112 136 104 56 16 20 36 40 232 332 72 32 200 364 428 280 108 156 344 240 64 336 296 224 140 52 424 480 372 28 44 400 108 116 100 276 120 204 40 120 268 132 112 88 100 180 184 244 252 196 156 136 76 196 20 388 424 412 200 204 60 4 192 104 32 48 4 36 104 344 388 48 380 376 376 232 432 436 380 388 372 364 88 344 60 332 200 380 112 12 188 116 176 292 128 144 316 152 136 64 252 236 236 128 48 372 328 24 48 40 216 320 28 116 148 148 44 332 64 4 316 16 364 76 348 208 284 324 224 396 400 368 32 360 124 44 196 252 40 76 260 96 208 120 136 332 32 200 360 36 304 232 192 300 340 64 248 64 336 104 36 8 172 204 260 92 64 24 40 372 144 52 160 104 92 16 40 108 376 228 300 428 88 124 252 20 388 376 140 388 220 92 8 376 200 24 448 124 340 116 404 40 284 116 92 236 172 264 316 284 260 72 128 92 360 212 312 364 132 220 116 240 252 152 180 376 272 60 12 336 408 392 404 0 128 236 128 68 168 208 280 380 420 112 424 72 148 468 340 332 268 356 388 472 432 240 276 52 188 476 180 156 120 176 120 220 12 68 120 88 320 108 292 268 76 292 296 248 264 16 320 184 20 256 192 72 356 348 404 112 308 208 172 172 312 364 64 308 36 108 184 28 216 56 400 68 376 220 256 372 180 20 292 96 100 40 120 244 164 60 180 204 104 168 364 124 252 280 408 156 124 104 192 16 160 428 60 64 324 100 180 268 64 156 24 252 244 184 0 148 364 104 36 244 104 68 244 248 76 184 100 76 212 104 324 40 264 124 116 204 88 140 388 36 60 224 44 96 36 52 428 420 196 264 220 152 140 112 400 120 424 24 200 368 452 176 436 428 28 296 236 436 152 80 56 88 44 240 196 232 44 224 344 116 424 340 212 76 52 196 96 216 72 208 0 416 276 32 432 348 88 48 228 352 348 92 412 252 348 372 40 228 352 88 328 108 140 132 440 112 264 52 172 212 128 372 304 348 24 424 188 104 88 40 220 200 56 196 76 328 240 48 24 116 240 328 148 56 68 260 240 52 416 368 416 468 472 144 400 192 396 212 152 296 232 432 192 196 196 236 96 372 304 36 40 216 176 392 124 272 456 408 36 336 56 132 172 128 72 8 440 352 320 20 68 148 380 380 128 112 4 268 192 132 108 152 152 304 56 432 260 100 16 56 240 168 20 172 24 288 332 144 312 196 384 296 332 128 84 144 52 60 232 256 380 76 196 156 56 88 240 144 252 244 104 88 116 164 228 144 80 128 376 12 348 128 148 204 244 112 92 72 40 116 148 328 424 376 228 120 204 316 432 76 280 436 332 424 480 76 208 364 172 52 188 60 68 80 156 324 32 428 480 384 240 48 340 4 84 152 248 108 224 200 212 380 20 88 212 84 192 464 420 408 20 164 32 124 72 272 208 268 284 32 4 336 268 184 268 120 192 208 224 8 48 180 324 112 116 88 116 224 332 264 92 324 400 268 64 268 348 120 136 80 40 200 396 420 0 472 108 320 244 128 108 20 332 4 56 268 352 80 256 148 76 368 64 48 396 120 312 324 376 200 360 104 196 296 72 24 52 124 408 280 160 228 164 56 52 132 340 116 108 144 368 412 184 200 144 60 24 144 140 164 188 348 284 296 336 76 108 132 156 316 348 360 396 432 64 40 100 148 176 388 440 84 112 96 40 100 392 436 348 92 272 60 256 4 148 388 128 76 96 140 204 88 320 64 288 384 308 264 368 300 324 124 116 36 76 132 160 160 340 44 100 176 80 420 280 272 264 264 172 264 72 112 48 264 268 376 156 272 32 32 332 32 200 332 12 120 260 332 276 96 4 36 76 368 48 304 56 80 196 96 156 76 92 160 236 480 432 84 100 196 120 128 352 420 400 120 420 400 100 24 240 168 400 384 432 352 276 300 392 228 424 268 352 464 388 352 136 172 16 40 476 324 212 100 68 336 476 96 388 168 120 48 16 352 428 348 256 180 48 84 356 48 224 188 348 12 164 212 252 248 380 284 156 432 84 320 436 20 420 468 116 80 88 360 88 292 276 96 116 260 428 60 196 196 40 236 312 156 396 324 272 280 56 324 164 296 12 244 328 120 4 268 176 36 76 112 56 12 380 208 256 320 324 348 112 408 16 84 24 72 104 100 420 404 4 128 24 60 104 140 28 372 92 188 280 480 364 252 0 112 296 204 44 108 124 120 348 200 352 104 240 172 76 48 76 280 12 392 200 324 160 128 80 356 92 88 204 144 140 412 44 60 348 112 84 236 132 280 296 200 156 96 248 220 152 160 212 128 440 124 44 120 168 204 312 132 196 120 196 56 156 320 248 152 172 56 396 180 340 292 132 324 128 128 360 228 364 280 476 364 360 332 292 248 64 408 396 292 400 112 360 424 232 276 48 112 340 480 156 212 72 52 64 140 252 112 140 320 108 52 28 360 436 220 288 348 120 292 76 172 132 96 84 36 64 404 364 476 36 80 360 132 160 96 </values>
2520.05/2502.01	v </instantiation>
2520.05/2502.01	c Unexpected resolution interruption!

Verifier Data 

OK	176024801

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406053-1569414628/watcher-4406053-1569414628 -o /var/tmp/evaluation-result-4406053-1569414628/solver-4406053-1569414628 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 2044126228 HOME/instance-4406053-1569414628.xml 

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

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

solver pid=8510, runsolver pid=8507

[startup+0.100422 s]*
/proc/loadavg: 2.05 2.03 2.05 4/233 8526
/proc/meminfo: memFree=22475976/32770624 swapFree=67003060/67108860
[pid=8510] ppid=8507 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8510/stat : 8510 (xcsp3-exec) S 8507 8510 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517702349 115843072 364 33554432000 4194304 5098028 140725865227536 140725865225640 140335413002876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10833920 140725865231190 140725865231449 140725865231449 140725865234374 0
/proc/8510/statm: 28282 364 305 221 0 87 0
[pid=8512] ppid=8510 vsize=15144776 memory=28792 CPUtime=0.13 cores=0,2,4,6
/proc/8512/stat : 8512 (java) S 8510 8510 3690 0 -1 1077944320 5615 0 0 0 11 2 0 0 20 0 15 0 517702349 15508250624 7198 33554432000 4194304 4196468 140727513625152 140727513607696 140646425763575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
/proc/8512/statm: 3786194 7198 3148 1 0 3748377 0
[pid=8512/tid=8513] ppid=8510 vsize=15144776 memory=7683323068249510747 CPUtime=0.09 cores=0,2,4,6
/proc/8512/task/8513/stat : 8513 (java) R 8510 8510 3690 0 -1 4202560 3561 0 0 0 8 1 0 0 20 0 15 0 517702349 15508250624 7330 33554432000 4194304 4196468 140727513625152 140646429991344 140646409844062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8514] ppid=8510 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8514/stat : 8514 (java) S 8510 8510 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517702350 15508250624 7330 33554432000 4194304 4196468 140727513625152 140646362000528 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8515] ppid=8510 vsize=15144776 memory=140103558829696 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8515/stat : 8515 (java) S 8510 8510 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517702350 15508250624 7330 33554432000 4194304 4196468 140727513625152 140646360947728 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8516] ppid=8510 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8516/stat : 8516 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702350 15508250624 7330 33554432000 4194304 4196468 140727513625152 140646359894928 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8517] ppid=8510 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8517/stat : 8517 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702350 15508250624 7330 33554432000 4194304 4196468 140727513625152 140646358842128 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8518] ppid=8510 vsize=15144776 memory=140103558829696 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8518/stat : 8518 (java) S 8510 8510 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517702351 15508250624 7330 33554432000 4194304 4196468 140727513625152 140645961525616 140646425774722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8519] ppid=8510 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8519/stat : 8519 (java) S 8510 8510 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517702352 15508250624 7330 33554432000 4194304 4196468 140727513625152 140645960471584 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8520] ppid=8510 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8520/stat : 8520 (java) S 8510 8510 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517702352 15508250624 7330 33554432000 4194304 4196468 140727513625152 140645959418736 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8521] ppid=8510 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8521/stat : 8521 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15508250624 7330 33554432000 4194304 4196468 140727513625152 140645958367056 140646425782171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8522] ppid=8510 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8522/stat : 8522 (java) R 8510 8510 3690 0 -1 4202560 470 0 0 0 0 0 0 0 20 0 15 0 517702355 15508250624 7330 33554432000 4194304 4196468 140727513625152 140645957315440 140646403596432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8523] ppid=8510 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8523/stat : 8523 (java) R 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15508250624 7330 33554432000 4194304 4196468 140727513625152 140645956262640 140646425774722 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8524] ppid=8510 vsize=15144776 memory=140103558829696 CPUtime=0.02 cores=0,2,4,6
/proc/8512/task/8524/stat : 8524 (java) R 8510 8510 3690 0 -1 4202560 339 0 0 0 2 0 0 0 20 0 15 0 517702355 15508250624 7330 33554432000 4194304 4196468 140727513625152 140645955207376 140646425775510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8525] ppid=8510 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8525/stat : 8525 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15508250624 7330 33554432000 4194304 4196468 140727513625152 140645954157280 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8526] ppid=8510 vsize=15144776 memory=140103558829696 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8526/stat : 8526 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702355 15508250624 7330 33554432000 4194304 4196468 140727513625152 140645953104560 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30248 KiB

[startup+0.213835 s]*
/proc/loadavg: 2.05 2.03 2.05 3/233 8526
/proc/meminfo: memFree=22462396/32770624 swapFree=67003060/67108860
[pid=8510] ppid=8507 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8510/stat : 8510 (xcsp3-exec) S 8507 8510 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517702349 115843072 364 33554432000 4194304 5098028 140725865227536 140725865225640 140335413002876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10833920 140725865231190 140725865231449 140725865231449 140725865234374 0
/proc/8510/statm: 28282 364 305 221 0 87 0
[pid=8512] ppid=8510 vsize=15144776 memory=40364 CPUtime=0.34 cores=0,2,4,6
/proc/8512/stat : 8512 (java) S 8510 8510 3690 0 -1 1077944320 9311 0 0 0 31 3 0 0 20 0 15 0 517702349 15508250624 10091 33554432000 4194304 4196468 140727513625152 140727513607696 140646425763575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
/proc/8512/statm: 3786194 10091 3279 1 0 3748377 0
[pid=8512/tid=8513] ppid=8510 vsize=15144776 memory=7883960649037381690 CPUtime=0.21 cores=0,2,4,6
/proc/8512/task/8513/stat : 8513 (java) R 8510 8510 3690 0 -1 4202560 6558 0 0 0 18 3 0 0 20 0 15 0 517702349 15508250624 10091 33554432000 4194304 4196468 140727513625152 140646429996304 140646409844062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8514] ppid=8510 vsize=15144776 memory=13591 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8514/stat : 8514 (java) S 8510 8510 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517702350 15508250624 10091 33554432000 4194304 4196468 140727513625152 140646362000528 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8515] ppid=8510 vsize=15144776 memory=140103562731720 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8515/stat : 8515 (java) S 8510 8510 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517702350 15508250624 10091 33554432000 4194304 4196468 140727513625152 140646360947728 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8516] ppid=8510 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8516/stat : 8516 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702350 15508250624 10091 33554432000 4194304 4196468 140727513625152 140646359894928 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8517] ppid=8510 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8517/stat : 8517 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702350 15508250624 10091 33554432000 4194304 4196468 140727513625152 140646358842128 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8518] ppid=8510 vsize=15144776 memory=140103558829696 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8518/stat : 8518 (java) S 8510 8510 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517702351 15508250624 10091 33554432000 4194304 4196468 140727513625152 140645961525616 140646425774722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8519] ppid=8510 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8519/stat : 8519 (java) S 8510 8510 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517702352 15508250624 10091 33554432000 4194304 4196468 140727513625152 140645960471584 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8520] ppid=8510 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8520/stat : 8520 (java) S 8510 8510 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517702352 15508250624 10091 33554432000 4194304 4196468 140727513625152 140645959418736 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8521] ppid=8510 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8521/stat : 8521 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15508250624 10091 33554432000 4194304 4196468 140727513625152 140645958367056 140646425782171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8522] ppid=8510 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8512/task/8522/stat : 8522 (java) S 8510 8510 3690 0 -1 1077944384 567 0 0 0 2 0 0 0 20 0 15 0 517702355 15508250624 10091 33554432000 4194304 4196468 140727513625152 140645957315440 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8523] ppid=8510 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8512/task/8523/stat : 8523 (java) S 8510 8510 3690 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 15 0 517702355 15508250624 10156 33554432000 4194304 4196468 140727513625152 140645956262640 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8524] ppid=8510 vsize=15144776 memory=140103558829696 CPUtime=0.08 cores=0,2,4,6
/proc/8512/task/8524/stat : 8524 (java) S 8510 8510 3690 0 -1 1077944384 797 0 0 0 8 0 0 0 20 0 15 0 517702355 15508250624 10156 33554432000 4194304 4196468 140727513625152 140645955209840 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8525] ppid=8510 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8525/stat : 8525 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15508250624 10156 33554432000 4194304 4196468 140727513625152 140645954157280 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8526] ppid=8510 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8526/stat : 8526 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702355 15508250624 10156 33554432000 4194304 4196468 140727513625152 140645953104560 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41820 KiB

[startup+0.318254 s]*
/proc/loadavg: 2.05 2.03 2.05 4/233 8526
/proc/meminfo: memFree=22454384/32770624 swapFree=67003060/67108860
[pid=8510] ppid=8507 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8510/stat : 8510 (xcsp3-exec) S 8507 8510 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517702349 115843072 364 33554432000 4194304 5098028 140725865227536 140725865225640 140335413002876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10833920 140725865231190 140725865231449 140725865231449 140725865234374 0
/proc/8510/statm: 28282 364 305 221 0 87 0
[pid=8512] ppid=8510 vsize=15149032 memory=50056 CPUtime=0.55 cores=0,2,4,6
/proc/8512/stat : 8512 (java) S 8510 8510 3690 0 -1 1077944320 10843 0 0 0 50 5 0 0 20 0 15 0 517702349 15512608768 12514 33554432000 4194304 4196468 140727513625152 140727513607696 140646425763575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
/proc/8512/statm: 3787258 12514 3341 1 0 3748377 0
[pid=8512/tid=8513] ppid=8510 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=0,2,4,6
/proc/8512/task/8513/stat : 8513 (java) R 8510 8510 3690 0 -1 4202560 7831 0 0 0 27 4 0 0 20 0 15 0 517702349 15512608768 12532 33554432000 4194304 4196468 140727513625152 140646429995560 140646425785501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8514] ppid=8510 vsize=15149032 memory=13953 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8514/stat : 8514 (java) S 8510 8510 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517702350 15512608768 12532 33554432000 4194304 4196468 140727513625152 140646362000528 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8515] ppid=8510 vsize=15149032 memory=3908924 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8515/stat : 8515 (java) S 8510 8510 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517702350 15512608768 12532 33554432000 4194304 4196468 140727513625152 140646360947728 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8516] ppid=8510 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8516/stat : 8516 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702350 15512608768 12532 33554432000 4194304 4196468 140727513625152 140646359894928 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8517] ppid=8510 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8517/stat : 8517 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702350 15512608768 12532 33554432000 4194304 4196468 140727513625152 140646358842128 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8518] ppid=8510 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8518/stat : 8518 (java) S 8510 8510 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517702351 15512608768 12532 33554432000 4194304 4196468 140727513625152 140645961525616 140646425774722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8519] ppid=8510 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8519/stat : 8519 (java) S 8510 8510 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517702352 15512608768 12532 33554432000 4194304 4196468 140727513625152 140645960471584 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8520] ppid=8510 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8520/stat : 8520 (java) S 8510 8510 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517702352 15512608768 12532 33554432000 4194304 4196468 140727513625152 140645959418736 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8521] ppid=8510 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8521/stat : 8521 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15512608768 12532 33554432000 4194304 4196468 140727513625152 140645958367056 140646425782171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8522] ppid=8510 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8512/task/8522/stat : 8522 (java) S 8510 8510 3690 0 -1 1077944384 647 0 0 0 5 0 0 0 20 0 15 0 517702355 15512608768 12532 33554432000 4194304 4196468 140727513625152 140645957315440 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8523] ppid=8510 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8512/task/8523/stat : 8523 (java) S 8510 8510 3690 0 -1 1077944384 99 0 0 0 3 0 0 0 20 0 15 0 517702355 15512608768 12532 33554432000 4194304 4196468 140727513625152 140645956262640 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8524] ppid=8510 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8512/task/8524/stat : 8524 (java) S 8510 8510 3690 0 -1 1077944384 967 0 0 0 12 0 0 0 20 0 15 0 517702355 15512608768 12532 33554432000 4194304 4196468 140727513625152 140645955209840 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8525] ppid=8510 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8525/stat : 8525 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15512608768 12532 33554432000 4194304 4196468 140727513625152 140645954157280 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8526] ppid=8510 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8526/stat : 8526 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702355 15512608768 12532 33554432000 4194304 4196468 140727513625152 140645953104560 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51512 KiB

[startup+0.70276 s]
/proc/loadavg: 2.05 2.03 2.05 5/233 8526
/proc/meminfo: memFree=22356212/32770624 swapFree=67003060/67108860
[pid=8510] ppid=8507 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8510/stat : 8510 (xcsp3-exec) S 8507 8510 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517702349 115843072 364 33554432000 4194304 5098028 140725865227536 140725865225640 140335413002876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10833920 140725865231190 140725865231449 140725865231449 140725865234374 0
/proc/8510/statm: 28282 364 305 221 0 87 0
[pid=8512] ppid=8510 vsize=15149108 memory=296956 CPUtime=1.67 cores=0,2,4,6
/proc/8512/stat : 8512 (java) S 8510 8510 3690 0 -1 1077944320 14541 0 0 0 142 25 0 0 20 0 15 0 517702349 15512686592 74239 33554432000 4194304 4196468 140727513625152 140727513607696 140646425763575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
/proc/8512/statm: 3787277 74239 3443 1 0 3748377 0
[pid=8512/tid=8513] ppid=8510 vsize=15149108 memory=35760 CPUtime=0.61 cores=0,2,4,6
/proc/8512/task/8513/stat : 8513 (java) R 8510 8510 3690 0 -1 4202560 8249 0 0 0 54 7 0 0 20 0 15 0 517702349 15512686592 74239 33554432000 4194304 4196468 140727513625152 140646430000040 140646035887296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8514] ppid=8510 vsize=15149108 memory=496 CPUtime=0.06 cores=0,2,4,6
/proc/8512/task/8514/stat : 8514 (java) S 8510 8510 3690 0 -1 1077944384 68 0 0 0 2 4 0 0 20 0 15 0 517702350 15512686592 74239 33554432000 4194304 4196468 140727513625152 140646362000528 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8515] ppid=8510 vsize=15149108 memory=1564 CPUtime=0.06 cores=0,2,4,6
/proc/8512/task/8515/stat : 8515 (java) S 8510 8510 3690 0 -1 1077944384 68 0 0 0 2 4 0 0 20 0 15 0 517702350 15512686592 74239 33554432000 4194304 4196468 140727513625152 140646360947728 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8516] ppid=8510 vsize=15149108 memory=928 CPUtime=0.05 cores=0,2,4,6
/proc/8512/task/8516/stat : 8516 (java) S 8510 8510 3690 0 -1 1077944384 54 0 0 0 2 3 0 0 20 0 15 0 517702350 15512686592 74239 33554432000 4194304 4196468 140727513625152 140646359894928 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8517] ppid=8510 vsize=15149108 memory=1756 CPUtime=0.05 cores=0,2,4,6
/proc/8512/task/8517/stat : 8517 (java) S 8510 8510 3690 0 -1 1077944384 56 0 0 0 2 3 0 0 20 0 15 0 517702350 15512686592 74239 33554432000 4194304 4196468 140727513625152 140646358842128 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8518] ppid=8510 vsize=15149108 memory=780 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8518/stat : 8518 (java) S 8510 8510 3690 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 517702351 15512686592 74239 33554432000 4194304 4196468 140727513625152 140645961525616 140646425774722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8519] ppid=8510 vsize=15149108 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8519/stat : 8519 (java) S 8510 8510 3690 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 517702352 15512686592 74239 33554432000 4194304 4196468 140727513625152 140645960471584 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8520] ppid=8510 vsize=15149108 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8520/stat : 8520 (java) S 8510 8510 3690 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 517702352 15512686592 74239 33554432000 4194304 4196468 140727513625152 140645959418736 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8521] ppid=8510 vsize=15149108 memory=2376 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8521/stat : 8521 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15512686592 74239 33554432000 4194304 4196468 140727513625152 140645958367056 140646425782171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8522] ppid=8510 vsize=15149108 memory=1768 CPUtime=0.3 cores=0,2,4,6
/proc/8512/task/8522/stat : 8522 (java) R 8510 8510 3690 0 -1 4202560 1933 0 0 0 30 0 0 0 20 0 15 0 517702355 15512686592 74239 33554432000 4194304 4196468 140727513625152 140645957308464 140646403076240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8523] ppid=8510 vsize=15149108 memory=111628 CPUtime=0.25 cores=0,2,4,6
/proc/8512/task/8523/stat : 8523 (java) R 8510 8510 3690 0 -1 4202560 1121 0 0 0 25 0 0 0 20 0 15 0 517702355 15512686592 74239 33554432000 4194304 4196468 140727513625152 140645956262640 140646410872572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8524] ppid=8510 vsize=15149108 memory=804 CPUtime=0.22 cores=0,2,4,6
/proc/8512/task/8524/stat : 8524 (java) R 8510 8510 3690 0 -1 1077944384 1609 0 0 0 22 0 0 0 20 0 15 0 517702355 15512686592 74239 33554432000 4194304 4196468 140727513625152 140645955204912 140646425773781 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8525] ppid=8510 vsize=15149108 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8525/stat : 8525 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15512686592 74239 33554432000 4194304 4196468 140727513625152 140645954157280 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8526] ppid=8510 vsize=15149108 memory=924 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8526/stat : 8526 (java) S 8510 8510 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517702355 15512686592 74239 33554432000 4194304 4196468 140727513625152 140645953104560 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 298412 KiB

[startup+1.50086 s]
/proc/loadavg: 2.05 2.03 2.05 6/233 8526
/proc/meminfo: memFree=22157192/32770624 swapFree=67003060/67108860
[pid=8510] ppid=8507 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8510/stat : 8510 (xcsp3-exec) S 8507 8510 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517702349 115843072 364 33554432000 4194304 5098028 140725865227536 140725865225640 140335413002876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10833920 140725865231190 140725865231449 140725865231449 140725865234374 0
/proc/8510/statm: 28282 364 305 221 0 87 0

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

/proc/8512/task/8520/stat : 8520 (java) S 8510 8510 3690 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 517702352 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645959418752 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8521] ppid=8510 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8521/stat : 8521 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645958367056 140646425782171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8522] ppid=8510 vsize=15153204 memory=1768 CPUtime=5.27 cores=0,2,4,6
/proc/8512/task/8522/stat : 8522 (java) S 8510 8510 3690 0 -1 1077944384 28084 0 0 0 523 4 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645957315440 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8523] ppid=8510 vsize=15153204 memory=8112282956445269571 CPUtime=4.49 cores=0,2,4,6
/proc/8512/task/8523/stat : 8523 (java) S 8510 8510 3690 0 -1 1077944384 29697 0 0 0 447 2 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645956262640 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8524] ppid=8510 vsize=15153204 memory=1756 CPUtime=1.12 cores=0,2,4,6
/proc/8512/task/8524/stat : 8524 (java) S 8510 8510 3690 0 -1 1077944384 21143 0 0 0 109 3 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645955209840 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8525] ppid=8510 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8525/stat : 8525 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645954157280 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8526] ppid=8510 vsize=15153204 memory=3267640 CPUtime=1.34 cores=0,2,4,6
/proc/8512/task/8526/stat : 8526 (java) S 8510 8510 3690 0 -1 1077944384 2629 0 0 0 65 69 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645953104560 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
Current children cumulated CPU time: 2340.22 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3269096 KiB

[startup+2382.3 s]
/proc/loadavg: 1.08 1.06 1.38 2/211 8841
/proc/meminfo: memFree=20803812/32770624 swapFree=67003060/67108860
[pid=8510] ppid=8507 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8510/stat : 8510 (xcsp3-exec) S 8507 8510 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517702349 115843072 364 33554432000 4194304 5098028 140725865227536 140725865225640 140335413002876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10833920 140725865231190 140725865231449 140725865231449 140725865234374 0
/proc/8510/statm: 28282 364 305 221 0 87 0
[pid=8512] ppid=8510 vsize=15153204 memory=3267640 CPUtime=2400.26 cores=0,2,4,6
/proc/8512/stat : 8512 (java) S 8510 8510 3690 0 -1 1077944320 185036 0 0 0 239759 267 0 0 20 0 15 0 517702349 15516880896 816910 33554432000 4194304 4196468 140727513625152 140727513607696 140646425763575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
/proc/8512/statm: 3788301 816910 3529 1 0 3749401 0
[pid=8512/tid=8513] ppid=8510 vsize=15153204 memory=1456 CPUtime=2380.5 cores=0,2,4,6
/proc/8512/task/8513/stat : 8513 (java) R 8510 8510 3690 0 -1 4202560 89563 0 0 0 238008 42 0 0 20 0 15 0 517702349 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646429994880 140646044675698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8514] ppid=8510 vsize=15153204 memory=1456 CPUtime=1.84 cores=0,2,4,6
/proc/8512/task/8514/stat : 8514 (java) S 8510 8510 3690 0 -1 1077944384 1606 0 0 0 144 40 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646362000528 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8515] ppid=8510 vsize=15153204 memory=3267640 CPUtime=1.83 cores=0,2,4,6
/proc/8512/task/8515/stat : 8515 (java) S 8510 8510 3690 0 -1 1077944384 2010 0 0 0 145 38 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646360947728 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8516] ppid=8510 vsize=15153204 memory=1456 CPUtime=1.82 cores=0,2,4,6
/proc/8512/task/8516/stat : 8516 (java) S 8510 8510 3690 0 -1 1077944384 1716 0 0 0 142 40 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646359894928 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8517] ppid=8510 vsize=15153204 memory=1456 CPUtime=1.8 cores=0,2,4,6
/proc/8512/task/8517/stat : 8517 (java) S 8510 8510 3690 0 -1 1077944384 1381 0 0 0 142 38 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646358842128 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8518] ppid=8510 vsize=15153204 memory=4486604260213485459 CPUtime=0.15 cores=0,2,4,6
/proc/8512/task/8518/stat : 8518 (java) S 8510 8510 3690 0 -1 1077944384 5817 0 0 0 11 4 0 0 20 0 15 0 517702351 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645961525616 140646425774722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8519] ppid=8510 vsize=15153204 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8519/stat : 8519 (java) S 8510 8510 3690 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 517702352 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645960471648 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8520] ppid=8510 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8520/stat : 8520 (java) S 8510 8510 3690 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 517702352 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645959418752 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8521] ppid=8510 vsize=15153204 memory=3267640 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8521/stat : 8521 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645958367056 140646425782171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8522] ppid=8510 vsize=15153204 memory=1456 CPUtime=5.27 cores=0,2,4,6
/proc/8512/task/8522/stat : 8522 (java) S 8510 8510 3690 0 -1 1077944384 28087 0 0 0 523 4 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645957315440 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8523] ppid=8510 vsize=15153204 memory=3267640 CPUtime=4.49 cores=0,2,4,6
/proc/8512/task/8523/stat : 8523 (java) S 8510 8510 3690 0 -1 1077944384 29705 0 0 0 447 2 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645956262640 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8524] ppid=8510 vsize=15153204 memory=1456 CPUtime=1.12 cores=0,2,4,6
/proc/8512/task/8524/stat : 8524 (java) S 8510 8510 3690 0 -1 1077944384 21147 0 0 0 109 3 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645955209840 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8525] ppid=8510 vsize=15153204 memory=3280 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8525/stat : 8525 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645954157280 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8526] ppid=8510 vsize=15153204 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/8512/task/8526/stat : 8526 (java) S 8510 8510 3690 0 -1 1077944384 2661 0 0 0 66 71 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645953104560 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
Current children cumulated CPU time: 2400.26 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3269096 KiB

[startup+2442.3 s]
/proc/loadavg: 1.03 1.05 1.35 2/211 8853
/proc/meminfo: memFree=20803704/32770624 swapFree=67003060/67108860
[pid=8510] ppid=8507 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8510/stat : 8510 (xcsp3-exec) S 8507 8510 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517702349 115843072 364 33554432000 4194304 5098028 140725865227536 140725865225640 140335413002876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10833920 140725865231190 140725865231449 140725865231449 140725865234374 0
/proc/8510/statm: 28282 364 305 221 0 87 0
[pid=8512] ppid=8510 vsize=15153204 memory=3267640 CPUtime=2460.3 cores=0,2,4,6
/proc/8512/stat : 8512 (java) S 8510 8510 3690 0 -1 1077944320 186772 0 0 0 245761 269 0 0 20 0 15 0 517702349 15516880896 816910 33554432000 4194304 4196468 140727513625152 140727513607696 140646425763575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
/proc/8512/statm: 3788301 816910 3529 1 0 3749401 0
[pid=8512/tid=8513] ppid=8510 vsize=15153204 memory=3267640 CPUtime=2440.5 cores=0,2,4,6
/proc/8512/task/8513/stat : 8513 (java) R 8510 8510 3690 0 -1 4202560 91245 0 0 0 244008 42 0 0 20 0 15 0 517702349 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646429994880 140646044675120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8514] ppid=8510 vsize=15153204 memory=3267640 CPUtime=1.84 cores=0,2,4,6
/proc/8512/task/8514/stat : 8514 (java) S 8510 8510 3690 0 -1 1077944384 1606 0 0 0 144 40 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646362000528 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8515] ppid=8510 vsize=15153204 memory=3267640 CPUtime=1.83 cores=0,2,4,6
/proc/8512/task/8515/stat : 8515 (java) S 8510 8510 3690 0 -1 1077944384 2010 0 0 0 145 38 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646360947728 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8516] ppid=8510 vsize=15153204 memory=3267640 CPUtime=1.82 cores=0,2,4,6
/proc/8512/task/8516/stat : 8516 (java) S 8510 8510 3690 0 -1 1077944384 1716 0 0 0 142 40 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646359894928 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8517] ppid=8510 vsize=15153204 memory=1456 CPUtime=1.8 cores=0,2,4,6
/proc/8512/task/8517/stat : 8517 (java) S 8510 8510 3690 0 -1 1077944384 1381 0 0 0 142 38 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646358842128 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8518] ppid=8510 vsize=15153204 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/8512/task/8518/stat : 8518 (java) S 8510 8510 3690 0 -1 1077944384 5826 0 0 0 11 4 0 0 20 0 15 0 517702351 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645961525616 140646425774722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8519] ppid=8510 vsize=15153204 memory=3267640 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8519/stat : 8519 (java) S 8510 8510 3690 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 517702352 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645960471648 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8520] ppid=8510 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8520/stat : 8520 (java) S 8510 8510 3690 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 517702352 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645959418752 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8521] ppid=8510 vsize=15153204 memory=3280 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8521/stat : 8521 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645958367056 140646425782171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8522] ppid=8510 vsize=15153204 memory=66016 CPUtime=5.27 cores=0,2,4,6
/proc/8512/task/8522/stat : 8522 (java) S 8510 8510 3690 0 -1 1077944384 28090 0 0 0 523 4 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645957315440 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8523] ppid=8510 vsize=15153204 memory=3267640 CPUtime=4.49 cores=0,2,4,6
/proc/8512/task/8523/stat : 8523 (java) S 8510 8510 3690 0 -1 1077944384 29713 0 0 0 447 2 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645956262640 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8524] ppid=8510 vsize=15153204 memory=3267640 CPUtime=1.12 cores=0,2,4,6
/proc/8512/task/8524/stat : 8524 (java) S 8510 8510 3690 0 -1 1077944384 21151 0 0 0 109 3 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645955209840 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8525] ppid=8510 vsize=15153204 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8525/stat : 8525 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645954157280 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8526] ppid=8510 vsize=15153204 memory=1456 CPUtime=1.4 cores=0,2,4,6
/proc/8512/task/8526/stat : 8526 (java) S 8510 8510 3690 0 -1 1077944384 2691 0 0 0 68 72 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645953104560 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
Current children cumulated CPU time: 2460.3 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3269096 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2502 s]*
/proc/loadavg: 1.01 1.04 1.33 2/211 8857
/proc/meminfo: memFree=20803308/32770624 swapFree=67003060/67108860
[pid=8510] ppid=8507 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8510/stat : 8510 (xcsp3-exec) S 8507 8510 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517702349 115843072 364 33554432000 4194304 5098028 140725865227536 140725865225640 140335413002876 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10833920 140725865231190 140725865231449 140725865231449 140725865234374 0
/proc/8510/statm: 28282 364 305 221 0 87 0
[pid=8512] ppid=8510 vsize=15153204 memory=3267640 CPUtime=2520.05 cores=0,2,4,6
/proc/8512/stat : 8512 (java) S 8510 8510 3690 0 -1 1077944320 188421 0 0 0 251735 270 0 0 20 0 15 0 517702349 15516880896 816910 33554432000 4194304 4196468 140727513625152 140727513607696 140646425763575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
/proc/8512/statm: 3788301 816910 3529 1 0 3749401 0
[pid=8512/tid=8513] ppid=8510 vsize=15153204 memory=8112282956445269571 CPUtime=2500.21 cores=0,2,4,6
/proc/8512/task/8513/stat : 8513 (java) R 8510 8510 3690 0 -1 4202560 92838 0 0 0 249979 42 0 0 20 0 15 0 517702349 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646429994880 140646044747264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8514] ppid=8510 vsize=15153204 memory=4872558044660077418 CPUtime=1.84 cores=0,2,4,6
/proc/8512/task/8514/stat : 8514 (java) S 8510 8510 3690 0 -1 1077944384 1606 0 0 0 144 40 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646362000528 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8515] ppid=8510 vsize=15153204 memory=3054156605268465310 CPUtime=1.83 cores=0,2,4,6
/proc/8512/task/8515/stat : 8515 (java) S 8510 8510 3690 0 -1 1077944384 2010 0 0 0 145 38 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646360947728 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8516] ppid=8510 vsize=15153204 memory=-6520471753822164382 CPUtime=1.82 cores=0,2,4,6
/proc/8512/task/8516/stat : 8516 (java) S 8510 8510 3690 0 -1 1077944384 1716 0 0 0 142 40 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646359894928 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8517] ppid=8510 vsize=15153204 memory=-8707038579349950309 CPUtime=1.8 cores=0,2,4,6
/proc/8512/task/8517/stat : 8517 (java) S 8510 8510 3690 0 -1 1077944384 1381 0 0 0 142 38 0 0 20 0 15 0 517702350 15516880896 816910 33554432000 4194304 4196468 140727513625152 140646358842128 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8518] ppid=8510 vsize=15153204 memory=4713745541279610410 CPUtime=0.15 cores=0,2,4,6
/proc/8512/task/8518/stat : 8518 (java) S 8510 8510 3690 0 -1 1077944384 5835 0 0 0 11 4 0 0 20 0 15 0 517702351 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645961525616 140646425774722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8519] ppid=8510 vsize=15153204 memory=8514701219730522529 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8519/stat : 8519 (java) S 8510 8510 3690 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 517702352 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645960471648 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8520] ppid=8510 vsize=15153204 memory=4715433313220523562 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8520/stat : 8520 (java) S 8510 8510 3690 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 517702352 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645959418752 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8521] ppid=8510 vsize=15153204 memory=7822038051842261661 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8521/stat : 8521 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645958367056 140646425782171 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8522] ppid=8510 vsize=15153204 memory=8514726395714825349 CPUtime=5.27 cores=0,2,4,6
/proc/8512/task/8522/stat : 8522 (java) S 8510 8510 3690 0 -1 1077944384 28093 0 0 0 523 4 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645957315440 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8523] ppid=8510 vsize=15153204 memory=-8341965534556230502 CPUtime=4.49 cores=0,2,4,6
/proc/8512/task/8523/stat : 8523 (java) S 8510 8510 3690 0 -1 1077944384 29721 0 0 0 447 2 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645956262640 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8524] ppid=8510 vsize=15153204 memory=3280 CPUtime=1.12 cores=0,2,4,6
/proc/8512/task/8524/stat : 8524 (java) S 8510 8510 3690 0 -1 1077944384 21155 0 0 0 109 3 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645955209840 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8525] ppid=8510 vsize=15153204 memory=66016 CPUtime=0 cores=0,2,4,6
/proc/8512/task/8525/stat : 8525 (java) S 8510 8510 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645954157280 140646425773781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
[pid=8512/tid=8526] ppid=8510 vsize=15153204 memory=988 CPUtime=1.44 cores=0,2,4,6
/proc/8512/task/8526/stat : 8526 (java) S 8510 8510 3690 0 -1 1077944384 2723 0 0 0 70 74 0 0 20 0 15 0 517702355 15516880896 816910 33554432000 4194304 4196468 140727513625152 140645953104560 140646425774722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16232448 140727513633755 140727513633930 140727513633930 140727513636815 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3269096 KiB

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

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

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

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

Child status: 143
Real time (s): 2502.04
CPU time (s): 2520.1
CPU user time (s): 2517.37
CPU system time (s): 2.72778
CPU usage (%): 100.722
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 3271528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.37
system time used= 2.72778
maximum resident set size= 3270848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58887
involuntary context switches= 1067


# summary of solver processes directly reported to runsolver:
#   pid: 8510,8512
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.37
#   total CPU system time (s): 2.72778

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.431 second user time and 24.2109 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-25 14:29:48
IDJOB=4406053
IDBENCH=141276
IDSOLVER=2869
FILE ID=node133/4406053-1569414628
RUNJOBID= node133-1569396629-3721
PBS_JOBID= 21705685
Free space on /var/tmp= 13392 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406053-1569414628/watcher-4406053-1569414628 -o /var/tmp/evaluation-result-4406053-1569414628/solver-4406053-1569414628 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3721 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 2044126228 HOME/instance-4406053-1569414628.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=2044126228

node133.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.18
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.18
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.18
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.18
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:        22491912 kB
MemAvailable:   30294392 kB
Buffers:          178776 kB
Cached:          7670248 kB
SwapCached:         5084 kB
Active:          5449932 kB
Inactive:        3953728 kB
Active(anon):    1551608 kB
Inactive(anon):    58652 kB
Active(file):    3898324 kB
Inactive(file):  3895076 kB
Unevictable:      109536 kB
Mlocked:          109536 kB
SwapTotal:      67108860 kB
SwapFree:       67003060 kB
Dirty:             97020 kB
Writeback:             0 kB
AnonPages:       1664588 kB
Mapped:            71752 kB
Shmem:             46908 kB
Slab:             466540 kB
SReclaimable:     437540 kB
SUnreclaim:        29000 kB
KernelStack:        4128 kB
PageTables:         9592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3484568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1536000 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 /var/tmp at the end= 13392 MiB
End job on node133 at 2019-09-25 15:11:30