Trace number 4406353

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)176050071 2400.12 2381.05

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 benchmark57.3117
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-4406353-1569405877.xml"  -tl '2400s' -p 1
0.12/0.19	c Choco e747e1e
0.12/0.20	c [HOME/instance-4406353-1569405877.xml, -tl, 2400s, -p, 1]
0.34/0.24	c simple solver
0.34/0.31	c parse instance...
22.99/13.36	c solve instance...
136.06/123.19	o 176429309 
141.53/127.25	o 176416679 
141.80/127.41	o 176404049 
145.05/130.29	o 176391419 
149.24/134.34	o 176391409 
152.45/137.50	o 176378779 
155.77/140.54	o 176366149 
156.07/140.90	o 176366139 
156.39/141.15	o 176366129 
159.11/143.88	o 176353499 
159.42/144.18	o 176340869 
159.95/144.60	o 176340849 
160.29/144.95	o 176340839 
172.46/156.98	o 176328209 
172.79/157.29	o 176315579 
175.19/159.68	o 176302949 
175.70/160.14	o 176290319 
186.22/170.58	o 176290309 
187.12/171.48	o 176290299 
189.63/174.01	o 176290289 
190.13/174.43	o 176290279 
190.93/175.29	o 176290269 
212.48/196.63	o 176277639 
212.89/197.03	o 176265009 
215.78/199.96	o 176252379 
218.10/202.24	o 176239749 
239.19/222.65	o 176227119 
239.60/223.09	o 176214489 
242.80/226.09	o 176214469 
243.90/227.19	o 176214465 
250.11/233.36	o 176201830 
252.51/235.70	o 176201821 
261.83/244.98	o 176201820 
266.43/249.59	o 176201811 
269.75/252.82	o 176189181 
272.15/255.27	o 176176551 
272.75/255.81	o 176176531 
288.79/271.87	o 176163914 
291.19/274.29	o 176163904 
292.00/275.04	o 176163897 
293.69/276.74	o 176151271 
294.10/277.16	o 176151264 
379.62/362.25	o 176138634 
382.02/364.70	o 176138624 
384.53/367.19	o 176138616 
426.85/409.42	o 176138606 
429.35/411.92	o 176125976 
429.75/412.34	o 176125966 
643.61/625.82	o 176125961 
664.83/647.02	o 176113331 
665.22/647.43	o 176113321 
671.45/653.63	o 176113311 
735.63/717.77	o 176100671 
749.95/732.07	o 176088041 
750.34/732.47	o 176088031 
809.38/791.50	o 176088021 
845.40/827.40	o 176088011 
1053.54/1035.43	o 176075381 
1090.06/1071.96	o 176075371 
1106.37/1088.24	o 176075370 
1704.88/1686.32	o 176062730 
1801.95/1783.38	o 176050090 
1885.40/1866.73	o 176050081 
2052.93/2034.12	o 176050071 
2400.07/2381.01	s SATISFIABLE
2400.07/2381.01	v <instantiation>
2400.07/2381.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>
2400.07/2381.02	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 2316 2408 2460 2268 2460 2260 2592 2280 2696 2436 2228 2456 2412 2600 2416 2676 2684 2256 2220 2560 2688 2360 2372 2276 2660 2392 2220 2368 2648 2220 2500 2256 2424 2660 2644 2424 2428 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 2304 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 2304 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 2344 2376 2648 2392 2484 2376 2632 2588 2648 2484 2240 2344 2312 2584 2368 2684 2660 2328 2560 2592 2700 2380 2464 2488 2260 2220 2504 2460 2684 2276 2524 2352 2276 2644 2452 2464 2656 2588 2276 2248 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 2316 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 2468 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 2288 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 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 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 10 0 0 0 0 0 0 0 0 0 6 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 0 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 304 136 268 368 24 104 128 104 168 232 304 308 136 76 132 320 260 280 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 296 376 232 432 436 380 388 372 364 88 344 60 332 200 324 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 248 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 48 292 224 268 0 344 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 392 144 400 192 396 212 152 296 232 432 192 196 196 236 96 372 304 36 40 216 176 428 124 272 456 408 36 336 56 132 252 208 88 72 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 168 224 148 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 300 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 316 340 0 392 28 320 244 128 28 20 332 4 56 268 352 80 292 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 184 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 424 432 84 100 196 120 128 352 420 400 120 420 400 100 24 240 168 400 384 432 352 276 300 336 228 424 268 352 464 388 352 136 172 16 40 476 324 212 100 68 336 476 96 388 172 120 48 16 352 428 348 256 180 48 84 356 48 224 188 348 12 164 212 252 248 380 284 156 352 84 320 436 20 340 388 116 80 88 360 88 292 276 132 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 424 364 252 0 112 296 204 44 108 124 120 348 200 352 104 240 172 76 48 76 280 12 392 120 324 160 48 80 356 92 88 204 144 140 332 124 56 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 356 248 152 172 56 396 180 340 236 132 324 128 128 360 228 364 280 476 364 360 332 328 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 132 </values>
2400.07/2381.02	v </instantiation>
2400.07/2381.02	c Unexpected resolution interruption!

Verifier Data 

OK	176050071

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406353-1569405877/watcher-4406353-1569405877 -o /tmp/evaluation-result-4406353-1569405877/solver-4406353-1569405877 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569396628-22040 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406353-1569405877.xml 

running on 4 cores: 4-7

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


[startup+0.100147 s]*
/proc/loadavg: 1.95 1.80 1.75 3/230 24565
/proc/meminfo: memFree=21470920/32770688 swapFree=67001280/67108860
[pid=24549] ppid=24546 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/24549/stat : 24549 (xcsp3-exec) S 24546 24549 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516529295 115843072 363 33554432000 4194304 5098028 140733856860512 140733856858616 139905221816956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16371712 140733856867195 140733856867437 140733856867437 140733856870346 0
/proc/24549/statm: 28282 363 304 221 0 87 0
[pid=24551] ppid=24549 vsize=15144776 memory=27500 CPUtime=0.12 cores=4-7
/proc/24551/stat : 24551 (java) S 24549 24549 22008 0 -1 1077944320 5892 0 0 0 11 1 0 0 20 0 15 0 516529295 15508250624 6875 33554432000 4194304 4196468 140730623150176 140730623132720 140092469268215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
/proc/24551/statm: 3786194 6875 3119 1 0 3748377 0
[pid=24551/tid=24552] ppid=24549 vsize=15144776 memory=8036256212623698507 CPUtime=0.08 cores=4-7
/proc/24551/task/24552/stat : 24552 (java) R 24549 24549 22008 0 -1 4202560 3768 0 0 0 8 0 0 0 20 0 15 0 516529295 15508250624 6875 33554432000 4194304 4196468 140730623150176 140092473501488 140092453311845 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24553] ppid=24549 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=4-7
/proc/24551/task/24553/stat : 24553 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529296 15508250624 6875 33554432000 4194304 4196468 140730623150176 140092061124880 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24554] ppid=24549 vsize=15144776 memory=140550318139008 CPUtime=0 cores=4-7
/proc/24551/task/24554/stat : 24554 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529296 15508250624 6875 33554432000 4194304 4196468 140730623150176 140092060072336 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24555] ppid=24549 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24555/stat : 24555 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529296 15508250624 6875 33554432000 4194304 4196468 140730623150176 140092059019792 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24556] ppid=24549 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24556/stat : 24556 (java) S 24549 24549 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516529296 15508250624 6875 33554432000 4194304 4196468 140730623150176 140092057967248 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24557] ppid=24549 vsize=15144776 memory=140550318139008 CPUtime=0 cores=4-7
/proc/24551/task/24557/stat : 24557 (java) S 24549 24549 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516529298 15508250624 6875 33554432000 4194304 4196468 140730623150176 140091937294832 140092469279362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24558] ppid=24549 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24558/stat : 24558 (java) S 24549 24549 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516529298 15508250624 6875 33554432000 4194304 4196468 140730623150176 140091936241056 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24559] ppid=24549 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24559/stat : 24559 (java) S 24549 24549 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516529298 15508250624 6875 33554432000 4194304 4196468 140730623150176 140091935188464 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24560] ppid=24549 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24560/stat : 24560 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15508250624 6875 33554432000 4194304 4196468 140730623150176 140091934137040 140092469286811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24561] ppid=24549 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24561/stat : 24561 (java) S 24549 24549 22008 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 516529301 15508250624 6875 33554432000 4194304 4196468 140730623150176 140091933083632 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24562] ppid=24549 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24562/stat : 24562 (java) S 24549 24549 22008 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 516529301 15508250624 6875 33554432000 4194304 4196468 140730623150176 140091932031088 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24563] ppid=24549 vsize=15144776 memory=140550318139008 CPUtime=0.01 cores=4-7
/proc/24551/task/24563/stat : 24563 (java) R 24549 24549 22008 0 -1 4202560 385 0 0 0 1 0 0 0 20 0 15 0 516529301 15508250624 6875 33554432000 4194304 4196468 140730623150176 140091930978544 140092448983004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24564] ppid=24549 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24564/stat : 24564 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15508250624 6875 33554432000 4194304 4196468 140730623150176 140091929926240 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24565] ppid=24549 vsize=15144776 memory=140550318139008 CPUtime=0 cores=4-7
/proc/24551/task/24565/stat : 24565 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529302 15508250624 6875 33554432000 4194304 4196468 140730623150176 140091928873776 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28952 KiB

[startup+0.21172 s]*
/proc/loadavg: 1.95 1.80 1.75 3/230 24565
/proc/meminfo: memFree=21457704/32770688 swapFree=67001280/67108860
[pid=24549] ppid=24546 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/24549/stat : 24549 (xcsp3-exec) S 24546 24549 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516529295 115843072 363 33554432000 4194304 5098028 140733856860512 140733856858616 139905221816956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16371712 140733856867195 140733856867437 140733856867437 140733856870346 0
/proc/24549/statm: 28282 363 304 221 0 87 0
[pid=24551] ppid=24549 vsize=15144776 memory=39688 CPUtime=0.34 cores=4-7
/proc/24551/stat : 24551 (java) S 24549 24549 22008 0 -1 1077944320 9631 0 0 0 31 3 0 0 20 0 15 0 516529295 15508250624 9922 33554432000 4194304 4196468 140730623150176 140730623132720 140092469268215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
/proc/24551/statm: 3786194 9922 3306 1 0 3748377 0
[pid=24551/tid=24552] ppid=24549 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=4-7
/proc/24551/task/24552/stat : 24552 (java) R 24549 24549 22008 0 -1 4202560 6647 0 0 0 18 2 0 0 20 0 15 0 516529295 15508250624 9922 33554432000 4194304 4196468 140730623150176 140092473502336 140092453348702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24553] ppid=24549 vsize=15144776 memory=9642 CPUtime=0 cores=4-7
/proc/24551/task/24553/stat : 24553 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529296 15508250624 9922 33554432000 4194304 4196468 140730623150176 140092061124880 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24554] ppid=24549 vsize=15144776 memory=3844578 CPUtime=0 cores=4-7
/proc/24551/task/24554/stat : 24554 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529296 15508250624 9922 33554432000 4194304 4196468 140730623150176 140092060072336 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24555] ppid=24549 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24555/stat : 24555 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529296 15508250624 9922 33554432000 4194304 4196468 140730623150176 140092059019792 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24556] ppid=24549 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24556/stat : 24556 (java) S 24549 24549 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516529296 15508250624 9922 33554432000 4194304 4196468 140730623150176 140092057967248 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24557] ppid=24549 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24557/stat : 24557 (java) S 24549 24549 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516529298 15508250624 9922 33554432000 4194304 4196468 140730623150176 140091937294832 140092469279362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24558] ppid=24549 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24558/stat : 24558 (java) S 24549 24549 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516529298 15508250624 9922 33554432000 4194304 4196468 140730623150176 140091936241056 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24559] ppid=24549 vsize=15144776 memory=140550318139008 CPUtime=0 cores=4-7
/proc/24551/task/24559/stat : 24559 (java) S 24549 24549 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516529298 15508250624 9922 33554432000 4194304 4196468 140730623150176 140091935188464 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24560] ppid=24549 vsize=15144776 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24560/stat : 24560 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15508250624 9922 33554432000 4194304 4196468 140730623150176 140091934137040 140092469286811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24561] ppid=24549 vsize=15144776 memory=0 CPUtime=0.02 cores=4-7
/proc/24551/task/24561/stat : 24561 (java) S 24549 24549 22008 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 516529301 15508250624 9922 33554432000 4194304 4196468 140730623150176 140091933083632 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24562] ppid=24549 vsize=15144776 memory=-1 CPUtime=0.02 cores=4-7
/proc/24551/task/24562/stat : 24562 (java) S 24549 24549 22008 0 -1 1077944384 277 0 0 0 2 0 0 0 20 0 15 0 516529301 15508250624 9922 33554432000 4194304 4196468 140730623150176 140091932031088 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24563] ppid=24549 vsize=15144776 memory=0 CPUtime=0.07 cores=4-7
/proc/24551/task/24563/stat : 24563 (java) R 24549 24549 22008 0 -1 4202560 853 0 0 0 7 0 0 0 20 0 15 0 516529301 15508250624 9922 33554432000 4194304 4196468 140730623150176 140091930977728 140092469289562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24564] ppid=24549 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24564/stat : 24564 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15508250624 9922 33554432000 4194304 4196468 140730623150176 140091929926240 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24565] ppid=24549 vsize=15144776 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24565/stat : 24565 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529302 15508250624 9922 33554432000 4194304 4196468 140730623150176 140091928873776 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41140 KiB

[startup+0.31513 s]*
/proc/loadavg: 1.95 1.80 1.75 4/230 24565
/proc/meminfo: memFree=21453192/32770688 swapFree=67001280/67108860
[pid=24549] ppid=24546 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/24549/stat : 24549 (xcsp3-exec) S 24546 24549 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516529295 115843072 363 33554432000 4194304 5098028 140733856860512 140733856858616 139905221816956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16371712 140733856867195 140733856867437 140733856867437 140733856870346 0
/proc/24549/statm: 28282 363 304 221 0 87 0
[pid=24551] ppid=24549 vsize=15149032 memory=46040 CPUtime=0.52 cores=4-7
/proc/24551/stat : 24551 (java) S 24549 24549 22008 0 -1 1077944320 10873 0 0 0 49 3 0 0 20 0 15 0 516529295 15512608768 11490 33554432000 4194304 4196468 140730623150176 140730623132720 140092469268215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
/proc/24551/statm: 3787258 11510 3327 1 0 3748377 0
[pid=24551/tid=24552] ppid=24549 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=4-7
/proc/24551/task/24552/stat : 24552 (java) R 24549 24549 22008 0 -1 4202560 7666 0 0 0 28 2 0 0 20 0 15 0 516529295 15512608768 11510 33554432000 4194304 4196468 140730623150176 140092473504728 140092453348702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24553] ppid=24549 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24553/stat : 24553 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529296 15512608768 11510 33554432000 4194304 4196468 140730623150176 140092061124880 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24554] ppid=24549 vsize=15149032 memory=3827890 CPUtime=0 cores=4-7
/proc/24551/task/24554/stat : 24554 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529296 15512608768 11510 33554432000 4194304 4196468 140730623150176 140092060072336 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24555] ppid=24549 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24555/stat : 24555 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529296 15512608768 11510 33554432000 4194304 4196468 140730623150176 140092059019792 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24556] ppid=24549 vsize=15149032 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24556/stat : 24556 (java) S 24549 24549 22008 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516529296 15512608768 11510 33554432000 4194304 4196468 140730623150176 140092057967248 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24557] ppid=24549 vsize=15149032 memory=140550318139008 CPUtime=0 cores=4-7
/proc/24551/task/24557/stat : 24557 (java) S 24549 24549 22008 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516529298 15512608768 11510 33554432000 4194304 4196468 140730623150176 140091937294832 140092469279362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24558] ppid=24549 vsize=15149032 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24558/stat : 24558 (java) S 24549 24549 22008 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516529298 15512608768 11510 33554432000 4194304 4196468 140730623150176 140091936241056 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24559] ppid=24549 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24559/stat : 24559 (java) S 24549 24549 22008 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516529298 15512608768 11510 33554432000 4194304 4196468 140730623150176 140091935188464 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24560] ppid=24549 vsize=15149032 memory=0 CPUtime=0 cores=4-7
/proc/24551/task/24560/stat : 24560 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15512608768 11510 33554432000 4194304 4196468 140730623150176 140091934137040 140092469286811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24561] ppid=24549 vsize=15149032 memory=0 CPUtime=0.04 cores=4-7
/proc/24551/task/24561/stat : 24561 (java) S 24549 24549 22008 0 -1 1077944384 590 0 0 0 4 0 0 0 20 0 15 0 516529301 15512608768 11510 33554432000 4194304 4196468 140730623150176 140091933083632 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24562] ppid=24549 vsize=15149032 memory=-1 CPUtime=0.04 cores=4-7
/proc/24551/task/24562/stat : 24562 (java) S 24549 24549 22008 0 -1 1077944384 316 0 0 0 4 0 0 0 20 0 15 0 516529301 15512608768 11510 33554432000 4194304 4196468 140730623150176 140091932031088 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24563] ppid=24549 vsize=15149032 memory=140550318139008 CPUtime=0.12 cores=4-7
/proc/24551/task/24563/stat : 24563 (java) S 24549 24549 22008 0 -1 1077944384 1002 0 0 0 12 0 0 0 20 0 15 0 516529301 15512608768 11510 33554432000 4194304 4196468 140730623150176 140091930978544 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24564] ppid=24549 vsize=15149032 memory=-1 CPUtime=0 cores=4-7
/proc/24551/task/24564/stat : 24564 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15512608768 11510 33554432000 4194304 4196468 140730623150176 140091929926240 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24565] ppid=24549 vsize=15149032 memory=140550318139008 CPUtime=0 cores=4-7
/proc/24551/task/24565/stat : 24565 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529302 15512608768 11510 33554432000 4194304 4196468 140730623150176 140091928873776 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47492 KiB

[startup+0.70117 s]
/proc/loadavg: 1.95 1.80 1.75 5/230 24565
/proc/meminfo: memFree=21394852/32770688 swapFree=67001280/67108860
[pid=24549] ppid=24546 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/24549/stat : 24549 (xcsp3-exec) S 24546 24549 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516529295 115843072 363 33554432000 4194304 5098028 140733856860512 140733856858616 139905221816956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16371712 140733856867195 140733856867437 140733856867437 140733856870346 0
/proc/24549/statm: 28282 363 304 221 0 87 0
[pid=24551] ppid=24549 vsize=15149032 memory=292320 CPUtime=1.6 cores=4-7
/proc/24551/stat : 24551 (java) S 24549 24549 22008 0 -1 1077944320 13883 0 0 0 137 23 0 0 20 0 15 0 516529295 15512608768 73080 33554432000 4194304 4196468 140730623150176 140730623132720 140092469268215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
/proc/24551/statm: 3787258 73080 3417 1 0 3748377 0
[pid=24551/tid=24552] ppid=24549 vsize=15149032 memory=2120 CPUtime=0.61 cores=4-7
/proc/24551/task/24552/stat : 24552 (java) R 24549 24549 22008 0 -1 4202560 8099 0 0 0 55 6 0 0 20 0 15 0 516529295 15512608768 73080 33554432000 4194304 4196468 140730623150176 140092473499552 140092108669132 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24553] ppid=24549 vsize=15149032 memory=496 CPUtime=0.05 cores=4-7
/proc/24551/task/24553/stat : 24553 (java) S 24549 24549 22008 0 -1 1077944384 51 0 0 0 2 3 0 0 20 0 15 0 516529296 15512608768 73080 33554432000 4194304 4196468 140730623150176 140092061124880 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24554] ppid=24549 vsize=15149032 memory=1556 CPUtime=0.05 cores=4-7
/proc/24551/task/24554/stat : 24554 (java) S 24549 24549 22008 0 -1 1077944384 62 0 0 0 2 3 0 0 20 0 15 0 516529296 15512608768 73080 33554432000 4194304 4196468 140730623150176 140092060072336 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24555] ppid=24549 vsize=15149032 memory=928 CPUtime=0.05 cores=4-7
/proc/24551/task/24555/stat : 24555 (java) S 24549 24549 22008 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 516529296 15512608768 73080 33554432000 4194304 4196468 140730623150176 140092059019792 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24556] ppid=24549 vsize=15149032 memory=1620 CPUtime=0.05 cores=4-7
/proc/24551/task/24556/stat : 24556 (java) S 24549 24549 22008 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 15 0 516529296 15512608768 73080 33554432000 4194304 4196468 140730623150176 140092057967248 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24557] ppid=24549 vsize=15149032 memory=780 CPUtime=0 cores=4-7
/proc/24551/task/24557/stat : 24557 (java) S 24549 24549 22008 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516529298 15512608768 73080 33554432000 4194304 4196468 140730623150176 140091937294832 140092469279362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24558] ppid=24549 vsize=15149032 memory=1444 CPUtime=0 cores=4-7
/proc/24551/task/24558/stat : 24558 (java) S 24549 24549 22008 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516529298 15512608768 73080 33554432000 4194304 4196468 140730623150176 140091936241056 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24559] ppid=24549 vsize=15149032 memory=1984 CPUtime=0 cores=4-7
/proc/24551/task/24559/stat : 24559 (java) S 24549 24549 22008 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516529298 15512608768 73080 33554432000 4194304 4196468 140730623150176 140091935188464 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24560] ppid=24549 vsize=15149032 memory=2524 CPUtime=0 cores=4-7
/proc/24551/task/24560/stat : 24560 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15512608768 73080 33554432000 4194304 4196468 140730623150176 140091934137040 140092469286811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24561] ppid=24549 vsize=15149032 memory=7302135314614015844 CPUtime=0.28 cores=4-7
/proc/24551/task/24561/stat : 24561 (java) R 24549 24549 22008 0 -1 4202560 1788 0 0 0 28 0 0 0 20 0 15 0 516529301 15512608768 73080 33554432000 4194304 4196468 140730623150176 140091933063088 140092452768584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24562] ppid=24549 vsize=15149032 memory=8099276902741074256 CPUtime=0.22 cores=4-7
/proc/24551/task/24562/stat : 24562 (java) S 24549 24549 22008 0 -1 1077944384 1008 0 0 0 22 0 0 0 20 0 15 0 516529301 15512608768 73080 33554432000 4194304 4196468 140730623150176 140091932031088 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24563] ppid=24549 vsize=15149032 memory=7368002589315584080 CPUtime=0.2 cores=4-7
/proc/24551/task/24563/stat : 24563 (java) S 24549 24549 22008 0 -1 1077944384 1362 0 0 0 20 0 0 0 20 0 15 0 516529301 15512608768 73080 33554432000 4194304 4196468 140730623150176 140091930978544 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24564] ppid=24549 vsize=15149032 memory=7079772213163872336 CPUtime=0 cores=4-7
/proc/24551/task/24564/stat : 24564 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15512608768 73080 33554432000 4194304 4196468 140730623150176 140091929926240 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24565] ppid=24549 vsize=15149032 memory=7164214801036830806 CPUtime=0 cores=4-7
/proc/24551/task/24565/stat : 24565 (java) S 24549 24549 22008 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516529302 15512608768 73080 33554432000 4194304 4196468 140730623150176 140091928873776 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 293772 KiB

[startup+1.5009 s]
/proc/loadavg: 1.95 1.80 1.75 6/230 24565
/proc/meminfo: memFree=21196580/32770688 swapFree=67001280/67108860
[pid=24549] ppid=24546 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/24549/stat : 24549 (xcsp3-exec) S 24546 24549 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516529295 115843072 363 33554432000 4194304 5098028 140733856860512 140733856858616 139905221816956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16371712 140733856867195 140733856867437 140733856867437 140733856870346 0
/proc/24549/statm: 28282 363 304 221 0 87 0

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

/proc/24551/task/24559/stat : 24559 (java) S 24549 24549 22008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091935188480 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24560] ppid=24549 vsize=15153204 memory=1452 CPUtime=0 cores=4-7
/proc/24551/task/24560/stat : 24560 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091934137040 140092469286811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24561] ppid=24549 vsize=15153204 memory=1452 CPUtime=5.43 cores=4-7
/proc/24551/task/24561/stat : 24561 (java) S 24549 24549 22008 0 -1 1077944384 29786 0 0 0 540 3 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091933083632 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24562] ppid=24549 vsize=15153204 memory=3265948 CPUtime=5.2 cores=4-7
/proc/24551/task/24562/stat : 24562 (java) S 24549 24549 22008 0 -1 1077944384 31619 0 0 0 517 3 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091932031088 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24563] ppid=24549 vsize=15153204 memory=1452 CPUtime=1.23 cores=4-7
/proc/24551/task/24563/stat : 24563 (java) S 24549 24549 22008 0 -1 1077944384 24124 0 0 0 118 5 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091930978544 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24564] ppid=24549 vsize=15153204 memory=3265948 CPUtime=0 cores=4-7
/proc/24551/task/24564/stat : 24564 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091929926240 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24565] ppid=24549 vsize=15153204 memory=1452 CPUtime=1.18 cores=4-7
/proc/24551/task/24565/stat : 24565 (java) S 24549 24549 22008 0 -1 1077944384 2051 0 0 0 51 67 0 0 20 0 15 0 516529302 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091928873776 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
Current children cumulated CPU time: 2221.24 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3267400 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 5/230 24772
/proc/meminfo: memFree=17979316/32770688 swapFree=67001280/67108860
[pid=24549] ppid=24546 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/24549/stat : 24549 (xcsp3-exec) S 24546 24549 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516529295 115843072 363 33554432000 4194304 5098028 140733856860512 140733856858616 139905221816956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16371712 140733856867195 140733856867437 140733856867437 140733856870346 0
/proc/24549/statm: 28282 363 304 221 0 87 0
[pid=24551] ppid=24549 vsize=15153204 memory=3265948 CPUtime=2281.28 cores=4-7
/proc/24551/stat : 24551 (java) S 24549 24549 22008 0 -1 1077944320 199519 0 0 0 227871 257 0 0 20 0 15 0 516529295 15516880896 816487 33554432000 4194304 4196468 140730623150176 140730623132720 140092469268215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
/proc/24551/statm: 3788301 816487 3529 1 0 3749401 0
[pid=24551/tid=24552] ppid=24549 vsize=15153204 memory=3265948 CPUtime=2260.47 cores=4-7
/proc/24551/task/24552/stat : 24552 (java) R 24549 24549 22008 0 -1 4202560 97273 0 0 0 226006 41 0 0 20 0 15 0 516529295 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092473505016 140092111128335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24553] ppid=24549 vsize=15153204 memory=3265948 CPUtime=1.86 cores=4-7
/proc/24551/task/24553/stat : 24553 (java) S 24549 24549 22008 0 -1 1077944384 1972 0 0 0 152 34 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092061124880 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24554] ppid=24549 vsize=15153204 memory=3265948 CPUtime=1.89 cores=4-7
/proc/24551/task/24554/stat : 24554 (java) S 24549 24549 22008 0 -1 1077944384 1496 0 0 0 152 37 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092060072336 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24555] ppid=24549 vsize=15153204 memory=1452 CPUtime=1.88 cores=4-7
/proc/24551/task/24555/stat : 24555 (java) S 24549 24549 22008 0 -1 1077944384 1659 0 0 0 154 34 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092059019792 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24556] ppid=24549 vsize=15153204 memory=1696 CPUtime=1.87 cores=4-7
/proc/24551/task/24556/stat : 24556 (java) S 24549 24549 22008 0 -1 1077944384 2668 0 0 0 150 37 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092057967248 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24557] ppid=24549 vsize=15153204 memory=56 CPUtime=0.14 cores=4-7
/proc/24551/task/24557/stat : 24557 (java) S 24549 24549 22008 0 -1 1077944384 5443 0 0 0 11 3 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091937294832 140092469279362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24558] ppid=24549 vsize=15153204 memory=3265948 CPUtime=0 cores=4-7
/proc/24551/task/24558/stat : 24558 (java) S 24549 24549 22008 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091936241120 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24559] ppid=24549 vsize=15153204 memory=3265948 CPUtime=0 cores=4-7
/proc/24551/task/24559/stat : 24559 (java) S 24549 24549 22008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091935188480 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24560] ppid=24549 vsize=15153204 memory=3265948 CPUtime=0 cores=4-7
/proc/24551/task/24560/stat : 24560 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091934137040 140092469286811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24561] ppid=24549 vsize=15153204 memory=1452 CPUtime=5.43 cores=4-7
/proc/24551/task/24561/stat : 24561 (java) S 24549 24549 22008 0 -1 1077944384 29791 0 0 0 540 3 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091933083632 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24562] ppid=24549 vsize=15153204 memory=1452 CPUtime=5.2 cores=4-7
/proc/24551/task/24562/stat : 24562 (java) S 24549 24549 22008 0 -1 1077944384 31629 0 0 0 517 3 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091932031088 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24563] ppid=24549 vsize=15153204 memory=1452 CPUtime=1.23 cores=4-7
/proc/24551/task/24563/stat : 24563 (java) S 24549 24549 22008 0 -1 1077944384 24130 0 0 0 118 5 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091930978544 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24564] ppid=24549 vsize=15153204 memory=3265948 CPUtime=0 cores=4-7
/proc/24551/task/24564/stat : 24564 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091929926240 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24565] ppid=24549 vsize=15153204 memory=3265948 CPUtime=1.22 cores=4-7
/proc/24551/task/24565/stat : 24565 (java) S 24549 24549 22008 0 -1 1077944384 2113 0 0 0 53 69 0 0 20 0 15 0 516529302 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091928873776 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
Current children cumulated CPU time: 2281.28 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3267400 KiB

[startup+2322.3 s]
/proc/loadavg: 1.98 2.04 2.04 2/209 24829
/proc/meminfo: memFree=22284720/32770688 swapFree=67001280/67108860
[pid=24549] ppid=24546 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/24549/stat : 24549 (xcsp3-exec) S 24546 24549 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516529295 115843072 363 33554432000 4194304 5098028 140733856860512 140733856858616 139905221816956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16371712 140733856867195 140733856867437 140733856867437 140733856870346 0
/proc/24549/statm: 28282 363 304 221 0 87 0
[pid=24551] ppid=24549 vsize=15153204 memory=3265948 CPUtime=2341.32 cores=4-7
/proc/24551/stat : 24551 (java) S 24549 24549 22008 0 -1 1077944320 201501 0 0 0 233873 259 0 0 20 0 15 0 516529295 15516880896 816487 33554432000 4194304 4196468 140730623150176 140730623132720 140092469268215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
/proc/24551/statm: 3788301 816487 3529 1 0 3749401 0
[pid=24551/tid=24552] ppid=24549 vsize=15153204 memory=3265948 CPUtime=2320.48 cores=4-7
/proc/24551/task/24552/stat : 24552 (java) R 24549 24549 22008 0 -1 4202560 99178 0 0 0 232006 42 0 0 20 0 15 0 516529295 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092473505016 140092115189049 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24553] ppid=24549 vsize=15153204 memory=3265948 CPUtime=1.86 cores=4-7
/proc/24551/task/24553/stat : 24553 (java) S 24549 24549 22008 0 -1 1077944384 1972 0 0 0 152 34 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092061124880 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24554] ppid=24549 vsize=15153204 memory=3265948 CPUtime=1.89 cores=4-7
/proc/24551/task/24554/stat : 24554 (java) S 24549 24549 22008 0 -1 1077944384 1496 0 0 0 152 37 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092060072336 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24555] ppid=24549 vsize=15153204 memory=3265948 CPUtime=1.88 cores=4-7
/proc/24551/task/24555/stat : 24555 (java) S 24549 24549 22008 0 -1 1077944384 1659 0 0 0 154 34 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092059019792 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24556] ppid=24549 vsize=15153204 memory=3265948 CPUtime=1.87 cores=4-7
/proc/24551/task/24556/stat : 24556 (java) S 24549 24549 22008 0 -1 1077944384 2668 0 0 0 150 37 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092057967248 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24557] ppid=24549 vsize=15153204 memory=1452 CPUtime=0.14 cores=4-7
/proc/24551/task/24557/stat : 24557 (java) S 24549 24549 22008 0 -1 1077944384 5452 0 0 0 11 3 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091937294832 140092469279362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24558] ppid=24549 vsize=15153204 memory=3265948 CPUtime=0 cores=4-7
/proc/24551/task/24558/stat : 24558 (java) S 24549 24549 22008 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091936241120 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24559] ppid=24549 vsize=15153204 memory=1452 CPUtime=0 cores=4-7
/proc/24551/task/24559/stat : 24559 (java) S 24549 24549 22008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091935188480 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24560] ppid=24549 vsize=15153204 memory=3265948 CPUtime=0 cores=4-7
/proc/24551/task/24560/stat : 24560 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091934137040 140092469286811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24561] ppid=24549 vsize=15153204 memory=2832 CPUtime=5.43 cores=4-7
/proc/24551/task/24561/stat : 24561 (java) S 24549 24549 22008 0 -1 1077944384 29795 0 0 0 540 3 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091933083632 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24562] ppid=24549 vsize=15153204 memory=1564 CPUtime=5.2 cores=4-7
/proc/24551/task/24562/stat : 24562 (java) S 24549 24549 22008 0 -1 1077944384 31643 0 0 0 517 3 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091932031088 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24563] ppid=24549 vsize=15153204 memory=1452 CPUtime=1.23 cores=4-7
/proc/24551/task/24563/stat : 24563 (java) S 24549 24549 22008 0 -1 1077944384 24136 0 0 0 118 5 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091930978544 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24564] ppid=24549 vsize=15153204 memory=1452 CPUtime=0 cores=4-7
/proc/24551/task/24564/stat : 24564 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091929926240 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24565] ppid=24549 vsize=15153204 memory=1088 CPUtime=1.26 cores=4-7
/proc/24551/task/24565/stat : 24565 (java) S 24549 24549 22008 0 -1 1077944384 2157 0 0 0 55 71 0 0 20 0 15 0 516529302 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091928873776 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
Current children cumulated CPU time: 2341.32 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3267400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2381 s]*
/proc/loadavg: 1.36 1.85 1.98 2/208 24833
/proc/meminfo: memFree=22284788/32770688 swapFree=67001280/67108860
[pid=24549] ppid=24546 vsize=113128 memory=1452 CPUtime=0 cores=4-7
/proc/24549/stat : 24549 (xcsp3-exec) S 24546 24549 22008 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516529295 115843072 363 33554432000 4194304 5098028 140733856860512 140733856858616 139905221816956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16371712 140733856867195 140733856867437 140733856867437 140733856870346 0
/proc/24549/statm: 28282 363 304 221 0 87 0
[pid=24551] ppid=24549 vsize=15153204 memory=3265948 CPUtime=2400.07 cores=4-7
/proc/24551/stat : 24551 (java) S 24549 24549 22008 0 -1 1077944320 203386 0 0 0 239747 260 0 0 20 0 15 0 516529295 15516880896 816487 33554432000 4194304 4196468 140730623150176 140730623132720 140092469268215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
/proc/24551/statm: 3788301 816487 3529 1 0 3749401 0
[pid=24551/tid=24552] ppid=24549 vsize=15153204 memory=1398722017469774279 CPUtime=2379.19 cores=4-7
/proc/24551/task/24552/stat : 24552 (java) R 24549 24549 22008 0 -1 4202560 100954 0 0 0 237877 42 0 0 20 0 15 0 516529295 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092473504288 140092115188975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24553] ppid=24549 vsize=15153204 memory=4872558044660077418 CPUtime=1.86 cores=4-7
/proc/24551/task/24553/stat : 24553 (java) S 24549 24549 22008 0 -1 1077944384 1972 0 0 0 152 34 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092061124880 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24554] ppid=24549 vsize=15153204 memory=14068 CPUtime=1.89 cores=4-7
/proc/24551/task/24554/stat : 24554 (java) S 24549 24549 22008 0 -1 1077944384 1496 0 0 0 152 37 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092060072336 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24555] ppid=24549 vsize=15153204 memory=2120 CPUtime=1.88 cores=4-7
/proc/24551/task/24555/stat : 24555 (java) S 24549 24549 22008 0 -1 1077944384 1659 0 0 0 154 34 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092059019792 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24556] ppid=24549 vsize=15153204 memory=496 CPUtime=1.87 cores=4-7
/proc/24551/task/24556/stat : 24556 (java) S 24549 24549 22008 0 -1 1077944384 2668 0 0 0 150 37 0 0 20 0 15 0 516529296 15516880896 816487 33554432000 4194304 4196468 140730623150176 140092057967248 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24557] ppid=24549 vsize=15153204 memory=3265948 CPUtime=0.14 cores=4-7
/proc/24551/task/24557/stat : 24557 (java) S 24549 24549 22008 0 -1 1077944384 5516 0 0 0 11 3 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091937294832 140092469279362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24558] ppid=24549 vsize=15153204 memory=1056 CPUtime=0 cores=4-7
/proc/24551/task/24558/stat : 24558 (java) S 24549 24549 22008 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091936241120 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24559] ppid=24549 vsize=15153204 memory=772 CPUtime=0 cores=4-7
/proc/24551/task/24559/stat : 24559 (java) S 24549 24549 22008 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516529298 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091935188480 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24560] ppid=24549 vsize=15153204 memory=1696 CPUtime=0 cores=4-7
/proc/24551/task/24560/stat : 24560 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091934137040 140092469286811 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24561] ppid=24549 vsize=15153204 memory=1228 CPUtime=5.43 cores=4-7
/proc/24551/task/24561/stat : 24561 (java) S 24549 24549 22008 0 -1 1077944384 29798 0 0 0 540 3 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091933083632 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24562] ppid=24549 vsize=15153204 memory=6124 CPUtime=5.2 cores=4-7
/proc/24551/task/24562/stat : 24562 (java) S 24549 24549 22008 0 -1 1077944384 31651 0 0 0 517 3 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091932031088 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24563] ppid=24549 vsize=15153204 memory=1556 CPUtime=1.23 cores=4-7
/proc/24551/task/24563/stat : 24563 (java) S 24549 24549 22008 0 -1 1077944384 24140 0 0 0 118 5 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091930978544 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24564] ppid=24549 vsize=15153204 memory=928 CPUtime=0 cores=4-7
/proc/24551/task/24564/stat : 24564 (java) S 24549 24549 22008 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516529301 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091929926240 140092469278421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
[pid=24551/tid=24565] ppid=24549 vsize=15153204 memory=1620 CPUtime=1.28 cores=4-7
/proc/24551/task/24565/stat : 24565 (java) S 24549 24549 22008 0 -1 1077944384 2187 0 0 0 56 72 0 0 20 0 15 0 516529302 15516880896 816487 33554432000 4194304 4196468 140730623150176 140091928873776 140092469279362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140730623153135 140730623153306 140730623153306 140730623156175 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 3267400 KiB

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

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

[startup+2381.05 s]
# the end of solver process 24551 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.49 s, system=2.62662 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): 2381.05
CPU time (s): 2400.12
CPU user time (s): 2397.49
CPU system time (s): 2.62662
CPU usage (%): 100.801
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 3271456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.49
system time used= 2.62662
maximum resident set size= 3270004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56167
involuntary context switches= 820


# summary of solver processes directly reported to runsolver:
#   pid: 24549,24551
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2397.49
#   total CPU system time (s): 2.62662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.395 second user time and 27.5845 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-25 12:03:55
IDJOB=4406353
IDBENCH=141276
IDSOLVER=2870
FILE ID=node116/4406353-1569405877
RUNJOBID= node116-1569396628-22040
PBS_JOBID= 21705695
Free space on /tmp= 6336 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 /tmp/evaluation-result-4406353-1569405877/watcher-4406353-1569405877 -o /tmp/evaluation-result-4406353-1569405877/solver-4406353-1569405877 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569396628-22040 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406353-1569405877.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=734900325

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        21485936 kB
MemAvailable:   27936144 kB
Buffers:          121636 kB
Cached:          6501036 kB
SwapCached:         3304 kB
Active:          7304336 kB
Inactive:        3225560 kB
Active(anon):    3907100 kB
Inactive(anon):    56664 kB
Active(file):    3397236 kB
Inactive(file):  3168896 kB
Unevictable:      109488 kB
Mlocked:          109488 kB
SwapTotal:      67108860 kB
SwapFree:       67001280 kB
Dirty:             97428 kB
Writeback:            24 kB
AnonPages:       4016816 kB
Mapped:            70320 kB
Shmem:             47784 kB
Slab:             342164 kB
SReclaimable:     312536 kB
SUnreclaim:        29628 kB
KernelStack:        3904 kB
PageTables:        13476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    6531648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3684352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6456 MiB
End job on node116 at 2019-09-25 12:43:36