Trace number 4394393

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14 parallelSAT (TO)188778603 2754.85 2520.11

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml
MD5SUM3fdf89d4941046bada2032faa76e855a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63832030
Best CPU time to get the best result obtained on this benchmark57.3117
Satisfiable
(Un)Satisfiability was proved
Number of variables4790
Number of constraints2852
Number of domains18
Minimum domain size1
Maximum domain size121
Distribution of domain sizes[{"size":1,"count":14},{"size":2,"count":1749},{"size":11,"count":1263},{"size":12,"count":1},{"size":21,"count":9},{"size":27,"count":36},{"size":43,"count":1},{"size":47,"count":3},{"size":53,"count":3},{"size":97,"count":25},{"size":102,"count":73},{"size":113,"count":21},{"size":121,"count":1592}]
Minimum variable degree1
Maximum variable degree1264
Distribution of variable degrees[{"degree":1,"count":5},{"degree":2,"count":3828},{"degree":3,"count":82},{"degree":4,"count":132},{"degree":5,"count":162},{"degree":6,"count":218},{"degree":7,"count":222},{"degree":8,"count":115},{"degree":9,"count":9},{"degree":10,"count":7},{"degree":11,"count":4},{"degree":12,"count":5},{"degree":1264,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":326},{"arity":3,"count":1263},{"arity":6,"count":1263}]
Number of extensional constraints1263
Number of intensional constraints1589
Distribution of constraint types[{"type":"extension","count":1263},{"type":"intension","count":1589}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394393-1568448399.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394393-1568448399.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
217.13/90.18	c solve instance...
238.51/93.10	o 189094589 
243.47/94.88	o 189081953 
519.34/369.15	o 189081952 
526.98/370.33	o 189081951 
528.00/370.70	o 189081950 
528.00/370.72	o 189081949 
528.56/370.98	o 189069313 
528.56/370.99	o 189069312 
529.39/371.26	o 189069311 
530.64/371.81	o 189069310 
531.71/372.36	o 189069309 
532.61/372.66	o 189056673 
532.61/372.67	o 189056672 
532.61/372.68	o 189056671 
533.11/372.95	o 189056670 
561.28/376.93	o 189056669 
561.81/377.20	o 189044033 
562.21/377.46	o 189044032 
562.78/377.72	o 189044031 
563.23/377.99	o 189044030 
563.70/378.25	o 189044029 
564.77/378.55	o 189031393 
565.68/378.83	o 189031392 
566.16/379.10	o 189031391 
566.84/379.38	o 189031390 
568.04/379.91	o 189031389 
569.16/380.44	o 189031388 
570.04/380.97	o 189018753 
572.65/383.10	o 189018752 
925.08/734.68	o 189018751 
925.53/734.95	o 189018750 
926.04/735.35	o 189018749 
927.43/735.96	o 189006113 
927.84/736.22	o 189006112 
928.12/736.48	o 189006111 
928.71/736.74	o 189006110 
929.03/737.00	o 189006109 
929.76/737.28	o 188993473 
930.20/737.54	o 188993472 
931.03/738.06	o 188993471 
931.42/738.32	o 188993470 
932.02/738.86	o 188993469 
932.77/739.14	o 188980833 
932.77/739.19	o 188980832 
932.93/739.24	o 188980831 
932.93/739.28	o 188980830 
933.63/739.54	o 188980829 
933.63/739.59	o 188968193 
933.92/739.64	o 188968192 
934.31/739.92	o 188968191 
934.78/740.20	o 188968190 
935.22/740.46	o 188968189 
936.00/740.74	o 188955553 
936.44/741.00	o 188955552 
937.21/741.51	o 188955551 
938.05/742.03	o 188955550 
938.68/742.31	o 188955549 
939.20/742.57	o 188942913 
939.67/742.82	o 188942912 
942.08/745.12	o 188942911 
942.67/745.62	o 188930283 
945.89/747.72	o 188930273 
1311.11/1111.28	o 188930272 
1312.38/1111.86	o 188930271 
1313.58/1112.39	o 188930270 
1314.35/1112.66	o 188930269 
1315.85/1112.94	o 188917633 
1316.49/1113.21	o 188917632 
1316.94/1113.48	o 188917631 
1317.59/1113.76	o 188917630 
1318.25/1114.02	o 188917629 
1319.06/1114.28	o 188905003 
1322.41/1116.58	o 188905002 
1323.00/1117.09	o 188905001 
1323.12/1117.14	o 188892373 
1325.89/1119.09	o 188892363 
1693.11/1485.93	o 188892362 
1693.81/1486.21	o 188892361 
1694.29/1486.49	o 188892360 
1694.77/1486.78	o 188892359 
1696.02/1487.33	o 188892353 
1696.40/1487.61	o 188892352 
1696.87/1487.88	o 188892351 
1697.54/1488.15	o 188892350 
1698.87/1488.86	o 188892349 
1700.19/1489.13	o 188879722 
1700.82/1489.41	o 188879721 
1701.70/1489.70	o 188879720 
1702.18/1489.96	o 188879719 
1703.08/1490.23	o 188879718 
1703.66/1490.49	o 188879713 
1704.65/1490.81	o 188879712 
1705.12/1491.07	o 188879711 
1705.56/1491.33	o 188879710 
1705.96/1491.61	o 188879709 
1706.86/1491.88	o 188867073 
1707.53/1492.14	o 188867072 
1707.84/1492.39	o 188867071 
1708.21/1492.65	o 188867070 
1708.61/1492.93	o 188867069 
1709.76/1493.23	o 188854433 
1710.61/1493.50	o 188854432 
1711.20/1494.04	o 188854431 
1711.56/1494.31	o 188854430 
1712.02/1494.57	o 188854429 
1713.88/1495.10	o 188841793 
1716.24/1497.20	o 188841792 
2089.28/1869.21	o 188841791 
2090.23/1869.76	o 188841790 
2091.10/1870.29	o 188841789 
2093.01/1870.82	o 188829153 
2093.47/1871.09	o 188829152 
2094.72/1871.62	o 188829151 
2095.35/1871.90	o 188829150 
2095.35/1871.96	o 188829149 
2096.70/1872.30	o 188816513 
2097.53/1872.83	o 188816512 
2097.81/1873.10	o 188816511 
2098.37/1873.37	o 188816510 
2099.03/1873.89	o 188816509 
2100.18/1874.17	o 188803883 
2101.17/1874.44	o 188803882 
2101.79/1874.97	o 188803881 
2102.41/1875.22	o 188803880 
2103.26/1875.74	o 188803879 
2104.33/1876.26	o 188803873 
2104.76/1876.53	o 188803872 
2105.61/1877.03	o 188803871 
2105.86/1877.29	o 188803870 
2106.78/1877.83	o 188791253 
2109.31/1879.79	o 188791243 
2476.46/2246.12	o 188791242 
2477.70/2246.63	o 188791241 
2478.28/2247.14	o 188791240 
2478.91/2247.41	o 188791239 
2479.79/2247.94	o 188791233 
2480.36/2248.46	o 188791232 
2480.91/2248.99	o 188791231 
2481.28/2249.26	o 188791230 
2481.67/2249.53	o 188791229 
2483.17/2250.07	o 188778612 
2486.03/2252.04	o 188778603 
2754.73/2520.01	s SATISFIABLE
2754.73/2520.01	v <instantiation>
2754.73/2520.01	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] </list>
2754.73/2520.01	v 	<values>2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2296 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2260 2220 2220 2260 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2260 2220 2260 2220 2220 2220 2220 2220 2220 2220 2220 2296 2220 2220 2220 2336 2260 2260 2260 2220 2220 2220 2220 2220 2260 2220 2220 2220 2220 2220 2220 2220 2220 2220 2260 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2220 2260 2220 2220 2260 2220 2220 2220 2224 2220 2296 2220 2220 2296 2220 2220 2220 2220 2588 2220 2220 2220 2220 2260 2220 2260 2220 2220 2260 2220 2260 2296 2260 2220 2220 2260 2260 2260 2220 2220 2220 2224 2260 2260 2220 2220 2220 2220 2260 2220 2260 2220 2220 2220 2260 2260 2220 2296 2220 2260 2260 2220 2220 2260 2220 2260 2220 2260 2260 2220 2260 2260 2220 2588 2220 2220 2220 2260 2260 2220 2260 2220 2220 2220 2220 2220 2220 2260 2220 2260 2260 2220 2260 2500 2220 2260 2336 2260 2260 2220 2260 2260 2220 2220 2220 2220 2220 2260 2260 2260 2260 2260 2220 2220 2220 2260 2336 2220 2220 2220 2220 2260 2220 2220 2260 2220 2260 2260 2220 2336 2260 2260 2220 2220 2260 2260 2220 2220 2260 2220 2220 2220 2220 2220 2260 2260 2260 2296 2260 2260 2500 2260 2260 2260 2260 2260 2260 2260 2220 2220 2220 2260 2260 2260 2540 2260 2260 2540 2220 2588 2220 2220 2220 2220 2220 2260 2260 2220 2220 2220 2260 2220 2260 2220 2260 2260 2220 2260 2260 2220 2260 2220 2260 2220 2220 2260 2260 2220 2260 2220 2260 2220 2260 2220 2260 2220 2260 2220 2260 2220 2220 2220 2500 2260 2260 2260 2260 2260 2260 2336 2220 2260 2220 2220 2260 2336 2260 2260 2220 2260 2260 2260 2260 2260 2260 2220 2220 2260 2220 2260 2220 2260 2260 2220 2220 2260 2260 2220 2260 2260 2260 2260 2260 2220 2260 2220 2220 2220 2260 2260 2260 2260 2220 2260 2220 2260 2260 2260 2260 2220 2260 2260 2220 2260 2220 2220 2220 2260 2260 2220 2220 2260 2260 2220 2220 2260 2220 2220 2296 2260 2260 2260 2260 2220 2260 2220 2260 2260 2260 2628 2296 2260 2260 2220 2260 2260 2628 2336 2220 2220 2260 2260 2260 2220 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2220 2220 2260 2540 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2260 2292 2260 2260 2260 2260 2220 2260 2500 2260 2260 2260 2260 2260 2260 2260 2260 2260 2648 2300 2260 2336 2260 2260 2260 2628 2260 2260 2260 2332 2260 2260 2260 2260 2260 2260 2264 2260 2260 2260 2260 2260 2460 2336 2260 2260 2260 2260 2260 2260 2260 2260 2688 2260 2264 2260 2260 2260 2260 2260 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 0 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 0 10 10 0 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 5 0 10 10 0 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 8 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 0 10 10 10 10 10 0 0 0 0 10 10 0 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 8 10 9 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 10 8 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 0 10 9 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 0 10 10 10 10 0 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 0 0 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 10 10 0 10 10 10 0 10 10 10 10 0 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 10 10 10 8 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 9 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 0 0 10 0 10 10 10 0 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 9 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 0 10 0 10 10 10 10 0 0 40 40 40 40 40 0 0 40 0 76 0 0 40 40 0 40 0 40 40 40 40 40 0 40 0 40 40 40 40 0 368 40 40 0 0 40 40 40 40 40 40 368 0 116 0 40 0 0 40 40 0 0 40 40 40 0 0 320 40 0 36 40 116 40 40 40 0 0 40 40 40 40 40 40 40 40 40 0 0 0 40 40 40 0 0 40 40 0 40 0 0 40 0 40 0 0 0 40 40 40 0 0 0 40 40 40 0 0 0 0 40 0 40 0 40 40 40 0 0 0 40 0 0 0 0 40 40 40 0 0 40 40 0 0 0 40 0 40 40 116 0 0 40 0 0 40 0 36 0 0 0 40 40 0 0 40 0 40 40 0 40 40 0 0 0 40 40 40 0 40 40 0 40 40 0 40 40 40 0 0 40 0 0 0 40 0 40 0 0 0 0 40 40 0 40 0 40 40 40 0 0 40 40 0 40 0 0 0 428 0 40 0 0 40 0 40 40 40 0 40 116 0 112 40 0 368 0 4 0 40 0 0 0 76 0 40 40 40 40 0 40 468 0 40 0 40 40 40 0 0 40 0 0 40 0 0 40 0 40 0 40 0 0 0 40 0 40 0 0 0 0 0 40 40 76 76 40 0 40 0 40 40 280 0 0 0 0 40 76 116 76 76 76 76 40 40 40 0 40 0 0 0 40 40 0 0 40 0 40 0 40 40 40 0 40 40 280 0 0 0 40 40 40 40 0 40 40 0 40 40 40 36 40 40 0 40 40 0 40 0 0 40 40 40 0 0 40 116 0 40 40 40 0 0 0 0 40 40 40 40 40 0 40 116 468 0 40 0 0 0 40 40 0 0 0 40 40 40 40 0 40 40 0 0 0 40 0 0 0 0 40 40 0 0 40 40 40 40 0 40 0 0 0 40 40 0 40 40 0 0 240 40 40 40 40 40 0 40 40 76 40 0 40 116 40 0 0 72 40 40 40 280 0 0 0 0 40 0 40 40 40 40 40 40 40 40 40 0 40 0 40 0 0 0 0 40 40 0 76 40 40 40 0 40 40 36 36 36 36 0 0 76 40 72 204 332 0 0 40 0 0 0 40 40 76 40 36 204 40 76 36 40 40 0 40 320 40 40 0 44 40 40 40 0 40 40 40 0 88 252 0 328 40 40 40 0 0 40 40 40 320 40 0 0 0 40 40 408 0 0 40 0 0 0 40 40 40 0 76 0 40 40 0 40 40 0 40 40 0 40 0 40 0 40 0 40 0 40 40 0 40 0 0 76 40 40 204 332 36 32 40 40 40 0 0 40 0 0 0 0 40 40 40 40 0 40 40 0 40 0 0 0 0 0 0 40 40 0 0 0 40 40 40 0 0 0 40 40 40 364 4 4 40 0 0 0 0 40 0 0 0 40 0 40 40 0 0 40 40 40 40 40 0 44 40 0 0 40 0 0 0 0 40 40 0 40 0 40 408 40 40 40 40 40 40 280 0 0 368 0 0 40 36 36 36 36 36 0 40 0 40 0 4 0 76 0 40 40 40 40 40 40 0 0 0 0 76 40 280 0 0 0 0 40 40 40 40 40 0 0 40 0 40 0 200 40 0 76 0 0 0 40 0 40 0 328 40 40 408 40 40 0 40 40 40 0 0 0 40 40 40 0 0 40 40 40 40 40 0 0 0 40 40 40 0 0 0 40 40 40 40 76 0 40 40 40 40 40 0 0 0 40 40 40 40 0 0 0 40 0 40 40 40 0 40 40 0 0 0 40 40 40 80 40 40 0 0 32 0 240 240 280 280 0 320 0 40 0 76 0 76 116 76 76 76 76 0 0 0 0 0 40 40 40 40 0 0 0 0 72 40 0 0 40 40 280 40 40 40 40 40 0 40 40 40 40 0 40 0 40 36 40 0 240 0 40 0 40 428 40 0 368 0 116 76 76 40 0 40 40 40 40 0 0 40 0 0 0 0 0 40 0 40 40 40 40 0 40 40 0 0 0 40 40 0 0 0 0 0 0 40 40 116 0 116 0 0 36 0 0 40 40 40 0 0 4 0 36 0 40 320 0 40 40 0 40 40 40 40 40 40 40 40 40 40 0 40 76 368 0 388 40 280 0 0 40 76 36 36 36 0 0 40 0 0 0 0 428 40 280 40 40 40 0 72 0 40 76 0 0 0 40 0 0 0 0 40 0 36 0 0 40 40 40 40 0 40 40 40 40 0 0 0 40 0 0 40 0 280 240 280 0 40 240 0 0 320 0 40 328 328 368 0 40 40 0 40 40 40 40 40 80 40 0 40 0 40 0 0 40 40 40 40 40 40 0 40 0 40 40 40 0 0 40 40 36 40 40 240 40 40 0 240 40 40 0 0 0 40 40 40 40 0 40 0 0 40 40 40 0 0 40 0 0 0 0 468 0 0 40 0 0 0 40 0 40 36 0 0 40 40 0 0 0 0 40 0 0 40 40 40 40 40 0 40 240 40 72 0 0 0 0 40 0 40 0 116 76 40 40 0 40 0 0 76 116 0 0 40 0 40 0 40 40 76 0 40 40 0 368 0 40 40 40 40 40 40 0 0 0 40 40 0 0 0 240 40 40 0 0 116 0 0 40 40 40 40 0 0 0 0 0 0 0 0 0 428 0 40 0 40 40 0 40 40 0 0 0 0 280 408 240 0 0 40 0 0 0 72 0 0 0 0 40 40 0 40 0 0 0 4 0 40 40 40 0 0 368 36 40 0 0 0 0 0 0 368 40 0 40 40 44 0 0 0 0 0 40 0 0 40 40 80 32 0 280 280 0 0 0 0 0 368 0 0 0 0 4 0 0 0 428 240 240 388 388 428 4 368 76 0 0 </values>
2754.73/2520.01	v </instantiation>
2754.73/2520.01	c Unexpected resolution interruption!

Verifier Data 

OK	188778603

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394393-1568448399/watcher-4394393-1568448399 -o /tmp/evaluation-result-4394393-1568448399/solver-4394393-1568448399 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568437422-2898 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 117423300 HOME/instance-4394393-1568448399.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=5643, runsolver pid=5640
Current StackSize limit: 8192 KiB


[startup+0.100119 s]*
/proc/loadavg: 7.21 7.84 7.39 2/212 5664
/proc/meminfo: memFree=30766700/32770624 swapFree=66967076/67108860
[pid=5643] ppid=5640 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5643/stat : 5643 (xcsp3-exec) S 5640 5643 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421106737 115843072 363 33554432000 4194304 5098028 140725207729200 140725207727304 139691743826556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26611712 140725207737206 140725207737449 140725207737449 140725207740362 0
/proc/5643/statm: 28282 363 304 221 0 87 0
[pid=5645] ppid=5643 vsize=28227388 memory=30208 CPUtime=0.12 cores=0-7
/proc/5645/stat : 5645 (java) S 5643 5643 2871 0 -1 1077944320 5945 0 0 0 11 1 0 0 20 0 20 0 421106738 28904845312 7552 33554432000 4194304 4196468 140732004587040 140732004569584 139857965018871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
/proc/5645/statm: 7056847 7552 3147 1 0 7019032 0
[pid=5645/tid=5646] ppid=5643 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/5645/task/5646/stat : 5646 (java) R 5643 5643 2871 0 -1 4202560 3873 0 0 0 8 1 0 0 20 0 20 0 421106738 28904845312 7552 33554432000 4194304 4196468 140732004587040 139857969251136 139857965040797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5647] ppid=5643 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5645/task/5647/stat : 5647 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 7552 33554432000 4194304 4196468 140732004587040 139857917639184 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5648] ppid=5643 vsize=28227388 memory=140062969734784 CPUtime=0 cores=0-7
/proc/5645/task/5648/stat : 5648 (java) S 5643 5643 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 7552 33554432000 4194304 4196468 140732004587040 139857916586640 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5649] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5649/stat : 5649 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 7552 33554432000 4194304 4196468 140732004587040 139857915533584 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5650] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5650/stat : 5650 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 7552 33554432000 4194304 4196468 140732004587040 139857914481040 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5651] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5651/stat : 5651 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 7552 33554432000 4194304 4196468 140732004587040 139857913429008 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5652] ppid=5643 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5645/task/5652/stat : 5652 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 7552 33554432000 4194304 4196468 140732004587040 139857912376464 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5653] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5653/stat : 5653 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 7552 33554432000 4194304 4196468 140732004587040 139857911323408 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5654] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5654/stat : 5654 (java) S 5643 5643 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 7552 33554432000 4194304 4196468 140732004587040 139857910270864 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5655] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5655/stat : 5655 (java) S 5643 5643 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421106740 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856160196848 139857965030018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5656] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5656/stat : 5656 (java) S 5643 5643 2871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421106741 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856159143072 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5657] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5657/stat : 5657 (java) S 5643 5643 2871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421106741 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856158089968 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5658] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5658/stat : 5658 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106743 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856157038544 139857965037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5659] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5659/stat : 5659 (java) S 5643 5643 2871 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 20 0 421106743 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856155986672 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5660] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5660/stat : 5660 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106743 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856154934128 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5661] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5661/stat : 5661 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106743 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856153881072 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5662] ppid=5643 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/5645/task/5662/stat : 5662 (java) S 5643 5643 2871 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 20 0 421106743 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856152828528 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5663] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5663/stat : 5663 (java) S 5643 5643 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421106744 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856151775712 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5664] ppid=5643 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5645/task/5664/stat : 5664 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106744 28904845312 7552 33554432000 4194304 4196468 140732004587040 139856150723248 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31660 KiB

[startup+0.210634 s]*
/proc/loadavg: 7.21 7.84 7.39 3/212 5664
/proc/meminfo: memFree=30754084/32770624 swapFree=66967076/67108860
[pid=5643] ppid=5640 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5643/stat : 5643 (xcsp3-exec) S 5640 5643 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421106737 115843072 363 33554432000 4194304 5098028 140725207729200 140725207727304 139691743826556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26611712 140725207737206 140725207737449 140725207737449 140725207740362 0
/proc/5643/statm: 28282 363 304 221 0 87 0
[pid=5645] ppid=5643 vsize=28227388 memory=41144 CPUtime=0.33 cores=0-7
/proc/5645/stat : 5645 (java) S 5643 5643 2871 0 -1 1077944320 9489 0 0 0 30 3 0 0 20 0 20 0 421106738 28904845312 10286 33554432000 4194304 4196468 140732004587040 140732004569584 139857965018871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
/proc/5645/statm: 7056847 10286 3278 1 0 7019032 0
[pid=5645/tid=5646] ppid=5643 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5645/task/5646/stat : 5646 (java) R 5643 5643 2871 0 -1 4202560 6696 0 0 0 17 2 0 0 20 0 20 0 421106738 28904845312 10286 33554432000 4194304 4196468 140732004587040 139857969249424 139857573740988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5647] ppid=5643 vsize=28227388 memory=339 CPUtime=0 cores=0-7
/proc/5645/task/5647/stat : 5647 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 10286 33554432000 4194304 4196468 140732004587040 139857917639184 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5648] ppid=5643 vsize=28227388 memory=3906786473068897952 CPUtime=0 cores=0-7
/proc/5645/task/5648/stat : 5648 (java) S 5643 5643 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 10286 33554432000 4194304 4196468 140732004587040 139857916586640 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5649] ppid=5643 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5645/task/5649/stat : 5649 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 10286 33554432000 4194304 4196468 140732004587040 139857915533584 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5650] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5650/stat : 5650 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 10286 33554432000 4194304 4196468 140732004587040 139857914481040 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5651] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5651/stat : 5651 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 10286 33554432000 4194304 4196468 140732004587040 139857913429008 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5652] ppid=5643 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5645/task/5652/stat : 5652 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 10286 33554432000 4194304 4196468 140732004587040 139857912376464 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5653] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5653/stat : 5653 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 10286 33554432000 4194304 4196468 140732004587040 139857911323408 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5654] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5654/stat : 5654 (java) S 5643 5643 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421106739 28904845312 10286 33554432000 4194304 4196468 140732004587040 139857910270864 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5655] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5655/stat : 5655 (java) S 5643 5643 2871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421106740 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856160196848 139857965030018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5656] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5656/stat : 5656 (java) S 5643 5643 2871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421106741 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856159143072 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5657] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5657/stat : 5657 (java) S 5643 5643 2871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421106741 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856158089968 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5658] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5658/stat : 5658 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106743 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856157038544 139857965037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5659] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5659/stat : 5659 (java) S 5643 5643 2871 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 421106743 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856155986672 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5660] ppid=5643 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/5645/task/5660/stat : 5660 (java) R 5643 5643 2871 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 421106743 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856154934224 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5661] ppid=5643 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/5645/task/5661/stat : 5661 (java) R 5643 5643 2871 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 421106743 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856153881072 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5662] ppid=5643 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/5645/task/5662/stat : 5662 (java) R 5643 5643 2871 0 -1 4202560 745 0 0 0 8 0 0 0 20 0 20 0 421106743 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856152828528 139857965030806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5663] ppid=5643 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5663/stat : 5663 (java) S 5643 5643 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421106744 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856151775712 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5664] ppid=5643 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5645/task/5664/stat : 5664 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106744 28904845312 10286 33554432000 4194304 4196468 140732004587040 139856150723248 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42596 KiB

[startup+0.310639 s]*
/proc/loadavg: 7.21 7.84 7.39 4/212 5664
/proc/meminfo: memFree=30747296/32770624 swapFree=66967076/67108860
[pid=5643] ppid=5640 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5643/stat : 5643 (xcsp3-exec) S 5640 5643 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421106737 115843072 363 33554432000 4194304 5098028 140725207729200 140725207727304 139691743826556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26611712 140725207737206 140725207737449 140725207737449 140725207740362 0
/proc/5643/statm: 28282 363 304 221 0 87 0
[pid=5645] ppid=5643 vsize=28231644 memory=50292 CPUtime=0.52 cores=0-7
/proc/5645/stat : 5645 (java) S 5643 5643 2871 0 -1 1077944320 10863 0 0 0 48 4 0 0 20 0 20 0 421106738 28909203456 12573 33554432000 4194304 4196468 140732004587040 140732004569584 139857965018871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
/proc/5645/statm: 7057911 12573 3368 1 0 7019032 0
[pid=5645/tid=5646] ppid=5643 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5645/task/5646/stat : 5646 (java) R 5643 5643 2871 0 -1 4202560 7832 0 0 0 26 3 0 0 20 0 20 0 421106738 28909203456 12573 33554432000 4194304 4196468 140732004587040 139857969249984 139857949099358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5647] ppid=5643 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5647/stat : 5647 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28909203456 12573 33554432000 4194304 4196468 140732004587040 139857917639184 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5648] ppid=5643 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5648/stat : 5648 (java) S 5643 5643 2871 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421106739 28909203456 12573 33554432000 4194304 4196468 140732004587040 139857916586640 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5649] ppid=5643 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5649/stat : 5649 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28909203456 12573 33554432000 4194304 4196468 140732004587040 139857915533584 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5650] ppid=5643 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5650/stat : 5650 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28909203456 12573 33554432000 4194304 4196468 140732004587040 139857914481040 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5651] ppid=5643 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5651/stat : 5651 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28909203456 12573 33554432000 4194304 4196468 140732004587040 139857913429008 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5652] ppid=5643 vsize=28231644 memory=140062843038383 CPUtime=0 cores=0-7
/proc/5645/task/5652/stat : 5652 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28909203456 12573 33554432000 4194304 4196468 140732004587040 139857912376464 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5653] ppid=5643 vsize=28231644 memory=140062843040688 CPUtime=0 cores=0-7
/proc/5645/task/5653/stat : 5653 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106739 28909203456 12573 33554432000 4194304 4196468 140732004587040 139857911323408 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5654] ppid=5643 vsize=28231644 memory=140062843042992 CPUtime=0 cores=0-7
/proc/5645/task/5654/stat : 5654 (java) S 5643 5643 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421106739 28909203456 12573 33554432000 4194304 4196468 140732004587040 139857910270864 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5655] ppid=5643 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5655/stat : 5655 (java) S 5643 5643 2871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421106740 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856160196848 139857965030018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5656] ppid=5643 vsize=28231644 memory=280125686099856 CPUtime=0 cores=0-7
/proc/5645/task/5656/stat : 5656 (java) S 5643 5643 2871 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421106741 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856159143072 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5657] ppid=5643 vsize=28231644 memory=280125686097552 CPUtime=0 cores=0-7
/proc/5645/task/5657/stat : 5657 (java) S 5643 5643 2871 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421106741 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856158089968 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5658] ppid=5643 vsize=28231644 memory=280125686104464 CPUtime=0 cores=0-7
/proc/5645/task/5658/stat : 5658 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106743 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856157038544 139857965037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5659] ppid=5643 vsize=28231644 memory=280125686045744 CPUtime=0.02 cores=0-7
/proc/5645/task/5659/stat : 5659 (java) S 5643 5643 2871 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 20 0 421106743 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856155986672 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5660] ppid=5643 vsize=28231644 memory=280125686118288 CPUtime=0.02 cores=0-7
/proc/5645/task/5660/stat : 5660 (java) S 5643 5643 2871 0 -1 1077944384 205 0 0 0 2 0 0 0 20 0 20 0 421106743 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856154934128 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5661] ppid=5643 vsize=28231644 memory=280125686125200 CPUtime=0.03 cores=0-7
/proc/5645/task/5661/stat : 5661 (java) R 5643 5643 2871 0 -1 4202560 194 0 0 0 3 0 0 0 20 0 20 0 421106743 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856153867616 139857946563030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5662] ppid=5643 vsize=28231644 memory=280125686122896 CPUtime=0.12 cores=0-7
/proc/5645/task/5662/stat : 5662 (java) S 5643 5643 2871 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 421106743 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856152828528 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5663] ppid=5643 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5645/task/5663/stat : 5663 (java) S 5643 5643 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421106744 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856151775712 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5664] ppid=5643 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/5645/task/5664/stat : 5664 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421106744 28909203456 12573 33554432000 4194304 4196468 140732004587040 139856150723248 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51744 KiB

[startup+0.709347 s]
/proc/loadavg: 7.21 7.84 7.39 3/212 5664
/proc/meminfo: memFree=30648956/32770624 swapFree=66967076/67108860
[pid=5643] ppid=5640 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5643/stat : 5643 (xcsp3-exec) S 5640 5643 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421106737 115843072 363 33554432000 4194304 5098028 140725207729200 140725207727304 139691743826556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26611712 140725207737206 140725207737449 140725207737449 140725207740362 0
/proc/5643/statm: 28282 363 304 221 0 87 0
[pid=5645] ppid=5643 vsize=28231720 memory=300052 CPUtime=1.92 cores=0-7
/proc/5645/stat : 5645 (java) S 5643 5643 2871 0 -1 1077944320 15508 0 0 0 156 36 0 0 20 0 20 0 421106738 28909281280 75013 33554432000 4194304 4196468 140732004587040 140732004569584 139857965018871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
/proc/5645/statm: 7057930 75013 3437 1 0 7019032 0
[pid=5645/tid=5646] ppid=5643 vsize=28231720 memory=0 CPUtime=0.62 cores=0-7
/proc/5645/task/5646/stat : 5646 (java) R 5643 5643 2871 0 -1 4202560 8343 0 0 0 56 6 0 0 20 0 20 0 421106738 28909281280 75013 33554432000 4194304 4196468 140732004587040 139857969254184 139857965040797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5647] ppid=5643 vsize=28231720 memory=140062843249520 CPUtime=0.04 cores=0-7
/proc/5645/task/5647/stat : 5647 (java) S 5643 5643 2871 0 -1 1077944384 45 0 0 0 1 3 0 0 20 0 20 0 421106739 28909281280 75013 33554432000 4194304 4196468 140732004587040 139857917639184 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5648] ppid=5643 vsize=28231720 memory=0 CPUtime=0.05 cores=0-7
/proc/5645/task/5648/stat : 5648 (java) S 5643 5643 2871 0 -1 1077944384 62 0 0 0 1 4 0 0 20 0 20 0 421106739 28909281280 75013 33554432000 4194304 4196468 140732004587040 139857916586640 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5649] ppid=5643 vsize=28231720 memory=1192 CPUtime=0.05 cores=0-7
/proc/5645/task/5649/stat : 5649 (java) S 5643 5643 2871 0 -1 1077944384 61 0 0 0 2 3 0 0 20 0 20 0 421106739 28909281280 75013 33554432000 4194304 4196468 140732004587040 139857915533584 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0

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

[pid=5645/tid=6976] ppid=5643 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/5645/task/6976/stat : 6976 (java) S 5643 5643 2871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855691150544 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
Current children cumulated CPU time: 2676.99 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 15181996 KiB

[startup+2502.3 s]
/proc/loadavg: 1.01 1.10 1.53 2/219 6992
/proc/meminfo: memFree=15586808/32770624 swapFree=66967080/67108860
[pid=5643] ppid=5640 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5643/stat : 5643 (xcsp3-exec) S 5640 5643 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421106737 115843072 363 33554432000 4194304 5098028 140725207729200 140725207727304 139691743826556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26611712 140725207737206 140725207737449 140725207737449 140725207740362 0
/proc/5643/statm: 28282 363 304 221 0 87 0
[pid=5645] ppid=5643 vsize=28768328 memory=15180544 CPUtime=2737.02 cores=0-7
/proc/5645/stat : 5645 (java) S 5643 5643 2871 0 -1 1077944320 826991 0 0 0 270660 3042 0 0 20 0 28 0 421106738 29458767872 3795136 33554432000 4194304 4196468 140732004587040 140732004569584 139857965018871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
/proc/5645/statm: 7192082 3795136 3557 1 0 7153184 0
[pid=5645/tid=5646] ppid=5643 vsize=28768328 memory=15180544 CPUtime=72.55 cores=0-7
/proc/5645/task/5646/stat : 5646 (java) S 5643 5643 2871 0 -1 1077944384 51068 0 0 0 7122 133 0 0 20 0 28 0 421106738 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857969259680 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5647] ppid=5643 vsize=28768328 memory=15180544 CPUtime=21.37 cores=0-7
/proc/5645/task/5647/stat : 5647 (java) S 5643 5643 2871 0 -1 1077944384 62587 0 0 0 1797 340 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857917639184 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5648] ppid=5643 vsize=28768328 memory=15180544 CPUtime=21.5 cores=0-7
/proc/5645/task/5648/stat : 5648 (java) S 5643 5643 2871 0 -1 1077944384 47053 0 0 0 1818 332 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857916586640 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5649] ppid=5643 vsize=28768328 memory=15180544 CPUtime=21.35 cores=0-7
/proc/5645/task/5649/stat : 5649 (java) S 5643 5643 2871 0 -1 1077944384 62010 0 0 0 1818 317 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857915533584 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5650] ppid=5643 vsize=28768328 memory=15180544 CPUtime=21.55 cores=0-7
/proc/5645/task/5650/stat : 5650 (java) S 5643 5643 2871 0 -1 1077944384 72526 0 0 0 1819 336 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857914481040 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5651] ppid=5643 vsize=28768328 memory=15180544 CPUtime=21.44 cores=0-7
/proc/5645/task/5651/stat : 5651 (java) S 5643 5643 2871 0 -1 1077944384 50685 0 0 0 1814 330 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857913429008 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5652] ppid=5643 vsize=28768328 memory=1452 CPUtime=21.41 cores=0-7
/proc/5645/task/5652/stat : 5652 (java) S 5643 5643 2871 0 -1 1077944384 59444 0 0 0 1820 321 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857912376464 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5653] ppid=5643 vsize=28768328 memory=15180544 CPUtime=21.31 cores=0-7
/proc/5645/task/5653/stat : 5653 (java) S 5643 5643 2871 0 -1 1077944384 43085 0 0 0 1800 331 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857911323408 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5654] ppid=5643 vsize=28768328 memory=15180544 CPUtime=21.37 cores=0-7
/proc/5645/task/5654/stat : 5654 (java) S 5643 5643 2871 0 -1 1077944384 43104 0 0 0 1818 319 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857910270864 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5655] ppid=5643 vsize=28768328 memory=15180544 CPUtime=1.08 cores=0-7
/proc/5645/task/5655/stat : 5655 (java) S 5643 5643 2871 0 -1 1077944384 40078 0 0 0 95 13 0 0 20 0 28 0 421106740 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856160196848 139857965030018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5656] ppid=5643 vsize=28768328 memory=15180544 CPUtime=0 cores=0-7
/proc/5645/task/5656/stat : 5656 (java) S 5643 5643 2871 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 421106741 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856159143136 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5657] ppid=5643 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/5645/task/5657/stat : 5657 (java) S 5643 5643 2871 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 421106741 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856158089984 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5658] ppid=5643 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/5645/task/5658/stat : 5658 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856157038544 139857965037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5659] ppid=5643 vsize=28768328 memory=1452 CPUtime=5.5 cores=0-7
/proc/5645/task/5659/stat : 5659 (java) S 5643 5643 2871 0 -1 1077944384 35988 0 0 0 543 7 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856155986672 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5660] ppid=5643 vsize=28768328 memory=1452 CPUtime=5.17 cores=0-7
/proc/5645/task/5660/stat : 5660 (java) S 5643 5643 2871 0 -1 1077944384 34923 0 0 0 512 5 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856154934128 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5661] ppid=5643 vsize=28768328 memory=1452 CPUtime=6.04 cores=0-7
/proc/5645/task/5661/stat : 5661 (java) S 5643 5643 2871 0 -1 1077944384 45262 0 0 0 597 7 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856153881072 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5662] ppid=5643 vsize=28768328 memory=15180544 CPUtime=1.41 cores=0-7
/proc/5645/task/5662/stat : 5662 (java) S 5643 5643 2871 0 -1 1077944384 27193 0 0 0 134 7 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856152828528 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5663] ppid=5643 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/5645/task/5663/stat : 5663 (java) S 5643 5643 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421106744 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856151775712 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5664] ppid=5643 vsize=28768328 memory=1452 CPUtime=0.97 cores=0-7
/proc/5645/task/5664/stat : 5664 (java) S 5643 5643 2871 0 -1 1077944384 9127 0 0 0 39 58 0 0 20 0 28 0 421106744 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856150723248 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6969] ppid=5643 vsize=28768328 memory=15180544 CPUtime=0.03 cores=0-7
/proc/5645/task/6969/stat : 6969 (java) S 5643 5643 2871 0 -1 1077944384 19 0 0 0 3 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855692201360 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6970] ppid=5643 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/5645/task/6970/stat : 6970 (java) S 5643 5643 2871 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855697466320 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6971] ppid=5643 vsize=28768328 memory=1804 CPUtime=0 cores=0-7
/proc/5645/task/6971/stat : 6971 (java) S 5643 5643 2871 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855696414288 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6972] ppid=5643 vsize=28768328 memory=920 CPUtime=250.26 cores=0-7
/proc/5645/task/6972/stat : 6972 (java) R 5643 5643 2871 0 -1 4202560 9746 0 0 0 25020 6 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855694302928 139857576416685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6973] ppid=5643 vsize=28768328 memory=1452 CPUtime=0.26 cores=0-7
/proc/5645/task/6973/stat : 6973 (java) S 5643 5643 2871 0 -1 1077944384 20 0 0 0 26 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855695361360 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6974] ppid=5643 vsize=28768328 memory=1452 CPUtime=0.26 cores=0-7
/proc/5645/task/6974/stat : 6974 (java) S 5643 5643 2871 0 -1 1077944384 20 0 0 0 26 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855690098128 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6975] ppid=5643 vsize=28768328 memory=15180544 CPUtime=0 cores=0-7
/proc/5645/task/6975/stat : 6975 (java) S 5643 5643 2871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855693255760 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6976] ppid=5643 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/5645/task/6976/stat : 6976 (java) S 5643 5643 2871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855691150544 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
Current children cumulated CPU time: 2737.02 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 15181996 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.01 1.09 1.52 2/219 6993
/proc/meminfo: memFree=15586840/32770624 swapFree=66967080/67108860
[pid=5643] ppid=5640 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5643/stat : 5643 (xcsp3-exec) S 5640 5643 2871 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421106737 115843072 363 33554432000 4194304 5098028 140725207729200 140725207727304 139691743826556 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26611712 140725207737206 140725207737449 140725207737449 140725207740362 0
/proc/5643/statm: 28282 363 304 221 0 87 0
[pid=5645] ppid=5643 vsize=28768328 memory=15180544 CPUtime=2754.73 cores=0-7
/proc/5645/stat : 5645 (java) S 5643 5643 2871 0 -1 1077944320 827568 0 0 0 272431 3042 0 0 20 0 28 0 421106738 29458767872 3795136 33554432000 4194304 4196468 140732004587040 140732004569584 139857965018871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
/proc/5645/statm: 7192082 3795136 3557 1 0 7153184 0
[pid=5645/tid=5646] ppid=5643 vsize=28768328 memory=1192 CPUtime=72.55 cores=0-7
/proc/5645/task/5646/stat : 5646 (java) S 5643 5643 2871 0 -1 1077944384 51068 0 0 0 7122 133 0 0 20 0 28 0 421106738 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857969259680 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5647] ppid=5643 vsize=28768328 memory=940 CPUtime=21.37 cores=0-7
/proc/5645/task/5647/stat : 5647 (java) S 5643 5643 2871 0 -1 1077944384 62587 0 0 0 1797 340 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857917639184 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5648] ppid=5643 vsize=28768328 memory=4126316290023845779 CPUtime=21.5 cores=0-7
/proc/5645/task/5648/stat : 5648 (java) S 5643 5643 2871 0 -1 1077944384 47053 0 0 0 1818 332 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857916586640 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5649] ppid=5643 vsize=28768328 memory=11824 CPUtime=21.35 cores=0-7
/proc/5645/task/5649/stat : 5649 (java) S 5643 5643 2871 0 -1 1077944384 62010 0 0 0 1818 317 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857915533584 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5650] ppid=5643 vsize=28768328 memory=20188 CPUtime=21.55 cores=0-7
/proc/5645/task/5650/stat : 5650 (java) S 5643 5643 2871 0 -1 1077944384 72526 0 0 0 1819 336 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857914481040 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5651] ppid=5643 vsize=28768328 memory=2120 CPUtime=21.44 cores=0-7
/proc/5645/task/5651/stat : 5651 (java) S 5643 5643 2871 0 -1 1077944384 50685 0 0 0 1814 330 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857913429008 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5652] ppid=5643 vsize=28768328 memory=500 CPUtime=21.41 cores=0-7
/proc/5645/task/5652/stat : 5652 (java) S 5643 5643 2871 0 -1 1077944384 59444 0 0 0 1820 321 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857912376464 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5653] ppid=5643 vsize=28768328 memory=1556 CPUtime=21.31 cores=0-7
/proc/5645/task/5653/stat : 5653 (java) S 5643 5643 2871 0 -1 1077944384 43085 0 0 0 1800 331 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857911323408 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5654] ppid=5643 vsize=28768328 memory=8112282956445269571 CPUtime=21.37 cores=0-7
/proc/5645/task/5654/stat : 5654 (java) S 5643 5643 2871 0 -1 1077944384 43104 0 0 0 1818 319 0 0 20 0 28 0 421106739 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139857910270864 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5655] ppid=5643 vsize=28768328 memory=780 CPUtime=1.08 cores=0-7
/proc/5645/task/5655/stat : 5655 (java) S 5643 5643 2871 0 -1 1077944384 40087 0 0 0 95 13 0 0 20 0 28 0 421106740 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856160196848 139857965030018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5656] ppid=5643 vsize=28768328 memory=1552 CPUtime=0 cores=0-7
/proc/5645/task/5656/stat : 5656 (java) S 5643 5643 2871 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 421106741 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856159143136 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5657] ppid=5643 vsize=28768328 memory=2832 CPUtime=0 cores=0-7
/proc/5645/task/5657/stat : 5657 (java) S 5643 5643 2871 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 28 0 421106741 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856158089984 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5658] ppid=5643 vsize=28768328 memory=1192 CPUtime=0 cores=0-7
/proc/5645/task/5658/stat : 5658 (java) S 5643 5643 2871 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856157038544 139857965037467 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5659] ppid=5643 vsize=28768328 memory=940 CPUtime=5.5 cores=0-7
/proc/5645/task/5659/stat : 5659 (java) S 5643 5643 2871 0 -1 1077944384 35991 0 0 0 543 7 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856155986672 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5660] ppid=5643 vsize=28768328 memory=14008 CPUtime=5.17 cores=0-7
/proc/5645/task/5660/stat : 5660 (java) S 5643 5643 2871 0 -1 1077944384 34934 0 0 0 512 5 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856154934128 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5661] ppid=5643 vsize=28768328 memory=1452 CPUtime=6.04 cores=0-7
/proc/5645/task/5661/stat : 5661 (java) S 5643 5643 2871 0 -1 1077944384 45265 0 0 0 597 7 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856153881072 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5662] ppid=5643 vsize=28768328 memory=15180544 CPUtime=1.41 cores=0-7
/proc/5645/task/5662/stat : 5662 (java) S 5643 5643 2871 0 -1 1077944384 27200 0 0 0 134 7 0 0 20 0 28 0 421106743 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856152828528 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5663] ppid=5643 vsize=28768328 memory=1732 CPUtime=0 cores=0-7
/proc/5645/task/5663/stat : 5663 (java) S 5643 5643 2871 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421106744 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856151775712 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=5664] ppid=5643 vsize=28768328 memory=8317482817917895235 CPUtime=0.97 cores=0-7
/proc/5645/task/5664/stat : 5664 (java) S 5643 5643 2871 0 -1 1077944384 9166 0 0 0 39 58 0 0 20 0 28 0 421106744 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139856150723248 139857965030018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6969] ppid=5643 vsize=28768328 memory=4126316290023845779 CPUtime=0.03 cores=0-7
/proc/5645/task/6969/stat : 6969 (java) S 5643 5643 2871 0 -1 1077944384 19 0 0 0 3 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855692201360 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6970] ppid=5643 vsize=28768328 memory=1412 CPUtime=0 cores=0-7
/proc/5645/task/6970/stat : 6970 (java) S 5643 5643 2871 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855697466320 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6971] ppid=5643 vsize=28768328 memory=4752 CPUtime=0 cores=0-7
/proc/5645/task/6971/stat : 6971 (java) S 5643 5643 2871 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855696414288 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6972] ppid=5643 vsize=28768328 memory=111632 CPUtime=267.96 cores=0-7
/proc/5645/task/6972/stat : 6972 (java) R 5643 5643 2871 0 -1 4202560 10251 0 0 0 26790 6 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855694302928 139857578886815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6973] ppid=5643 vsize=28768328 memory=804 CPUtime=0.26 cores=0-7
/proc/5645/task/6973/stat : 6973 (java) S 5643 5643 2871 0 -1 1077944384 20 0 0 0 26 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855695361360 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6974] ppid=5643 vsize=28768328 memory=1804 CPUtime=0.26 cores=0-7
/proc/5645/task/6974/stat : 6974 (java) S 5643 5643 2871 0 -1 1077944384 20 0 0 0 26 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855690098128 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6975] ppid=5643 vsize=28768328 memory=920 CPUtime=0 cores=0-7
/proc/5645/task/6975/stat : 6975 (java) S 5643 5643 2871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855693255760 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
[pid=5645/tid=6976] ppid=5643 vsize=28768328 memory=4884 CPUtime=0 cores=0-7
/proc/5645/task/6976/stat : 6976 (java) S 5643 5643 2871 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 421331942 29458767872 3795136 33554432000 4194304 4196468 140732004587040 139855691150544 139857965029077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37556224 140732004594666 140732004594838 140732004594838 140732004597711 0
Current children cumulated CPU time: 2754.73 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 15181996 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 2754.85
CPU user time (s): 2724.33
CPU system time (s): 30.5233
CPU usage (%): 109.315
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 15364604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2724.33
system time used= 30.5233
maximum resident set size= 15363300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 829235
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90489
involuntary context switches= 5031


# summary of solver processes directly reported to runsolver:
#   pid: 5643,5645
#   total CPU time (s): 2754.85
#   total CPU user time (s): 2724.33
#   total CPU system time (s): 30.5233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0648 second user time and 30.5788 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-14 10:05:57
IDJOB=4394393
IDBENCH=141276
IDSOLVER=2843
FILE ID=node125/4394393-1568448399
RUNJOBID= node125-1568437422-2898
PBS_JOBID= 21702322
Free space on /tmp= 59708 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_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-4394393-1568448399/watcher-4394393-1568448399 -o /tmp/evaluation-result-4394393-1568448399/solver-4394393-1568448399 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568437422-2898 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 117423300 HOME/instance-4394393-1568448399.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=117423300

node125.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.29
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.29
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.29
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.29
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:        30783588 kB
MemAvailable:   31870400 kB
Buffers:          159724 kB
Cached:          1218164 kB
SwapCached:        38356 kB
Active:           755700 kB
Inactive:         664504 kB
Active(anon):      21616 kB
Inactive(anon):    60880 kB
Active(file):     734084 kB
Inactive(file):   603624 kB
Unevictable:      108024 kB
Mlocked:          108024 kB
SwapTotal:      67108860 kB
SwapFree:       66967076 kB
Dirty:             97264 kB
Writeback:            16 kB
AnonPages:        114012 kB
Mapped:            44384 kB
Shmem:             31296 kB
Slab:             158652 kB
SReclaimable:     129880 kB
SUnreclaim:        28772 kB
KernelStack:        3392 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59684 MiB
End job on node125 at 2019-09-14 10:47:57