Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Choco-solver 4.0.7b par (e747e1e) | SAT (TO) | 16158 | 19968.3 | 2520.13 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-07-opt_c18.xml |
MD5SUM | 8413fdc9a9128e0623052c10493da036 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 16158 |
Best CPU time to get the best result obtained on this benchmark | 19968.3 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2554 |
Number of constraints | 2355 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":2154},{"size":6,"count":34},{"size":22,"count":16},{"size":24,"count":18},{"size":36,"count":98},{"size":42,"count":76},{"size":44,"count":158}] |
Minimum variable degree | 2 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":2,"count":2157},{"degree":3,"count":7},{"degree":4,"count":10},{"degree":5,"count":31},{"degree":6,"count":34},{"degree":7,"count":44},{"degree":8,"count":53},{"degree":9,"count":42},{"degree":10,"count":16},{"degree":11,"count":21},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":17,"count":5},{"degree":18,"count":18},{"degree":19,"count":17},{"degree":20,"count":28},{"degree":21,"count":35},{"degree":22,"count":12},{"degree":23,"count":7},{"degree":24,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 118 |
Distribution of constraint arities | [{"arity":2,"count":384},{"arity":3,"count":1970},{"arity":118,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2354 |
Distribution of constraint types | [{"type":"intension","count":2354},{"type":"instantiation","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297867-1532705248.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4297867-1532705248.xml, -tl, 20160s, -p, 8] 0.12/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 35.24/15.26 c solve instance... 44.11/16.48 o 241642 45.52/17.01 o 241633 47.33/17.27 o 241544 49.37/18.31 o 240544 49.37/18.33 o 240534 49.37/18.34 o 240533 49.37/18.36 o 240433 49.37/18.37 o 240432 49.37/18.38 o 240424 49.37/18.39 o 240423 49.37/18.40 o 240323 49.72/18.41 o 240322 49.72/18.42 o 240223 49.72/18.44 o 240222 49.72/18.46 o 240220 50.17/18.59 o 239240 50.34/18.61 o 239230 50.34/18.62 o 239229 50.34/18.62 o 239129 50.34/18.64 o 238331 50.34/18.66 o 238321 50.34/18.67 o 238320 50.34/18.69 o 238220 50.62/18.70 o 238219 50.75/18.84 o 237930 50.75/18.85 o 237920 50.75/18.85 o 237919 51.96/19.01 o 237819 51.96/19.02 o 237818 52.33/19.18 o 237111 52.33/19.19 o 237101 52.54/19.21 o 237100 52.54/19.22 o 237000 52.54/19.27 o 236999 52.73/19.30 o 236710 52.73/19.33 o 236700 52.73/19.35 o 236699 52.73/19.36 o 236599 52.73/19.36 o 236598 52.73/19.39 o 236341 52.99/19.40 o 236331 52.99/19.41 o 236330 52.99/19.42 o 236230 52.99/19.43 o 236229 52.99/19.44 o 235940 52.99/19.47 o 235930 52.99/19.48 o 235929 52.99/19.48 o 235829 52.99/19.49 o 235828 53.29/19.51 o 235611 53.29/19.51 o 235601 53.29/19.53 o 235600 53.29/19.54 o 235500 53.29/19.54 o 235499 53.29/19.55 o 235242 53.29/19.56 o 235232 53.29/19.57 o 235231 54.48/19.75 o 235131 54.48/19.75 o 235130 54.48/19.77 o 234841 54.48/19.78 o 234831 55.04/19.81 o 234830 55.04/19.82 o 234730 55.04/19.82 o 234729 55.04/19.83 o 234630 55.04/19.85 o 234629 55.04/19.86 o 234530 55.04/19.88 o 234529 55.38/19.91 o 234420 55.38/19.92 o 234410 55.38/19.93 o 234342 55.38/19.93 o 234309 55.38/19.94 o 234308 55.38/19.95 o 234051 55.38/19.97 o 234041 55.38/20.00 o 234040 55.65/20.02 o 233940 55.65/20.03 o 233939 55.65/20.05 o 233650 55.65/20.07 o 233640 55.65/20.08 o 233639 55.88/20.16 o 233539 55.88/20.17 o 233538 55.88/20.18 o 233519 55.88/20.19 o 233518 56.10/20.21 o 233487 56.10/20.23 o 233486 56.10/20.25 o 233229 56.10/20.27 o 233219 56.10/20.27 o 233218 56.10/20.28 o 233118 56.10/20.28 o 233117 56.10/20.29 o 232828 56.48/20.38 o 232818 56.48/20.39 o 232817 56.62/20.40 o 232717 56.62/20.42 o 232716 56.62/20.48 o 232518 56.62/20.49 o 232508 56.92/20.50 o 232507 56.92/20.50 o 232407 76.93/23.13 o 232406 76.93/23.15 o 232397 76.93/23.15 o 232396 76.93/23.17 o 232297 76.93/23.18 o 232296 76.93/23.19 o 232178 77.25/23.20 o 232168 77.25/23.21 o 232167 77.25/23.22 o 232067 77.25/23.24 o 232066 77.25/23.25 o 231809 77.25/23.26 o 231799 77.25/23.27 o 231798 77.25/23.28 o 231698 77.25/23.29 o 231697 77.50/23.30 o 231408 77.50/23.31 o 231398 77.50/23.33 o 231397 77.50/23.33 o 231297 77.50/23.34 o 231296 77.50/23.35 o 231208 77.50/23.36 o 231207 77.50/23.36 o 231197 77.50/23.37 o 231196 77.50/23.39 o 231187 77.82/23.40 o 231171 78.45/23.66 o 231017 79.49/24.55 o 231007 79.49/24.56 o 231006 79.49/24.57 o 230906 79.49/24.58 o 230905 79.99/24.71 o 230616 79.99/24.72 o 230606 79.99/24.72 o 230605 79.99/24.73 o 230505 79.99/24.76 o 230504 79.99/24.78 o 230306 79.99/24.78 o 230296 79.99/24.79 o 230295 80.25/24.85 o 230195 80.25/24.86 o 230194 80.25/24.89 o 230185 80.44/24.90 o 230184 80.44/24.91 o 230086 80.44/24.92 o 230076 80.44/24.94 o 230075 80.44/24.95 o 229975 80.44/24.95 o 229974 80.44/24.99 o 229885 80.44/25.00 o 229884 80.92/25.02 o 229874 80.92/25.05 o 229873 80.92/25.08 o 229774 80.92/25.10 o 229764 81.43/25.12 o 229763 81.43/25.13 o 229663 81.43/25.14 o 229662 81.43/25.17 o 229653 81.43/25.18 o 229652 81.43/25.19 o 229554 81.73/25.21 o 229544 81.73/25.22 o 229543 81.73/25.23 o 229443 81.73/25.24 o 229442 81.73/25.26 o 229307 81.73/25.27 o 229297 81.73/25.28 o 229296 81.73/25.28 o 229196 82.08/25.30 o 229195 82.08/25.33 o 229186 82.08/25.33 o 229185 82.08/25.35 o 229087 82.08/25.35 o 229077 82.08/25.36 o 229076 82.08/25.38 o 228976 82.08/25.38 o 228975 82.44/25.41 o 228876 82.44/25.42 o 228875 82.44/25.43 o 228786 82.44/25.44 o 228785 82.92/25.64 o 228753 83.32/25.87 o 228696 83.32/25.88 o 228695 83.32/25.90 o 227753 83.72/26.12 o 75348 84.76/26.98 o 74368 85.06/27.15 o 73468 85.28/27.33 o 73448 85.39/27.42 o 72468 85.69/27.59 o 71668 85.95/27.76 o 71658 99.89/29.71 o 16159 104.17/30.34 o 16158 19967.51/2520.10 s SATISFIABLE 19967.51/2520.10 v <instantiation> 19967.51/2520.10 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] </list> 19967.51/2520.10 v <values>72 310 666 428 778 540 58 296 254 16 156 394 414 652 30 268 736 498 30 268 680 442 30 268 792 554 792 554 30 268 58 296 666 428 666 428 792 554 16 254 156 394 58 296 170 408 666 428 16 254 240 478 16 254 666 428 722 484 498 736 240 478 736 498 16 254 778 540 764 526 792 554 16 254 16 254 72 310 792 554 792 554 114 352 778 540 680 442 722 484 128 366 708 470 750 512 680 442 16 254 652 414 16 254 652 414 44 282 764 526 240 478 456 694 750 512 680 442 442 680 778 540 114 352 72 310 652 414 142 380 722 484 722 484 72 310 708 470 44 282 652 414 526 764 268 30 240 478 44 282 44 282 778 540 58 296 128 366 708 470 694 456 16 254 708 470 254 16 170 408 170 408 694 456 792 554 128 366 708 470 240 478 156 394 652 414 44 282 708 470 554 792 240 478 16 254 792 554 72 310 750 512 792 554 694 456 100 338 792 554 764 526 694 456 114 352 142 380 142 380 792 554 764 526 44 282 778 540 268 30 722 484 16 254 86 324 16 254 128 366 498 736 16 254 128 366 170 408 30 268 44 282 240 478 58 296 652 414 554 792 680 442 792 554 750 512 30 268 100 338 764 526 240 478 142 380 100 338 100 338 128 366 240 478 666 428 750 512 114 352 156 394 680 442 792 554 722 484 792 554 16 254 16 254 526 764 750 512 792 554 100 338 778 540 366 128 86 324 736 498 16 254 128 366 338 100 30 268 128 366 666 428 128 366 778 540 694 456 58 296 58 296 128 366 16 254 16 254 652 414 554 792 792 554 694 456 30 268 170 408 16 254 114 352 792 554 44 282 268 30 736 498 708 470 268 30 58 296 778 540 86 324 16 254 240 478 16 254 254 16 694 456 170 408 114 352 708 470 30 268 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 10 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 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 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 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 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 </values> 19967.51/2520.10 v </instantiation> 19967.51/2520.10 c Unexpected resolution interruption!
OK 16158
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 (13152 MiB free) memory of node 1: 16384 MiB (13712 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297867-1532705248/watcher-4297867-1532705248 -o /tmp/evaluation-result-4297867-1532705248/solver-4297867-1532705248 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532702492-14629 --watchdog 2580 HOME/xcsp3-exec -seed 737188771 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297867-1532705248.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15329, runsolver pid=15326 Current StackSize limit: 8192 KiB [startup+0.100141 s]* /proc/loadavg: 7.74 8.21 8.33 3/204 15350 /proc/meminfo: memFree=27493040/32770624 swapFree=67108856/67108860 [pid=15329] ppid=15326 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15329/stat : 15329 (xcsp3-exec) S 15326 15329 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88087949 115843072 363 33554432000 4194304 5098028 140729300189808 140729300187912 139971670917756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10473472 140729300198454 140729300198656 140729300198656 140729300201418 0 /proc/15329/statm: 28282 363 305 221 0 87 0 [pid=15331] ppid=15329 vsize=26104152 memory=27924 CPUtime=0.12 cores=0-7 /proc/15331/stat : 15331 (java) S 15329 15329 14602 0 -1 1077944320 5390 0 0 0 11 1 0 0 20 0 20 0 88087949 26730651648 6981 33554432000 4194304 4196468 140736372151280 140736372133824 139771810406135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 /proc/15331/statm: 6526038 6981 3000 1 0 6488315 0 [pid=15331/tid=15332] ppid=15329 vsize=26104152 memory=7897513229686839962 CPUtime=0.09 cores=0-7 /proc/15331/task/15332/stat : 15332 (java) R 15329 15329 14602 0 -1 4202560 3408 0 0 0 9 0 0 0 20 0 20 0 88087950 26730651648 6981 33554432000 4194304 4196468 140736372151280 139771814632480 139771810418070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15333] ppid=15329 vsize=26104152 memory=732370685010263013 CPUtime=0 cores=0-7 /proc/15331/task/15333/stat : 15333 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 6981 33554432000 4194304 4196468 140736372151280 139771732986640 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15334] ppid=15329 vsize=26104152 memory=140546672809600 CPUtime=0 cores=0-7 /proc/15331/task/15334/stat : 15334 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 6981 33554432000 4194304 4196468 140736372151280 139771731934096 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15335] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15335/stat : 15335 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 6981 33554432000 4194304 4196468 140736372151280 139771730881552 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15336] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15336/stat : 15336 (java) S 15329 15329 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 6981 33554432000 4194304 4196468 140736372151280 139771729829008 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15337] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15337/stat : 15337 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 6981 33554432000 4194304 4196468 140736372151280 139771728775440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15338] ppid=15329 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15331/task/15338/stat : 15338 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 6981 33554432000 4194304 4196468 140736372151280 139771727722896 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15339] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15339/stat : 15339 (java) S 15329 15329 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 6981 33554432000 4194304 4196468 140736372151280 139771726670352 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15340] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15340/stat : 15340 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 6981 33554432000 4194304 4196468 140736372151280 139771360860816 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15341] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15341/stat : 15341 (java) S 15329 15329 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087952 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770485422576 139771810417282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15342] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15342/stat : 15342 (java) S 15329 15329 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88087953 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770484368800 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15343] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15343/stat : 15343 (java) S 15329 15329 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88087953 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770483316208 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15344] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15344/stat : 15344 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087955 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770482264784 139771810424731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15345] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15345/stat : 15345 (java) S 15329 15329 14602 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 88087955 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770481211376 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15346] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15346/stat : 15346 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087955 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770480158832 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15347] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15347/stat : 15347 (java) S 15329 15329 14602 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88087955 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770479106288 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15348] ppid=15329 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15331/task/15348/stat : 15348 (java) R 15329 15329 14602 0 -1 4202560 237 0 0 0 1 0 0 0 20 0 20 0 88087955 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770478053744 139771810418070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15349] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15349/stat : 15349 (java) S 15329 15329 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087956 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770477001440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15350] ppid=15329 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15331/task/15350/stat : 15350 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087956 26730651648 6981 33554432000 4194304 4196468 140736372151280 139770475948976 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 29376 KiB [startup+0.210688 s]* /proc/loadavg: 7.74 8.21 8.33 4/204 15350 /proc/meminfo: memFree=27482812/32770624 swapFree=67108856/67108860 [pid=15329] ppid=15326 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15329/stat : 15329 (xcsp3-exec) S 15326 15329 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88087949 115843072 363 33554432000 4194304 5098028 140729300189808 140729300187912 139971670917756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10473472 140729300198454 140729300198656 140729300198656 140729300201418 0 /proc/15329/statm: 28282 363 305 221 0 87 0 [pid=15331] ppid=15329 vsize=26104152 memory=39752 CPUtime=0.33 cores=0-7 /proc/15331/stat : 15331 (java) S 15329 15329 14602 0 -1 1077944320 8027 0 0 0 31 2 0 0 20 0 20 0 88087949 26730651648 9938 33554432000 4194304 4196468 140736372151280 140736372133824 139771810406135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 /proc/15331/statm: 6526038 9938 3205 1 0 6488315 0 [pid=15331/tid=15332] ppid=15329 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7 /proc/15331/task/15332/stat : 15332 (java) R 15329 15329 14602 0 -1 4202560 5108 0 0 0 19 1 0 0 20 0 20 0 88087950 26730651648 9938 33554432000 4194304 4196468 140736372151280 139771814642832 139771810427965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15333] ppid=15329 vsize=26104152 memory=281093236446968 CPUtime=0 cores=0-7 /proc/15331/task/15333/stat : 15333 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 9938 33554432000 4194304 4196468 140736372151280 139771732986640 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15334] ppid=15329 vsize=26104152 memory=140546672809600 CPUtime=0 cores=0-7 /proc/15331/task/15334/stat : 15334 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 9938 33554432000 4194304 4196468 140736372151280 139771731934096 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15335] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15335/stat : 15335 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 9938 33554432000 4194304 4196468 140736372151280 139771730881552 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15336] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15336/stat : 15336 (java) S 15329 15329 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 9938 33554432000 4194304 4196468 140736372151280 139771729829008 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15337] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15337/stat : 15337 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 9938 33554432000 4194304 4196468 140736372151280 139771728775440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15338] ppid=15329 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15331/task/15338/stat : 15338 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 9938 33554432000 4194304 4196468 140736372151280 139771727722896 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15339] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15339/stat : 15339 (java) S 15329 15329 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 9938 33554432000 4194304 4196468 140736372151280 139771726670352 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15340] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15340/stat : 15340 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26730651648 9938 33554432000 4194304 4196468 140736372151280 139771360860816 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15341] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15341/stat : 15341 (java) S 15329 15329 14602 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88087952 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770485422576 139771810417282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15342] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15342/stat : 15342 (java) S 15329 15329 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88087953 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770484368800 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15343] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15343/stat : 15343 (java) S 15329 15329 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88087953 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770483316208 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15344] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15344/stat : 15344 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087955 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770482264784 139771810424731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15345] ppid=15329 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15331/task/15345/stat : 15345 (java) S 15329 15329 14602 0 -1 1077944384 413 0 0 0 1 0 0 0 20 0 20 0 88087955 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770481211376 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15346] ppid=15329 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15331/task/15346/stat : 15346 (java) S 15329 15329 14602 0 -1 1077944384 328 0 0 0 1 0 0 0 20 0 20 0 88087955 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770480158832 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15347] ppid=15329 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7 /proc/15331/task/15347/stat : 15347 (java) S 15329 15329 14602 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 20 0 88087955 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770479106288 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15348] ppid=15329 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7 /proc/15331/task/15348/stat : 15348 (java) S 15329 15329 14602 0 -1 1077944384 709 0 0 0 8 0 0 0 20 0 20 0 88087955 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770478053744 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15349] ppid=15329 vsize=26104152 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15349/stat : 15349 (java) S 15329 15329 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087956 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770477001440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15350] ppid=15329 vsize=26104152 memory=-1 CPUtime=0 cores=0-7 /proc/15331/task/15350/stat : 15350 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087956 26730651648 9938 33554432000 4194304 4196468 140736372151280 139770475948976 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 26217280 KiB Current children cumulated memory: 41204 KiB [startup+0.310587 s]* /proc/loadavg: 7.74 8.21 8.33 4/204 15350 /proc/meminfo: memFree=27477396/32770624 swapFree=67108856/67108860 [pid=15329] ppid=15326 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15329/stat : 15329 (xcsp3-exec) S 15326 15329 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88087949 115843072 363 33554432000 4194304 5098028 140729300189808 140729300187912 139971670917756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10473472 140729300198454 140729300198656 140729300198656 140729300201418 0 /proc/15329/statm: 28282 363 305 221 0 87 0 [pid=15331] ppid=15329 vsize=26108408 memory=46740 CPUtime=0.51 cores=0-7 /proc/15331/stat : 15331 (java) S 15329 15329 14602 0 -1 1077944320 8895 0 0 0 49 2 0 0 20 0 20 0 88087949 26735009792 11685 33554432000 4194304 4196468 140736372151280 140736372133824 139771810406135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 /proc/15331/statm: 6527102 11685 3263 1 0 6488315 0 [pid=15331/tid=15332] ppid=15329 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/15331/task/15332/stat : 15332 (java) R 15329 15329 14602 0 -1 4202560 5819 0 0 0 28 1 0 0 20 0 20 0 88087950 26735009792 11685 33554432000 4194304 4196468 140736372151280 139771814637248 139771794486622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15333] ppid=15329 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15333/stat : 15333 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26735009792 11685 33554432000 4194304 4196468 140736372151280 139771732986640 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15334] ppid=15329 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15334/stat : 15334 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26735009792 11685 33554432000 4194304 4196468 140736372151280 139771731934096 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15335] ppid=15329 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15335/stat : 15335 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26735009792 11685 33554432000 4194304 4196468 140736372151280 139771730881552 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15336] ppid=15329 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15336/stat : 15336 (java) S 15329 15329 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087951 26735009792 11685 33554432000 4194304 4196468 140736372151280 139771729829008 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15337] ppid=15329 vsize=26108408 memory=2244 CPUtime=0 cores=0-7 /proc/15331/task/15337/stat : 15337 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26735009792 11685 33554432000 4194304 4196468 140736372151280 139771728775440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15338] ppid=15329 vsize=26108408 memory=140546563732399 CPUtime=0 cores=0-7 /proc/15331/task/15338/stat : 15338 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26735009792 11685 33554432000 4194304 4196468 140736372151280 139771727722896 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15339] ppid=15329 vsize=26108408 memory=140546563734704 CPUtime=0 cores=0-7 /proc/15331/task/15339/stat : 15339 (java) S 15329 15329 14602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88087951 26735009792 11685 33554432000 4194304 4196468 140736372151280 139771726670352 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15340] ppid=15329 vsize=26108408 memory=140546563737008 CPUtime=0 cores=0-7 /proc/15331/task/15340/stat : 15340 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26735009792 11685 33554432000 4194304 4196468 140736372151280 139771360860816 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15341] ppid=15329 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15341/stat : 15341 (java) S 15329 15329 14602 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88087952 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770485422576 139771810417282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15342] ppid=15329 vsize=26108408 memory=281093127480976 CPUtime=0 cores=0-7 /proc/15331/task/15342/stat : 15342 (java) S 15329 15329 14602 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88087953 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770484368800 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15343] ppid=15329 vsize=26108408 memory=281093127487888 CPUtime=0 cores=0-7 /proc/15331/task/15343/stat : 15343 (java) S 15329 15329 14602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88087953 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770483316208 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15344] ppid=15329 vsize=26108408 memory=281093127429168 CPUtime=0 cores=0-7 /proc/15331/task/15344/stat : 15344 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087955 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770482264784 139771810424731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15345] ppid=15329 vsize=26108408 memory=281093127501712 CPUtime=0.04 cores=0-7 /proc/15331/task/15345/stat : 15345 (java) S 15329 15329 14602 0 -1 1077944384 495 0 0 0 4 0 0 0 20 0 20 0 88087955 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770481211376 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15346] ppid=15329 vsize=26108408 memory=281093127508624 CPUtime=0.02 cores=0-7 /proc/15331/task/15346/stat : 15346 (java) S 15329 15329 14602 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 20 0 88087955 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770480158832 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15347] ppid=15329 vsize=26108408 memory=281093127506320 CPUtime=0.01 cores=0-7 /proc/15331/task/15347/stat : 15347 (java) S 15329 15329 14602 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 88087955 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770479106288 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15348] ppid=15329 vsize=26108408 memory=281093127522480 CPUtime=0.12 cores=0-7 /proc/15331/task/15348/stat : 15348 (java) S 15329 15329 14602 0 -1 1077944384 780 0 0 0 12 0 0 0 20 0 20 0 88087955 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770478053744 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15349] ppid=15329 vsize=26108408 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15349/stat : 15349 (java) S 15329 15329 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88087956 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770477001440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15350] ppid=15329 vsize=26108408 memory=-1 CPUtime=0 cores=0-7 /proc/15331/task/15350/stat : 15350 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087956 26735009792 11685 33554432000 4194304 4196468 140736372151280 139770475948976 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 Current children cumulated CPU time: 0.51 s Current children cumulated vsize: 26221536 KiB Current children cumulated memory: 48192 KiB [startup+0.700987 s] /proc/loadavg: 7.74 8.21 8.33 6/204 15350 /proc/meminfo: memFree=27452768/32770624 swapFree=67108856/67108860 [pid=15329] ppid=15326 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15329/stat : 15329 (xcsp3-exec) S 15326 15329 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88087949 115843072 363 33554432000 4194304 5098028 140729300189808 140729300187912 139971670917756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10473472 140729300198454 140729300198656 140729300198656 140729300201418 0 /proc/15329/statm: 28282 363 305 221 0 87 0 [pid=15331] ppid=15329 vsize=26110532 memory=102972 CPUtime=1.99 cores=0-7 /proc/15331/stat : 15331 (java) S 15329 15329 14602 0 -1 1077944320 14342 0 0 0 194 5 0 0 20 0 20 0 88087949 26737184768 25743 33554432000 4194304 4196468 140736372151280 140736372133824 139771810406135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 /proc/15331/statm: 6527633 25743 3357 1 0 6488827 0 [pid=15331/tid=15332] ppid=15329 vsize=26110532 memory=281093127817344 CPUtime=0.67 cores=0-7 /proc/15331/task/15332/stat : 15332 (java) R 15329 15329 14602 0 -1 4202560 6692 0 0 0 65 2 0 0 20 0 20 0 88087950 26737184768 25743 33554432000 4194304 4196468 140736372151280 139771814642272 139771409329829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15333] ppid=15329 vsize=26110532 memory=5089536246935 CPUtime=0 cores=0-7 /proc/15331/task/15333/stat : 15333 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26737184768 25743 33554432000 4194304 4196468 140736372151280 139771732986640 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15334] ppid=15329 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15334/stat : 15334 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26737184768 25743 33554432000 4194304 4196468 140736372151280 139771731934096 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15335] ppid=15329 vsize=26110532 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15335/stat : 15335 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88087951 26737184768 25743 33554432000 4194304 4196468 140736372151280 139771730881552 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 ################ # More data... # ################ [pid=15331/tid=16910] ppid=15329 vsize=26645092 memory=2936640 CPUtime=2410.71 cores=0-7 /proc/15331/task/16910/stat : 16910 (java) R 15329 15329 14602 0 -1 4202560 26092 0 0 0 241060 11 0 0 20 0 28 0 88090984 27284574208 731466 33554432000 4194304 4196468 140736372151280 139770465067480 139771416280186 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 Current children cumulated CPU time: 19347.6 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 2927316 KiB [startup+2502.31 s] /proc/loadavg: 8.72 8.55 8.49 9/212 16975 /proc/meminfo: memFree=24630404/32770624 swapFree=67108856/67108860 [pid=15329] ppid=15326 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15329/stat : 15329 (xcsp3-exec) S 15326 15329 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88087949 115843072 363 33554432000 4194304 5098028 140729300189808 140729300187912 139971670917756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10473472 140729300198454 140729300198656 140729300198656 140729300201418 0 /proc/15329/statm: 28282 363 305 221 0 87 0 [pid=15331] ppid=15329 vsize=26645092 memory=2886364 CPUtime=19826.3 cores=0-7 /proc/15331/stat : 15331 (java) S 15329 15329 14602 0 -1 1077944320 530328 0 0 0 1981707 920 0 0 20 0 28 0 88087949 27284574208 721591 33554432000 4194304 4196468 140736372151280 140736372133824 139771810406135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 /proc/15331/statm: 6661273 721591 3465 1 0 6622467 0 [pid=15331/tid=15332] ppid=15329 vsize=26645092 memory=1452 CPUtime=13.75 cores=0-7 /proc/15331/task/15332/stat : 15332 (java) S 15329 15329 14602 0 -1 1077944384 10678 0 0 0 1359 16 0 0 20 0 28 0 88087950 27284574208 721591 33554432000 4194304 4196468 140736372151280 139771814646944 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15333] ppid=15329 vsize=26645092 memory=2886364 CPUtime=5.16 cores=0-7 /proc/15331/task/15333/stat : 15333 (java) S 15329 15329 14602 0 -1 1077944384 12111 0 0 0 436 80 0 0 20 0 28 0 88087951 27284574208 721591 33554432000 4194304 4196468 140736372151280 139771732986640 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15334] ppid=15329 vsize=26645092 memory=1452 CPUtime=5.17 cores=0-7 /proc/15331/task/15334/stat : 15334 (java) S 15329 15329 14602 0 -1 1077944384 11798 0 0 0 437 80 0 0 20 0 28 0 88087951 27284574208 721591 33554432000 4194304 4196468 140736372151280 139771731934096 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15335] ppid=15329 vsize=26645092 memory=1452 CPUtime=5.17 cores=0-7 /proc/15331/task/15335/stat : 15335 (java) S 15329 15329 14602 0 -1 1077944384 11754 0 0 0 433 84 0 0 20 0 28 0 88087951 27284574208 721591 33554432000 4194304 4196468 140736372151280 139771730881552 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15336] ppid=15329 vsize=26645092 memory=2909448 CPUtime=5.21 cores=0-7 /proc/15331/task/15336/stat : 15336 (java) S 15329 15329 14602 0 -1 1077944384 11165 0 0 0 440 81 0 0 20 0 28 0 88087951 27284574208 721591 33554432000 4194304 4196468 140736372151280 139771729829008 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15337] ppid=15329 vsize=26645092 memory=1452 CPUtime=5.15 cores=0-7 /proc/15331/task/15337/stat : 15337 (java) S 15329 15329 14602 0 -1 1077944384 15372 0 0 0 433 82 0 0 20 0 28 0 88087951 27284574208 721591 33554432000 4194304 4196468 140736372151280 139771728775440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15338] ppid=15329 vsize=26645092 memory=2936640 CPUtime=5.18 cores=0-7 /proc/15331/task/15338/stat : 15338 (java) S 15329 15329 14602 0 -1 1077944384 10919 0 0 0 436 82 0 0 20 0 28 0 88087951 27284574208 721591 33554432000 4194304 4196468 140736372151280 139771727722896 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15339] ppid=15329 vsize=26645092 memory=6791534058613427641 CPUtime=5.19 cores=0-7 /proc/15331/task/15339/stat : 15339 (java) S 15329 15329 14602 0 -1 1077944384 12860 0 0 0 435 84 0 0 20 0 28 0 88087951 27284574208 721591 33554432000 4194304 4196468 140736372151280 139771726670352 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15340] ppid=15329 vsize=26645092 memory=2886364 CPUtime=5.19 cores=0-7 /proc/15331/task/15340/stat : 15340 (java) S 15329 15329 14602 0 -1 1077944384 12660 0 0 0 437 82 0 0 20 0 28 0 88087951 27284574208 721591 33554432000 4194304 4196468 140736372151280 139771360860816 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15341] ppid=15329 vsize=26645092 memory=1452 CPUtime=0.3 cores=0-7 /proc/15331/task/15341/stat : 15341 (java) S 15329 15329 14602 0 -1 1077944384 19275 0 0 0 23 7 0 0 20 0 28 0 88087952 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770485422576 139771810417282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15342] ppid=15329 vsize=26645092 memory=1452 CPUtime=0 cores=0-7 /proc/15331/task/15342/stat : 15342 (java) S 15329 15329 14602 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 88087953 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770484368864 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15343] ppid=15329 vsize=26645092 memory=2897136 CPUtime=0 cores=0-7 /proc/15331/task/15343/stat : 15343 (java) S 15329 15329 14602 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 88087953 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770483316224 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15344] ppid=15329 vsize=26645092 memory=1452 CPUtime=0 cores=0-7 /proc/15331/task/15344/stat : 15344 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88087955 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770482264784 139771810424731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15345] ppid=15329 vsize=26645092 memory=6791534058613427641 CPUtime=5.07 cores=0-7 /proc/15331/task/15345/stat : 15345 (java) S 15329 15329 14602 0 -1 1077944384 31096 0 0 0 503 4 0 0 20 0 28 0 88087955 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770481211376 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15346] ppid=15329 vsize=26645092 memory=644 CPUtime=4.23 cores=0-7 /proc/15331/task/15346/stat : 15346 (java) S 15329 15329 14602 0 -1 1077944384 29161 0 0 0 418 5 0 0 20 0 28 0 88087955 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770480158832 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15347] ppid=15329 vsize=26645092 memory=131752416802770 CPUtime=4.67 cores=0-7 /proc/15331/task/15347/stat : 15347 (java) S 15329 15329 14602 0 -1 1077944384 30910 0 0 0 462 5 0 0 20 0 28 0 88087955 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770479106288 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15348] ppid=15329 vsize=26645092 memory=281093129173952 CPUtime=1.21 cores=0-7 /proc/15331/task/15348/stat : 15348 (java) S 15329 15329 14602 0 -1 1077944384 18806 0 0 0 117 4 0 0 20 0 28 0 88087955 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770478053744 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15349] ppid=15329 vsize=26645092 memory=5772 CPUtime=0 cores=0-7 /proc/15331/task/15349/stat : 15349 (java) S 15329 15329 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88087956 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770477001440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15350] ppid=15329 vsize=26645092 memory=1452 CPUtime=0.94 cores=0-7 /proc/15331/task/15350/stat : 15350 (java) S 15329 15329 14602 0 -1 1077944384 2911 0 0 0 47 47 0 0 20 0 28 0 88087956 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770475948976 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16903] ppid=15329 vsize=26645092 memory=2897136 CPUtime=2469.92 cores=0-7 /proc/15331/task/16903/stat : 16903 (java) R 15329 15329 14602 0 -1 4202560 9927 0 0 0 246982 10 0 0 20 0 28 0 88090984 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770460858640 139771416280096 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16904] ppid=15329 vsize=26645092 memory=1452 CPUtime=2447.47 cores=0-7 /proc/15331/task/16904/stat : 16904 (java) R 15329 15329 14602 0 -1 4202560 59666 0 0 0 244735 12 0 0 20 0 28 0 88090984 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770457698784 139771416449290 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16905] ppid=15329 vsize=26645092 memory=2886364 CPUtime=2466.86 cores=0-7 /proc/15331/task/16905/stat : 16905 (java) R 15329 15329 14602 0 -1 4202560 17228 0 0 0 246674 12 0 0 20 0 28 0 88090984 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770459803480 139771416280712 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16906] ppid=15329 vsize=26645092 memory=1452 CPUtime=2470.36 cores=0-7 /proc/15331/task/16906/stat : 16906 (java) R 15329 15329 14602 0 -1 4202560 66097 0 0 0 246954 82 0 0 20 0 28 0 88090984 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770461908904 139771416449740 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16907] ppid=15329 vsize=26645092 memory=2889956 CPUtime=2470.58 cores=0-7 /proc/15331/task/16907/stat : 16907 (java) R 15329 15329 14602 0 -1 4202560 24880 0 0 0 247048 10 0 0 20 0 28 0 88090984 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770464014424 139771416280712 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16908] ppid=15329 vsize=26645092 memory=1804 CPUtime=2456.29 cores=0-7 /proc/15331/task/16908/stat : 16908 (java) R 15329 15329 14602 0 -1 4202560 11467 0 0 0 245614 15 0 0 20 0 28 0 88090984 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770462961880 139771409599743 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16909] ppid=15329 vsize=26645092 memory=796 CPUtime=2463.25 cores=0-7 /proc/15331/task/16909/stat : 16909 (java) R 15329 15329 14602 0 -1 4202560 37141 0 0 0 246306 19 0 0 20 0 28 0 88090984 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770458751592 139771416449620 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16910] ppid=15329 vsize=26645092 memory=6791534058613427641 CPUtime=2470.67 cores=0-7 /proc/15331/task/16910/stat : 16910 (java) R 15329 15329 14602 0 -1 4202560 27245 0 0 0 247056 11 0 0 20 0 28 0 88090984 27284574208 721591 33554432000 4194304 4196468 140736372151280 139770465067480 139771416280620 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 Current children cumulated CPU time: 19826.3 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 2887816 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520.01 s]* /proc/loadavg: 8.52 8.52 8.48 9/212 16975 /proc/meminfo: memFree=24646052/32770624 swapFree=67108856/67108860 [pid=15329] ppid=15326 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/15329/stat : 15329 (xcsp3-exec) S 15326 15329 14602 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88087949 115843072 363 33554432000 4194304 5098028 140729300189808 140729300187912 139971670917756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10473472 140729300198454 140729300198656 140729300198656 140729300201418 0 /proc/15329/statm: 28282 363 305 221 0 87 0 [pid=15331] ppid=15329 vsize=26645092 memory=2870972 CPUtime=19967.5 cores=0-7 /proc/15331/stat : 15331 (java) S 15329 15329 14602 0 -1 1077944320 530730 0 0 0 1995828 923 0 0 20 0 28 0 88087949 27284574208 717743 33554432000 4194304 4196468 140736372151280 140736372133824 139771810406135 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 /proc/15331/statm: 6661273 717743 3465 1 0 6622467 0 [pid=15331/tid=15332] ppid=15329 vsize=26645092 memory=1398720917958146503 CPUtime=13.75 cores=0-7 /proc/15331/task/15332/stat : 15332 (java) S 15329 15329 14602 0 -1 1077944384 10678 0 0 0 1359 16 0 0 20 0 28 0 88087950 27284574208 717743 33554432000 4194304 4196468 140736372151280 139771814646944 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15333] ppid=15329 vsize=26645092 memory=-7003737579269690708 CPUtime=5.18 cores=0-7 /proc/15331/task/15333/stat : 15333 (java) S 15329 15329 14602 0 -1 1077944384 12114 0 0 0 438 80 0 0 20 0 28 0 88087951 27284574208 717743 33554432000 4194304 4196468 140736372151280 139771732986640 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15334] ppid=15329 vsize=26645092 memory=1780 CPUtime=5.18 cores=0-7 /proc/15331/task/15334/stat : 15334 (java) S 15329 15329 14602 0 -1 1077944384 11800 0 0 0 438 80 0 0 20 0 28 0 88087951 27284574208 717743 33554432000 4194304 4196468 140736372151280 139771731934096 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15335] ppid=15329 vsize=26645092 memory=644 CPUtime=5.18 cores=0-7 /proc/15331/task/15335/stat : 15335 (java) S 15329 15329 14602 0 -1 1077944384 11756 0 0 0 434 84 0 0 20 0 28 0 88087951 27284574208 717743 33554432000 4194304 4196468 140736372151280 139771730881552 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15336] ppid=15329 vsize=26645092 memory=956 CPUtime=5.23 cores=0-7 /proc/15331/task/15336/stat : 15336 (java) S 15329 15329 14602 0 -1 1077944384 11169 0 0 0 442 81 0 0 20 0 28 0 88087951 27284574208 717743 33554432000 4194304 4196468 140736372151280 139771729829008 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15337] ppid=15329 vsize=26645092 memory=2320 CPUtime=5.17 cores=0-7 /proc/15331/task/15337/stat : 15337 (java) S 15329 15329 14602 0 -1 1077944384 15376 0 0 0 435 82 0 0 20 0 28 0 88087951 27284574208 717743 33554432000 4194304 4196468 140736372151280 139771728775440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15338] ppid=15329 vsize=26645092 memory=1572 CPUtime=5.2 cores=0-7 /proc/15331/task/15338/stat : 15338 (java) S 15329 15329 14602 0 -1 1077944384 10922 0 0 0 438 82 0 0 20 0 28 0 88087951 27284574208 717743 33554432000 4194304 4196468 140736372151280 139771727722896 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15339] ppid=15329 vsize=26645092 memory=928 CPUtime=5.2 cores=0-7 /proc/15331/task/15339/stat : 15339 (java) S 15329 15329 14602 0 -1 1077944384 12861 0 0 0 436 84 0 0 20 0 28 0 88087951 27284574208 717743 33554432000 4194304 4196468 140736372151280 139771726670352 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15340] ppid=15329 vsize=26645092 memory=2244 CPUtime=5.21 cores=0-7 /proc/15331/task/15340/stat : 15340 (java) S 15329 15329 14602 0 -1 1077944384 12664 0 0 0 439 82 0 0 20 0 28 0 88087951 27284574208 717743 33554432000 4194304 4196468 140736372151280 139771360860816 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15341] ppid=15329 vsize=26645092 memory=6791534058613427641 CPUtime=0.31 cores=0-7 /proc/15331/task/15341/stat : 15341 (java) S 15329 15329 14602 0 -1 1077944384 19283 0 0 0 24 7 0 0 20 0 28 0 88087952 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770485422576 139771810417282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15342] ppid=15329 vsize=26645092 memory=2244 CPUtime=0 cores=0-7 /proc/15331/task/15342/stat : 15342 (java) S 15329 15329 14602 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 88087953 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770484368864 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15343] ppid=15329 vsize=26645092 memory=4312 CPUtime=0 cores=0-7 /proc/15331/task/15343/stat : 15343 (java) S 15329 15329 14602 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 88087953 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770483316224 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15344] ppid=15329 vsize=26645092 memory=2092 CPUtime=0 cores=0-7 /proc/15331/task/15344/stat : 15344 (java) S 15329 15329 14602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88087955 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770482264784 139771810424731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15345] ppid=15329 vsize=26645092 memory=7380 CPUtime=5.07 cores=0-7 /proc/15331/task/15345/stat : 15345 (java) S 15329 15329 14602 0 -1 1077944384 31096 0 0 0 503 4 0 0 20 0 28 0 88087955 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770481211376 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15346] ppid=15329 vsize=26645092 memory=836 CPUtime=4.23 cores=0-7 /proc/15331/task/15346/stat : 15346 (java) S 15329 15329 14602 0 -1 1077944384 29161 0 0 0 418 5 0 0 20 0 28 0 88087955 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770480158832 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15347] ppid=15329 vsize=26645092 memory=1800 CPUtime=4.67 cores=0-7 /proc/15331/task/15347/stat : 15347 (java) S 15329 15329 14602 0 -1 1077944384 30910 0 0 0 462 5 0 0 20 0 28 0 88087955 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770479106288 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15348] ppid=15329 vsize=26645092 memory=920 CPUtime=1.21 cores=0-7 /proc/15331/task/15348/stat : 15348 (java) S 15329 15329 14602 0 -1 1077944384 18806 0 0 0 117 4 0 0 20 0 28 0 88087955 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770478053744 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15349] ppid=15329 vsize=26645092 memory=0 CPUtime=0 cores=0-7 /proc/15331/task/15349/stat : 15349 (java) S 15329 15329 14602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88087956 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770477001440 139771810416341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=15350] ppid=15329 vsize=26645092 memory=2870972 CPUtime=0.94 cores=0-7 /proc/15331/task/15350/stat : 15350 (java) S 15329 15329 14602 0 -1 1077944384 2913 0 0 0 47 47 0 0 20 0 28 0 88087956 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770475948976 139771810417282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16903] ppid=15329 vsize=26645092 memory=4616 CPUtime=2487.6 cores=0-7 /proc/15331/task/16903/stat : 16903 (java) R 15329 15329 14602 0 -1 4202560 10010 0 0 0 248750 10 0 0 20 0 28 0 88090984 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770460855784 139771416280620 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16904] ppid=15329 vsize=26645092 memory=1388 CPUtime=2465.16 cores=0-7 /proc/15331/task/16904/stat : 16904 (java) R 15329 15329 14602 0 -1 4202560 59674 0 0 0 246504 12 0 0 20 0 28 0 88090984 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770457699032 139771409599767 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16905] ppid=15329 vsize=26645092 memory=1232 CPUtime=2484.55 cores=0-7 /proc/15331/task/16905/stat : 16905 (java) R 15329 15329 14602 0 -1 4202560 17267 0 0 0 248441 14 0 0 20 0 28 0 88090984 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770459803480 139771416280620 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16906] ppid=15329 vsize=26645092 memory=1012 CPUtime=2488.05 cores=0-7 /proc/15331/task/16906/stat : 16906 (java) R 15329 15329 14602 0 -1 4202560 66152 0 0 0 248723 82 0 0 20 0 28 0 88090984 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770461908952 139771410072220 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16907] ppid=15329 vsize=26645092 memory=1948 CPUtime=2488.26 cores=0-7 /proc/15331/task/16907/stat : 16907 (java) R 15329 15329 14602 0 -1 4202560 24907 0 0 0 248816 10 0 0 20 0 28 0 88090984 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770464014424 139771411531584 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16908] ppid=15329 vsize=26645092 memory=1188 CPUtime=2473.97 cores=0-7 /proc/15331/task/16908/stat : 16908 (java) R 15329 15329 14602 0 -1 4202560 11549 0 0 0 247382 15 0 0 20 0 28 0 88090984 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770462964736 139771416280740 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16909] ppid=15329 vsize=26645092 memory=281093128825504 CPUtime=2480.56 cores=0-7 /proc/15331/task/16909/stat : 16909 (java) R 15329 15329 14602 0 -1 4202560 37158 0 0 0 248037 19 0 0 20 0 28 0 88090984 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770458751072 139771409599753 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 [pid=15331/tid=16910] ppid=15329 vsize=26645092 memory=5989973652655524064 CPUtime=2488.35 cores=0-7 /proc/15331/task/16910/stat : 16910 (java) R 15329 15329 14602 0 -1 4202560 27303 0 0 0 248824 11 0 0 20 0 28 0 88090984 27284574208 717743 33554432000 4194304 4196468 140736372151280 139770465067480 139771416280580 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 20533248 140736372155521 140736372155693 140736372155693 140736372158415 0 Current children cumulated CPU time: 19967.5 s Current children cumulated vsize: 26758220 KiB Current children cumulated memory: 2872424 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.05 s] # the end of solver process 15329 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.001102 s, system=0.001102 s [startup+2520.13 s] # the end of solver process 15331 was just reported to runsolver # cumulated CPU time of all completed processes: user=19959.1 s, system=9.24899 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2520.13 CPU time (s): 19968.3 CPU user time (s): 19959.1 CPU system time (s): 9.24899 CPU usage (%): 792.352 Max. virtual memory (cumulated for all children) (KiB): 26758220 Max. memory (cumulated for all children) (KiB): 4574688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 19959.1 system time used= 9.24899 maximum resident set size= 4595784 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 531784 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2688 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 80860 involuntary context switches= 230383 # summary of solver processes directly reported to runsolver: # pid: 15329,15331 # total CPU time (s): 19968.3 # total CPU user time (s): 19959.1 # total CPU system time (s): 9.24899 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 23.327 second user time and 28.4715 second system time The end
Begin job on node133 at 2018-07-27 17:27:28 IDJOB=4297867 IDBENCH=141193 IDSOLVER=2760 FILE ID=node133/4297867-1532705248 RUNJOBID= node133-1532702492-14629 PBS_JOBID= 21022300 Free space on /tmp= 48252 MiB SOLVER NAME= Choco-solver 4.0.7b par (e747e1e) BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-07-opt_c18.xml COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297867-1532705248/watcher-4297867-1532705248 -o /tmp/evaluation-result-4297867-1532705248/solver-4297867-1532705248 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1532702492-14629 --watchdog 2580 HOME/xcsp3-exec -seed 737188771 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297867-1532705248.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 8413fdc9a9128e0623052c10493da036 RANDOM SEED=737188771 node133.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.24 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.24 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.24 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.24 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: 27510712 kB MemAvailable: 31945188 kB Buffers: 154300 kB Cached: 4528636 kB SwapCached: 0 kB Active: 2139064 kB Inactive: 2597492 kB Active(anon): 4892 kB Inactive(anon): 76692 kB Active(file): 2134172 kB Inactive(file): 2520800 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 22488 kB Writeback: 0 kB AnonPages: 188960 kB Mapped: 40172 kB Shmem: 25244 kB Slab: 218036 kB SReclaimable: 190680 kB SUnreclaim: 27356 kB KernelStack: 3600 kB PageTables: 4660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325500 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 135168 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 48228 MiB End job on node133 at 2018-07-27 18:09:28