Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | SAT | 8.44114 | 8.44314 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-70-08.xml |
MD5SUM | 487341030a1a30afb0858e27d438e3d6 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 7.38733 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1401 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 22 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":22,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 60 |
Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":36,"count":20}, {"degree":37,"count":20}, {"degree":38,"count":55}, {"degree":39,"count":14}, {"degree":40,"count":39}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":56}, {"degree":54,"count":2}, {"degree":55,"count":2}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":3}, {"degree":60,"count":87}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 200 |
Distribution of constraint arities | [{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":2},{"arity":50,"count":2},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":4},{"arity":83,"count":2},{"arity":85,"count":2},{"arity":86,"count":2},{"arity":88,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}] |
Number of extensional constraints | 200 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":200},{"type":"sum","count":1200},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.10/0.17 c root propagations : 0 0.10/0.17 c restarts enabled, print stats at every restarts 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c This is cosoco 2.00 -- 0.10/0.17 c 0.10/0.17 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389476-1568338633.xml 0.10/0.17 c ========================================[ Problem Statistics ]=========================================== 0.10/0.17 c | 0.10/0.17 c | Parse time : 0.16 s 0.10/0.17 c | 0.10/0.17 c | Variables: 1200 0.10/0.17 c | Domain Sizes: 2..22 0.10/0.17 c | 0.10/0.17 c | Constraints: 1422 0.10/0.17 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.17 c | 0.10/0.17 c | Types: 0.10/0.17 c | Exactly K: 22 0.10/0.17 c | Extension: 200 (nb tuples: 22..22) -- (shared: 199) 0.10/0.17 c | Sum: 1200 0.10/0.17 c | 0.10/0.17 c ========================================================================================================= 0.10/0.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.60/0.61 c 101 1328 71242 19151 0 0 847 870 851 0.89/0.92 c 211 1666 121260 31338 0 0 156 163 157 1.29/1.35 c 332 2037 197407 43092 0 0 182 186 182 1.89/1.95 c 465 3860 301548 61135 0 0 115 340 284 2.39/2.45 c 611 5220 385746 84759 0 0 105 390 140 2.89/2.93 c 771 6085 474681 95901 0 0 385 398 391 3.59/3.65 c 947 7434 604604 114227 0 0 322 563 549 4.29/4.30 c 1140 9208 718175 131317 0 0 333 597 573 4.69/4.75 c 1352 10234 781498 143817 0 0 422 475 459 5.19/5.25 c 1585 11331 859972 155649 0 0 372 383 377 6.39/6.45 c 1841 15684 1074257 176275 0 0 432 735 616 7.29/7.30 c 2122 17593 1237962 192111 0 0 715 763 748 7.89/7.90 c 2431 19672 1351915 231748 0 0 184 610 406 8.39/8.44 c First solution is found 8.39/8.44 s SATISFIABLE 8.39/8.44 c restarts : 13 8.39/8.44 c conflicts : 2456 (291 /sec) 8.39/8.44 c decisions : 21001 (2492 /sec) 8.39/8.44 c propagations : 240637 (28558 /sec) 8.39/8.44 c root propagations : 0 8.39/8.44 c filter calls : 1445476 (171543 /sec) 8.39/8.44 c useless filter calls : 1392957 (96 %) 8.39/8.44 c Memory used : 41.79 MB 8.39/8.44 c CPU time : 8.42624 s 8.39/8.44 c real time : 8.43625 s 8.39/8.44 8.39/8.44 c solution 1 8.39/8.44 8.39/8.44 v <instantiation type='solution'> 8.39/8.44 v <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4] </list> 8.39/8.44 v <values>16 3 2 5 5 15 11 5 2 5 10 5 4 2 10 5 0 16 2 5 16 11 12 16 2 15 5 4 7 17 2 4 5 15 2 5 19 12 5 16 2 4 1 16 4 11 16 4 5 12 11 5 13 5 4 6 5 21 2 9 2 5 14 15 5 0 16 1 4 5 16 3 2 21 16 5 2 6 5 5 15 2 4 7 20 3 2 20 21 15 2 9 2 15 7 5 5 15 20 7 3 5 16 11 15 19 7 5 5 2 5 7 2 5 5 2 21 15 20 11 15 7 2 16 11 4 7 2 5 16 2 12 2 5 5 2 18 2 4 16 11 21 15 20 2 5 10 11 5 7 11 15 16 3 21 10 5 2 2 7 15 16 11 15 21 4 2 15 11 8 5 5 6 11 7 5 4 2 5 18 2 4 2 4 7 2 15 5 0 7 2 4 5 6 21 5 6 5 3 14 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 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 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 </values> 8.39/8.44 v </instantiation> 8.39/8.44
OK
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: 16375 MiB (13448 MiB free) memory of node 1: 16384 MiB (15689 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389476-1568338633/watcher-4389476-1568338633 -o /tmp/evaluation-result-4389476-1568338633/solver-4389476-1568338633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389476-1568338633.xml running on 4 cores: 4-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=11667, runsolver pid=11664 [startup+0.100158 s]* /proc/loadavg: 1.92 2.01 2.04 3/200 11668 /proc/meminfo: memFree=29829504/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=34756 memory=11208 CPUtime=0.1 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 2990 0 0 0 10 0 0 0 20 0 1 0 409804963 35590144 2802 33554432000 4194304 6210612 140727834134064 140727834128424 5518871 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 8689 2802 846 493 0 1994 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34756 KiB Current children cumulated memory: 11208 KiB [startup+0.21105 s]* /proc/loadavg: 1.92 2.01 2.04 3/200 11668 /proc/meminfo: memFree=29826768/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=36980 memory=13424 CPUtime=0.21 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 3579 0 0 0 21 0 0 0 20 0 1 0 409804963 37867520 3356 33554432000 4194304 6210612 140727834134064 140727834128424 139703201938405 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 9245 3356 855 493 0 2550 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 36980 KiB Current children cumulated memory: 13424 KiB [startup+0.310567 s]* /proc/loadavg: 1.92 2.01 2.04 3/200 11668 /proc/meminfo: memFree=29826396/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=38168 memory=14744 CPUtime=0.31 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 3869 0 0 0 31 0 0 0 20 0 1 0 409804963 39084032 3686 33554432000 4194304 6210612 140727834134064 140727834128424 139703201938405 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 9542 3686 889 493 0 2847 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38168 KiB Current children cumulated memory: 14744 KiB [startup+0.700289 s] /proc/loadavg: 1.92 2.01 2.04 3/200 11668 /proc/meminfo: memFree=29823792/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=40148 memory=16592 CPUtime=0.69 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 4358 0 0 0 69 0 0 0 20 0 1 0 409804963 41111552 4148 33554432000 4194304 6210612 140727834134064 140727834128424 5249674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 10037 4148 889 493 0 3342 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 40148 KiB Current children cumulated memory: 16592 KiB [startup+1.50029 s] /proc/loadavg: 1.92 2.01 2.04 3/200 11668 /proc/meminfo: memFree=29823792/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=40148 memory=16592 CPUtime=1.49 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 4358 0 0 0 149 0 0 0 20 0 1 0 409804963 41111552 4148 33554432000 4194304 6210612 140727834134064 140727834132024 5249724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 10037 4148 889 493 0 3342 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 40148 KiB Current children cumulated memory: 16592 KiB [startup+3.11054 s] /proc/loadavg: 1.92 2.01 2.04 3/200 11668 /proc/meminfo: memFree=29823456/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=40544 memory=17212 CPUtime=3.1 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 7290 0 0 0 310 0 0 0 20 0 1 0 409804963 41517056 4303 33554432000 4194304 6210612 140727834134064 140727834132024 5156529 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 10136 4303 891 493 0 3441 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 40544 KiB Current children cumulated memory: 17212 KiB [startup+6.30028 s] /proc/loadavg: 1.93 2.01 2.04 3/200 11668 /proc/meminfo: memFree=29821968/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=41468 memory=17980 CPUtime=6.29 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 10614 0 0 0 628 1 0 0 20 0 1 0 409804963 42463232 4495 33554432000 4194304 6210612 140727834134064 140727834132024 5249738 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 10367 4495 891 493 0 3672 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 41468 KiB Current children cumulated memory: 17980 KiB [startup+8.44311 s] # the end of solver process 11667 was just reported to runsolver # cumulated CPU time of all completed processes: user=8.42714 s, system=0.014 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40031 s] /proc/loadavg: 1.93 2.01 2.04 3/200 11668 /proc/meminfo: memFree=29821968/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=41468 memory=17980 CPUtime=6.39 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 10616 0 0 0 638 1 0 0 20 0 1 0 409804963 42463232 4495 33554432000 4194304 6210612 140727834134064 140727834132024 5155888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 10367 4495 891 493 0 3672 0 Current children cumulated CPU time: 6.39 s Current children cumulated vsize: 41468 KiB Current children cumulated memory: 17980 KiB [startup+7.20026 s] /proc/loadavg: 1.93 2.01 2.04 3/200 11668 /proc/meminfo: memFree=29821968/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=41600 memory=18224 CPUtime=7.19 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 10660 0 0 0 718 1 0 0 20 0 1 0 409804963 42598400 4556 33554432000 4194304 6210612 140727834134064 140727834131464 5249681 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 10400 4556 891 493 0 3705 0 Current children cumulated CPU time: 7.19 s Current children cumulated vsize: 41600 KiB Current children cumulated memory: 18224 KiB [startup+8.00026 s]* /proc/loadavg: 1.93 2.01 2.04 4/200 11668 /proc/meminfo: memFree=29821968/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=41732 memory=18364 CPUtime=8 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 13676 0 0 0 799 1 0 0 20 0 1 0 409804963 42733568 4591 33554432000 4194304 6210612 140727834134064 140727834131464 5155366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 10433 4591 891 493 0 3738 0 Current children cumulated CPU time: 8 s Current children cumulated vsize: 41732 KiB Current children cumulated memory: 18364 KiB [startup+8.40026 s] /proc/loadavg: 1.93 2.01 2.04 4/200 11668 /proc/meminfo: memFree=29821968/32770688 swapFree=66960996/67108860 [pid=11667] ppid=11664 vsize=42392 memory=18956 CPUtime=8.39 cores=4-7 /proc/11667/stat : 11667 (cosoco) R 11664 11667 6407 0 -1 4202496 14099 0 0 0 838 1 0 0 20 0 1 0 409804963 43409408 4739 33554432000 4194304 6210612 140727834134064 140727834131464 5249729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 38653952 140727834137611 140727834137713 140727834137713 140727834140622 0 /proc/11667/statm: 10598 4739 891 493 0 3903 0 Current children cumulated CPU time: 8.39 s Current children cumulated vsize: 42392 KiB Current children cumulated memory: 18956 KiB Child status: 0 Real time (s): 8.44314 CPU time (s): 8.44114 CPU user time (s): 8.42714 CPU system time (s): 0.014 CPU usage (%): 99.9763 Max. virtual memory (cumulated for all children) (KiB): 42392 Max. memory (cumulated for all children) (KiB): 18956 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.42714 system time used= 0.014 maximum resident set size= 19560 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14265 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= 14 involuntary context switches= 8 # summary of solver processes directly reported to runsolver: # pid: 11667 # total CPU time (s): 8.44114 # total CPU user time (s): 8.42714 # total CPU system time (s): 0.014 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.062929 second user time and 0.106575 second system time The end
Begin job on node116 at 2019-09-13 03:36:32 IDJOB=4389476 IDBENCH=128079 IDSOLVER=2829 FILE ID=node116/4389476-1568338633 RUNJOBID= node116-1568311136-6439 PBS_JOBID= 21701125 Free space on /tmp= 56884 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-08.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389476-1568338633/watcher-4389476-1568338633 -o /tmp/evaluation-result-4389476-1568338633/solver-4389476-1568338633 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389476-1568338633.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 487341030a1a30afb0858e27d438e3d6 RANDOM SEED=1308029241 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 29837432 kB MemAvailable: 31845812 kB Buffers: 105056 kB Cached: 2180528 kB SwapCached: 46684 kB Active: 827224 kB Inactive: 1512000 kB Active(anon): 5668 kB Inactive(anon): 88756 kB Active(file): 821556 kB Inactive(file): 1423244 kB Unevictable: 110248 kB Mlocked: 110248 kB SwapTotal: 67108860 kB SwapFree: 66960996 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 118344 kB Mapped: 44360 kB Shmem: 31900 kB Slab: 187704 kB SReclaimable: 158828 kB SUnreclaim: 28876 kB KernelStack: 3488 kB PageTables: 5600 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 530300 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 56880 MiB End job on node116 at 2019-09-13 03:36:41