Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-08-01 | SAT (TO) | 33560 | 2519.89 | 2520.01 |
Name | Rlfap/Rlfap-opt/ Rlfap-scen-06-opt_c18.xml |
MD5SUM | fd86b7eb5950840b127d09215950c850 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10458 |
Best CPU time to get the best result obtained on this benchmark | 2400.27 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1422 |
Number of constraints | 1322 |
Number of domains | 7 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":1222},{"size":22,"count":2},{"size":36,"count":92},{"size":44,"count":106}] |
Minimum variable degree | 1 |
Maximum variable degree | 44 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":1225},{"degree":3,"count":9},{"degree":4,"count":5},{"degree":5,"count":12},{"degree":6,"count":11},{"degree":7,"count":15},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":17},{"degree":11,"count":9},{"degree":12,"count":7},{"degree":13,"count":15},{"degree":14,"count":1},{"degree":15,"count":18},{"degree":17,"count":11},{"degree":19,"count":8},{"degree":20,"count":3},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":6},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":4},{"degree":28,"count":8},{"degree":30,"count":4},{"degree":35,"count":2},{"degree":36,"count":2},{"degree":39,"count":1},{"degree":44,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":1222}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1322 |
Distribution of constraint types | [{"type":"intension","count":1322}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 1.39/1.42 o 51225 1.39/1.42 o 51215 1.39/1.43 o 51105 1.39/1.44 o 49105 1.39/1.45 o 49085 1.39/1.46 o 49076 1.39/1.47 o 48976 1.49/1.55 o 48975 2.10/2.13 o 48970 2.39/2.44 o 48953 2.39/2.45 o 48951 2.39/2.45 o 48950 2.39/2.46 o 48948 2.39/2.46 o 48946 2.39/2.47 o 48945 2.39/2.48 o 48934 2.39/2.49 o 48933 2.49/2.50 o 48914 2.49/2.51 o 48913 2.49/2.55 o 48912 2.49/2.57 o 48902 2.59/2.63 o 48822 2.69/2.73 o 48801 2.79/2.80 o 48711 2.79/2.82 o 48702 2.79/2.88 o 48623 2.79/2.88 o 48614 3.00/3.05 o 48604 4.49/4.51 o 48603 5.19/5.26 o 48593 5.29/5.37 o 48525 5.59/5.62 o 48524 5.59/5.67 o 48444 5.59/5.68 o 48426 5.89/5.92 o 48424 6.29/6.34 o 48423 6.89/6.92 o 48422 6.89/6.98 o 48421 7.00/7.02 o 48411 7.19/7.24 o 48302 7.39/7.40 o 48301 7.69/7.75 o 48300 7.69/7.77 o 48290 7.79/7.88 o 47529 7.79/7.89 o 47460 7.79/7.89 o 47451 7.79/7.89 o 47449 7.89/7.90 o 47440 7.89/7.91 o 47428 8.19/8.23 o 47369 8.19/8.25 o 47368 8.59/8.64 o 47367 10.10/10.19 o 47365 10.10/10.19 o 47364 10.10/10.19 o 47363 10.19/10.20 o 47362 10.19/10.20 o 47361 10.19/10.21 o 47359 10.19/10.21 o 47358 10.19/10.22 o 47357 10.19/10.26 o 47356 10.29/10.32 o 47348 10.29/10.33 o 47347 10.39/10.42 o 47337 10.39/10.44 o 47336 14.59/14.61 o 47335 16.29/16.34 o 47324 18.10/18.17 o 47314 18.19/18.24 o 47230 18.19/18.25 o 47229 18.19/18.25 o 47219 18.19/18.26 o 47218 32.09/32.18 o 47210 32.19/32.21 o 46723 32.19/32.25 o 46634 32.29/32.34 o 46632 32.29/32.38 o 46455 32.69/32.77 o 46454 32.79/32.85 o 46453 32.89/32.90 o 46452 34.10/34.17 o 46451 34.10/34.18 o 46450 34.10/34.18 o 46449 34.10/34.19 o 46448 34.10/34.19 o 46447 34.19/34.20 o 46437 34.19/34.21 o 46436 34.19/34.22 o 46435 34.19/34.23 o 46434 34.29/34.34 o 46425 34.29/34.39 o 46424 34.39/34.45 o 46414 34.39/34.46 o 46413 34.39/34.47 o 46412 34.39/34.49 o 46392 34.49/34.51 o 46384 34.69/34.78 o 46383 35.00/35.09 o 46380 35.00/35.09 o 46379 35.00/35.10 o 46377 35.00/35.10 o 46376 35.10/35.11 o 46375 35.10/35.12 o 46374 35.10/35.14 o 46373 35.10/35.15 o 46372 35.10/35.16 o 46362 35.19/35.20 o 46342 35.19/35.23 o 46341 35.49/35.51 o 46331 35.49/35.52 o 46321 35.69/35.76 o 46320 35.69/35.77 o 46318 35.79/35.88 o 46317 35.79/35.89 o 46316 38.10/38.13 o 46315 53.48/53.59 o 45750 53.68/53.76 o 45740 65.18/65.20 o 44740 65.28/65.39 o 44739 70.78/70.85 o 44662 70.99/71.02 o 44493 70.99/71.02 o 44474 70.99/71.03 o 44473 70.99/71.04 o 44472 70.99/71.08 o 44463 71.09/71.12 o 44263 71.09/71.16 o 44262 71.68/71.77 o 44162 83.56/83.64 o 44161 85.36/85.40 o 44085 85.36/85.41 o 44084 85.36/85.41 o 44083 85.36/85.43 o 44073 85.36/85.49 o 43987 85.46/85.56 o 43977 87.46/87.59 o 43966 89.56/89.61 o 43508 89.66/89.70 o 42408 89.66/89.73 o 42187 89.66/89.79 o 41265 92.45/92.50 o 39265 95.15/95.24 o 39256 98.75/98.89 o 39219 98.85/98.90 o 39217 98.85/98.91 o 39206 98.85/98.91 o 39205 98.85/98.92 o 39203 98.85/98.97 o 39202 98.96/99.09 o 39200 105.06/105.11 o 39100 116.55/116.61 o 39090 116.65/116.77 o 39081 134.55/134.63 o 38981 140.75/140.84 o 38881 176.76/176.82 o 38871 196.36/196.44 o 38861 196.36/196.48 o 38860 196.46/196.52 o 38859 215.56/215.66 o 38851 215.56/215.67 o 38849 218.26/218.34 o 38839 249.07/249.11 o 38739 249.36/249.47 o 38738 298.06/298.11 o 38737 300.75/300.86 o 38636 308.85/308.92 o 38635 314.25/314.30 o 38626 315.55/315.61 o 38617 322.45/322.54 o 38178 322.45/322.59 o 38176 322.55/322.67 o 38066 322.55/322.68 o 38065 322.65/322.70 o 37965 322.65/322.73 o 37065 322.65/322.74 o 36965 322.85/322.96 o 36956 322.85/322.96 o 36955 323.25/323.35 o 36855 324.25/324.34 o 36845 324.45/324.54 o 36764 324.45/324.55 o 36744 325.65/325.78 o 36736 349.45/349.57 o 36735 365.65/365.70 o 36725 387.96/388.05 o 36639 387.96/388.09 o 36638 500.64/500.71 o 36628 566.24/566.36 o 36618 798.13/798.23 o 36518 799.63/799.79 o 36517 800.63/800.79 o 36507 800.73/800.80 o 36506 800.73/800.88 o 36505 801.13/801.20 o 36504 867.62/867.79 o 36424 867.72/867.85 o 36423 867.72/867.86 o 36422 867.72/867.87 o 36420 867.72/867.87 o 36419 1233.61/1233.77 o 36418 1281.41/1281.56 o 36328 1302.81/1302.97 o 36318 1305.41/1305.51 o 36317 1309.71/1309.84 o 36215 1310.02/1310.13 o 36203 1310.02/1310.13 o 36103 1381.40/1381.57 o 36093 1381.60/1381.74 o 36090 1381.70/1381.80 o 35992 1381.70/1381.85 o 35991 1390.50/1390.60 o 35971 1417.70/1417.80 o 35071 1443.01/1443.14 o 34575 1444.30/1444.49 o 34574 1444.70/1444.86 o 34573 1507.60/1507.74 o 34572 1809.91/1810.06 o 33917 1809.91/1810.07 o 33904 1810.01/1810.19 o 33817 1810.20/1810.30 o 33816 1810.20/1810.37 o 33811 1810.70/1810.89 o 33808 1810.80/1810.92 o 33807 1810.80/1810.97 o 33797 1810.80/1810.99 o 33796 1810.91/1811.02 o 33696 1819.40/1819.54 o 33684 1819.40/1819.55 o 33584 2459.07/2459.21 o 33581 2459.07/2459.21 o 33580 2459.07/2459.23 o 33579 2459.17/2459.30 o 33577 2459.17/2459.33 o 33567 2459.27/2459.42 o 33565 2459.27/2459.45 o 33564 2459.47/2459.65 o 33562 2459.47/2459.67 o 33561 2459.47/2459.68 o 33560 2519.88/2520.01 s SATISFIABLE 2519.88/2520.01 v <instantiation type="solution"> 2519.88/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] 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] 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] 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] 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] </list> 2519.88/2520.01 v <values> 296 58 394 156 16 254 414 652 254 16 394 156 792 554 778 540 16 254 254 16 30 268 666 428 30 268 666 428 338 100 736 498 114 352 16 254 16 254 254 16 680 442 254 16 254 16 16 254 442 680 254 16 44 282 512 750 512 750 414 652 456 694 16 254 114 352 554 792 666 428 778 540 268 30 442 680 750 512 268 30 680 442 30 268 736 498 100 338 30 268 30 268 380 142 764 526 680 442 540 778 310 72 394 156 268 30 540 778 44 282 338 100 380 142 282 44 470 708 512 750 470 708 268 30 268 30 268 30 470 708 86 324 268 30 324 86 30 268 512 750 268 30 708 470 470 708 30 268 16 254 254 16 778 540 86 324 100 338 254 16 44 282 16 254 156 394 254 16 764 526 30 268 268 30 30 268 540 778 324 86 526 764 470 708 30 268 722 484 30 268 764 526 142 380 498 736 58 296 268 30 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 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 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 1000 1000 0 1000 0 0 0 1000 0 1000 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 1000 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 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 100 100 0 100 0 0 100 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 100 0 0 0 0 100 0 100 0 0 0 100 0 0 100 100 0 0 100 0 0 0 100 0 100 0 0 100 0 0 100 100 100 100 100 100 100 0 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 100 0 100 100 0 0 100 0 0 100 0 100 0 100 100 0 0 100 0 0 0 0 0 0 100 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 100 0 0 100 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 100 0 100 100 100 0 0 0 0 0 0 0 0 0 100 100 100 100 0 100 0 100 100 0 0 0 0 100 100 0 100 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 100 0 0 100 100 100 0 0 100 0 0 0 0 0 0 0 100 100 100 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 0 10 10 0 0 10 0 0 10 10 10 10 10 10 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 0 0 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 0 10 10 10 10 10 0 0 0 10 10 10 0 10 10 0 10 10 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 0 10 10 10 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 1 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 </values> 2519.88/2520.01 v </instantiation>
OK 33560
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 (1856 MiB free) memory of node 1: 16384 MiB (3363 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304072-1534004338/watcher-4304072-1534004338 -o /tmp/evaluation-result-4304072-1534004338/solver-4304072-1534004338 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1533991720-20083 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1281754331 HOME/instance-4304072-1534004338.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 Current StackSize limit: 8192 KiB solver pid=21939, runsolver pid=21936 [startup+0.10016 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5338968/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=35008 memory=9648 CPUtime=0.1 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 2579 0 0 0 10 0 0 0 20 0 1 0 217997080 35848192 2412 33554432000 4194304 7499544 140724467805504 140724467802504 140548767591397 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 8752 2412 717 807 0 1743 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 35008 KiB Current children cumulated memory: 9648 KiB [startup+0.209599 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5334504/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=39540 memory=14056 CPUtime=0.2 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 3751 0 0 0 20 0 0 0 20 0 1 0 217997080 40488960 3514 33554432000 4194304 7499544 140724467805504 140724467802504 140548767591397 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 9885 3514 717 807 0 2876 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 39540 KiB Current children cumulated memory: 14056 KiB [startup+0.309338 s]* /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5331156/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=42844 memory=17488 CPUtime=0.31 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 4588 0 0 0 30 1 0 0 20 0 1 0 217997080 43872256 4372 33554432000 4194304 7499544 140724467805504 140724467802504 140548771070103 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 10711 4372 717 807 0 3702 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 42844 KiB Current children cumulated memory: 17488 KiB [startup+0.700296 s] /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5324460/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=56132 memory=30676 CPUtime=0.69 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 7927 0 0 0 68 1 0 0 20 0 1 0 217997080 57479168 7669 33554432000 4194304 7499544 140724467805504 140724467802504 4563992 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 14033 7669 717 807 0 7024 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 56132 KiB Current children cumulated memory: 30676 KiB [startup+1.50041 s] /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5308444/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=84888 memory=59604 CPUtime=1.49 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 15284 0 0 0 147 2 0 0 20 0 1 0 217997080 86925312 14901 33554432000 4194304 7499544 140724467805504 140724467799832 4579850 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 21222 14901 762 807 0 14213 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 84888 KiB Current children cumulated memory: 59604 KiB [startup+3.10975 s] /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5287384/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=87000 memory=61800 CPUtime=3.09 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 28056 0 0 0 307 2 0 0 20 0 1 0 217997080 89088000 15450 33554432000 4194304 7499544 140724467805504 140724467800520 4579688 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 21750 15450 765 807 0 14741 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 87000 KiB Current children cumulated memory: 61800 KiB [startup+6.3004 s] /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5286392/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=87528 memory=62364 CPUtime=6.29 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 40720 0 0 0 626 3 0 0 20 0 1 0 217997080 89628672 15591 33554432000 4194304 7499544 140724467805504 140724467800520 4405392 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 21882 15591 765 807 0 14873 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 87528 KiB Current children cumulated memory: 62364 KiB [startup+12.7004 s] /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5284484/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=89640 memory=64472 CPUtime=12.69 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 54002 0 0 0 1265 4 0 0 20 0 1 0 217997080 91791360 16118 33554432000 4194304 7499544 140724467805504 140724467800520 4404884 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22410 16118 765 807 0 15401 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 89640 KiB Current children cumulated memory: 64472 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5284360/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=89772 memory=64724 CPUtime=25.48 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 79174 0 0 0 2544 4 0 0 20 0 1 0 217997080 91926528 16181 33554432000 4194304 7499544 140724467805504 140724467800520 4405034 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22443 16181 765 807 0 15434 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 89772 KiB Current children cumulated memory: 64724 KiB [startup+51.1097 s] /proc/loadavg: 2.00 2.01 2.05 3/187 21940 /proc/meminfo: memFree=5284236/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=89904 memory=64808 CPUtime=51.09 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 92970 0 0 0 5104 5 0 0 20 0 1 0 217997080 92061696 16202 33554432000 4194304 7499544 140724467805504 140724467800520 4408889 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22476 16202 765 807 0 15467 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 89904 KiB Current children cumulated memory: 64808 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 21949 /proc/meminfo: memFree=5282652/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90168 memory=65072 CPUtime=102.25 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 105668 0 0 0 10219 6 0 0 20 0 1 0 217997080 92332032 16268 33554432000 4194304 7499544 140724467805504 140724467800520 5606304 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22542 16268 765 807 0 15533 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 90168 KiB Current children cumulated memory: 65072 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 21950 /proc/meminfo: memFree=5283212/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90300 memory=65128 CPUtime=162.26 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 106487 0 0 0 16219 7 0 0 20 0 1 0 217997080 92467200 16282 33554432000 4194304 7499544 140724467805504 140724467799832 4404852 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22575 16282 765 807 0 15566 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 90300 KiB Current children cumulated memory: 65128 KiB [startup+222.3 s] /proc/loadavg: 2.04 2.03 2.05 3/188 21951 /proc/meminfo: memFree=5282840/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90300 memory=65216 CPUtime=222.26 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 107327 0 0 0 22219 7 0 0 20 0 1 0 217997080 92467200 16304 33554432000 4194304 7499544 140724467805504 140724467800520 4258008 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22575 16304 765 807 0 15566 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 90300 KiB Current children cumulated memory: 65216 KiB [startup+282.3 s] /proc/loadavg: 2.06 2.04 2.05 3/188 21952 /proc/meminfo: memFree=5282848/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90300 memory=65232 CPUtime=282.25 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 108146 0 0 0 28218 7 0 0 20 0 1 0 217997080 92467200 16308 33554432000 4194304 7499544 140724467805504 140724467800520 4579571 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22575 16308 765 807 0 15566 0 Current children cumulated CPU time: 282.25 s Current children cumulated vsize: 90300 KiB Current children cumulated memory: 65232 KiB [startup+342.3 s] /proc/loadavg: 2.02 2.03 2.05 3/188 21953 /proc/meminfo: memFree=5282824/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90300 memory=65248 CPUtime=342.25 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 108956 0 0 0 34218 7 0 0 20 0 1 0 217997080 92467200 16312 33554432000 4194304 7499544 140724467805504 140724467800520 4398000 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22575 16312 765 807 0 15566 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 90300 KiB Current children cumulated memory: 65248 KiB [startup+402.3 s] /proc/loadavg: 2.08 2.06 2.05 3/187 22015 /proc/meminfo: memFree=5277320/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90300 memory=65284 CPUtime=402.25 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 109804 0 0 0 40218 7 0 0 20 0 1 0 217997080 92467200 16321 33554432000 4194304 7499544 140724467805504 140724467800520 140548771026576 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22575 16321 765 807 0 15566 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 90300 KiB Current children cumulated memory: 65284 KiB [startup+462.3 s] /proc/loadavg: 2.03 2.04 2.05 3/187 22016 /proc/meminfo: memFree=5277212/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90300 memory=65284 CPUtime=462.25 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 110605 0 0 0 46218 7 0 0 20 0 1 0 217997080 92467200 16321 33554432000 4194304 7499544 140724467805504 140724467800520 4258061 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22575 16321 765 807 0 15566 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 90300 KiB Current children cumulated memory: 65284 KiB ################ # More data... # ################ /proc/21939/statm: 22674 16400 765 807 0 15665 0 Current children cumulated CPU time: 1722.19 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65600 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.04 2.05 3/187 22054 /proc/meminfo: memFree=5273264/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65600 CPUtime=1782.19 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 121053 0 0 0 178212 7 0 0 20 0 1 0 217997080 92872704 16400 33554432000 4194304 7499544 140724467805504 140724467800520 4258023 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16400 765 807 0 15665 0 Current children cumulated CPU time: 1782.19 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65600 KiB [startup+1842.3 s] /proc/loadavg: 2.06 2.05 2.05 3/188 22077 /proc/meminfo: memFree=5272200/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65600 CPUtime=1842.19 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 121459 0 0 0 184211 8 0 0 20 0 1 0 217997080 92872704 16400 33554432000 4194304 7499544 140724467805504 140724467800520 4249719 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16400 765 807 0 15665 0 Current children cumulated CPU time: 1842.19 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65600 KiB [startup+1902.3 s] /proc/loadavg: 2.02 2.04 2.05 3/188 22086 /proc/meminfo: memFree=5272700/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=1902.19 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 121836 0 0 0 190211 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 4398077 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 1902.19 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+1962.3 s] /proc/loadavg: 2.01 2.03 2.05 3/188 22087 /proc/meminfo: memFree=5273072/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=1962.19 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 122193 0 0 0 196211 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 5604078 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 1962.19 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.03 2.05 3/188 22088 /proc/meminfo: memFree=5272824/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=2022.19 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 122558 0 0 0 202211 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 140548771026647 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 2022.19 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 22089 /proc/meminfo: memFree=5272120/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=2082.19 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 122936 0 0 0 208211 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 4222944 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 2082.19 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/188 22090 /proc/meminfo: memFree=5272740/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=2142.18 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 123316 0 0 0 214210 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 4320654 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 2142.18 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 22092 /proc/meminfo: memFree=5272756/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=2202.18 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 123685 0 0 0 220210 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 4379069 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 2202.18 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 22093 /proc/meminfo: memFree=5272608/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=2262.18 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 124061 0 0 0 226210 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 4258046 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 2262.18 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 22094 /proc/meminfo: memFree=5272460/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=2322.18 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 124432 0 0 0 232210 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 4322992 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 2322.18 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 22096 /proc/meminfo: memFree=5272352/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=2382.18 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 124798 0 0 0 238210 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 140548771026647 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 2382.18 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 22097 /proc/meminfo: memFree=5272592/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=2442.17 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 125167 0 0 0 244209 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 4258023 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 2442.17 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 22106 /proc/meminfo: memFree=5272412/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65604 CPUtime=2502.17 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 125594 0 0 0 250209 8 0 0 20 0 1 0 217997080 92872704 16401 33554432000 4194304 7499544 140724467805504 140724467800520 4258061 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16401 765 807 0 15665 0 Current children cumulated CPU time: 2502.17 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65604 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 22107 /proc/meminfo: memFree=5272644/32770624 swapFree=67108792/67108860 [pid=21939] ppid=21936 vsize=90696 memory=65608 CPUtime=2519.88 cores=1,3,5,7 /proc/21939/stat : 21939 (MistralXCSP) R 21936 21939 20051 0 -1 4202496 125931 0 0 0 251980 8 0 0 20 0 1 0 217997080 92872704 16402 33554432000 4194304 7499544 140724467805504 140724467800520 4405034 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 18440192 140724467807341 140724467807491 140724467807491 140724467810249 0 /proc/21939/statm: 22674 16402 765 807 0 15665 0 Current children cumulated CPU time: 2519.88 s Current children cumulated vsize: 90696 KiB Current children cumulated memory: 65608 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 21939 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.8 s, system=0.081996 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): 2519.89 CPU user time (s): 2519.8 CPU system time (s): 0.081996 CPU usage (%): 99.995 Max. virtual memory (cumulated for all children) (KiB): 90696 Max. memory (cumulated for all children) (KiB): 65608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.8 system time used= 0.081996 maximum resident set size= 65628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125967 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= 37 involuntary context switches= 739 # summary of solver processes directly reported to runsolver: # pid: 21939 # total CPU time (s): 2519.89 # total CPU user time (s): 2519.8 # total CPU system time (s): 0.081996 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2841 second user time and 19.1085 second system time The end
Begin job on node150 at 2018-08-11 18:18:58 IDJOB=4304072 IDBENCH=141208 IDSOLVER=2779 FILE ID=node150/4304072-1534004338 RUNJOBID= node150-1533991720-20083 PBS_JOBID= 21036945 Free space on /tmp= 34696 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-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-4304072-1534004338/watcher-4304072-1534004338 -o /tmp/evaluation-result-4304072-1534004338/solver-4304072-1534004338 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1533991720-20083 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1281754331 HOME/instance-4304072-1534004338.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fd86b7eb5950840b127d09215950c850 RANDOM SEED=1281754331 node150.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.76 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.76 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.76 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.76 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: 5346248 kB MemAvailable: 31758612 kB Buffers: 203476 kB Cached: 26088856 kB SwapCached: 32 kB Active: 10080588 kB Inactive: 16413252 kB Active(anon): 152324 kB Inactive(anon): 101184 kB Active(file): 9928264 kB Inactive(file): 16312068 kB Unevictable: 7740 kB Mlocked: 7740 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 5864 kB Writeback: 0 kB AnonPages: 208652 kB Mapped: 53216 kB Shmem: 49732 kB Slab: 628696 kB SReclaimable: 600492 kB SUnreclaim: 28204 kB KernelStack: 3296 kB PageTables: 5608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 524992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 34688 MiB End job on node150 at 2018-08-11 19:00:58