Trace number 4400353

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16SAT (TO)188728062 2400.12 2335.96

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400353-1568697685.xml"  -tl '2400s' -p 4
0.14/0.18	c Choco e747e1e
0.14/0.18	c [HOME/instance-4400353-1568697685.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
69.60/43.13	c solve instance...
80.10/45.84	o 189094589 
80.10/45.85	o 189081953 
80.10/45.87	o 189081952 
80.10/45.88	o 189081951 
80.43/45.90	o 189081950 
80.43/45.93	o 189081949 
81.01/46.19	o 189069313 
81.01/46.20	o 189069312 
81.16/46.21	o 189069311 
81.16/46.22	o 189069310 
81.16/46.23	o 189069309 
81.67/46.49	o 189056673 
81.89/46.50	o 189056672 
82.28/46.74	o 189056671 
82.28/46.75	o 189056670 
82.28/46.76	o 189056669 
82.75/47.01	o 189044033 
82.75/47.01	o 189044032 
82.75/47.02	o 189044031 
82.75/47.03	o 189044030 
82.75/47.04	o 189044029 
83.51/47.35	o 189031393 
83.51/47.35	o 189031392 
83.51/47.36	o 189031391 
97.73/51.10	o 189031390 
97.85/51.11	o 189031389 
98.14/51.36	o 189018753 
98.76/51.90	o 189018752 
98.99/52.14	o 189018751 
98.99/52.14	o 189018750 
98.99/52.15	o 189018749 
100.08/52.69	o 189006113 
102.67/54.35	o 189006112 
102.67/54.36	o 188993483 
104.92/55.99	o 188993473 
379.78/330.35	o 188993472 
379.78/330.36	o 188993471 
380.34/330.64	o 188993470 
380.58/330.89	o 188993469 
380.98/331.14	o 188980833 
381.18/331.38	o 188980832 
381.49/331.63	o 188980831 
381.72/331.88	o 188980830 
382.05/332.13	o 188980829 
382.34/332.38	o 188968193 
382.65/332.62	o 188968192 
382.85/332.87	o 188968191 
384.33/333.61	o 188968190 
384.33/333.62	o 188968189 
384.91/334.13	o 188955553 
384.91/334.15	o 188955552 
384.91/334.15	o 188955551 
385.24/334.40	o 188955550 
385.47/334.66	o 188955549 
385.47/334.68	o 188942922 
386.03/335.19	o 188942921 
386.33/335.43	o 188942920 
386.54/335.68	o 188942919 
386.86/335.93	o 188942918 
387.11/336.18	o 188942913 
387.11/336.18	o 188942912 
387.42/336.43	o 188942911 
387.94/336.94	o 188942910 
387.94/336.95	o 188942909 
387.94/336.99	o 188930273 
388.36/337.23	o 188930272 
388.36/337.24	o 188930271 
388.36/337.25	o 188930270 
388.60/337.48	o 188930269 
391.35/339.61	o 188917633 
391.35/339.63	o 188917632 
718.41/666.25	o 188917631 
718.41/666.26	o 188917630 
718.74/666.55	o 188917629 
719.29/666.82	o 188905003 
719.51/667.06	o 188905002 
719.51/667.07	o 188905001 
719.82/667.31	o 188905000 
720.04/667.55	o 188904999 
720.82/668.06	o 188904998 
721.79/668.75	o 188904992 
724.30/670.85	o 188904991 
724.52/671.09	o 188904990 
724.77/671.24	o 188892362 
726.64/673.09	o 188892353 
1081.00/1027.13	o 188892352 
1081.56/1027.63	o 188892351 
1082.67/1028.15	o 188892350 
1083.17/1028.68	o 188892349 
1084.03/1029.19	o 188879722 
1084.32/1029.44	o 188879721 
1084.53/1029.68	o 188879720 
1084.68/1029.76	o 188879719 
1085.06/1030.00	o 188879718 
1085.40/1030.25	o 188879713 
1085.70/1030.50	o 188879712 
1085.91/1030.75	o 188879711 
1086.13/1030.99	o 188879710 
1086.45/1031.24	o 188879709 
1087.24/1031.75	o 188867073 
1087.24/1031.77	o 188867072 
1087.24/1031.78	o 188867071 
1087.81/1032.02	o 188867070 
1088.02/1032.27	o 188867069 
1088.61/1032.52	o 188854433 
1088.61/1032.53	o 188854432 
1088.61/1032.53	o 188854431 
1088.61/1032.54	o 188854430 
1088.61/1032.55	o 188854429 
1089.24/1033.07	o 188841821 
1091.61/1035.11	o 188841793 
1091.61/1035.12	o 188841792 
1091.81/1035.36	o 188829191 
1094.12/1037.24	o 188829163 
1455.39/1398.22	o 188829162 
1455.60/1398.46	o 188829161 
1456.14/1398.76	o 188829160 
1456.37/1399.01	o 188829159 
1456.73/1399.25	o 188829153 
1456.96/1399.49	o 188829152 
1457.06/1399.50	o 188829151 
1457.47/1399.75	o 188829150 
1457.73/1399.99	o 188829149 
1458.14/1400.24	o 188816513 
1458.14/1400.24	o 188816512 
1458.65/1400.55	o 188816511 
1458.65/1400.57	o 188816510 
1458.98/1400.81	o 188816509 
1459.27/1401.06	o 188803883 
1459.56/1401.30	o 188803882 
1459.56/1401.31	o 188803881 
1459.79/1401.55	o 188803880 
1460.10/1401.80	o 188803879 
1460.46/1402.05	o 188803873 
1460.66/1402.29	o 188803872 
1461.27/1402.80	o 188803871 
1463.52/1404.83	o 188803870 
1464.03/1405.34	o 188791242 
1466.47/1407.22	o 188791241 
1824.34/1764.66	o 188791240 
1824.65/1764.90	o 188791239 
1825.47/1765.40	o 188791233 
1825.68/1765.65	o 188791232 
1825.89/1765.90	o 188791231 
1826.21/1766.14	o 188791230 
1826.21/1766.15	o 188791229 
1828.24/1766.96	o 188778613 
1830.53/1768.99	o 188778603 
1830.83/1769.23	o 188778602 
1830.83/1769.24	o 188765983 
1833.08/1771.12	o 188765953 
2192.55/2130.14	o 188765952 
2193.05/2130.65	o 188765951 
2193.26/2130.89	o 188765950 
2194.06/2131.39	o 188765949 
2195.06/2131.91	o 188753323 
2195.06/2131.92	o 188753322 
2195.30/2132.16	o 188753321 
2195.60/2132.41	o 188753320 
2195.82/2132.65	o 188753319 
2196.04/2132.89	o 188753313 
2198.60/2134.96	o 188753312 
2199.11/2135.46	o 188753311 
2199.61/2135.96	o 188740683 
2201.82/2137.81	o 188728062 
2400.05/2335.90	s SATISFIABLE
2400.05/2335.90	v <instantiation>
2400.05/2335.90	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] f[400] f[401] f[402] f[403] f[404] f[405] f[406] f[407] f[408] f[409] f[410] f[411] f[412] f[413] f[414] f[415] f[416] f[417] f[418] f[419] f[420] f[421] f[422] f[423] f[424] f[425] f[426] f[427] f[428] f[429] f[430] f[431] f[432] f[433] f[434] f[435] f[436] f[437] f[438] f[439] f[440] f[441] f[442] f[443] f[444] f[445] f[446] f[447] f[448] f[449] f[450] f[451] f[452] f[453] f[454] f[455] f[456] f[457] f[458] f[459] f[460] f[461] f[462] f[463] f[464] f[465] f[466] f[467] f[468] f[469] f[470] f[471] f[472] f[473] f[474] f[475] f[476] f[477] f[478] f[479] f[480] f[481] f[482] f[483] f[484] f[485] f[486] f[487] f[488] f[489] f[490] f[491] f[492] f[493] f[494] f[495] f[496] f[497] f[498] f[499] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] p[400] p[401] p[402] p[403] p[404] p[405] p[406] p[407] p[408] p[409] p[410] p[411] p[412] p[413] p[414] p[415] p[416] p[417] p[418] p[419] p[420] p[421] p[422] p[423] p[424] p[425] p[426] p[427] p[428] p[429] p[430] p[431] p[432] p[433] p[434] p[435] p[436] p[437] p[438] p[439] p[440] p[441] p[442] p[443] p[444] p[445] p[446] p[447] p[448] p[449] p[450] p[451] p[452] p[453] p[454] p[455] p[456] p[457] p[458] p[459] p[460] p[461] p[462] p[463] p[464] p[465] p[466] p[467] p[468] p[469] p[470] p[471] p[472] p[473] p[474] p[475] p[476] p[477] p[478] p[479] p[480] p[481] p[482] p[483] p[484] p[485] p[486] p[487] p[488] p[489] p[490] p[491] p[492] p[493] p[494] p[495] p[496] p[497] p[498] p[499] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] </list>
2400.05/2335.90	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 2368 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 2408 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 0 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 0 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 0 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 0 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 0 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 0 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 9 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 188 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 148 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 108 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 148 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 148 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 148 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 148 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 108 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>
2400.05/2335.90	v </instantiation>
2400.05/2335.90	c Unexpected resolution interruption!

Verifier Data 

OK	188728062

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400353-1568697685/watcher-4400353-1568697685 -o /tmp/evaluation-result-4400353-1568697685/solver-4400353-1568697685 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568694971-20217 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 939366977 HOME/instance-4400353-1568697685.xml 

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

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

solver pid=22230, runsolver pid=22227

[startup+0.102553 s]*
/proc/loadavg: 6.65 7.81 7.77 6/228 22246
/proc/meminfo: memFree=23869908/32770624 swapFree=66922676/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446037307 115843072 363 33554432000 4194304 5098028 140733503084016 140733503082120 139632084501116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33595392 140733503087483 140733503087725 140733503087725 140733503090634 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=15144776 memory=29652 CPUtime=0.14 cores=1,3,5,7
/proc/22232/stat : 22232 (java) S 22230 22230 20185 0 -1 1077944320 5860 0 0 0 13 1 0 0 20 0 15 0 446037307 15508250624 7413 33554432000 4194304 4196468 140727219227488 140727219210032 139723287662327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
/proc/22232/statm: 3786194 7413 3150 1 0 3748377 0
[pid=22232/tid=22233] ppid=22230 vsize=15144776 memory=-6962121287837372198 CPUtime=0.1 cores=1,3,5,7
/proc/22232/task/22233/stat : 22233 (java) R 22230 22230 20185 0 -1 4202560 3747 0 0 0 9 1 0 0 20 0 15 0 446037307 15508250624 7413 33554432000 4194304 4196468 140727219227488 139723291885024 139723271705957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22234] ppid=22230 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037308 15508250624 7413 33554432000 4194304 4196468 140727219227488 139723215703184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22235] ppid=22230 vsize=15144776 memory=140297275000448 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037308 15508250624 7413 33554432000 4194304 4196468 140727219227488 139723214650384 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22236] ppid=22230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037308 15508250624 7413 33554432000 4194304 4196468 140727219227488 139723213597584 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22237] ppid=22230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446037308 15508250624 7413 33554432000 4194304 4196468 140727219227488 139723212544784 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22238] ppid=22230 vsize=15144776 memory=140297275000448 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446037309 15508250624 7413 33554432000 4194304 4196468 140727219227488 139722755676528 139723287673474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22239] ppid=22230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446037310 15508250624 7413 33554432000 4194304 4196468 140727219227488 139722754622496 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22240] ppid=22230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446037310 15508250624 7413 33554432000 4194304 4196468 140727219227488 139722753569648 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22241] ppid=22230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446037313 15508250624 7413 33554432000 4194304 4196468 140727219227488 139722752517968 139723287680923 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22242] ppid=22230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22242/stat : 22242 (java) R 22230 22230 20185 0 -1 4202560 336 0 0 0 0 0 0 0 20 0 15 0 446037313 15508250624 7413 33554432000 4194304 4196468 140727219227488 139722751466352 139723271188769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22243] ppid=22230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22243/stat : 22243 (java) R 22230 22230 20185 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 446037313 15508250624 7413 33554432000 4194304 4196468 140727219227488 139722750413552 139723287673474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22244] ppid=22230 vsize=15144776 memory=140297275000448 CPUtime=0.02 cores=1,3,5,7
/proc/22232/task/22244/stat : 22244 (java) R 22230 22230 20185 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 446037313 15508250624 7413 33554432000 4194304 4196468 140727219227488 139722749360752 139723266577296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22245] ppid=22230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446037313 15508250624 7413 33554432000 4194304 4196468 140727219227488 139722748308192 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22246] ppid=22230 vsize=15144776 memory=140297275000448 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22246/stat : 22246 (java) R 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037313 15508250624 7413 33554432000 4194304 4196468 140727219227488 139722747255472 139723287673474 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31104 KiB

[startup+0.211055 s]*
/proc/loadavg: 6.65 7.81 7.77 7/228 22246
/proc/meminfo: memFree=23857176/32770624 swapFree=66922676/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446037307 115843072 363 33554432000 4194304 5098028 140733503084016 140733503082120 139632084501116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33595392 140733503087483 140733503087725 140733503087725 140733503090634 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=15144776 memory=40940 CPUtime=0.34 cores=1,3,5,7
/proc/22232/stat : 22232 (java) S 22230 22230 20185 0 -1 1077944320 9467 0 0 0 31 3 0 0 20 0 15 0 446037307 15508250624 10235 33554432000 4194304 4196468 140727219227488 140727219210032 139723287662327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
/proc/22232/statm: 3786194 10235 3304 1 0 3748377 0
[pid=22232/tid=22233] ppid=22230 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22232/task/22233/stat : 22233 (java) R 22230 22230 20185 0 -1 4202560 6649 0 0 0 18 2 0 0 20 0 15 0 446037307 15508250624 10235 33554432000 4194304 4196468 140727219227488 139723291899376 139723280340341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22234] ppid=22230 vsize=15144776 memory=12641 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037308 15508250624 10235 33554432000 4194304 4196468 140727219227488 139723215703184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22235] ppid=22230 vsize=15144776 memory=140297278284319 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037308 15508250624 10235 33554432000 4194304 4196468 140727219227488 139723214650384 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22236] ppid=22230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037308 15508250624 10235 33554432000 4194304 4196468 140727219227488 139723213597584 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22237] ppid=22230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446037308 15508250624 10235 33554432000 4194304 4196468 140727219227488 139723212544784 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22238] ppid=22230 vsize=15144776 memory=140297275000448 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446037309 15508250624 10235 33554432000 4194304 4196468 140727219227488 139722755676528 139723287673474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22239] ppid=22230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446037310 15508250624 10235 33554432000 4194304 4196468 140727219227488 139722754622496 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22240] ppid=22230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446037310 15508250624 10235 33554432000 4194304 4196468 140727219227488 139722753569648 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22241] ppid=22230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446037313 15508250624 10235 33554432000 4194304 4196468 140727219227488 139722752517968 139723287680923 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22242] ppid=22230 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 20185 0 -1 1077944384 447 0 0 0 2 0 0 0 20 0 15 0 446037313 15508250624 10235 33554432000 4194304 4196468 140727219227488 139722751466352 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22243] ppid=22230 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 20185 0 -1 1077944384 321 0 0 0 2 0 0 0 20 0 15 0 446037313 15508250624 10235 33554432000 4194304 4196468 140727219227488 139722750413552 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22244] ppid=22230 vsize=15144776 memory=140297275000448 CPUtime=0.08 cores=1,3,5,7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 20185 0 -1 1077944384 747 0 0 0 8 0 0 0 20 0 15 0 446037313 15508250624 10235 33554432000 4194304 4196468 140727219227488 139722749360752 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22245] ppid=22230 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446037313 15508250624 10235 33554432000 4194304 4196468 140727219227488 139722748308192 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22246] ppid=22230 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037313 15508250624 10235 33554432000 4194304 4196468 140727219227488 139722747255472 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42392 KiB

[startup+0.310855 s]*
/proc/loadavg: 6.65 7.81 7.77 7/228 22246
/proc/meminfo: memFree=23850016/32770624 swapFree=66922676/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446037307 115843072 363 33554432000 4194304 5098028 140733503084016 140733503082120 139632084501116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33595392 140733503087483 140733503087725 140733503087725 140733503090634 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=15149032 memory=50500 CPUtime=0.54 cores=1,3,5,7
/proc/22232/stat : 22232 (java) S 22230 22230 20185 0 -1 1077944320 10901 0 0 0 50 4 0 0 20 0 15 0 446037307 15512608768 12625 33554432000 4194304 4196468 140727219227488 140727219210032 139723287662327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
/proc/22232/statm: 3787258 12625 3372 1 0 3748377 0
[pid=22232/tid=22233] ppid=22230 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/22232/task/22233/stat : 22233 (java) R 22230 22230 20185 0 -1 4202560 7853 0 0 0 27 3 0 0 20 0 15 0 446037307 15512608768 12625 33554432000 4194304 4196468 140727219227488 139723291893440 139723271742814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22234] ppid=22230 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037308 15512608768 12625 33554432000 4194304 4196468 140727219227488 139723215703184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22235] ppid=22230 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037308 15512608768 12625 33554432000 4194304 4196468 140727219227488 139723214650384 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22236] ppid=22230 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037308 15512608768 12625 33554432000 4194304 4196468 140727219227488 139723213597584 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22237] ppid=22230 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 20185 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446037308 15512608768 12625 33554432000 4194304 4196468 140727219227488 139723212544784 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22238] ppid=22230 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 20185 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446037309 15512608768 12625 33554432000 4194304 4196468 140727219227488 139722755676528 139723287673474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22239] ppid=22230 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 20185 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446037310 15512608768 12625 33554432000 4194304 4196468 140727219227488 139722754622496 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22240] ppid=22230 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 20185 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446037310 15512608768 12625 33554432000 4194304 4196468 140727219227488 139722753569648 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22241] ppid=22230 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446037313 15512608768 12625 33554432000 4194304 4196468 140727219227488 139722752517968 139723287680923 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22242] ppid=22230 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 20185 0 -1 1077944384 581 0 0 0 5 0 0 0 20 0 15 0 446037313 15512608768 12625 33554432000 4194304 4196468 140727219227488 139722751466352 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22243] ppid=22230 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 20185 0 -1 1077944384 331 0 0 0 4 0 0 0 20 0 15 0 446037313 15512608768 12625 33554432000 4194304 4196468 140727219227488 139722750413552 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22244] ppid=22230 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 20185 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 15 0 446037313 15512608768 12625 33554432000 4194304 4196468 140727219227488 139722749360752 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22245] ppid=22230 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446037313 15512608768 12625 33554432000 4194304 4196468 140727219227488 139722748308192 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22246] ppid=22230 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037313 15512608768 12625 33554432000 4194304 4196468 140727219227488 139722747255472 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51952 KiB

[startup+0.701054 s]
/proc/loadavg: 6.65 7.81 7.77 8/228 22246
/proc/meminfo: memFree=23750832/32770624 swapFree=66922676/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446037307 115843072 363 33554432000 4194304 5098028 140733503084016 140733503082120 139632084501116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33595392 140733503087483 140733503087725 140733503087725 140733503090634 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=15149108 memory=298520 CPUtime=1.67 cores=1,3,5,7
/proc/22232/stat : 22232 (java) S 22230 22230 20185 0 -1 1077944320 14955 0 0 0 142 25 0 0 20 0 15 0 446037307 15512686592 74630 33554432000 4194304 4196468 140727219227488 140727219210032 139723287662327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
/proc/22232/statm: 3787277 74630 3441 1 0 3748377 0
[pid=22232/tid=22233] ppid=22230 vsize=15149108 memory=47400 CPUtime=0.61 cores=1,3,5,7
/proc/22232/task/22233/stat : 22233 (java) R 22230 22230 20185 0 -1 4202560 8303 0 0 0 54 7 0 0 20 0 15 0 446037307 15512686592 74630 33554432000 4194304 4196468 140727219227488 139723291898768 139723287674262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22234] ppid=22230 vsize=15149108 memory=988 CPUtime=0.05 cores=1,3,5,7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 20185 0 -1 1077944384 65 0 0 0 2 3 0 0 20 0 15 0 446037308 15512686592 74630 33554432000 4194304 4196468 140727219227488 139723215703184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22235] ppid=22230 vsize=15149108 memory=2016 CPUtime=0.06 cores=1,3,5,7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 20185 0 -1 1077944384 67 0 0 0 2 4 0 0 20 0 15 0 446037308 15512686592 74630 33554432000 4194304 4196468 140727219227488 139723214650384 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22236] ppid=22230 vsize=15149108 memory=1428 CPUtime=0.05 cores=1,3,5,7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 20185 0 -1 1077944384 49 0 0 0 2 3 0 0 20 0 15 0 446037308 15512686592 74630 33554432000 4194304 4196468 140727219227488 139723213597584 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22237] ppid=22230 vsize=15149108 memory=10728 CPUtime=0.05 cores=1,3,5,7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 20185 0 -1 1077944384 63 0 0 0 2 3 0 0 20 0 15 0 446037308 15512686592 74630 33554432000 4194304 4196468 140727219227488 139723212544784 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22238] ppid=22230 vsize=15149108 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 20185 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 446037309 15512686592 74630 33554432000 4194304 4196468 140727219227488 139722755676528 139723287673474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22239] ppid=22230 vsize=15149108 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 20185 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 446037310 15512686592 74630 33554432000 4194304 4196468 140727219227488 139722754622496 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22240] ppid=22230 vsize=15149108 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 20185 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 446037310 15512686592 74630 33554432000 4194304 4196468 140727219227488 139722753569648 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22241] ppid=22230 vsize=15149108 memory=772 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446037313 15512686592 74630 33554432000 4194304 4196468 140727219227488 139722752517968 139723287680923 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22242] ppid=22230 vsize=15149108 memory=1060 CPUtime=0.24 cores=1,3,5,7
/proc/22232/task/22242/stat : 22242 (java) R 22230 22230 20185 0 -1 4202560 1355 0 0 0 24 0 0 0 20 0 15 0 446037313 15512686592 74630 33554432000 4194304 4196468 140727219227488 139722751466352 139723287683674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22243] ppid=22230 vsize=15149108 memory=1484 CPUtime=0.31 cores=1,3,5,7
/proc/22232/task/22243/stat : 22243 (java) R 22230 22230 20185 0 -1 4202560 2084 0 0 0 31 0 0 0 20 0 15 0 446037313 15512686592 74630 33554432000 4194304 4196468 140727219227488 139722750398024 139723272771903 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22244] ppid=22230 vsize=15149108 memory=1096 CPUtime=0.22 cores=1,3,5,7
/proc/22232/task/22244/stat : 22244 (java) R 22230 22230 20185 0 -1 4202560 1587 0 0 0 22 0 0 0 20 0 15 0 446037313 15512686592 74630 33554432000 4194304 4196468 140727219227488 139722749357120 139723266612096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22245] ppid=22230 vsize=15149108 memory=1176 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446037313 15512686592 74630 33554432000 4194304 4196468 140727219227488 139722748308192 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22246] ppid=22230 vsize=15149108 memory=6072 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 20185 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446037313 15512686592 74630 33554432000 4194304 4196468 140727219227488 139722747255472 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 299972 KiB

[startup+1.50087 s]
/proc/loadavg: 6.65 7.81 7.77 8/228 22246
/proc/meminfo: memFree=23366192/32770624 swapFree=66922676/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446037307 115843072 363 33554432000 4194304 5098028 140733503084016 140733503082120 139632084501116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33595392 140733503087483 140733503087725 140733503087725 140733503090634 0
/proc/22230/statm: 28282 363 304 221 0 87 0

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

/proc/22232/stat : 22232 (java) S 22230 22230 20185 0 -1 1077944320 409361 0 0 0 238097 548 0 0 20 0 19 0 446037307 15926902784 1652164 33554432000 4194304 4196468 140727219227488 140727219210032 139723287662327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
/proc/22232/statm: 3888404 1652164 3553 1 0 3849504 0
[pid=22232/tid=22233] ppid=22230 vsize=15553616 memory=6608656 CPUtime=36.52 cores=1,3,5,7
/proc/22232/task/22233/stat : 22233 (java) S 22230 22230 20185 0 -1 1077944384 25471 0 0 0 3602 50 0 0 20 0 19 0 446037307 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723291903136 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22234] ppid=22230 vsize=15553616 memory=6608656 CPUtime=10.92 cores=1,3,5,7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 20185 0 -1 1077944384 26872 0 0 0 994 98 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723215703184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22235] ppid=22230 vsize=15553616 memory=6608588 CPUtime=10.9 cores=1,3,5,7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 20185 0 -1 1077944384 34499 0 0 0 986 104 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723214650384 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22236] ppid=22230 vsize=15553616 memory=6608588 CPUtime=10.96 cores=1,3,5,7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 20185 0 -1 1077944384 24097 0 0 0 1002 94 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723213597584 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22237] ppid=22230 vsize=15553616 memory=6608656 CPUtime=10.94 cores=1,3,5,7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 20185 0 -1 1077944384 29149 0 0 0 990 104 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723212544784 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22238] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0.53 cores=1,3,5,7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 20185 0 -1 1077944384 13561 0 0 0 49 4 0 0 20 0 19 0 446037309 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722755676528 139723287673474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22239] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 20185 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 446037310 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722754622560 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22240] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 20185 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 446037310 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722753569664 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22241] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722752517968 139723287680923 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22242] ppid=22230 vsize=15553616 memory=6608656 CPUtime=6.29 cores=1,3,5,7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 20185 0 -1 1077944384 35430 0 0 0 625 4 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722751466352 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22243] ppid=22230 vsize=15553616 memory=6608656 CPUtime=6.02 cores=1,3,5,7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 20185 0 -1 1077944384 33173 0 0 0 598 4 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722750413552 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22244] ppid=22230 vsize=15553616 memory=6608656 CPUtime=1.36 cores=1,3,5,7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 20185 0 -1 1077944384 20170 0 0 0 133 3 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722749360752 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22245] ppid=22230 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722748308192 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22246] ppid=22230 vsize=15553616 memory=68 CPUtime=1.34 cores=1,3,5,7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 20185 0 -1 1077944384 5759 0 0 0 67 67 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722747255472 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23336] ppid=22230 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22232/task/23336/stat : 23336 (java) S 22230 22230 20185 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722272784480 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23337] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/23337/stat : 23337 (java) S 22230 22230 20185 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722268575184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23338] ppid=22230 vsize=15553616 memory=6608656 CPUtime=184.48 cores=1,3,5,7
/proc/22232/task/23338/stat : 23338 (java) R 22230 22230 20185 0 -1 4202560 6073 0 0 0 18447 1 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722273840328 139722892679150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23339] ppid=22230 vsize=15553616 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/22232/task/23339/stat : 23339 (java) S 22230 22230 20185 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722269627600 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
Current children cumulated CPU time: 2386.45 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 6610108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2335.9 s]
/proc/loadavg: 1.40 1.86 2.45 2/211 23436
/proc/meminfo: memFree=24418580/32770624 swapFree=66922708/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446037307 115843072 363 33554432000 4194304 5098028 140733503084016 140733503082120 139632084501116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33595392 140733503087483 140733503087725 140733503087725 140733503090634 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=15553616 memory=6608656 CPUtime=2400.05 cores=1,3,5,7
/proc/22232/stat : 22232 (java) S 22230 22230 20185 0 -1 1077944320 409776 0 0 0 239457 548 0 0 20 0 19 0 446037307 15926902784 1652164 33554432000 4194304 4196468 140727219227488 140727219210032 139723287662327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
/proc/22232/statm: 3888404 1652164 3553 1 0 3849504 0
[pid=22232/tid=22233] ppid=22230 vsize=15553616 memory=6608656 CPUtime=36.52 cores=1,3,5,7
/proc/22232/task/22233/stat : 22233 (java) S 22230 22230 20185 0 -1 1077944384 25471 0 0 0 3602 50 0 0 20 0 19 0 446037307 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723291903136 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22234] ppid=22230 vsize=15553616 memory=6608656 CPUtime=10.92 cores=1,3,5,7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 20185 0 -1 1077944384 26872 0 0 0 994 98 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723215703184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22235] ppid=22230 vsize=15553616 memory=6608656 CPUtime=10.9 cores=1,3,5,7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 20185 0 -1 1077944384 34499 0 0 0 986 104 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723214650384 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22236] ppid=22230 vsize=15553616 memory=6608588 CPUtime=10.96 cores=1,3,5,7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 20185 0 -1 1077944384 24097 0 0 0 1002 94 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723213597584 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22237] ppid=22230 vsize=15553616 memory=6608588 CPUtime=10.94 cores=1,3,5,7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 20185 0 -1 1077944384 29149 0 0 0 990 104 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723212544784 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22238] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0.53 cores=1,3,5,7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 20185 0 -1 1077944384 13571 0 0 0 49 4 0 0 20 0 19 0 446037309 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722755676528 139723287673474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22239] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 20185 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 446037310 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722754622560 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22240] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 20185 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 446037310 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722753569664 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22241] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722752517968 139723287680923 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22242] ppid=22230 vsize=15553616 memory=6608656 CPUtime=6.29 cores=1,3,5,7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 20185 0 -1 1077944384 35430 0 0 0 625 4 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722751466352 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22243] ppid=22230 vsize=15553616 memory=6608656 CPUtime=6.02 cores=1,3,5,7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 20185 0 -1 1077944384 33173 0 0 0 598 4 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722750413552 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22244] ppid=22230 vsize=15553616 memory=6608656 CPUtime=1.36 cores=1,3,5,7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 20185 0 -1 1077944384 20170 0 0 0 133 3 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722749360752 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22245] ppid=22230 vsize=15553616 memory=68 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722748308192 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22246] ppid=22230 vsize=15553616 memory=1452 CPUtime=1.35 cores=1,3,5,7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 20185 0 -1 1077944384 5791 0 0 0 68 67 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722747255472 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23336] ppid=22230 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22232/task/23336/stat : 23336 (java) S 22230 22230 20185 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722272784480 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23337] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/23337/stat : 23337 (java) S 22230 22230 20185 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722268575184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23338] ppid=22230 vsize=15553616 memory=780 CPUtime=198.08 cores=1,3,5,7
/proc/22232/task/23338/stat : 23338 (java) R 22230 22230 20185 0 -1 4202560 6446 0 0 0 19807 1 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722273840328 139722892679150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23339] ppid=22230 vsize=15553616 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/22232/task/23339/stat : 23339 (java) S 22230 22230 20185 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722269627600 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 6610108 KiB

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

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

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

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

[startup+2335.9 s]
/proc/loadavg: 1.40 1.86 2.45 2/211 23436
/proc/meminfo: memFree=24418580/32770624 swapFree=66922708/67108860
[pid=22230] ppid=22227 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22230/stat : 22230 (xcsp3-exec) S 22227 22230 20185 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446037307 115843072 363 33554432000 4194304 5098028 140733503084016 140733503082120 139632084501116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33595392 140733503087483 140733503087725 140733503087725 140733503090634 0
/proc/22230/statm: 28282 363 304 221 0 87 0
[pid=22232] ppid=22230 vsize=15553616 memory=6608656 CPUtime=2400.05 cores=1,3,5,7
/proc/22232/stat : 22232 (java) S 22230 22230 20185 0 -1 1077944320 409776 0 0 0 239457 548 0 0 20 0 19 0 446037307 15926902784 1652164 33554432000 4194304 4196468 140727219227488 140727219210032 139723287662327 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
/proc/22232/statm: 3888404 1652164 3553 1 0 3849504 0
[pid=22232/tid=22233] ppid=22230 vsize=15553616 memory=6608656 CPUtime=36.52 cores=1,3,5,7
/proc/22232/task/22233/stat : 22233 (java) S 22230 22230 20185 0 -1 1077944384 25471 0 0 0 3602 50 0 0 20 0 19 0 446037307 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723291903136 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22234] ppid=22230 vsize=15553616 memory=6608656 CPUtime=10.92 cores=1,3,5,7
/proc/22232/task/22234/stat : 22234 (java) S 22230 22230 20185 0 -1 1077944384 26872 0 0 0 994 98 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723215703184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22235] ppid=22230 vsize=15553616 memory=6608656 CPUtime=10.9 cores=1,3,5,7
/proc/22232/task/22235/stat : 22235 (java) S 22230 22230 20185 0 -1 1077944384 34499 0 0 0 986 104 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723214650384 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22236] ppid=22230 vsize=15553616 memory=6608588 CPUtime=10.96 cores=1,3,5,7
/proc/22232/task/22236/stat : 22236 (java) S 22230 22230 20185 0 -1 1077944384 24097 0 0 0 1002 94 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723213597584 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22237] ppid=22230 vsize=15553616 memory=6608588 CPUtime=10.94 cores=1,3,5,7
/proc/22232/task/22237/stat : 22237 (java) S 22230 22230 20185 0 -1 1077944384 29149 0 0 0 990 104 0 0 20 0 19 0 446037308 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139723212544784 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22238] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0.53 cores=1,3,5,7
/proc/22232/task/22238/stat : 22238 (java) S 22230 22230 20185 0 -1 1077944384 13571 0 0 0 49 4 0 0 20 0 19 0 446037309 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722755676528 139723287673474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22239] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22239/stat : 22239 (java) S 22230 22230 20185 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 19 0 446037310 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722754622560 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22240] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22240/stat : 22240 (java) S 22230 22230 20185 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 446037310 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722753569664 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22241] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22241/stat : 22241 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722752517968 139723287680923 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22242] ppid=22230 vsize=15553616 memory=6608656 CPUtime=6.29 cores=1,3,5,7
/proc/22232/task/22242/stat : 22242 (java) S 22230 22230 20185 0 -1 1077944384 35430 0 0 0 625 4 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722751466352 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22243] ppid=22230 vsize=15553616 memory=6608656 CPUtime=6.02 cores=1,3,5,7
/proc/22232/task/22243/stat : 22243 (java) S 22230 22230 20185 0 -1 1077944384 33173 0 0 0 598 4 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722750413552 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22244] ppid=22230 vsize=15553616 memory=6608656 CPUtime=1.36 cores=1,3,5,7
/proc/22232/task/22244/stat : 22244 (java) S 22230 22230 20185 0 -1 1077944384 20170 0 0 0 133 3 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722749360752 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22245] ppid=22230 vsize=15553616 memory=68 CPUtime=0 cores=1,3,5,7
/proc/22232/task/22245/stat : 22245 (java) S 22230 22230 20185 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722748308192 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=22246] ppid=22230 vsize=15553616 memory=1452 CPUtime=1.35 cores=1,3,5,7
/proc/22232/task/22246/stat : 22246 (java) S 22230 22230 20185 0 -1 1077944384 5791 0 0 0 68 67 0 0 20 0 19 0 446037313 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722747255472 139723287673474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23336] ppid=22230 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22232/task/23336/stat : 23336 (java) S 22230 22230 20185 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722272784480 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23337] ppid=22230 vsize=15553616 memory=6608656 CPUtime=0 cores=1,3,5,7
/proc/22232/task/23337/stat : 23337 (java) S 22230 22230 20185 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722268575184 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23338] ppid=22230 vsize=15553616 memory=780 CPUtime=198.08 cores=1,3,5,7
/proc/22232/task/23338/stat : 23338 (java) R 22230 22230 20185 0 -1 4202560 6446 0 0 0 19807 1 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722273840328 139722892679150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
[pid=22232/tid=23339] ppid=22230 vsize=15553616 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/22232/task/23339/stat : 23339 (java) S 22230 22230 20185 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 19 0 446251088 15926902784 1652164 33554432000 4194304 4196468 140727219227488 139722269627600 139723287672533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35471360 140727219233775 140727219233946 140727219233946 140727219236815 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 6610108 KiB

Child status: 143
Real time (s): 2335.96
CPU time (s): 2400.12
CPU user time (s): 2394.59
CPU system time (s): 5.52592
CPU usage (%): 102.747
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 6696672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.59
system time used= 5.52592
maximum resident set size= 6697332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412197
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59944
involuntary context switches= 2026


# summary of solver processes directly reported to runsolver:
#   pid: 22230,22232
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2394.59
#   total CPU system time (s): 5.52592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0744 second user time and 28.7295 second system time

The end

Launcher Data 

Begin job on node139 at 2019-09-17 07:23:18
IDJOB=4400353
IDBENCH=141276
IDSOLVER=2856
FILE ID=node139/4400353-1568697685
RUNJOBID= node139-1568694971-20217
PBS_JOBID= 21703808
Free space on /tmp= 59364 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-21-0500_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400353-1568697685/watcher-4400353-1568697685 -o /tmp/evaluation-result-4400353-1568697685/solver-4400353-1568697685 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568694971-20217 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 939366977 HOME/instance-4400353-1568697685.xml

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

MD5SUM BENCH= 3fdf89d4941046bada2032faa76e855a
RANDOM SEED=939366977

node139.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.57
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.57
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.57
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.57
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:        23888112 kB
MemAvailable:   24812468 kB
Buffers:          125320 kB
Cached:          1090100 kB
SwapCached:        78116 kB
Active:          7833396 kB
Inactive:         469416 kB
Active(anon):    7012612 kB
Inactive(anon):   117976 kB
Active(file):     820784 kB
Inactive(file):   351440 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66922676 kB
Dirty:             97364 kB
Writeback:             0 kB
AnonPages:       7118604 kB
Mapped:            61400 kB
Shmem:             34584 kB
Slab:             165100 kB
SReclaimable:     135936 kB
SUnreclaim:        29164 kB
KernelStack:        3712 kB
PageTables:        19432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8162560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6856704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59464 MiB
End job on node139 at 2019-09-17 08:02:14