Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 23688 | 2519.94 | 2520.01 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml |
MD5SUM | d0ab6aee5f30ff70d66f863e0e3556a1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 23688 |
Best CPU time to get the best result obtained on this benchmark | 2519.94 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1234 |
Number of constraints | 1134 |
Number of domains | 10 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}] |
Minimum variable degree | 1 |
Maximum variable degree | 22 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":1034}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1134 |
Distribution of constraint types | [{"type":"intension","count":1134}] |
Optimization problem | YES |
Type of objective | min SUM |
0.79/0.83 c best=?? lower=0 upper=229598 4.69/4.79 c 4.69/4.79 c This is cosoco 1.12 -- 4.69/4.79 c 4.69/4.79 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293614-1532321086.xml 4.69/4.79 c enable optimization 4.69/4.79 c ========================================[ Problem Statistics ]=========================================== 4.69/4.79 c | 4.69/4.79 c | Parse time : 0.81 s 4.69/4.79 c | 4.69/4.79 c | Variables: 1234 4.69/4.79 c | Domain Sizes: 2..44 4.69/4.79 c | 4.69/4.79 c | Constraints: 1135 4.69/4.79 c | Arity: 2..1034 -- Binary: 100 -- Ternary: 1034 4.69/4.79 c | 4.69/4.79 c | Types: 4.69/4.79 c | Intension: 1134 4.69/4.79 c | Sum: 1 4.69/4.79 c | 4.69/4.79 c | Objective: Minimize Sum 4.69/4.79 4.69/4.79 c ========================================================================================================= 4.69/4.79 o 50842 4.69/4.79 c 1 calls to solver: best=50842 lower=0 upper=50841 5.49/5.54 o 50304 10.79/10.84 o 41585 10.79/10.84 c 3 calls to solver: best=41585 lower=0 upper=41584 13.29/13.34 o 39237 13.69/13.77 o 37609 13.69/13.77 c 5 calls to solver: best=37609 lower=0 upper=37608 14.10/14.19 o 36809 14.59/14.65 o 32021 14.59/14.65 c 7 calls to solver: best=32021 lower=0 upper=32020 23.59/23.66 o 31806 50.79/50.81 o 30931 50.79/50.81 c 9 calls to solver: best=30931 lower=0 upper=30930 51.19/51.26 o 30655 51.69/51.77 o 30555 51.69/51.77 c 11 calls to solver: best=30555 lower=0 upper=30554 53.00/53.08 o 30230 57.00/57.06 o 27171 57.00/57.06 c 13 calls to solver: best=27171 lower=0 upper=27170 57.49/57.52 o 26985 57.89/57.95 o 26082 57.89/57.95 c 15 calls to solver: best=26082 lower=0 upper=26081 58.39/58.41 o 25852 58.79/58.85 o 25818 58.79/58.85 c 17 calls to solver: best=25818 lower=0 upper=25817 59.19/59.29 o 25708 59.79/59.86 o 25106 59.79/59.86 c 19 calls to solver: best=25106 lower=0 upper=25105 60.19/60.29 o 25104 60.69/60.73 o 25014 60.69/60.73 c 21 calls to solver: best=25014 lower=0 upper=25013 61.19/61.25 o 24996 62.10/62.15 o 24148 62.10/62.15 c 23 calls to solver: best=24148 lower=0 upper=24147 834.36/834.49 o 23688 2519.93/2520.00 2519.93/2520.00 c *** INTERRUPTED *** 2519.93/2520.00 c restarts : 62 2519.93/2520.00 c conflicts : 370619 (147 /sec) 2519.93/2520.00 c decisions : 1468498 (583 /sec) 2519.93/2520.00 c propagations : 111579198 (44280 /sec) 2519.93/2520.00 c root propagations : 147890 2519.93/2520.00 c filter calls : 95952115 (38078 /sec) 2519.93/2520.00 c useless filter calls : 73207060 (76 %) 2519.93/2520.00 c Memory used : 71.38 MB 2519.93/2520.00 c CPU time : 2519.88 s 2519.93/2520.00 2519.93/2520.00 c nb Solutions = 24 2519.93/2520.00 s SATISFIABLE 2519.93/2520.00 c Best value found: 23688 2519.93/2520.00 2519.93/2520.00 2519.93/2520.00 v <instantiation type='solution' cost='23688'> 2519.93/2520.00 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] za1[0] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[10] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[11] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[12] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[13] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[14] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[15] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[16] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[17] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[18] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[19] za1[1] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[2] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[3] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[4] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[5] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[6] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[7] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[8] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[9] za2[0] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[10] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[11] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[12] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[13] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[14] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[15] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[16] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[17] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[18] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[19] za2[1] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[20] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[21] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[22] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[23] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[24] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[25] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[26] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[27] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[28] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[29] za2[2] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[3] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[4] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[5] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[6] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[7] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[8] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[9] za3[0] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[10] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[11] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[12] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[13] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[14] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[15] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[16] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[17] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[18] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[19] za3[1] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[20] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[21] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[22] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[23] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[24] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[25] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[26] za3[270] za3[271] za3[272] za3[273] za3[27] za3[28] za3[29] za3[2] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[3] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[4] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[5] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[6] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[7] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[8] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[9] za4[0] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[10] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[11] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[12] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[13] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[14] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[15] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[16] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[17] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[18] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[19] za4[1] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[20] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[21] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[22] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[23] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[24] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[25] za4[26] za4[27] za4[28] za4[29] za4[2] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[3] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[4] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[5] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[6] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[7] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[8] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[9] </list> 2519.93/2520.00 v <values>708 750 512 268 30 100 338 254 16 764 526 414 792 554 792 554 254 16 268 30 736 498 652 380 142 240 478 268 30 442 680 666 428 254 16 254 268 30 142 380 540 778 16 254 16 554 792 694 456 792 554 254 16 792 554 554 484 722 456 694 254 16 792 554 722 484 792 394 156 778 540 680 442 128 366 324 86 394 498 736 114 352 470 708 142 380 512 750 156 666 428 30 268 792 554 540 778 58 296 16 792 554 142 380 512 750 254 16 16 254 254 470 268 30 478 240 554 792 498 736 764 526 498 16 254 16 254 16 254 366 128 296 58 736 268 30 680 442 380 142 268 30 268 30 72 694 456 352 114 694 456 58 296 86 324 310 470 708 652 414 512 750 72 310 526 764 240 30 268 380 142 268 30 512 750 394 156 478 30 268 16 254 44 282 16 254 30 268 478 156 394 254 16 296 58 240 478 554 792 240 0 0 0 0 1000 0 0 1000 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 1000 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 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 1000 0 1000 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 100 100 100 0 0 0 100 100 0 100 0 0 0 0 100 0 100 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 0 100 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 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 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 10 10 0 10 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 10 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 </values> 2519.93/2520.01 v </instantiation> 2519.93/2520.01
OK 23688
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 (13085 MiB free) memory of node 1: 16384 MiB (13419 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293614-1532321086/watcher-4293614-1532321086 -o /tmp/evaluation-result-4293614-1532321086/solver-4293614-1532321086 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10562 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293614-1532321086.xml running on 4 cores: 0,2,4,6 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=13677, runsolver pid=13674 [startup+0.100198 s]* /proc/loadavg: 2.00 2.02 2.05 3/190 13678 /proc/meminfo: memFree=27136272/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=32944 memory=9272 CPUtime=0.1 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 2480 0 0 0 10 0 0 0 20 0 1 0 49671859 33734656 2318 33554432000 4194304 6142532 140734772748448 140734772739464 140216700529637 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 8236 2318 803 476 0 1558 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 32944 KiB Current children cumulated memory: 9272 KiB [startup+0.210079 s]* /proc/loadavg: 2.00 2.02 2.05 3/190 13678 /proc/meminfo: memFree=27131296/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=37760 memory=13952 CPUtime=0.21 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 3677 0 0 0 21 0 0 0 20 0 1 0 49671859 38666240 3488 33554432000 4194304 6142532 140734772748448 140734772739464 140216700525374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 9440 3488 803 476 0 2762 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37760 KiB Current children cumulated memory: 13952 KiB [startup+0.309586 s]* /proc/loadavg: 2.00 2.02 2.05 3/190 13678 /proc/meminfo: memFree=27127080/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=42012 memory=18336 CPUtime=0.31 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 4763 0 0 0 30 1 0 0 20 0 1 0 49671859 43020288 4584 33554432000 4194304 6142532 140734772748448 140734772734056 140216700529637 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 10503 4584 803 476 0 3825 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 42012 KiB Current children cumulated memory: 18336 KiB [startup+0.700346 s] /proc/loadavg: 2.00 2.02 2.05 3/190 13678 /proc/meminfo: memFree=27118184/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=58752 memory=35076 CPUtime=0.69 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 8945 0 0 0 68 1 0 0 20 0 1 0 49671859 60162048 8769 33554432000 4194304 6142532 140734772748448 140734772734056 140216700529637 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 14688 8769 803 476 0 8010 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 58752 KiB Current children cumulated memory: 35076 KiB [startup+1.50035 s] /proc/loadavg: 2.00 2.02 2.05 3/190 13678 /proc/meminfo: memFree=27102188/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=68312 memory=44896 CPUtime=1.49 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 11386 0 0 0 148 1 0 0 20 0 1 0 49671859 69951488 11224 33554432000 4194304 6142532 140734772748448 140734772740712 5047845 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 17078 11224 849 476 0 10400 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 68312 KiB Current children cumulated memory: 44896 KiB [startup+3.10972 s] /proc/loadavg: 2.00 2.02 2.05 3/190 13678 /proc/meminfo: memFree=27098468/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=70564 memory=47028 CPUtime=3.1 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 21693 0 0 0 308 2 0 0 20 0 1 0 49671859 72257536 11757 33554432000 4194304 6142532 140734772748448 140734772745160 5146974 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 17641 11757 849 476 0 10963 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 70564 KiB Current children cumulated memory: 47028 KiB [startup+6.30033 s] /proc/loadavg: 2.00 2.01 2.05 3/190 13678 /proc/meminfo: memFree=27096588/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=72028 memory=48564 CPUtime=6.29 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 32503 0 0 0 627 2 0 0 20 0 1 0 49671859 73756672 12141 33554432000 4194304 6142532 140734772748448 140734772745976 5363683 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18007 12141 850 476 0 11329 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 72028 KiB Current children cumulated memory: 48564 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/190 13678 /proc/meminfo: memFree=27096712/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=72028 memory=48588 CPUtime=12.69 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 43117 0 0 0 1267 2 0 0 20 0 1 0 49671859 73756672 12147 33554432000 4194304 6142532 140734772748448 140734772735720 140216701453635 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18007 12147 850 476 0 11329 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 72028 KiB Current children cumulated memory: 48588 KiB [startup+25.5003 s] /proc/loadavg: 1.93 2.00 2.04 3/190 13678 /proc/meminfo: memFree=27096340/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=72428 memory=49016 CPUtime=25.48 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 64514 0 0 0 2545 3 0 0 20 0 1 0 49671859 74166272 12254 33554432000 4194304 6142532 140734772748448 140734772745976 5371674 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18107 12254 850 476 0 11429 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 72428 KiB Current children cumulated memory: 49016 KiB [startup+51.1096 s] /proc/loadavg: 1.96 2.00 2.04 3/191 13679 /proc/meminfo: memFree=27096080/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=72820 memory=49364 CPUtime=51.1 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 75400 0 0 0 5106 4 0 0 20 0 1 0 49671859 74567680 12341 33554432000 4194304 6142532 140734772748448 140734772745160 5366791 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18205 12341 850 476 0 11527 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 72820 KiB Current children cumulated memory: 49364 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.00 2.04 3/191 13680 /proc/meminfo: memFree=27095268/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=72952 memory=49552 CPUtime=102.28 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 86053 0 0 0 10224 4 0 0 20 0 1 0 49671859 74702848 12388 33554432000 4194304 6142532 140734772748448 140734772735720 140216701453632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18238 12388 850 476 0 11560 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 72952 KiB Current children cumulated memory: 49552 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/191 13681 /proc/meminfo: memFree=27093924/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=72952 memory=49552 CPUtime=162.27 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 94270 0 0 0 16222 5 0 0 20 0 1 0 49671859 74702848 12388 33554432000 4194304 6142532 140734772748448 140734772735720 5363554 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18238 12388 850 476 0 11560 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 72952 KiB Current children cumulated memory: 49552 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/191 13682 /proc/meminfo: memFree=27094572/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=72952 memory=49580 CPUtime=222.27 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 94950 0 0 0 22222 5 0 0 20 0 1 0 49671859 74702848 12395 33554432000 4194304 6142532 140734772748448 140734772735720 5363684 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18238 12395 850 476 0 11560 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 72952 KiB Current children cumulated memory: 49580 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/191 13683 /proc/meminfo: memFree=27094860/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=72952 memory=49592 CPUtime=282.27 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 95436 0 0 0 28222 5 0 0 20 0 1 0 49671859 74702848 12398 33554432000 4194304 6142532 140734772748448 140734772735720 5366780 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18238 12398 850 476 0 11560 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 72952 KiB Current children cumulated memory: 49592 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/191 13692 /proc/meminfo: memFree=27093600/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49632 CPUtime=342.27 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 96109 0 0 0 34222 5 0 0 20 0 1 0 49671859 74838016 12408 33554432000 4194304 6142532 140734772748448 140734772745160 5374088 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12408 850 476 0 11593 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49632 KiB [startup+402.3 s] /proc/loadavg: 2.04 2.01 2.05 3/191 13693 /proc/meminfo: memFree=27094484/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49632 CPUtime=402.26 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 96758 0 0 0 40221 5 0 0 20 0 1 0 49671859 74838016 12408 33554432000 4194304 6142532 140734772748448 140734772745160 5374342 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12408 850 476 0 11593 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49632 KiB [startup+462.3 s] /proc/loadavg: 2.11 2.04 2.05 3/191 13694 /proc/meminfo: memFree=27094556/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49636 CPUtime=462.26 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 97413 0 0 0 46221 5 0 0 20 0 1 0 49671859 74838016 12409 33554432000 4194304 6142532 140734772748448 140734772745160 5363684 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12409 850 476 0 11593 0 Current children cumulated CPU time: 462.26 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49636 KiB ################ # More data... # ################ /proc/13677/statm: 18271 12424 850 476 0 11593 0 Current children cumulated CPU time: 1722.24 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49696 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.06 2.07 3/192 13761 /proc/meminfo: memFree=27093880/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49696 CPUtime=1782.24 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 108287 0 0 0 178218 6 0 0 20 0 1 0 49671859 74838016 12424 33554432000 4194304 6142532 140734772748448 140734772745976 5375774 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12424 850 476 0 11593 0 Current children cumulated CPU time: 1782.24 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49696 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.05 2.06 3/191 13762 /proc/meminfo: memFree=27093516/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49696 CPUtime=1842.24 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 108796 0 0 0 184218 6 0 0 20 0 1 0 49671859 74838016 12424 33554432000 4194304 6142532 140734772748448 140734772745976 5371724 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12424 850 476 0 11593 0 Current children cumulated CPU time: 1842.24 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49696 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.04 2.06 3/190 13763 /proc/meminfo: memFree=27093576/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49696 CPUtime=1902.24 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 109091 0 0 0 190218 6 0 0 20 0 1 0 49671859 74838016 12424 33554432000 4194304 6142532 140734772748448 140734772745976 5371749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12424 850 476 0 11593 0 Current children cumulated CPU time: 1902.24 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49696 KiB [startup+1962.3 s] /proc/loadavg: 2.04 2.05 2.06 3/190 13764 /proc/meminfo: memFree=27093700/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49696 CPUtime=1962.24 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 109394 0 0 0 196218 6 0 0 20 0 1 0 49671859 74838016 12424 33554432000 4194304 6142532 140734772748448 140734772745976 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12424 850 476 0 11593 0 Current children cumulated CPU time: 1962.24 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49696 KiB [startup+2022.3 s] /proc/loadavg: 2.01 2.04 2.05 3/190 13765 /proc/meminfo: memFree=27093392/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49696 CPUtime=2022.23 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 110123 0 0 0 202217 6 0 0 20 0 1 0 49671859 74838016 12424 33554432000 4194304 6142532 140734772748448 140734772745976 5396701 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12424 850 476 0 11593 0 Current children cumulated CPU time: 2022.23 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49696 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.03 2.05 3/190 13826 /proc/meminfo: memFree=27323212/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49696 CPUtime=2082.23 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 110514 0 0 0 208217 6 0 0 20 0 1 0 49671859 74838016 12424 33554432000 4194304 6142532 140734772748448 140734772745976 5215594 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12424 850 476 0 11593 0 Current children cumulated CPU time: 2082.23 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49696 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.03 2.05 3/192 13836 /proc/meminfo: memFree=27321256/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49696 CPUtime=2142.23 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 110911 0 0 0 214217 6 0 0 20 0 1 0 49671859 74838016 12424 33554432000 4194304 6142532 140734772748448 140734772745976 5363536 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12424 850 476 0 11593 0 Current children cumulated CPU time: 2142.23 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49696 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.02 2.05 3/192 13837 /proc/meminfo: memFree=27321728/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49708 CPUtime=2202.23 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 111561 0 0 0 220217 6 0 0 20 0 1 0 49671859 74838016 12427 33554432000 4194304 6142532 140734772748448 140734772745976 5371724 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12427 850 476 0 11593 0 Current children cumulated CPU time: 2202.23 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49708 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/192 13838 /proc/meminfo: memFree=27321480/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49708 CPUtime=2262.23 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 111854 0 0 0 226217 6 0 0 20 0 1 0 49671859 74838016 12427 33554432000 4194304 6142532 140734772748448 140734772745976 5361227 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12427 850 476 0 11593 0 Current children cumulated CPU time: 2262.23 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49708 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/192 13839 /proc/meminfo: memFree=27321412/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49708 CPUtime=2322.23 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 112142 0 0 0 232217 6 0 0 20 0 1 0 49671859 74838016 12427 33554432000 4194304 6142532 140734772748448 140734772745976 5396657 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12427 850 476 0 11593 0 Current children cumulated CPU time: 2322.23 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49708 KiB [startup+2382.3 s] /proc/loadavg: 2.06 2.03 2.05 3/192 13840 /proc/meminfo: memFree=27321784/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49708 CPUtime=2382.23 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 112730 0 0 0 238217 6 0 0 20 0 1 0 49671859 74838016 12427 33554432000 4194304 6142532 140734772748448 140734772745976 140216701455808 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12427 850 476 0 11593 0 Current children cumulated CPU time: 2382.23 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49708 KiB [startup+2442.3 s] /proc/loadavg: 2.02 2.02 2.05 3/190 13842 /proc/meminfo: memFree=27322124/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49708 CPUtime=2442.22 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 113219 0 0 0 244216 6 0 0 20 0 1 0 49671859 74838016 12427 33554432000 4194304 6142532 140734772748448 140734772745976 5371800 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12427 850 476 0 11593 0 Current children cumulated CPU time: 2442.22 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49708 KiB [startup+2502.3 s] /proc/loadavg: 2.01 2.02 2.05 3/190 13843 /proc/meminfo: memFree=27322248/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49708 CPUtime=2502.22 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 113582 0 0 0 250216 6 0 0 20 0 1 0 49671859 74838016 12427 33554432000 4194304 6142532 140734772748448 140734772745976 5146848 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12427 850 476 0 11593 0 Current children cumulated CPU time: 2502.22 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49708 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.01 2.02 2.05 3/190 13844 /proc/meminfo: memFree=27322372/32770624 swapFree=67108860/67108860 [pid=13677] ppid=13674 vsize=73084 memory=49708 CPUtime=2519.93 cores=0,2,4,6 /proc/13677/stat : 13677 (cosoco) R 13674 13677 10531 0 -1 4202496 113916 0 0 0 251987 6 0 0 20 0 1 0 49671859 74838016 12427 33554432000 4194304 6142532 140734772748448 140734772745976 5371774 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 13463552 140734772753542 140734772753672 140734772753672 140734772756430 0 /proc/13677/statm: 18271 12427 850 476 0 11593 0 Current children cumulated CPU time: 2519.93 s Current children cumulated vsize: 73084 KiB Current children cumulated memory: 49708 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 13677 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.88 s, system=0.063998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.94 CPU user time (s): 2519.88 CPU system time (s): 0.063998 CPU usage (%): 99.9972 Max. virtual memory (cumulated for all children) (KiB): 73084 Max. memory (cumulated for all children) (KiB): 49708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.88 system time used= 0.063998 maximum resident set size= 49772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 113965 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= 29 involuntary context switches= 861 # summary of solver processes directly reported to runsolver: # pid: 13677 # total CPU time (s): 2519.94 # total CPU user time (s): 2519.88 # total CPU system time (s): 0.063998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.90923 second user time and 17.9506 second system time The end
Begin job on node134 at 2018-07-23 06:44:47 IDJOB=4293614 IDBENCH=141204 IDSOLVER=2752 FILE ID=node134/4293614-1532321086 RUNJOBID= node134-1532293349-10562 PBS_JOBID= 21018978 Free space on /tmp= 55992 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293614-1532321086/watcher-4293614-1532321086 -o /tmp/evaluation-result-4293614-1532321086/solver-4293614-1532321086 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10562 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293614-1532321086.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1 RANDOM SEED=956738562 node134.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.68 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.68 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.68 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.68 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: 27141584 kB MemAvailable: 31609100 kB Buffers: 182948 kB Cached: 4548612 kB SwapCached: 0 kB Active: 1758484 kB Inactive: 3397208 kB Active(anon): 373216 kB Inactive(anon): 70304 kB Active(file): 1385268 kB Inactive(file): 3326904 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2172 kB Writeback: 0 kB AnonPages: 431440 kB Mapped: 38824 kB Shmem: 17056 kB Slab: 170968 kB SReclaimable: 142356 kB SUnreclaim: 28612 kB KernelStack: 3408 kB PageTables: 5852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 713056 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 368640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55988 MiB End job on node134 at 2018-07-23 07:26:47