Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 151052 | 2520.11 | 2520.01 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-06-opt_c18.xml |
MD5SUM | e2f0d6978164174a80e953d0a2a49c7e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 41530 |
Best CPU time to get the best result obtained on this benchmark | 2520.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2370 |
Number of constraints | 2170 |
Number of domains | 11 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":1970},{"size":6,"count":34},{"size":22,"count":22},{"size":24,"count":20},{"size":36,"count":26},{"size":42,"count":66},{"size":44,"count":232}] |
Minimum variable degree | 1 |
Maximum variable degree | 24 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1975},{"degree":3,"count":12},{"degree":4,"count":24},{"degree":5,"count":37},{"degree":6,"count":38},{"degree":7,"count":58},{"degree":8,"count":40},{"degree":9,"count":22},{"degree":10,"count":22},{"degree":11,"count":7},{"degree":12,"count":4},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":17,"count":15},{"degree":18,"count":19},{"degree":19,"count":26},{"degree":20,"count":34},{"degree":21,"count":18},{"degree":22,"count":10},{"degree":23,"count":3},{"degree":24,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":200},{"arity":3,"count":1970}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 2170 |
Distribution of constraint types | [{"type":"intension","count":2170}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 2.49/2.54 o 174015 2.49/2.54 o 173925 2.49/2.54 o 173025 2.49/2.55 o 173024 2.49/2.55 o 173023 2.49/2.56 o 172215 2.49/2.56 o 171125 2.49/2.56 o 171123 2.49/2.57 o 171023 2.49/2.59 o 170023 2.49/2.59 o 170013 2.49/2.59 o 170012 2.59/2.60 o 169012 2.59/2.60 o 168902 2.59/2.61 o 168901 2.59/2.62 o 168891 2.59/2.62 o 168791 2.59/2.63 o 168682 2.59/2.63 o 168681 2.59/2.64 o 168680 2.69/2.78 o 168611 2.79/2.84 o 168610 2.79/2.88 o 168602 2.79/2.89 o 168601 2.89/2.99 o 168592 3.10/3.18 o 168583 3.69/3.73 o 167683 3.69/3.73 o 167603 4.18/4.22 o 167535 4.18/4.23 o 167525 4.69/4.76 o 166525 7.10/7.15 o 166524 7.89/7.97 o 166424 11.19/11.21 o 166423 14.69/14.78 o 166422 24.69/24.76 o 165443 30.39/30.49 o 164846 30.49/30.50 o 164745 30.49/30.52 o 164744 30.49/30.55 o 164643 30.59/30.62 o 164543 30.59/30.64 o 164443 30.89/30.93 o 163443 31.79/31.82 o 163343 31.79/31.88 o 163334 31.79/31.89 o 163333 32.39/32.46 o 163243 34.10/34.15 o 162343 34.10/34.17 o 162243 39.89/39.95 o 162242 44.10/44.16 o 162156 44.10/44.17 o 162147 44.10/44.18 o 162143 48.99/49.06 o 162142 48.99/49.07 o 162141 55.68/55.73 o 162041 61.88/61.94 o 161944 67.78/67.88 o 161855 67.78/67.89 o 161854 68.17/68.27 o 161754 68.48/68.54 o 160754 68.78/68.82 o 160753 70.18/70.24 o 160053 70.18/70.25 o 159955 70.18/70.28 o 159754 70.38/70.43 o 159664 70.48/70.55 o 159654 71.58/71.61 o 159653 72.18/72.24 o 159553 74.38/74.43 o 159551 116.17/116.29 o 159540 122.47/122.59 o 159539 122.57/122.60 o 159538 142.27/142.37 o 158538 143.08/143.13 o 157638 146.37/146.41 o 156638 165.16/165.28 o 156538 165.26/165.39 o 156530 165.36/165.40 o 156529 166.16/166.29 o 156528 168.36/168.44 o 156527 171.16/171.25 o 155537 180.46/180.53 o 155448 190.16/190.20 o 154660 190.16/190.22 o 154651 190.16/190.26 o 154650 190.16/190.28 o 154640 190.16/190.29 o 154639 192.26/192.38 o 154638 192.36/192.41 o 154538 192.36/192.47 o 154537 240.96/241.07 o 154438 241.65/241.74 o 154338 243.06/243.14 o 154328 243.75/243.84 o 154325 243.75/243.85 o 154316 243.75/243.86 o 154308 243.75/243.87 o 154307 243.75/243.89 o 154306 243.85/243.95 o 154297 243.85/243.97 o 154296 243.96/244.01 o 154286 243.96/244.04 o 154278 244.84/244.93 o 154274 244.84/244.94 o 154273 244.84/244.95 o 154272 244.84/244.96 o 154271 244.84/244.97 o 154270 244.84/244.98 o 154269 244.84/244.99 o 154268 277.53/277.63 o 153569 277.53/277.64 o 153479 277.53/277.64 o 153478 277.83/277.96 o 153388 340.94/341.05 o 153376 340.94/341.06 o 153375 340.94/341.07 o 153374 341.23/341.35 o 153368 341.23/341.36 o 153367 341.23/341.37 o 153366 341.23/341.38 o 153365 341.53/341.64 o 153364 361.13/361.28 o 153363 420.24/420.39 o 153344 420.24/420.39 o 153343 420.54/420.60 o 153333 483.14/483.26 o 152333 1285.30/1285.35 o 152233 1285.70/1285.71 o 151333 1288.01/1288.02 o 151323 1657.03/1657.01 o 151242 1690.53/1690.51 o 151235 1690.53/1690.52 o 151234 1690.53/1690.52 o 151233 1690.53/1690.53 o 151232 1755.24/1755.26 o 151132 2096.07/2096.05 o 151122 2099.66/2099.69 o 151053 2099.76/2099.74 o 151052 2520.10/2520.01 s SATISFIABLE 2520.10/2520.01 v <instantiation type="solution"> 2520.10/2520.01 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] 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] 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] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] 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] 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] </list> 2520.10/2520.01 v <values> 324 86 484 722 310 72 254 16 16 254 254 16 16 254 792 554 30 268 526 764 282 44 114 352 526 764 310 72 708 470 44 282 666 428 512 750 470 708 442 680 58 296 652 414 142 380 352 114 268 30 380 142 16 254 554 792 254 16 792 554 142 380 58 296 282 44 470 708 764 526 268 30 652 414 100 338 128 366 540 778 16 254 30 268 470 708 778 540 666 428 128 366 44 282 352 114 414 652 764 526 254 16 16 254 86 324 254 16 526 764 380 142 652 414 750 512 764 526 792 554 414 652 380 142 554 792 554 792 296 58 72 310 428 666 324 86 394 156 456 694 16 254 554 792 736 498 142 380 44 282 254 16 16 254 44 282 764 526 512 750 296 58 268 30 268 30 254 16 170 408 380 142 366 128 44 282 352 114 268 30 170 408 254 16 652 414 30 268 554 792 254 16 380 142 722 484 254 16 30 268 414 652 708 470 254 16 554 792 254 16 694 456 428 666 652 414 128 366 142 380 156 394 268 30 554 792 58 296 338 100 778 540 254 16 296 58 44 282 680 442 16 254 254 16 554 792 380 142 792 554 540 778 408 170 792 554 30 268 128 366 540 778 254 16 352 114 394 156 30 268 30 268 142 380 128 366 58 296 394 156 366 128 380 142 268 30 44 282 526 764 352 114 30 268 16 254 778 540 792 554 254 16 86 324 16 254 254 16 16 254 428 666 778 540 30 268 58 296 282 44 540 778 484 722 30 268 282 44 254 16 442 680 484 722 764 526 512 750 792 554 554 792 792 554 764 526 554 792 428 666 58 296 268 30 414 652 470 708 408 170 750 512 366 128 282 44 792 554 764 526 310 72 652 414 16 254 722 484 736 498 114 352 16 254 380 142 30 268 254 16 268 30 478 240 764 526 310 72 470 708 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 0 1000 0 1000 1000 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 0 0 1000 1000 0 0 0 0 0 0 1000 0 1000 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 1000 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 1000 0 1000 1000 0 0 0 1000 1000 0 1000 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 0 1000 0 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 0 1000 1000 1000 1000 0 0 0 1000 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 1000 0 0 1000 0 0 0 1000 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 0 1000 0 0 0 1000 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 0 1000 1000 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 1000 0 1000 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 100 0 0 0 0 100 100 0 0 100 0 100 100 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 100 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 100 100 0 100 100 0 0 0 0 100 0 0 0 0 0 0 100 0 100 100 0 100 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 100 100 0 0 0 0 100 0 0 0 100 0 0 100 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 100 0 100 100 100 100 0 100 0 100 0 0 100 100 0 100 0 100 100 0 0 100 100 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 100 0 100 100 100 0 0 0 100 0 100 100 100 100 100 0 100 100 100 0 0 100 0 0 0 0 100 100 0 0 100 0 0 0 100 100 0 0 100 0 0 0 0 100 0 100 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 100 0 0 100 100 100 0 0 100 100 0 0 0 100 0 0 100 100 100 100 100 100 0 0 100 0 0 100 0 100 100 0 100 0 100 100 100 0 0 100 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 100 100 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 10 10 0 10 0 10 10 10 0 0 10 0 10 10 0 10 0 0 0 10 10 0 0 0 10 10 0 0 10 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 0 0 10 10 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 10 10 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 10 10 10 10 10 0 10 0 10 0 10 0 10 10 0 10 0 0 0 10 0 0 10 10 10 10 0 10 10 0 10 10 10 0 10 10 0 0 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 10 0 0 10 10 10 0 10 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 0 10 0 10 0 0 0 10 0 0 10 0 10 0 0 10 10 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 10 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 10 10 10 0 10 10 0 0 10 0 10 0 0 0 10 0 0 10 0 10 10 0 0 0 10 0 0 10 10 0 10 10 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 10 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 10 0 0 0 0 10 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 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 1 0 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 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 </values> 2520.10/2520.01 v </instantiation>
OK 151052
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 (1606 MiB free) memory of node 1: 16384 MiB (1309 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304066-1534002773/watcher-4304066-1534002773 -o /tmp/evaluation-result-4304066-1534002773/solver-4304066-1534002773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1533992269-6088 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1487008899 HOME/instance-4304066-1534002773.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=7428, runsolver pid=7425 Current StackSize limit: 8192 KiB [startup+0.100158 s]* /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2977912/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=37116 memory=11564 CPUtime=0.1 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 3133 0 0 0 10 0 0 0 20 0 1 0 217840496 38006784 2891 33554432000 4194304 7499544 140737470763184 140737470760184 140476974173157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 9279 2891 701 807 0 2270 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 37116 KiB Current children cumulated memory: 11564 KiB [startup+0.210113 s]* /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2974564/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=40800 memory=15260 CPUtime=0.21 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 4080 0 0 0 21 0 0 0 20 0 1 0 217840496 41779200 3815 33554432000 4194304 7499544 140737470763184 140737470760184 140476974173157 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 10200 3815 716 807 0 3191 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 40800 KiB Current children cumulated memory: 15260 KiB [startup+0.309709 s]* /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2970396/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=44444 memory=18956 CPUtime=0.3 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 4992 0 0 0 30 0 0 0 20 0 1 0 217840496 45510656 4739 33554432000 4194304 7499544 140737470763184 140737470753848 140476980954995 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 11111 4739 716 807 0 4102 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 44444 KiB Current children cumulated memory: 18956 KiB [startup+0.700287 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2963328/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=57592 memory=32144 CPUtime=0.69 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 8272 0 0 0 69 0 0 0 20 0 1 0 217840496 58974208 8036 33554432000 4194304 7499544 140737470763184 140737470753848 4563992 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 14398 8036 716 807 0 7389 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 57592 KiB Current children cumulated memory: 32144 KiB [startup+1.50035 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2945844/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=83060 memory=57604 CPUtime=1.49 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 14755 0 0 0 147 2 0 0 20 0 1 0 217840496 85053440 14401 33554432000 4194304 7499544 140737470763184 140737470753752 4564148 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 20765 14401 716 807 0 13756 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 83060 KiB Current children cumulated memory: 57604 KiB [startup+3.11014 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2900200/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=114080 memory=88768 CPUtime=3.1 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 39298 0 0 0 306 4 0 0 20 0 1 0 217840496 116817920 22192 33554432000 4194304 7499544 140737470763184 140737470757512 4258035 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 28520 22192 764 807 0 21511 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 114080 KiB Current children cumulated memory: 88768 KiB [startup+6.30041 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2899956/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=114476 memory=89196 CPUtime=6.29 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 57152 0 0 0 624 5 0 0 20 0 1 0 217840496 117223424 22299 33554432000 4194304 7499544 140737470763184 140737470758200 4398064 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 28619 22299 764 807 0 21610 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 114476 KiB Current children cumulated memory: 89196 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2900332/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=114872 memory=89712 CPUtime=12.69 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 76059 0 0 0 1263 6 0 0 20 0 1 0 217840496 117628928 22428 33554432000 4194304 7499544 140737470763184 140737470757512 4579688 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 28718 22428 764 807 0 21709 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 114872 KiB Current children cumulated memory: 89712 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2900700/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=115136 memory=89944 CPUtime=25.49 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 112907 0 0 0 2541 8 0 0 20 0 1 0 217840496 117899264 22486 33554432000 4194304 7499544 140737470763184 140737470758200 4405601 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 28784 22486 764 807 0 21775 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 115136 KiB Current children cumulated memory: 89944 KiB [startup+51.1102 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7429 /proc/meminfo: memFree=2897972/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=117648 memory=92300 CPUtime=51.09 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 132655 0 0 0 5100 9 0 0 20 0 1 0 217840496 120471552 23075 33554432000 4194304 7499544 140737470763184 140737470757512 4405984 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 29412 23075 764 807 0 22403 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 117648 KiB Current children cumulated memory: 92300 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7430 /proc/meminfo: memFree=2897212/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=118308 memory=93096 CPUtime=102.27 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 152251 0 0 0 10217 10 0 0 20 0 1 0 217840496 121147392 23274 33554432000 4194304 7499544 140737470763184 140737470757512 4579850 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 29577 23274 764 807 0 22568 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 118308 KiB Current children cumulated memory: 93096 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/191 7432 /proc/meminfo: memFree=2896824/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=118836 memory=93520 CPUtime=162.26 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 171581 0 0 0 16215 11 0 0 20 0 1 0 217840496 121688064 23380 33554432000 4194304 7499544 140737470763184 140737470757608 4258023 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 29709 23380 764 807 0 22700 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 118836 KiB Current children cumulated memory: 93520 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/191 7433 /proc/meminfo: memFree=2896512/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=119100 memory=93884 CPUtime=222.26 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 191544 0 0 0 22214 12 0 0 20 0 1 0 217840496 121958400 23471 33554432000 4194304 7499544 140737470763184 140737470758200 4579500 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 29775 23471 764 807 0 22766 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 119100 KiB Current children cumulated memory: 93884 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/191 7434 /proc/meminfo: memFree=2895692/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=119892 memory=94580 CPUtime=282.23 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 206491 0 0 0 28210 13 0 0 20 0 1 0 217840496 122769408 23645 33554432000 4194304 7499544 140737470763184 140737470758200 4408873 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 29973 23645 764 807 0 22964 0 Current children cumulated CPU time: 282.23 s Current children cumulated vsize: 119892 KiB Current children cumulated memory: 94580 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/191 7436 /proc/meminfo: memFree=2895048/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=119892 memory=94776 CPUtime=342.23 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 207402 0 0 0 34210 13 0 0 20 0 1 0 217840496 122769408 23694 33554432000 4194304 7499544 140737470763184 140737470758200 4222944 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 29973 23694 764 807 0 22964 0 Current children cumulated CPU time: 342.23 s Current children cumulated vsize: 119892 KiB Current children cumulated memory: 94776 KiB [startup+402.3 s] /proc/loadavg: 2.05 2.03 2.05 3/191 7437 /proc/meminfo: memFree=2894904/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=119892 memory=94776 CPUtime=402.24 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 207402 0 0 0 40211 13 0 0 20 0 1 0 217840496 122769408 23694 33554432000 4194304 7499544 140737470763184 140737470758200 4258046 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 29973 23694 764 807 0 22964 0 Current children cumulated CPU time: 402.24 s Current children cumulated vsize: 119892 KiB Current children cumulated memory: 94776 KiB [startup+462.3 s] /proc/loadavg: 2.02 2.02 2.05 3/191 7445 /proc/meminfo: memFree=2894360/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=120024 memory=94828 CPUtime=462.24 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 208311 0 0 0 46211 13 0 0 20 0 1 0 217840496 122904576 23707 33554432000 4194304 7499544 140737470763184 140737470757512 4258061 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30006 23707 764 807 0 22997 0 Current children cumulated CPU time: 462.24 s Current children cumulated vsize: 120024 KiB Current children cumulated memory: 94828 KiB ################ # More data... # ################ /proc/7428/statm: 30435 24141 764 807 0 23426 0 Current children cumulated CPU time: 1722.34 s Current children cumulated vsize: 121740 KiB Current children cumulated memory: 96564 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7509 /proc/meminfo: memFree=2891780/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=121740 memory=96584 CPUtime=1782.34 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 217649 0 0 0 178220 14 0 0 20 0 1 0 217840496 124661760 24146 33554432000 4194304 7499544 140737470763184 140737470758200 4249666 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30435 24146 764 807 0 23426 0 Current children cumulated CPU time: 1782.34 s Current children cumulated vsize: 121740 KiB Current children cumulated memory: 96584 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/192 7510 /proc/meminfo: memFree=2891756/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=121740 memory=96640 CPUtime=1842.34 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 217678 0 0 0 184220 14 0 0 20 0 1 0 217840496 124661760 24160 33554432000 4194304 7499544 140737470763184 140737470758200 4404988 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30435 24160 764 807 0 23426 0 Current children cumulated CPU time: 1842.34 s Current children cumulated vsize: 121740 KiB Current children cumulated memory: 96640 KiB [startup+1902.3 s] /proc/loadavg: 2.40 2.11 2.08 3/191 7511 /proc/meminfo: memFree=2891796/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=121872 memory=96764 CPUtime=1902.35 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 218527 0 0 0 190221 14 0 0 20 0 1 0 217840496 124796928 24191 33554432000 4194304 7499544 140737470763184 140737470757512 4405034 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30468 24191 764 807 0 23459 0 Current children cumulated CPU time: 1902.35 s Current children cumulated vsize: 121872 KiB Current children cumulated memory: 96764 KiB [startup+1962.3 s] /proc/loadavg: 2.46 2.20 2.11 3/191 7513 /proc/meminfo: memFree=2891520/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122004 memory=96796 CPUtime=1962.35 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 218560 0 0 0 196221 14 0 0 20 0 1 0 217840496 124932096 24199 33554432000 4194304 7499544 140737470763184 140737470757512 4258027 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30501 24199 764 807 0 23492 0 Current children cumulated CPU time: 1962.35 s Current children cumulated vsize: 122004 KiB Current children cumulated memory: 96796 KiB [startup+2022.3 s] /proc/loadavg: 2.17 2.17 2.11 3/192 7515 /proc/meminfo: memFree=2891212/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122004 memory=96884 CPUtime=2022.36 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 219434 0 0 0 202222 14 0 0 20 0 1 0 217840496 124932096 24221 33554432000 4194304 7499544 140737470763184 140737470757512 4579810 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30501 24221 764 807 0 23492 0 Current children cumulated CPU time: 2022.36 s Current children cumulated vsize: 122004 KiB Current children cumulated memory: 96884 KiB [startup+2082.3 s] /proc/loadavg: 2.06 2.14 2.10 3/192 7516 /proc/meminfo: memFree=2891464/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122004 memory=96884 CPUtime=2082.36 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 219438 0 0 0 208222 14 0 0 20 0 1 0 217840496 124932096 24221 33554432000 4194304 7499544 140737470763184 140737470757512 4405924 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30501 24221 764 807 0 23492 0 Current children cumulated CPU time: 2082.36 s Current children cumulated vsize: 122004 KiB Current children cumulated memory: 96884 KiB [startup+2142.3 s] /proc/loadavg: 2.32 2.18 2.12 3/192 7578 /proc/meminfo: memFree=2926440/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122136 memory=96996 CPUtime=2142.36 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 220264 0 0 0 214222 14 0 0 20 0 1 0 217840496 125067264 24249 33554432000 4194304 7499544 140737470763184 140737470758200 4249664 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30534 24249 764 807 0 23525 0 Current children cumulated CPU time: 2142.36 s Current children cumulated vsize: 122136 KiB Current children cumulated memory: 96996 KiB [startup+2202.3 s] /proc/loadavg: 2.44 2.26 2.15 3/192 7579 /proc/meminfo: memFree=2923956/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122136 memory=96996 CPUtime=2202.37 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 220270 0 0 0 220223 14 0 0 20 0 1 0 217840496 125067264 24249 33554432000 4194304 7499544 140737470763184 140737470758200 4252674 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30534 24249 764 807 0 23525 0 Current children cumulated CPU time: 2202.37 s Current children cumulated vsize: 122136 KiB Current children cumulated memory: 96996 KiB [startup+2262.3 s] /proc/loadavg: 2.11 2.20 2.13 3/192 7587 /proc/meminfo: memFree=2920624/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122136 memory=97000 CPUtime=2262.37 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 221103 0 0 0 226223 14 0 0 20 0 1 0 217840496 125067264 24250 33554432000 4194304 7499544 140737470763184 140737470758200 4405010 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30534 24250 764 807 0 23525 0 Current children cumulated CPU time: 2262.37 s Current children cumulated vsize: 122136 KiB Current children cumulated memory: 97000 KiB [startup+2322.3 s] /proc/loadavg: 2.04 2.16 2.13 3/191 7588 /proc/meminfo: memFree=2921124/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122136 memory=97000 CPUtime=2322.38 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 221249 0 0 0 232224 14 0 0 20 0 1 0 217840496 125067264 24250 33554432000 4194304 7499544 140737470763184 140737470758200 4258035 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30534 24250 764 807 0 23525 0 Current children cumulated CPU time: 2322.38 s Current children cumulated vsize: 122136 KiB Current children cumulated memory: 97000 KiB [startup+2382.3 s] /proc/loadavg: 2.01 2.13 2.12 3/192 7590 /proc/meminfo: memFree=2921300/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122136 memory=97000 CPUtime=2382.38 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 222136 0 0 0 238224 14 0 0 20 0 1 0 217840496 125067264 24250 33554432000 4194304 7499544 140737470763184 140737470758200 4579850 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30534 24250 764 807 0 23525 0 Current children cumulated CPU time: 2382.38 s Current children cumulated vsize: 122136 KiB Current children cumulated memory: 97000 KiB [startup+2442.3 s] /proc/loadavg: 2.01 2.11 2.12 3/192 7591 /proc/meminfo: memFree=2921160/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122136 memory=97000 CPUtime=2442.39 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 222136 0 0 0 244225 14 0 0 20 0 1 0 217840496 125067264 24250 33554432000 4194304 7499544 140737470763184 140737470758200 4579850 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30534 24250 764 807 0 23525 0 Current children cumulated CPU time: 2442.39 s Current children cumulated vsize: 122136 KiB Current children cumulated memory: 97000 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.09 2.11 3/192 7592 /proc/meminfo: memFree=2920904/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122136 memory=97000 CPUtime=2502.39 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 223015 0 0 0 250225 14 0 0 20 0 1 0 217840496 125067264 24250 33554432000 4194304 7499544 140737470763184 140737470758200 4579703 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30534 24250 764 807 0 23525 0 Current children cumulated CPU time: 2502.39 s Current children cumulated vsize: 122136 KiB Current children cumulated memory: 97000 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.08 2.11 3/192 7592 /proc/meminfo: memFree=2921036/32770624 swapFree=67108856/67108860 [pid=7428] ppid=7425 vsize=122136 memory=97000 CPUtime=2520.1 cores=1,3,5,7 /proc/7428/stat : 7428 (MistralXCSP) R 7425 7428 6056 0 -1 4202496 223015 0 0 0 251996 14 0 0 20 0 1 0 217840496 125067264 24250 33554432000 4194304 7499544 140737470763184 140737470758200 5573392 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 24469504 140737470768237 140737470768387 140737470768387 140737470771145 0 /proc/7428/statm: 30534 24250 764 807 0 23525 0 Current children cumulated CPU time: 2520.1 s Current children cumulated vsize: 122136 KiB Current children cumulated memory: 97000 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 7428 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.97 s, system=0.147007 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520.01 CPU time (s): 2520.11 CPU user time (s): 2519.97 CPU system time (s): 0.147007 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 122136 Max. memory (cumulated for all children) (KiB): 97000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.97 system time used= 0.147007 maximum resident set size= 97020 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 223051 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51 involuntary context switches= 1124 # summary of solver processes directly reported to runsolver: # pid: 7428 # total CPU time (s): 2520.11 # total CPU user time (s): 2519.97 # total CPU system time (s): 0.147007 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.1372 second user time and 15.4018 second system time The end
Begin job on node133 at 2018-08-11 17:52:53 IDJOB=4304066 IDBENCH=141194 IDSOLVER=2779 FILE ID=node133/4304066-1534002773 RUNJOBID= node133-1533992269-6088 PBS_JOBID= 21036948 Free space on /tmp= 38796 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-06-opt_c18.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304066-1534002773/watcher-4304066-1534002773 -o /tmp/evaluation-result-4304066-1534002773/solver-4304066-1534002773 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1533992269-6088 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1487008899 HOME/instance-4304066-1534002773.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e2f0d6978164174a80e953d0a2a49c7e RANDOM SEED=1487008899 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: 2986792 kB MemAvailable: 31618380 kB Buffers: 204792 kB Cached: 28315996 kB SwapCached: 0 kB Active: 10936704 kB Inactive: 17924772 kB Active(anon): 291792 kB Inactive(anon): 101636 kB Active(file): 10644912 kB Inactive(file): 17823136 kB Unevictable: 7092 kB Mlocked: 7092 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 5908 kB Writeback: 0 kB AnonPages: 365948 kB Mapped: 56276 kB Shmem: 49820 kB Slab: 619856 kB SReclaimable: 592000 kB SUnreclaim: 27856 kB KernelStack: 3392 kB PageTables: 6028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 664828 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 305152 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= 38792 MiB End job on node133 at 2018-08-11 18:34:54