Trace number 4399782

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-16 parallelOPT162507055 1266.25 1023.24

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	162507055

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13917 MiB free)
  memory of node 1: 16384 MiB (15634 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399782-1568717916/watcher-4399782-1568717916 -o /tmp/evaluation-result-4399782-1568717916/solver-4399782-1568717916 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568711265-6117 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 478941927 HOME/instance-4399782-1568717916.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100182 s]*
/proc/loadavg: 7.83 8.17 8.14 2/212 7215
/proc/meminfo: memFree=30248140/32770624 swapFree=66917056/67108860
[pid=7194] ppid=7191 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7194/stat : 7194 (xcsp3-exec) S 7191 7194 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447705444 115843072 364 33554432000 4194304 5098028 140724493614144 140724493612248 140191351550588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14995456 140724493620086 140724493620329 140724493620329 140724493623242 0
/proc/7194/statm: 28282 364 305 221 0 87 0
[pid=7196] ppid=7194 vsize=28227396 memory=27100 CPUtime=0.12 cores=0-7
/proc/7196/stat : 7196 (java) S 7194 7194 6090 0 -1 1077944320 5802 0 0 0 11 1 0 0 20 0 20 0 447705444 28904853504 6775 33554432000 4194304 4196468 140724275535984 140724275518528 140181989670647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
/proc/7196/statm: 7056849 6775 3124 1 0 7019032 0
[pid=7196/tid=7197] ppid=7194 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7196/task/7197/stat : 7197 (java) R 7194 7194 6090 0 -1 4202560 3646 0 0 0 8 0 0 0 20 0 20 0 447705444 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181993902336 140181989682582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7198] ppid=7194 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7196/task/7198/stat : 7198 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181541259920 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7199] ppid=7194 vsize=28227396 memory=140431773656704 CPUtime=0 cores=0-7
/proc/7196/task/7199/stat : 7199 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181540207120 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7200] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7200/stat : 7200 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181539154320 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7201] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7201/stat : 7201 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181538101520 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7202] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7202/stat : 7202 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181537049744 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7203] ppid=7194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7196/task/7203/stat : 7203 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181535996944 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7204] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7204/stat : 7204 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181534944144 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7205] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7205/stat : 7205 (java) S 7194 7194 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181533891344 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7206] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7206/stat : 7206 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705447 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181105662320 140181989681794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7207] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7207/stat : 7207 (java) S 7194 7194 6090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447705447 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181104608288 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7208] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7208/stat : 7208 (java) S 7194 7194 6090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447705447 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181103555440 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7209] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7209/stat : 7209 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181102503760 140181989689243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7210] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7210/stat : 7210 (java) S 7194 7194 6090 0 -1 1077944384 324 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181101452144 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7211] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7211/stat : 7211 (java) S 7194 7194 6090 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181100399344 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7212] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7212/stat : 7212 (java) S 7194 7194 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181099346544 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7213] ppid=7194 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/7196/task/7213/stat : 7213 (java) R 7194 7194 6090 0 -1 4202560 400 0 0 0 2 0 0 0 20 0 20 0 447705450 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181098293744 140181969385462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7214] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7214/stat : 7214 (java) S 7194 7194 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181097241184 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7215] ppid=7194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7196/task/7215/stat : 7215 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 6841 33554432000 4194304 4196468 140724275535984 140181096188464 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28556 KiB

[startup+0.211211 s]*
/proc/loadavg: 7.83 8.17 8.14 3/212 7215
/proc/meminfo: memFree=30233928/32770624 swapFree=66917056/67108860
[pid=7194] ppid=7191 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7194/stat : 7194 (xcsp3-exec) S 7191 7194 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447705444 115843072 364 33554432000 4194304 5098028 140724493614144 140724493612248 140191351550588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14995456 140724493620086 140724493620329 140724493620329 140724493623242 0
/proc/7194/statm: 28282 364 305 221 0 87 0
[pid=7196] ppid=7194 vsize=28227396 memory=39608 CPUtime=0.34 cores=0-7
/proc/7196/stat : 7196 (java) S 7194 7194 6090 0 -1 1077944320 9623 0 0 0 31 3 0 0 20 0 20 0 447705444 28904853504 9902 33554432000 4194304 4196468 140724275535984 140724275518528 140181989670647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
/proc/7196/statm: 7056849 9902 3313 1 0 7019032 0
[pid=7196/tid=7197] ppid=7194 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7196/task/7197/stat : 7197 (java) R 7194 7194 6090 0 -1 4202560 6663 0 0 0 18 2 0 0 20 0 20 0 447705444 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181993900368 140181627198592 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7198] ppid=7194 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/7196/task/7198/stat : 7198 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181541259920 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7199] ppid=7194 vsize=28227396 memory=140431777012612 CPUtime=0 cores=0-7
/proc/7196/task/7199/stat : 7199 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181540207120 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7200] ppid=7194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7196/task/7200/stat : 7200 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181539154320 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7201] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7201/stat : 7201 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181538101520 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7202] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7202/stat : 7202 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181537049744 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7203] ppid=7194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7196/task/7203/stat : 7203 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181535996944 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7204] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7204/stat : 7204 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181534944144 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7205] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7205/stat : 7205 (java) S 7194 7194 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447705445 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181533891344 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7206] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7206/stat : 7206 (java) S 7194 7194 6090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447705447 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181105662320 140181989681794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7207] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7207/stat : 7207 (java) S 7194 7194 6090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447705447 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181104608288 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7208] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7208/stat : 7208 (java) S 7194 7194 6090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447705447 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181103555440 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7209] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7209/stat : 7209 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181102503760 140181989689243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7210] ppid=7194 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7196/task/7210/stat : 7210 (java) S 7194 7194 6090 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 447705450 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181101452144 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7211] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7211/stat : 7211 (java) S 7194 7194 6090 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181100399344 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7212] ppid=7194 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/7196/task/7212/stat : 7212 (java) S 7194 7194 6090 0 -1 1077944384 188 0 0 0 2 0 0 0 20 0 20 0 447705450 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181099346544 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7213] ppid=7194 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/7196/task/7213/stat : 7213 (java) S 7194 7194 6090 0 -1 1077944384 936 0 0 0 8 0 0 0 20 0 20 0 447705450 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181098293744 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7214] ppid=7194 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7214/stat : 7214 (java) S 7194 7194 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181097241184 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7215] ppid=7194 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7196/task/7215/stat : 7215 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705450 28904853504 9902 33554432000 4194304 4196468 140724275535984 140181096188464 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41064 KiB

[startup+0.310066 s]*
/proc/loadavg: 7.83 8.17 8.14 4/212 7215
/proc/meminfo: memFree=30195048/32770624 swapFree=66917056/67108860
[pid=7194] ppid=7191 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7194/stat : 7194 (xcsp3-exec) S 7191 7194 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447705444 115843072 364 33554432000 4194304 5098028 140724493614144 140724493612248 140191351550588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14995456 140724493620086 140724493620329 140724493620329 140724493623242 0
/proc/7194/statm: 28282 364 305 221 0 87 0
[pid=7196] ppid=7194 vsize=28231652 memory=46292 CPUtime=0.51 cores=0-7
/proc/7196/stat : 7196 (java) S 7194 7194 6090 0 -1 1077944320 10973 0 0 0 47 4 0 0 20 0 20 0 447705444 28909211648 11573 33554432000 4194304 4196468 140724275535984 140724275518528 140181989670647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
/proc/7196/statm: 7057913 11573 3351 1 0 7019032 0
[pid=7196/tid=7197] ppid=7194 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/7196/task/7197/stat : 7197 (java) R 7194 7194 6090 0 -1 4202560 7701 0 0 0 27 3 0 0 20 0 20 0 447705444 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181993907280 140181628508263 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7198] ppid=7194 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7198/stat : 7198 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181541259920 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7199] ppid=7194 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7199/stat : 7199 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705445 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181540207120 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7200] ppid=7194 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7200/stat : 7200 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705445 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181539154320 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7201] ppid=7194 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7201/stat : 7201 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181538101520 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7202] ppid=7194 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/7196/task/7202/stat : 7202 (java) S 7194 7194 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447705445 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181537049744 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7203] ppid=7194 vsize=28231652 memory=140431673357231 CPUtime=0 cores=0-7
/proc/7196/task/7203/stat : 7203 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181535996944 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7204] ppid=7194 vsize=28231652 memory=140431673359536 CPUtime=0 cores=0-7
/proc/7196/task/7204/stat : 7204 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705445 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181534944144 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7205] ppid=7194 vsize=28231652 memory=140431673361840 CPUtime=0 cores=0-7
/proc/7196/task/7205/stat : 7205 (java) S 7194 7194 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447705445 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181533891344 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7206] ppid=7194 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7206/stat : 7206 (java) S 7194 7194 6090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447705447 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181105662320 140181989681794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7207] ppid=7194 vsize=28231652 memory=280863346730640 CPUtime=0 cores=0-7
/proc/7196/task/7207/stat : 7207 (java) S 7194 7194 6090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447705447 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181104608288 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7208] ppid=7194 vsize=28231652 memory=280863346737552 CPUtime=0 cores=0-7
/proc/7196/task/7208/stat : 7208 (java) S 7194 7194 6090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447705447 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181103555440 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7209] ppid=7194 vsize=28231652 memory=280863346678832 CPUtime=0 cores=0-7
/proc/7196/task/7209/stat : 7209 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705450 28909211648 11573 33554432000 4194304 4196468 140724275535984 140181102503760 140181989689243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7210] ppid=7194 vsize=28231652 memory=280863346751376 CPUtime=0.02 cores=0-7
/proc/7196/task/7210/stat : 7210 (java) S 7194 7194 6090 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 20 0 447705450 28909211648 11637 33554432000 4194304 4196468 140724275535984 140181101452144 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7211] ppid=7194 vsize=28231652 memory=280863346758288 CPUtime=0.01 cores=0-7
/proc/7196/task/7211/stat : 7211 (java) R 7194 7194 6090 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 447705450 28909211648 11637 33554432000 4194304 4196468 140724275535984 140181100399344 140181989681794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7212] ppid=7194 vsize=28231652 memory=280863346755984 CPUtime=0.03 cores=0-7
/proc/7196/task/7212/stat : 7212 (java) S 7194 7194 6090 0 -1 1077944384 209 0 0 0 3 0 0 0 20 0 20 0 447705450 28909211648 11637 33554432000 4194304 4196468 140724275535984 140181099346544 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7213] ppid=7194 vsize=28231652 memory=280863346772144 CPUtime=0.12 cores=0-7
/proc/7196/task/7213/stat : 7213 (java) R 7194 7194 6090 0 -1 4202560 1183 0 0 0 12 0 0 0 20 0 20 0 447705450 28909211648 11637 33554432000 4194304 4196468 140724275535984 140181098293744 140181989682582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7214] ppid=7194 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7196/task/7214/stat : 7214 (java) S 7194 7194 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447705450 28909211648 11637 33554432000 4194304 4196468 140724275535984 140181097241184 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7215] ppid=7194 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/7196/task/7215/stat : 7215 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447705450 28909211648 11637 33554432000 4194304 4196468 140724275535984 140181096188464 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 47748 KiB

[startup+0.701322 s]
/proc/loadavg: 7.83 8.17 8.14 4/212 7215
/proc/meminfo: memFree=30089352/32770624 swapFree=66917056/67108860
[pid=7194] ppid=7191 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7194/stat : 7194 (xcsp3-exec) S 7191 7194 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447705444 115843072 364 33554432000 4194304 5098028 140724493614144 140724493612248 140191351550588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14995456 140724493620086 140724493620329 140724493620329 140724493623242 0
/proc/7194/statm: 28282 364 305 221 0 87 0
[pid=7196] ppid=7194 vsize=28231728 memory=297720 CPUtime=1.87 cores=0-7
/proc/7196/stat : 7196 (java) S 7194 7194 6090 0 -1 1077944320 15526 0 0 0 139 48 0 0 20 0 20 0 447705444 28909289472 74430 33554432000 4194304 4196468 140724275535984 140724275518528 140181989670647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
/proc/7196/statm: 7057932 74430 3443 1 0 7019032 0
[pid=7196/tid=7197] ppid=7194 vsize=28231728 memory=280863347130032 CPUtime=0.61 cores=0-7
/proc/7196/task/7197/stat : 7197 (java) R 7194 7194 6090 0 -1 4202560 8294 0 0 0 53 8 0 0 20 0 20 0 447705444 28909289472 74430 33554432000 4194304 4196468 140724275535984 140181993907984 140181989682582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7198] ppid=7194 vsize=28231728 memory=140431673566064 CPUtime=0.05 cores=0-7
/proc/7196/task/7198/stat : 7198 (java) S 7194 7194 6090 0 -1 1077944384 57 0 0 0 1 4 0 0 20 0 20 0 447705445 28909289472 74430 33554432000 4194304 4196468 140724275535984 140181541259920 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7199] ppid=7194 vsize=28231728 memory=0 CPUtime=0.05 cores=0-7
/proc/7196/task/7199/stat : 7199 (java) S 7194 7194 6090 0 -1 1077944384 69 0 0 0 1 4 0 0 20 0 20 0 447705445 28909289472 74430 33554432000 4194304 4196468 140724275535984 140181540207120 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7200] ppid=7194 vsize=28231728 memory=1124 CPUtime=0.05 cores=0-7
/proc/7196/task/7200/stat : 7200 (java) S 7194 7194 6090 0 -1 1077944384 64 0 0 0 1 4 0 0 20 0 20 0 447705445 28909289472 74430 33554432000 4194304 4196468 140724275535984 140181539154320 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0

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

[pid=7196/tid=7781] ppid=7194 vsize=28768336 memory=2828 CPUtime=2.15 cores=0-7
/proc/7196/task/7781/stat : 7781 (java) R 7194 7194 6090 0 -1 4202560 716 0 0 0 213 2 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180027585216 140181632393494 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7782] ppid=7194 vsize=28768336 memory=1228 CPUtime=2.11 cores=0-7
/proc/7196/task/7782/stat : 7782 (java) R 7194 7194 6090 0 -1 4202560 327 0 0 0 211 0 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180029689704 140181632394576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7783] ppid=7194 vsize=28768336 memory=1436 CPUtime=2.15 cores=0-7
/proc/7196/task/7783/stat : 7783 (java) R 7194 7194 6090 0 -1 4202560 571 0 0 0 215 0 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180023374136 140181629668128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7784] ppid=7194 vsize=28768336 memory=896 CPUtime=2.13 cores=0-7
/proc/7196/task/7784/stat : 7784 (java) R 7194 7194 6090 0 -1 4202560 815 0 0 0 211 2 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180025482840 140181631392626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7785] ppid=7194 vsize=28768336 memory=1980 CPUtime=2.12 cores=0-7
/proc/7196/task/7785/stat : 7785 (java) R 7194 7194 6090 0 -1 4202560 5124 0 0 0 212 0 0 0 20 0 28 0 447807308 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180024426480 140181631392904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7786] ppid=7194 vsize=28768336 memory=2520 CPUtime=2.11 cores=0-7
/proc/7196/task/7786/stat : 7786 (java) R 7194 7194 6090 0 -1 4202560 540 0 0 0 211 0 0 0 20 0 28 0 447807308 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180026531832 140181631392780 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
Current children cumulated CPU time: 1251.72 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 13370664 KiB

[startup+1022.4 s]
/proc/loadavg: 1.53 1.47 3.49 10/219 7786
/proc/meminfo: memFree=16882124/32770624 swapFree=66917056/67108860
[pid=7194] ppid=7191 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7194/stat : 7194 (xcsp3-exec) S 7191 7194 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447705444 115843072 364 33554432000 4194304 5098028 140724493614144 140724493612248 140191351550588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14995456 140724493620086 140724493620329 140724493620329 140724493623242 0
/proc/7194/statm: 28282 364 305 221 0 87 0
[pid=7196] ppid=7194 vsize=28768336 memory=13369208 CPUtime=1263.74 cores=0-7
/proc/7196/stat : 7196 (java) S 7194 7194 6090 0 -1 1077944320 1261026 0 0 0 123828 2546 0 0 20 0 28 0 447705444 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140724275518528 140181989670647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
/proc/7196/statm: 7192084 3342302 3564 1 0 7153184 0
[pid=7196/tid=7197] ppid=7194 vsize=28768336 memory=8112282956445269571 CPUtime=85.42 cores=0-7
/proc/7196/task/7197/stat : 7197 (java) S 7194 7194 6090 0 -1 1077944384 49769 0 0 0 8401 141 0 0 20 0 28 0 447705444 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181993911424 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7198] ppid=7194 vsize=28768336 memory=1124 CPUtime=22.52 cores=0-7
/proc/7196/task/7198/stat : 7198 (java) S 7194 7194 6090 0 -1 1077944384 85421 0 0 0 2006 246 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181541259920 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7199] ppid=7194 vsize=28768336 memory=2828 CPUtime=22.54 cores=0-7
/proc/7196/task/7199/stat : 7199 (java) S 7194 7194 6090 0 -1 1077944384 104811 0 0 0 1996 258 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181540207120 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7200] ppid=7194 vsize=28768336 memory=1228 CPUtime=22.55 cores=0-7
/proc/7196/task/7200/stat : 7200 (java) S 7194 7194 6090 0 -1 1077944384 70130 0 0 0 1977 278 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181539154320 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7201] ppid=7194 vsize=28768336 memory=14008 CPUtime=22.58 cores=0-7
/proc/7196/task/7201/stat : 7201 (java) S 7194 7194 6090 0 -1 1077944384 100372 0 0 0 1975 283 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181538101520 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7202] ppid=7194 vsize=28768336 memory=48824 CPUtime=22.73 cores=0-7
/proc/7196/task/7202/stat : 7202 (java) S 7194 7194 6090 0 -1 1077944384 159352 0 0 0 2004 269 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181537049744 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7203] ppid=7194 vsize=28768336 memory=2020 CPUtime=22.54 cores=0-7
/proc/7196/task/7203/stat : 7203 (java) S 7194 7194 6090 0 -1 1077944384 90218 0 0 0 1988 266 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181535996944 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7204] ppid=7194 vsize=28768336 memory=988 CPUtime=22.72 cores=0-7
/proc/7196/task/7204/stat : 7204 (java) S 7194 7194 6090 0 -1 1077944384 114195 0 0 0 1999 273 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181534944144 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7205] ppid=7194 vsize=28768336 memory=1368 CPUtime=22.61 cores=0-7
/proc/7196/task/7205/stat : 7205 (java) S 7194 7194 6090 0 -1 1077944384 98771 0 0 0 1971 290 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181533891344 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7206] ppid=7194 vsize=28768336 memory=1056 CPUtime=0.92 cores=0-7
/proc/7196/task/7206/stat : 7206 (java) S 7194 7194 6090 0 -1 1077944384 31807 0 0 0 82 10 0 0 20 0 28 0 447705447 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181105662320 140181989681794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7207] ppid=7194 vsize=28768336 memory=1716 CPUtime=0 cores=0-7
/proc/7196/task/7207/stat : 7207 (java) S 7194 7194 6090 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 447705447 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181104608352 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7208] ppid=7194 vsize=28768336 memory=6032 CPUtime=0 cores=0-7
/proc/7196/task/7208/stat : 7208 (java) S 7194 7194 6090 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 447705447 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181103555456 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7209] ppid=7194 vsize=28768336 memory=11416 CPUtime=0 cores=0-7
/proc/7196/task/7209/stat : 7209 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181102503760 140181989689243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7210] ppid=7194 vsize=28768336 memory=780 CPUtime=5.9 cores=0-7
/proc/7196/task/7210/stat : 7210 (java) S 7194 7194 6090 0 -1 1077944384 34951 0 0 0 585 5 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181101452144 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7211] ppid=7194 vsize=28768336 memory=776 CPUtime=5.08 cores=0-7
/proc/7196/task/7211/stat : 7211 (java) S 7194 7194 6090 0 -1 1077944384 31061 0 0 0 502 6 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181100399344 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7212] ppid=7194 vsize=28768336 memory=1560 CPUtime=5.04 cores=0-7
/proc/7196/task/7212/stat : 7212 (java) S 7194 7194 6090 0 -1 1077944384 31600 0 0 0 498 6 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181099346544 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7213] ppid=7194 vsize=28768336 memory=4040 CPUtime=1.34 cores=0-7
/proc/7196/task/7213/stat : 7213 (java) S 7194 7194 6090 0 -1 1077944384 21124 0 0 0 128 6 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181098293744 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7214] ppid=7194 vsize=28768336 memory=1124 CPUtime=0 cores=0-7
/proc/7196/task/7214/stat : 7214 (java) S 7194 7194 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181097241184 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7215] ppid=7194 vsize=28768336 memory=2828 CPUtime=0.6 cores=0-7
/proc/7196/task/7215/stat : 7215 (java) S 7194 7194 6090 0 -1 1077944384 3836 0 0 0 25 35 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181096188464 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7779] ppid=7194 vsize=28768336 memory=1228 CPUtime=3.59 cores=0-7
/proc/7196/task/7779/stat : 7779 (java) S 7194 7194 6090 0 -1 1077944384 854 0 0 0 357 2 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180022324624 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7780] ppid=7194 vsize=28768336 memory=8112282956445269571 CPUtime=3.61 cores=0-7
/proc/7196/task/7780/stat : 7780 (java) S 7194 7194 6090 0 -1 1077944384 902 0 0 0 352 9 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180028642080 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7781] ppid=7194 vsize=28768336 memory=7233462013339521616 CPUtime=3.61 cores=0-7
/proc/7196/task/7781/stat : 7781 (java) S 7194 7194 6090 0 -1 1077944384 786 0 0 0 359 2 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180027590304 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7782] ppid=7194 vsize=28768336 memory=7233462013339521616 CPUtime=3.63 cores=0-7
/proc/7196/task/7782/stat : 7782 (java) R 7194 7194 6090 0 -1 4202560 2948 0 0 0 362 1 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180029689568 140181632392616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7783] ppid=7194 vsize=28768336 memory=7091868043962372192 CPUtime=3.75 cores=0-7
/proc/7196/task/7783/stat : 7783 (java) R 7194 7194 6090 0 -1 4202560 904 0 0 0 375 0 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180023373440 140181627459738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7784] ppid=7194 vsize=28768336 memory=7091868043962372192 CPUtime=3.59 cores=0-7
/proc/7196/task/7784/stat : 7784 (java) S 7194 7194 6090 0 -1 1077944384 939 0 0 0 357 2 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180025484576 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7785] ppid=7194 vsize=28768336 memory=7091868043962372192 CPUtime=3.58 cores=0-7
/proc/7196/task/7785/stat : 7785 (java) S 7194 7194 6090 0 -1 1077944384 11554 0 0 0 355 3 0 0 20 0 28 0 447807308 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180024431776 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7786] ppid=7194 vsize=28768336 memory=7810483542041324130 CPUtime=3.63 cores=0-7
/proc/7196/task/7786/stat : 7786 (java) S 7194 7194 6090 0 -1 1077944384 615 0 0 0 363 0 0 0 20 0 28 0 447807308 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180026536992 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
Current children cumulated CPU time: 1263.74 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 13370664 KiB

[startup+1022.8 s]
/proc/loadavg: 1.53 1.47 3.49 10/219 7786
/proc/meminfo: memFree=16882124/32770624 swapFree=66917056/67108860
[pid=7194] ppid=7191 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7194/stat : 7194 (xcsp3-exec) S 7191 7194 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447705444 115843072 364 33554432000 4194304 5098028 140724493614144 140724493612248 140191351550588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14995456 140724493620086 140724493620329 140724493620329 140724493623242 0
/proc/7194/statm: 28282 364 305 221 0 87 0
[pid=7196] ppid=7194 vsize=28768336 memory=13369208 CPUtime=1264.16 cores=0-7
/proc/7196/stat : 7196 (java) S 7194 7194 6090 0 -1 1077944320 1261528 0 0 0 123870 2546 0 0 20 0 28 0 447705444 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140724275518528 140181989670647 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
/proc/7196/statm: 7192084 3342302 3564 1 0 7153184 0
[pid=7196/tid=7197] ppid=7194 vsize=28768336 memory=1456 CPUtime=85.42 cores=0-7
/proc/7196/task/7197/stat : 7197 (java) S 7194 7194 6090 0 -1 1077944384 49769 0 0 0 8401 141 0 0 20 0 28 0 447705444 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181993911424 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7198] ppid=7194 vsize=28768336 memory=13369208 CPUtime=22.52 cores=0-7
/proc/7196/task/7198/stat : 7198 (java) S 7194 7194 6090 0 -1 1077944384 85421 0 0 0 2006 246 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181541259920 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7199] ppid=7194 vsize=28768336 memory=8112282956445269571 CPUtime=22.54 cores=0-7
/proc/7196/task/7199/stat : 7199 (java) S 7194 7194 6090 0 -1 1077944384 104811 0 0 0 1996 258 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181540207120 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7200] ppid=7194 vsize=28768336 memory=4126316290023845779 CPUtime=22.55 cores=0-7
/proc/7196/task/7200/stat : 7200 (java) S 7194 7194 6090 0 -1 1077944384 70130 0 0 0 1977 278 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181539154320 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7201] ppid=7194 vsize=28768336 memory=2124 CPUtime=22.58 cores=0-7
/proc/7196/task/7201/stat : 7201 (java) S 7194 7194 6090 0 -1 1077944384 100372 0 0 0 1975 283 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181538101520 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7202] ppid=7194 vsize=28768336 memory=26108 CPUtime=22.73 cores=0-7
/proc/7196/task/7202/stat : 7202 (java) S 7194 7194 6090 0 -1 1077944384 159352 0 0 0 2004 269 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181537049744 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7203] ppid=7194 vsize=28768336 memory=492 CPUtime=22.54 cores=0-7
/proc/7196/task/7203/stat : 7203 (java) S 7194 7194 6090 0 -1 1077944384 90218 0 0 0 1988 266 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181535996944 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7204] ppid=7194 vsize=28768336 memory=1560 CPUtime=22.72 cores=0-7
/proc/7196/task/7204/stat : 7204 (java) S 7194 7194 6090 0 -1 1077944384 114195 0 0 0 1999 273 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181534944144 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7205] ppid=7194 vsize=28768336 memory=932 CPUtime=22.61 cores=0-7
/proc/7196/task/7205/stat : 7205 (java) S 7194 7194 6090 0 -1 1077944384 98771 0 0 0 1971 290 0 0 20 0 28 0 447705445 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181533891344 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7206] ppid=7194 vsize=28768336 memory=1980 CPUtime=0.92 cores=0-7
/proc/7196/task/7206/stat : 7206 (java) S 7194 7194 6090 0 -1 1077944384 31807 0 0 0 82 10 0 0 20 0 28 0 447705447 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181105662320 140181989681794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7207] ppid=7194 vsize=28768336 memory=2520 CPUtime=0 cores=0-7
/proc/7196/task/7207/stat : 7207 (java) S 7194 7194 6090 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 447705447 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181104608352 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7208] ppid=7194 vsize=28768336 memory=1760 CPUtime=0 cores=0-7
/proc/7196/task/7208/stat : 7208 (java) S 7194 7194 6090 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 447705447 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181103555456 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7209] ppid=7194 vsize=28768336 memory=1660 CPUtime=0 cores=0-7
/proc/7196/task/7209/stat : 7209 (java) S 7194 7194 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181102503760 140181989689243 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7210] ppid=7194 vsize=28768336 memory=111632 CPUtime=5.9 cores=0-7
/proc/7196/task/7210/stat : 7210 (java) S 7194 7194 6090 0 -1 1077944384 34951 0 0 0 585 5 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181101452144 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7211] ppid=7194 vsize=28768336 memory=796 CPUtime=5.08 cores=0-7
/proc/7196/task/7211/stat : 7211 (java) S 7194 7194 6090 0 -1 1077944384 31061 0 0 0 502 6 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181100399344 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7212] ppid=7194 vsize=28768336 memory=1808 CPUtime=5.05 cores=0-7
/proc/7196/task/7212/stat : 7212 (java) S 7194 7194 6090 0 -1 1077944384 31693 0 0 0 499 6 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181099346544 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7213] ppid=7194 vsize=28768336 memory=920 CPUtime=1.34 cores=0-7
/proc/7196/task/7213/stat : 7213 (java) S 7194 7194 6090 0 -1 1077944384 21124 0 0 0 128 6 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181098293744 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7214] ppid=7194 vsize=28768336 memory=4248 CPUtime=0 cores=0-7
/proc/7196/task/7214/stat : 7214 (java) S 7194 7194 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181097241184 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7215] ppid=7194 vsize=28768336 memory=4096 CPUtime=0.6 cores=0-7
/proc/7196/task/7215/stat : 7215 (java) S 7194 7194 6090 0 -1 1077944384 3836 0 0 0 25 35 0 0 20 0 28 0 447705450 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140181096188464 140181989681794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7779] ppid=7194 vsize=28768336 memory=1412 CPUtime=3.59 cores=0-7
/proc/7196/task/7779/stat : 7779 (java) S 7194 7194 6090 0 -1 1077944384 854 0 0 0 357 2 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180022324624 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7780] ppid=7194 vsize=28768336 memory=3948 CPUtime=3.61 cores=0-7
/proc/7196/task/7780/stat : 7780 (java) S 7194 7194 6090 0 -1 1077944384 902 0 0 0 352 9 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180028642080 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7781] ppid=7194 vsize=28768336 memory=1456 CPUtime=3.61 cores=0-7
/proc/7196/task/7781/stat : 7781 (java) S 7194 7194 6090 0 -1 1077944384 786 0 0 0 359 2 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180027590304 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7782] ppid=7194 vsize=28768336 memory=13369136 CPUtime=3.64 cores=0-7
/proc/7196/task/7782/stat : 7782 (java) S 7194 7194 6090 0 -1 1077944384 3312 0 0 0 363 1 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180029695520 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7783] ppid=7194 vsize=28768336 memory=8112282956445269571 CPUtime=4.15 cores=0-7
/proc/7196/task/7783/stat : 7783 (java) R 7194 7194 6090 0 -1 4202560 949 0 0 0 415 0 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180023373440 140181632394623 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7784] ppid=7194 vsize=28768336 memory=4126316290023845779 CPUtime=3.59 cores=0-7
/proc/7196/task/7784/stat : 7784 (java) S 7194 7194 6090 0 -1 1077944384 939 0 0 0 357 2 0 0 20 0 28 0 447807307 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180025484576 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7785] ppid=7194 vsize=28768336 memory=1716 CPUtime=3.58 cores=0-7
/proc/7196/task/7785/stat : 7785 (java) S 7194 7194 6090 0 -1 1077944384 11554 0 0 0 355 3 0 0 20 0 28 0 447807308 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180024431776 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
[pid=7196/tid=7786] ppid=7194 vsize=28768336 memory=6032 CPUtime=3.63 cores=0-7
/proc/7196/task/7786/stat : 7786 (java) S 7194 7194 6090 0 -1 1077944384 615 0 0 0 363 0 0 0 20 0 28 0 447807308 29458776064 3342302 33554432000 4194304 4196468 140724275535984 140180026536992 140181989680853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21504000 140724275545066 140724275545238 140724275545238 140724275548111 0
Current children cumulated CPU time: 1264.16 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 13370664 KiB

[startup+1023.23 s]
/proc/loadavg: 1.53 1.47 3.49 9/219 7794
/proc/meminfo: memFree=16880892/32770624 swapFree=66917056/67108860
[pid=7194] ppid=7191 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/7194/stat : 7194 (xcsp3-exec) S 7191 7194 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447705444 115843072 364 33554432000 4194304 5098028 140724493614144 140724493612248 140191351550588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14995456 140724493620086 140724493620329 140724493620329 140724493623242 0
/proc/7194/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 1023.24
CPU time (s): 1266.25
CPU user time (s): 1240.67
CPU system time (s): 25.5794
CPU usage (%): 123.749
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 13370664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1240.67
system time used= 25.5794
maximum resident set size= 13369208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1263741
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44601
involuntary context switches= 15132


# summary of solver processes directly reported to runsolver:
#   pid: 7194
#   total CPU time (s): 1266.25
#   total CPU user time (s): 1240.67
#   total CPU system time (s): 25.5794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5998 second user time and 6.4092 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-17 12:57:53
IDJOB=4399782
IDBENCH=141273
IDSOLVER=2854
FILE ID=node147/4399782-1568717916
RUNJOBID= node147-1568711265-6117
PBS_JOBID= 21703926
Free space on /tmp= 58800 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399782-1568717916/watcher-4399782-1568717916 -o /tmp/evaluation-result-4399782-1568717916/solver-4399782-1568717916 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568711265-6117 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 478941927 HOME/instance-4399782-1568717916.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=478941927

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30261552 kB
MemAvailable:   31802560 kB
Buffers:          118488 kB
Cached:          1714816 kB
SwapCached:        87660 kB
Active:          1022396 kB
Inactive:         901812 kB
Active(anon):       6400 kB
Inactive(anon):   134392 kB
Active(file):    1015996 kB
Inactive(file):   767420 kB
Unevictable:      108024 kB
Mlocked:          108024 kB
SwapTotal:      67108860 kB
SwapFree:       66917056 kB
Dirty:            108752 kB
Writeback:             0 kB
AnonPages:        251596 kB
Mapped:            49056 kB
Shmem:             40920 kB
Slab:             176240 kB
SReclaimable:     146852 kB
SUnreclaim:        29388 kB
KernelStack:        3728 kB
PageTables:         6260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58776 MiB
End job on node147 at 2019-09-17 13:14:56