Trace number 4400382

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)225807374 2400.09 2247.15

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400382-1568697657.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4400382-1568697657.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
90.10/54.01	c solve instance...
99.96/56.55	o 234919466 
99.96/56.58	o 234919458 
99.96/56.59	o 234905207 
100.30/56.60	o 234905206 
100.30/56.61	o 234890946 
102.32/57.18	o 234876694 
102.90/57.39	o 234862434 
102.90/57.40	o 234862426 
103.86/57.65	o 234848176 
103.86/57.66	o 234848175 
103.86/57.67	o 234833915 
103.86/57.67	o 234833906 
104.20/57.70	o 234805386 
104.20/57.72	o 234791126 
104.79/57.91	o 234776866 
105.22/58.11	o 234762606 
105.22/58.11	o 234748346 
105.57/58.12	o 234734093 
105.57/58.14	o 234734086 
105.57/58.16	o 234719835 
105.57/58.17	o 234719826 
105.57/58.18	o 234705566 
106.11/58.36	o 234691306 
106.11/58.37	o 234677046 
106.64/58.58	o 234677038 
107.00/58.75	o 234662786 
107.23/58.92	o 234648526 
108.06/59.20	o 234634266 
111.76/61.04	o 234620006 
292.09/240.68	o 234619998 
292.34/240.87	o 234605746 
292.59/241.04	o 234591486 
293.39/241.31	o 234577226 
295.90/243.20	o 234562975 
472.62/419.28	o 234562966 
472.97/419.46	o 234548706 
473.46/419.63	o 234534446 
473.81/419.81	o 234520186 
473.94/419.98	o 234505936 
474.30/420.15	o 234505926 
474.50/420.32	o 234491666 
474.77/420.49	o 234477406 
475.50/420.72	o 234463146 
475.50/420.73	o 234463138 
477.73/422.54	o 234448886 
660.06/604.44	o 234434626 
660.52/604.62	o 234434618 
661.05/604.83	o 234420366 
661.43/605.01	o 234406106 
662.37/605.36	o 234391846 
664.75/607.13	o 234377586 
846.41/786.77	o 234377578 
846.78/786.94	o 234363326 
847.62/787.71	o 234349066 
848.92/788.11	o 234334806 
849.24/788.28	o 234334798 
849.51/788.48	o 234320546 
849.76/788.68	o 234306286 
851.49/789.19	o 234306278 
853.91/790.98	o 234292018 
1034.82/970.48	o 234277758 
1035.35/970.65	o 234263498 
1035.91/970.82	o 234249238 
1036.96/971.15	o 234234978 
1037.79/971.48	o 234220728 
1039.65/973.21	o 234220718 
1219.73/1152.89	o 234206458 
1220.27/1153.06	o 234192198 
1220.75/1153.24	o 234177938 
1223.06/1154.24	o 234177930 
1223.55/1154.41	o 234163678 
1223.78/1154.53	o 234149418 
1228.11/1156.64	o 234135171 
1408.33/1336.64	o 234135168 
1408.45/1336.75	o 234135159 
1409.96/1337.20	o 234135158 
1410.66/1337.46	o 234120907 
1410.94/1337.62	o 234120898 
1411.67/1337.84	o 234106656 
1413.46/1338.32	o 234106648 
1416.38/1340.10	o 234106643 
1596.93/1520.12	o 234092391 
1597.15/1520.22	o 234078131 
1597.86/1520.47	o 234078124 
1599.26/1520.80	o 234078119 
1599.38/1520.91	o 234078118 
1600.05/1521.16	o 234063867 
1600.48/1521.34	o 234063858 
1794.35/1704.41	o 234049621 
1794.35/1704.42	o 234049611 
1794.35/1704.43	o 234049604 
1794.35/1704.45	o 234049598 
1794.66/1704.57	o 234035357 
1794.66/1704.58	o 234035347 
1795.14/1704.76	o 234035338 
1796.24/1705.13	o 234021097 
1796.24/1705.14	o 234021087 
1796.24/1705.15	o 234021078 
1799.92/1707.36	o 234006837 
1981.40/1887.69	o 234006827 
1981.53/1887.70	o 234006818 
1983.12/1888.11	o 225850144 
2173.33/2070.46	o 225835884 
2173.33/2070.49	o 225821634 
2174.73/2070.89	o 225807374 
2400.03/2247.11	s SATISFIABLE
2400.03/2247.11	v <instantiation>
2400.03/2247.11	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] </list>
2400.03/2247.11	v 	<values>2480 2264 2756 2604 2460 2556 2684 2788 2288 2428 2704 2420 2668 2420 2460 2388 2744 2332 2756 2228 2620 2780 2276 2220 2820 2752 2724 2584 2780 2740 2260 2684 2280 2272 2576 2240 2372 2684 2776 2260 2412 2756 2564 2532 2820 2440 2288 2816 2520 2236 2508 2384 2368 2788 2240 2760 2388 2592 2560 2308 2756 2612 2800 2748 2428 2784 2436 2684 2724 2812 2628 2420 2348 2268 2740 2480 2788 2780 2420 2560 2748 2812 2596 2520 2668 2780 2280 2660 2668 2788 2520 2500 2260 2420 2520 2264 2748 2260 2472 2820 2572 2468 2620 2224 2776 2772 2232 2724 2744 2500 2708 2644 2400 2660 2220 2816 2740 2460 2820 2572 2732 2628 2224 2712 2460 2716 2424 2684 2520 2284 2788 2440 2772 2716 2220 2508 2564 2620 2724 2532 2228 2756 2696 2480 2240 2572 2780 2748 2604 2592 2780 2348 2816 2280 2424 2408 2264 2380 2260 2724 2716 2560 2748 2368 2220 2320 2512 2532 2264 2224 2240 2520 2632 2480 2380 2620 2748 2620 2748 2740 2772 2268 2460 2500 2772 2620 2540 2756 2248 2628 2460 2468 2244 2632 2624 2744 2260 2520 2780 2372 2748 2500 2660 2684 2788 2620 2496 2620 2660 2716 2592 2264 2552 2440 2452 2684 2324 2472 2644 2412 2260 2736 2708 2772 2264 2660 2780 2748 2464 2480 2380 2740 2788 2232 2820 2744 2632 2376 2520 2572 2264 2416 2660 2364 2284 2520 2220 2604 2704 2660 2364 2660 2756 2700 2700 2812 2268 2276 2516 2660 2396 2280 2548 2780 2636 2724 2512 2312 2716 2776 2272 2480 2248 2788 2268 2388 2748 2428 2788 2220 2772 2260 2432 2716 2724 2636 2424 2724 2468 2628 2772 2288 2496 2676 2228 2812 2380 2684 2264 2660 2464 2480 2248 2304 2732 2768 2404 2816 2508 2272 2764 2780 2716 2224 2616 2632 2660 2224 2280 2224 2592 2776 2532 2656 2456 2812 2620 2236 2724 2520 2220 2588 2748 2220 2808 2280 2304 2616 2240 2536 2500 2228 2784 2408 2324 2480 2340 2560 2764 2572 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 1 11 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 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 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 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 1 0 1 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 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 1 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 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 1 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 8 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 7 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 7 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 8 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 8 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 7 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 1 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 10 0 10 0 10 0 0 10 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 7 0 0 0 0 0 0 0 0 0 40 256 28 276 180 168 200 80 380 196 396 436 248 336 476 520 160 24 136 496 136 40 24 536 236 332 84 208 184 136 152 104 84 344 120 164 128 112 264 220 320 328 160 200 176 328 324 76 176 76 88 224 276 56 100 184 24 412 204 256 456 96 64 96 84 368 12 268 12 564 560 524 40 32 524 564 276 472 468 316 80 336 108 340 80 132 284 268 104 64 272 108 428 84 132 444 36 132 272 80 248 160 180 100 88 368 240 296 156 320 208 76 344 112 388 108 80 48 148 256 364 428 400 332 324 152 336 136 56 96 216 4 344 296 292 340 40 232 248 228 200 200 224 128 352 132 232 200 468 60 28 124 152 480 84 476 36 264 112 400 136 384 328 344 316 32 72 344 360 136 8 356 560 400 400 552 252 344 64 164 192 136 28 240 248 48 40 168 248 260 280 308 136 352 472 384 408 280 288 496 28 404 152 0 592 260 448 64 72 552 400 152 312 124 380 536 300 108 252 76 136 152 204 216 160 208 56 164 196 44 312 316 312 48 4 380 48 556 468 480 128 8 48 240 516 240 208 488 72 104 24 64 124 56 88 64 444 92 436 344 352 292 488 52 544 468 188 356 236 248 344 68 316 104 292 204 240 256 80 108 84 120 56 296 548 20 84 124 460 20 296 188 88 52 408 40 284 260 72 464 428 316 256 556 116 116 452 464 312 456 108 204 24 504 124 272 220 304 104 304 120 276 376 136 260 136 24 64 480 140 180 248 40 96 16 152 276 324 80 192 32 248 168 308 32 380 400 72 472 80 576 44 32 8 204 288 12 308 132 332 304 236 212 28 380 396 0 76 556 72 184 196 140 260 272 116 96 488 176 512 488 284 572 380 104 248 88 308 12 304 112 124 228 404 136 372 80 144 112 292 344 120 380 136 128 56 196 424 240 276 104 196 540 428 280 504 20 52 92 536 500 100 36 472 40 52 316 124 424 76 228 20 4 124 84 188 124 252 40 12 80 28 48 48 12 352 324 120 472 324 284 148 64 508 532 264 348 140 64 320 436 196 12 184 520 392 152 32 32 516 72 40 460 128 388 268 160 320 160 200 288 380 28 164 28 36 152 264 268 52 480 188 84 152 28 24 112 420 64 436 104 104 344 92 88 48 88 244 92 188 152 40 580 240 80 0 140 120 360 180 120 68 424 24 84 308 252 456 356 204 0 252 516 280 4 120 472 236 80 8 216 180 204 316 56 228 280 64 372 228 328 468 356 56 196 324 136 196 260 12 68 48 72 196 80 236 80 4 32 104 160 412 208 416 24 32 88 572 332 192 220 136 368 240 236 100 252 124 196 204 180 148 168 404 40 444 120 400 532 416 340 68 160 12 0 496 508 532 52 260 200 280 116 432 436 436 148 80 228 148 48 48 228 120 288 328 0 168 64 328 160 172 268 464 20 100 292 272 196 292 240 248 104 92 104 112 68 120 120 212 556 236 400 400 356 196 100 100 240 328 148 356 280 236 252 140 136 368 340 276 288 208 252 476 128 28 456 48 152 188 160 188 144 16 192 300 80 160 548 96 600 112 176 100 144 248 188 144 232 300 188 96 160 136 136 104 56 148 32 164 296 88 556 256 236 528 28 92 12 12 516 372 44 48 504 0 308 384 36 588 480 268 240 200 300 152 104 88 224 100 20 240 8 216 232 40 104 208 248 240 64 424 104 372 80 380 52 140 380 348 116 408 436 376 244 24 292 48 568 220 588 68 552 428 384 40 56 436 24 72 164 196 92 200 188 592 308 192 268 392 532 572 160 192 332 52 92 192 100 468 320 40 64 380 264 24 188 88 348 348 400 524 408 408 476 24 452 4 556 4 340 212 452 108 52 100 288 352 328 176 236 224 128 52 96 84 252 288 444 92 16 324 160 204 76 104 52 0 24 80 228 224 292 140 12 296 256 180 44 140 464 36 216 172 528 56 168 320 384 564 24 156 172 100 76 292 392 128 200 468 536 468 496 184 244 496 488 496 400 104 352 536 60 0 436 84 24 12 264 128 144 4 208 112 120 284 272 156 192 28 400 392 24 64 212 284 240 152 168 152 276 344 136 124 468 300 316 216 448 392 88 140 276 244 80 280 420 72 188 420 40 148 308 308 56 104 308 168 412 260 516 32 224 384 56 24 180 156 360 44 84 356 312 248 148 160 300 400 104 356 80 164 392 496 320 156 52 360 492 84 0 60 152 216 336 256 44 236 192 204 100 132 144 184 368 236 376 92 160 156 276 236 400 552 208 400 264 328 384 156 88 248 56 216 228 32 212 56 80 236 508 40 128 32 40 228 24 520 96 260 44 176 340 492 148 340 96 116 60 216 20 216 396 396 316 272 140 0 308 524 300 192 372 408 408 328 392 268 100 80 400 172 360 400 248 200 16 140 4 128 484 156 296 152 108 96 124 36 96 220 40 44 232 448 300 552 0 340 276 508 552 432 320 88 328 312 316 160 216 272 36 280 216 288 36 144 128 360 396 292 120 352 248 176 124 72 120 32 572 272 0 76 152 8 88 244 188 224 236 376 328 460 544 568 20 16 148 116 408 408 352 28 516 64 128 488 152 512 400 220 552 32 220 272 204 68 300 52 88 416 64 200 20 0 216 240 268 92 128 244 416 408 296 48 276 80 308 520 64 56 372 84 32 228 224 96 144 196 88 320 300 184 204 188 460 192 108 172 336 132 12 140 180 80 140 108 172 332 308 164 160 16 168 100 164 304 400 100 484 468 44 256 68 204 260 464 88 28 524 60 68 312 196 124 276 204 292 52 176 252 192 48 80 228 520 16 76 44 556 560 56 200 40 516 192 356 40 12 496 72 408 132 72 240 212 300 192 36 512 508 308 300 396 24 240 340 408 116 84 60 524 296 480 504 312 16 196 192 72 84 108 196 476 80 412 236 56 44 84 132 292 252 172 56 128 392 56 72 152 136 476 256 88 48 68 168 44 84 164 344 408 8 508 0 40 536 232 56 48 208 52 252 44 16 0 88 72 436 216 16 184 376 484 92 312 248 192 16 476 48 260 24 32 272 172 100 148 396 548 516 532 24 252 328 164 420 244 56 48 184 104 392 104 180 356 208 200 88 340 304 524 24 48 32 40 268 252 520 532 128 384 336 240 444 396 40 236 64 224 72 304 32 0 508 276 100 124 104 528 280 408 588 160 308 128 44 372 288 292 176 404 240 384 244 564 </values>
2400.03/2247.11	v </instantiation>
2400.03/2247.11	c Unexpected resolution interruption!

Verifier Data 

OK	225807374

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400382-1568697657/watcher-4400382-1568697657 -o /tmp/evaluation-result-4400382-1568697657/solver-4400382-1568697657 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 795192106 HOME/instance-4400382-1568697657.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 8.77 8.59 8.38 7/233 30821
/proc/meminfo: memFree=26151252/32770624 swapFree=66959728/67108860
[pid=30805] ppid=30802 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30805/stat : 30805 (xcsp3-exec) S 30802 30805 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445705921 115843072 363 33554432000 4194304 5098028 140733493807680 140733493805784 139665626444412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140733493810043 140733493810285 140733493810285 140733493813194 0
/proc/30805/statm: 28282 363 304 221 0 87 0
[pid=30807] ppid=30805 vsize=15144776 memory=29888 CPUtime=0.13 cores=0,2,4,6
/proc/30807/stat : 30807 (java) S 30805 30805 22939 0 -1 1077944320 5852 0 0 0 12 1 0 0 20 0 15 0 445705921 15508250624 7472 33554432000 4194304 4196468 140727863526544 140727863509088 140119025241847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
/proc/30807/statm: 3786194 7472 3208 1 0 3748377 0
[pid=30807/tid=30808] ppid=30805 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/30807/task/30808/stat : 30808 (java) R 30805 30805 22939 0 -1 4202560 3732 0 0 0 9 0 0 0 20 0 15 0 445705922 15508250624 7472 33554432000 4194304 4196468 140727863526544 140119029471440 140119025263194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30809] ppid=30805 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30809/stat : 30809 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705923 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118953281808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30810] ppid=30805 vsize=15144776 memory=140201620907648 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30810/stat : 30810 (java) S 30805 30805 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445705923 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118952229264 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30811] ppid=30805 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30811/stat : 30811 (java) S 30805 30805 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445705923 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118951176720 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30812] ppid=30805 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30812/stat : 30812 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705923 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118950124176 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30813] ppid=30805 vsize=15144776 memory=140201620907648 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30813/stat : 30813 (java) S 30805 30805 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445705924 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118493657584 140119025252994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30814] ppid=30805 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30814/stat : 30814 (java) S 30805 30805 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445705924 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118492603808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30815] ppid=30805 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30815/stat : 30815 (java) S 30805 30805 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445705925 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118491551216 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30816] ppid=30805 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30816/stat : 30816 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445705927 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118490499792 140119025260443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30817] ppid=30805 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30817/stat : 30817 (java) S 30805 30805 22939 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 445705927 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118489446384 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30818] ppid=30805 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30818/stat : 30818 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705927 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118488393840 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30819] ppid=30805 vsize=15144776 memory=140201620907648 CPUtime=0.01 cores=0,2,4,6
/proc/30807/task/30819/stat : 30819 (java) R 30805 30805 22939 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 445705927 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118487341296 140119025253782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30820] ppid=30805 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30820/stat : 30820 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445705927 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118486288992 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30821] ppid=30805 vsize=15144776 memory=140201620907648 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30821/stat : 30821 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705927 15508250624 7472 33554432000 4194304 4196468 140727863526544 140118485236528 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31340 KiB

[startup+0.213077 s]*
/proc/loadavg: 8.77 8.59 8.38 7/233 30821
/proc/meminfo: memFree=26137552/32770624 swapFree=66959728/67108860
[pid=30805] ppid=30802 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30805/stat : 30805 (xcsp3-exec) S 30802 30805 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445705921 115843072 363 33554432000 4194304 5098028 140733493807680 140733493805784 139665626444412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140733493810043 140733493810285 140733493810285 140733493813194 0
/proc/30805/statm: 28282 363 304 221 0 87 0
[pid=30807] ppid=30805 vsize=15144776 memory=40996 CPUtime=0.34 cores=0,2,4,6
/proc/30807/stat : 30807 (java) S 30805 30805 22939 0 -1 1077944320 9478 0 0 0 32 2 0 0 20 0 15 0 445705921 15508250624 10249 33554432000 4194304 4196468 140727863526544 140727863509088 140119025241847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
/proc/30807/statm: 3786194 10249 3291 1 0 3748377 0
[pid=30807/tid=30808] ppid=30805 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30807/task/30808/stat : 30808 (java) R 30805 30805 22939 0 -1 4202560 6628 0 0 0 19 1 0 0 20 0 15 0 445705922 15508250624 10249 33554432000 4194304 4196468 140727863526544 140119029475968 140119009322334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30809] ppid=30805 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30809/stat : 30809 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705923 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118953281808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30810] ppid=30805 vsize=15144776 memory=140201624257635 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30810/stat : 30810 (java) S 30805 30805 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445705923 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118952229264 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30811] ppid=30805 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30811/stat : 30811 (java) S 30805 30805 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445705923 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118951176720 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30812] ppid=30805 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30812/stat : 30812 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705923 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118950124176 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30813] ppid=30805 vsize=15144776 memory=140201620907648 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30813/stat : 30813 (java) S 30805 30805 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445705924 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118493657584 140119025252994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30814] ppid=30805 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30814/stat : 30814 (java) S 30805 30805 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445705924 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118492603808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30815] ppid=30805 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30815/stat : 30815 (java) S 30805 30805 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445705925 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118491551216 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30816] ppid=30805 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30816/stat : 30816 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445705927 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118490499792 140119025260443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30817] ppid=30805 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30807/task/30817/stat : 30817 (java) S 30805 30805 22939 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 15 0 445705927 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118489446384 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30818] ppid=30805 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30807/task/30818/stat : 30818 (java) S 30805 30805 22939 0 -1 1077944384 292 0 0 0 2 0 0 0 20 0 15 0 445705927 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118488393840 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30819] ppid=30805 vsize=15144776 memory=140201620907648 CPUtime=0.08 cores=0,2,4,6
/proc/30807/task/30819/stat : 30819 (java) S 30805 30805 22939 0 -1 1077944384 692 0 0 0 8 0 0 0 20 0 15 0 445705927 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118487341296 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30820] ppid=30805 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30820/stat : 30820 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445705927 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118486288992 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30821] ppid=30805 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30821/stat : 30821 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705927 15508250624 10249 33554432000 4194304 4196468 140727863526544 140118485236528 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42448 KiB

[startup+0.310726 s]*
/proc/loadavg: 8.77 8.59 8.38 6/233 30821
/proc/meminfo: memFree=26130652/32770624 swapFree=66959728/67108860
[pid=30805] ppid=30802 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30805/stat : 30805 (xcsp3-exec) S 30802 30805 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445705921 115843072 363 33554432000 4194304 5098028 140733493807680 140733493805784 139665626444412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140733493810043 140733493810285 140733493810285 140733493813194 0
/proc/30805/statm: 28282 363 304 221 0 87 0
[pid=30807] ppid=30805 vsize=15149032 memory=49896 CPUtime=0.51 cores=0,2,4,6
/proc/30807/stat : 30807 (java) S 30805 30805 22939 0 -1 1077944320 10767 0 0 0 48 3 0 0 20 0 15 0 445705921 15512608768 12474 33554432000 4194304 4196468 140727863526544 140727863509088 140119025241847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
/proc/30807/statm: 3787258 12474 3350 1 0 3748377 0
[pid=30807/tid=30808] ppid=30805 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/30807/task/30808/stat : 30808 (java) R 30805 30805 22939 0 -1 4202560 7754 0 0 0 28 2 0 0 20 0 15 0 445705922 15512608768 12474 33554432000 4194304 4196468 140727863526544 140119029476976 140119025263773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30809] ppid=30805 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30809/stat : 30809 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705923 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118953281808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30810] ppid=30805 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30810/stat : 30810 (java) S 30805 30805 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445705923 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118952229264 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30811] ppid=30805 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30811/stat : 30811 (java) S 30805 30805 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445705923 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118951176720 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30812] ppid=30805 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30812/stat : 30812 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705923 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118950124176 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30813] ppid=30805 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30813/stat : 30813 (java) S 30805 30805 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445705924 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118493657584 140119025252994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30814] ppid=30805 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30814/stat : 30814 (java) S 30805 30805 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445705924 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118492603808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30815] ppid=30805 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30815/stat : 30815 (java) S 30805 30805 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445705925 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118491551216 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30816] ppid=30805 vsize=15149032 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30816/stat : 30816 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445705927 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118490499792 140119025260443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30817] ppid=30805 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/30807/task/30817/stat : 30817 (java) S 30805 30805 22939 0 -1 1077944384 566 0 0 0 4 0 0 0 20 0 15 0 445705927 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118489446384 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30818] ppid=30805 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30807/task/30818/stat : 30818 (java) S 30805 30805 22939 0 -1 1077944384 343 0 0 0 4 0 0 0 20 0 15 0 445705927 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118488393840 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30819] ppid=30805 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30807/task/30819/stat : 30819 (java) S 30805 30805 22939 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 15 0 445705927 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118487341296 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30820] ppid=30805 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30820/stat : 30820 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445705927 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118486288992 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30821] ppid=30805 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30821/stat : 30821 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705927 15512608768 12474 33554432000 4194304 4196468 140727863526544 140118485236528 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51348 KiB

[startup+0.700916 s]
/proc/loadavg: 8.77 8.59 8.38 6/233 30821
/proc/meminfo: memFree=26041484/32770624 swapFree=66959728/67108860
[pid=30805] ppid=30802 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30805/stat : 30805 (xcsp3-exec) S 30802 30805 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445705921 115843072 363 33554432000 4194304 5098028 140733493807680 140733493805784 139665626444412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140733493810043 140733493810285 140733493810285 140733493813194 0
/proc/30805/statm: 28282 363 304 221 0 87 0
[pid=30807] ppid=30805 vsize=15149108 memory=294696 CPUtime=1.59 cores=0,2,4,6
/proc/30807/stat : 30807 (java) S 30805 30805 22939 0 -1 1077944320 14006 0 0 0 135 24 0 0 20 0 15 0 445705921 15512686592 73674 33554432000 4194304 4196468 140727863526544 140727863509088 140119025241847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
/proc/30807/statm: 3787277 73674 3421 1 0 3748377 0
[pid=30807/tid=30808] ppid=30805 vsize=15149108 memory=33 CPUtime=0.61 cores=0,2,4,6
/proc/30807/task/30808/stat : 30808 (java) R 30805 30805 22939 0 -1 4202560 8141 0 0 0 56 5 0 0 20 0 15 0 445705922 15512686592 73674 33554432000 4194304 4196468 140727863526544 140119029474112 140119009322334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30809] ppid=30805 vsize=15149108 memory=-7816663703405220396 CPUtime=0.06 cores=0,2,4,6
/proc/30807/task/30809/stat : 30809 (java) S 30805 30805 22939 0 -1 1077944384 63 0 0 0 2 4 0 0 20 0 15 0 445705923 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118953281808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30810] ppid=30805 vsize=15149108 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/30807/task/30810/stat : 30810 (java) S 30805 30805 22939 0 -1 1077944384 69 0 0 0 2 4 0 0 20 0 15 0 445705923 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118952229264 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30811] ppid=30805 vsize=15149108 memory=1660 CPUtime=0.05 cores=0,2,4,6
/proc/30807/task/30811/stat : 30811 (java) S 30805 30805 22939 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 445705923 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118951176720 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30812] ppid=30805 vsize=15149108 memory=48352 CPUtime=0.06 cores=0,2,4,6
/proc/30807/task/30812/stat : 30812 (java) S 30805 30805 22939 0 -1 1077944384 63 0 0 0 2 4 0 0 20 0 15 0 445705923 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118950124176 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30813] ppid=30805 vsize=15149108 memory=988 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30813/stat : 30813 (java) S 30805 30805 22939 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 445705924 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118493657584 140119025252994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30814] ppid=30805 vsize=15149108 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30814/stat : 30814 (java) S 30805 30805 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445705924 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118492603808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30815] ppid=30805 vsize=15149108 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30815/stat : 30815 (java) S 30805 30805 22939 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 445705925 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118491551216 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30816] ppid=30805 vsize=15149108 memory=580 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30816/stat : 30816 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445705927 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118490499792 140119025260443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30817] ppid=30805 vsize=15149108 memory=1720 CPUtime=0.26 cores=0,2,4,6
/proc/30807/task/30817/stat : 30817 (java) R 30805 30805 22939 0 -1 4202560 1941 0 0 0 26 0 0 0 20 0 15 0 445705927 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118489432944 140119010350731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30818] ppid=30805 vsize=15149108 memory=10604 CPUtime=0.23 cores=0,2,4,6
/proc/30807/task/30818/stat : 30818 (java) R 30805 30805 22939 0 -1 4202560 969 0 0 0 23 0 0 0 20 0 15 0 445705927 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118488393840 140119002989304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30819] ppid=30805 vsize=15149108 memory=4160 CPUtime=0.19 cores=0,2,4,6
/proc/30807/task/30819/stat : 30819 (java) S 30805 30805 22939 0 -1 1077944384 1318 0 0 0 19 0 0 0 20 0 15 0 445705927 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118487341296 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30820] ppid=30805 vsize=15149108 memory=776 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30820/stat : 30820 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445705927 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118486288992 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30821] ppid=30805 vsize=15149108 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30821/stat : 30821 (java) S 30805 30805 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445705927 15512686592 73674 33554432000 4194304 4196468 140727863526544 140118485236528 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 296148 KiB

[startup+1.5009 s]
/proc/loadavg: 8.77 8.59 8.38 8/233 30821
/proc/meminfo: memFree=25881312/32770624 swapFree=66959728/67108860
[pid=30805] ppid=30802 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30805/stat : 30805 (xcsp3-exec) S 30802 30805 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445705921 115843072 363 33554432000 4194304 5098028 140733493807680 140733493805784 139665626444412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140733493810043 140733493810285 140733493810285 140733493813194 0
/proc/30805/statm: 28282 363 304 221 0 87 0

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

/proc/30807/stat : 30807 (java) S 30805 30805 22939 0 -1 1077944320 839347 0 0 0 234937 584 0 0 20 0 19 0 445705921 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140727863509088 140119025241847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
/proc/30807/statm: 3905045 1655191 3559 1 0 3866145 0
[pid=30807/tid=30808] ppid=30805 vsize=15620180 memory=1452 CPUtime=44.14 cores=0,2,4,6
/proc/30807/task/30808/stat : 30808 (java) S 30805 30805 22939 0 -1 1077944384 51405 0 0 0 4357 57 0 0 20 0 19 0 445705922 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140119029482624 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30809] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.39 cores=0,2,4,6
/proc/30807/task/30809/stat : 30809 (java) S 30805 30805 22939 0 -1 1077944384 81902 0 0 0 1033 106 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118953281808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30810] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.37 cores=0,2,4,6
/proc/30807/task/30810/stat : 30810 (java) S 30805 30805 22939 0 -1 1077944384 67658 0 0 0 1032 105 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118952229264 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30811] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.45 cores=0,2,4,6
/proc/30807/task/30811/stat : 30811 (java) S 30805 30805 22939 0 -1 1077944384 73220 0 0 0 1039 106 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118951176720 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30812] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.4 cores=0,2,4,6
/proc/30807/task/30812/stat : 30812 (java) S 30805 30805 22939 0 -1 1077944384 81468 0 0 0 1033 107 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118950124176 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30813] ppid=30805 vsize=15620180 memory=6620764 CPUtime=0.44 cores=0,2,4,6
/proc/30807/task/30813/stat : 30813 (java) S 30805 30805 22939 0 -1 1077944384 14225 0 0 0 39 5 0 0 20 0 19 0 445705924 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118493657584 140119025252994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30814] ppid=30805 vsize=15620180 memory=6620764 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30814/stat : 30814 (java) S 30805 30805 22939 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 445705924 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118492603872 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30815] ppid=30805 vsize=15620180 memory=6620764 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30815/stat : 30815 (java) S 30805 30805 22939 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 19 0 445705925 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118491551232 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30816] ppid=30805 vsize=15620180 memory=6620764 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30816/stat : 30816 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118490499792 140119025260443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30817] ppid=30805 vsize=15620180 memory=1452 CPUtime=7.69 cores=0,2,4,6
/proc/30807/task/30817/stat : 30817 (java) S 30805 30805 22939 0 -1 1077944384 59173 0 0 0 764 5 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118489446384 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30818] ppid=30805 vsize=15620180 memory=1452 CPUtime=7.42 cores=0,2,4,6
/proc/30807/task/30818/stat : 30818 (java) S 30805 30805 22939 0 -1 1077944384 45590 0 0 0 737 5 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118488393840 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30819] ppid=30805 vsize=15620180 memory=6620764 CPUtime=1.45 cores=0,2,4,6
/proc/30807/task/30819/stat : 30819 (java) S 30805 30805 22939 0 -1 1077944384 24719 0 0 0 142 3 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118487341296 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30820] ppid=30805 vsize=15620180 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30820/stat : 30820 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118486288992 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30821] ppid=30805 vsize=15620180 memory=1452 CPUtime=1.36 cores=0,2,4,6
/proc/30807/task/30821/stat : 30821 (java) S 30805 30805 22939 0 -1 1077944384 7828 0 0 0 73 63 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118485236528 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31621] ppid=30805 vsize=15620180 memory=6620764 CPUtime=15.79 cores=0,2,4,6
/proc/30807/task/31621/stat : 31621 (java) S 30805 30805 22939 0 -1 1077944384 2374 0 0 0 1579 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117874281952 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31622] ppid=30805 vsize=15620180 memory=3620 CPUtime=15.86 cores=0,2,4,6
/proc/30807/task/31622/stat : 31622 (java) S 30805 30805 22939 0 -1 1077944384 2335 0 0 0 1586 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117563753552 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31623] ppid=30805 vsize=15620180 memory=1660 CPUtime=131.29 cores=0,2,4,6
/proc/30807/task/31623/stat : 31623 (java) R 30805 30805 22939 0 -1 4202560 5334 0 0 0 13129 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117878488352 140118631180300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31624] ppid=30805 vsize=15620180 memory=1452 CPUtime=16.15 cores=0,2,4,6
/proc/30807/task/31624/stat : 31624 (java) S 30805 30805 22939 0 -1 1077944384 2876 0 0 0 1615 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117564806480 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
Current children cumulated CPU time: 2355.21 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 6622216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2247.11 s]
/proc/loadavg: 1.04 1.09 1.93 2/211 31639
/proc/meminfo: memFree=21801524/32770624 swapFree=66959728/67108860
[pid=30805] ppid=30802 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30805/stat : 30805 (xcsp3-exec) S 30802 30805 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445705921 115843072 363 33554432000 4194304 5098028 140733493807680 140733493805784 139665626444412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140733493810043 140733493810285 140733493810285 140733493813194 0
/proc/30805/statm: 28282 363 304 221 0 87 0
[pid=30807] ppid=30805 vsize=15620180 memory=6620764 CPUtime=2400.03 cores=0,2,4,6
/proc/30807/stat : 30807 (java) S 30805 30805 22939 0 -1 1077944320 840602 0 0 0 239418 585 0 0 20 0 19 0 445705921 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140727863509088 140119025241847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
/proc/30807/statm: 3905045 1655191 3559 1 0 3866145 0
[pid=30807/tid=30808] ppid=30805 vsize=15620180 memory=6620764 CPUtime=44.14 cores=0,2,4,6
/proc/30807/task/30808/stat : 30808 (java) S 30805 30805 22939 0 -1 1077944384 51405 0 0 0 4357 57 0 0 20 0 19 0 445705922 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140119029482624 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30809] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.39 cores=0,2,4,6
/proc/30807/task/30809/stat : 30809 (java) S 30805 30805 22939 0 -1 1077944384 81902 0 0 0 1033 106 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118953281808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30810] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.37 cores=0,2,4,6
/proc/30807/task/30810/stat : 30810 (java) S 30805 30805 22939 0 -1 1077944384 67658 0 0 0 1032 105 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118952229264 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30811] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.45 cores=0,2,4,6
/proc/30807/task/30811/stat : 30811 (java) S 30805 30805 22939 0 -1 1077944384 73220 0 0 0 1039 106 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118951176720 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30812] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.4 cores=0,2,4,6
/proc/30807/task/30812/stat : 30812 (java) S 30805 30805 22939 0 -1 1077944384 81468 0 0 0 1033 107 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118950124176 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30813] ppid=30805 vsize=15620180 memory=6620764 CPUtime=0.44 cores=0,2,4,6
/proc/30807/task/30813/stat : 30813 (java) S 30805 30805 22939 0 -1 1077944384 14245 0 0 0 39 5 0 0 20 0 19 0 445705924 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118493657584 140119025252994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30814] ppid=30805 vsize=15620180 memory=6620764 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30814/stat : 30814 (java) S 30805 30805 22939 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 445705924 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118492603872 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30815] ppid=30805 vsize=15620180 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30815/stat : 30815 (java) S 30805 30805 22939 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 19 0 445705925 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118491551232 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30816] ppid=30805 vsize=15620180 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30816/stat : 30816 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118490499792 140119025260443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30817] ppid=30805 vsize=15620180 memory=6791534058613427641 CPUtime=7.69 cores=0,2,4,6
/proc/30807/task/30817/stat : 30817 (java) S 30805 30805 22939 0 -1 1077944384 59187 0 0 0 764 5 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118489446384 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30818] ppid=30805 vsize=15620180 memory=2828 CPUtime=7.42 cores=0,2,4,6
/proc/30807/task/30818/stat : 30818 (java) S 30805 30805 22939 0 -1 1077944384 45599 0 0 0 737 5 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118488393840 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30819] ppid=30805 vsize=15620180 memory=6620764 CPUtime=1.45 cores=0,2,4,6
/proc/30807/task/30819/stat : 30819 (java) S 30805 30805 22939 0 -1 1077944384 24733 0 0 0 142 3 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118487341296 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30820] ppid=30805 vsize=15620180 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30820/stat : 30820 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118486288992 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30821] ppid=30805 vsize=15620180 memory=6791534058613427641 CPUtime=1.39 cores=0,2,4,6
/proc/30807/task/30821/stat : 30821 (java) S 30805 30805 22939 0 -1 1077944384 7904 0 0 0 75 64 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118485236528 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31621] ppid=30805 vsize=15620180 memory=6620764 CPUtime=15.79 cores=0,2,4,6
/proc/30807/task/31621/stat : 31621 (java) S 30805 30805 22939 0 -1 1077944384 2374 0 0 0 1579 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117874281952 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31622] ppid=30805 vsize=15620180 memory=1452 CPUtime=15.86 cores=0,2,4,6
/proc/30807/task/31622/stat : 31622 (java) S 30805 30805 22939 0 -1 1077944384 2335 0 0 0 1586 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117563753552 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31623] ppid=30805 vsize=15620180 memory=1452 CPUtime=176.09 cores=0,2,4,6
/proc/30807/task/31623/stat : 31623 (java) R 30805 30805 22939 0 -1 4202560 6456 0 0 0 17609 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117878488352 140118631180300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31624] ppid=30805 vsize=15620180 memory=1452 CPUtime=16.15 cores=0,2,4,6
/proc/30807/task/31624/stat : 31624 (java) S 30805 30805 22939 0 -1 1077944384 2876 0 0 0 1615 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117564806480 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 6622216 KiB

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

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

[startup+2247.15 s]
# the end of solver process 30807 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.2 s, system=5.89203 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+2247.11 s]
/proc/loadavg: 1.04 1.09 1.93 2/211 31639
/proc/meminfo: memFree=21801524/32770624 swapFree=66959728/67108860
[pid=30805] ppid=30802 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30805/stat : 30805 (xcsp3-exec) S 30802 30805 22939 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445705921 115843072 363 33554432000 4194304 5098028 140733493807680 140733493805784 139665626444412 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12730368 140733493810043 140733493810285 140733493810285 140733493813194 0
/proc/30805/statm: 28282 363 304 221 0 87 0
[pid=30807] ppid=30805 vsize=15620180 memory=6620764 CPUtime=2400.03 cores=0,2,4,6
/proc/30807/stat : 30807 (java) S 30805 30805 22939 0 -1 1077944320 840602 0 0 0 239418 585 0 0 20 0 19 0 445705921 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140727863509088 140119025241847 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
/proc/30807/statm: 3905045 1655191 3559 1 0 3866145 0
[pid=30807/tid=30808] ppid=30805 vsize=15620180 memory=6620764 CPUtime=44.14 cores=0,2,4,6
/proc/30807/task/30808/stat : 30808 (java) S 30805 30805 22939 0 -1 1077944384 51405 0 0 0 4357 57 0 0 20 0 19 0 445705922 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140119029482624 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30809] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.39 cores=0,2,4,6
/proc/30807/task/30809/stat : 30809 (java) S 30805 30805 22939 0 -1 1077944384 81902 0 0 0 1033 106 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118953281808 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30810] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.37 cores=0,2,4,6
/proc/30807/task/30810/stat : 30810 (java) S 30805 30805 22939 0 -1 1077944384 67658 0 0 0 1032 105 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118952229264 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30811] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.45 cores=0,2,4,6
/proc/30807/task/30811/stat : 30811 (java) S 30805 30805 22939 0 -1 1077944384 73220 0 0 0 1039 106 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118951176720 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30812] ppid=30805 vsize=15620180 memory=6620764 CPUtime=11.4 cores=0,2,4,6
/proc/30807/task/30812/stat : 30812 (java) S 30805 30805 22939 0 -1 1077944384 81468 0 0 0 1033 107 0 0 20 0 19 0 445705923 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118950124176 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30813] ppid=30805 vsize=15620180 memory=6620764 CPUtime=0.44 cores=0,2,4,6
/proc/30807/task/30813/stat : 30813 (java) S 30805 30805 22939 0 -1 1077944384 14245 0 0 0 39 5 0 0 20 0 19 0 445705924 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118493657584 140119025252994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30814] ppid=30805 vsize=15620180 memory=6620764 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30814/stat : 30814 (java) S 30805 30805 22939 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 445705924 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118492603872 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30815] ppid=30805 vsize=15620180 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30815/stat : 30815 (java) S 30805 30805 22939 0 -1 1077944384 142 0 0 0 0 0 0 0 20 0 19 0 445705925 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118491551232 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30816] ppid=30805 vsize=15620180 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30816/stat : 30816 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118490499792 140119025260443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30817] ppid=30805 vsize=15620180 memory=6791534058613427641 CPUtime=7.69 cores=0,2,4,6
/proc/30807/task/30817/stat : 30817 (java) S 30805 30805 22939 0 -1 1077944384 59187 0 0 0 764 5 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118489446384 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30818] ppid=30805 vsize=15620180 memory=2828 CPUtime=7.42 cores=0,2,4,6
/proc/30807/task/30818/stat : 30818 (java) S 30805 30805 22939 0 -1 1077944384 45599 0 0 0 737 5 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118488393840 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30819] ppid=30805 vsize=15620180 memory=6620764 CPUtime=1.45 cores=0,2,4,6
/proc/30807/task/30819/stat : 30819 (java) S 30805 30805 22939 0 -1 1077944384 24733 0 0 0 142 3 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118487341296 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30820] ppid=30805 vsize=15620180 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30807/task/30820/stat : 30820 (java) S 30805 30805 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118486288992 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=30821] ppid=30805 vsize=15620180 memory=6791534058613427641 CPUtime=1.39 cores=0,2,4,6
/proc/30807/task/30821/stat : 30821 (java) S 30805 30805 22939 0 -1 1077944384 7904 0 0 0 75 64 0 0 20 0 19 0 445705927 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140118485236528 140119025252994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31621] ppid=30805 vsize=15620180 memory=6620764 CPUtime=15.79 cores=0,2,4,6
/proc/30807/task/31621/stat : 31621 (java) S 30805 30805 22939 0 -1 1077944384 2374 0 0 0 1579 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117874281952 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31622] ppid=30805 vsize=15620180 memory=1452 CPUtime=15.86 cores=0,2,4,6
/proc/30807/task/31622/stat : 31622 (java) S 30805 30805 22939 0 -1 1077944384 2335 0 0 0 1586 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117563753552 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31623] ppid=30805 vsize=15620180 memory=1452 CPUtime=176.09 cores=0,2,4,6
/proc/30807/task/31623/stat : 31623 (java) R 30805 30805 22939 0 -1 4202560 6456 0 0 0 17609 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117878488352 140118631180300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
[pid=30807/tid=31624] ppid=30805 vsize=15620180 memory=1452 CPUtime=16.15 cores=0,2,4,6
/proc/30807/task/31624/stat : 31624 (java) S 30805 30805 22939 0 -1 1077944384 2876 0 0 0 1615 0 0 0 20 0 19 0 445913011 15995064320 1655191 33554432000 4194304 4196468 140727863526544 140117564806480 140119025252053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23269376 140727863534575 140727863534746 140727863534746 140727863537615 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 6622216 KiB

Child status: 143
Real time (s): 2247.15
CPU time (s): 2400.09
CPU user time (s): 2394.2
CPU system time (s): 5.89203
CPU usage (%): 106.806
Max. virtual memory (cumulated for all children) (KiB): 15733308
Max. memory (cumulated for all children) (KiB): 6622216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.2
system time used= 5.89203
maximum resident set size= 6621092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 842194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59006
involuntary context switches= 9073


# summary of solver processes directly reported to runsolver:
#   pid: 30805,30807
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2394.2
#   total CPU system time (s): 5.89203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7569 second user time and 21.6545 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-17 07:20:17
IDJOB=4400382
IDBENCH=141273
IDSOLVER=2856
FILE ID=node124/4400382-1568697657
RUNJOBID= node124-1568694194-22970
PBS_JOBID= 21703802
Free space on /tmp= 61704 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_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-4400382-1568697657/watcher-4400382-1568697657 -o /tmp/evaluation-result-4400382-1568697657/solver-4400382-1568697657 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 795192106 HOME/instance-4400382-1568697657.xml

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=795192106

node124.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.47
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.47
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.47
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.47
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:        26168044 kB
MemAvailable:   29610112 kB
Buffers:          233204 kB
Cached:          3496820 kB
SwapCached:        46376 kB
Active:          3445624 kB
Inactive:        2562224 kB
Active(anon):    2229780 kB
Inactive(anon):    98000 kB
Active(file):    1215844 kB
Inactive(file):  2464224 kB
Unevictable:      107728 kB
Mlocked:          107728 kB
SwapTotal:      67108860 kB
SwapFree:       66959728 kB
Dirty:            108376 kB
Writeback:             0 kB
AnonPages:       2340752 kB
Mapped:            61888 kB
Shmem:             40944 kB
Slab:             185924 kB
SReclaimable:     155668 kB
SUnreclaim:        30256 kB
KernelStack:        3840 kB
PageTables:        10900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4521252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2230272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61704 MiB
End job on node124 at 2019-09-17 07:57:45