Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | SAT | 10.709 | 10.7183 |
Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-60-01.xml |
MD5SUM | 78ce7b18c2bc9eefd2fccfc0b2746318 |
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 | 3.47115 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1379 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 24 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":24,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 62 |
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":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":125},{"degree":25,"count":14},{"degree":26,"count":14},"...",{"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":125}, {"degree":45,"count":6}, {"degree":46,"count":6}, {"degree":47,"count":6}, {"degree":48,"count":6}, {"degree":49,"count":6}, {"degree":50,"count":6}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":6}, {"degree":54,"count":7}, {"degree":55,"count":7}, {"degree":56,"count":48}, {"degree":57,"count":3}, {"degree":58,"count":3}, {"degree":59,"count":3}, {"degree":60,"count":4}, {"degree":61,"count":4}, {"degree":62,"count":27}] |
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":29,"count":1},{"arity":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"count":2},"...",{"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":1178},{"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.15 c root propagations : 0 0.10/0.15 c restarts enabled, print stats at every restarts 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c This is cosoco 2.00 -- 0.10/0.15 c 0.10/0.15 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396770-1568583518.xml 0.10/0.15 c ========================================[ Problem Statistics ]=========================================== 0.10/0.15 c | 0.10/0.15 c | Parse time : 0.14 s 0.10/0.15 c | 0.10/0.15 c | Variables: 1200 0.10/0.15 c | Domain Sizes: 2..24 0.10/0.15 c | 0.10/0.15 c | Constraints: 1402 0.10/0.15 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.15 c | 0.10/0.15 c | Types: 0.10/0.15 c | Exactly K: 24 0.10/0.15 c | Extension: 200 (nb tuples: 24..24) -- (shared: 199) 0.10/0.15 c | Sum: 1178 0.10/0.15 c | 0.10/0.15 c ========================================================================================================= 0.10/0.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.99/1.09 c 101 1050 168900 62438 0 0 635 690 670 1.49/1.50 c 211 1546 234072 93359 0 0 78 85 81 1.99/2.04 c 332 3087 322480 113698 0 0 76 931 908 2.39/2.40 c 465 3943 386296 134517 0 0 219 233 228 3.09/3.13 c 611 6326 524810 164846 0 0 167 728 240 3.59/3.66 c 771 8864 662055 185611 0 0 541 695 661 4.78/4.86 c 947 13540 898643 207679 0 0 334 602 525 5.48/5.50 c 1140 15000 1042014 241058 0 0 507 525 516 5.99/6.01 c 1352 16204 1154515 265489 0 0 161 539 497 6.58/6.66 c 1585 17788 1298106 293020 0 0 518 529 523 7.38/7.43 c 1841 19385 1471941 335582 0 0 512 552 531 8.68/8.75 c 2122 21723 1760194 392613 0 0 513 669 571 9.28/9.39 c 2431 23409 1890901 426737 0 0 336 502 416 10.38/10.40 c 2770 25352 2142706 478876 0 0 384 703 663 10.68/10.71 c First solution is found 10.68/10.71 s SATISFIABLE 10.68/10.71 c restarts : 14 10.68/10.71 c conflicts : 2770 (259 /sec) 10.68/10.71 c decisions : 26552 (2481 /sec) 10.68/10.71 c propagations : 485043 (45330 /sec) 10.68/10.71 c root propagations : 0 10.68/10.71 c filter calls : 2197506 (205371 /sec) 10.68/10.71 c useless filter calls : 2115070 (96 %) 10.68/10.71 c Memory used : 42.06 MB 10.68/10.71 c CPU time : 10.7001 s 10.68/10.71 c real time : 10.7123 s 10.68/10.71 10.68/10.71 c solution 1 10.68/10.71 10.68/10.71 v <instantiation type='solution'> 10.68/10.71 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> 10.68/10.71 v <values>9 1 1 16 18 1 7 5 16 1 5 3 1 17 5 17 16 5 1 7 0 1 10 5 1 1 7 18 1 17 14 4 16 1 23 17 14 4 16 13 1 17 1 1 5 1 20 5 1 16 1 5 1 1 5 1 1 7 1 5 1 1 17 23 17 8 1 16 1 19 1 4 5 4 7 16 8 16 1 1 5 1 1 7 10 1 17 1 1 17 1 12 16 1 8 0 1 10 7 1 1 5 1 1 11 1 1 5 2 4 5 1 1 7 1 14 17 1 5 1 1 5 1 10 7 17 5 2 1 5 1 1 5 15 1 4 5 1 1 17 5 1 1 16 6 1 7 21 1 0 1 5 1 2 5 1 7 6 1 17 1 6 16 17 1 1 5 1 4 5 1 17 22 4 2 5 1 1 5 1 1 5 2 1 11 1 1 5 1 1 5 1 1 5 1 1 5 1 1 5 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 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 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 </values> 10.68/10.71 v </instantiation> 10.68/10.71
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: 16374 MiB (10003 MiB free) memory of node 1: 16384 MiB (15149 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396770-1568583518/watcher-4396770-1568583518 -o /tmp/evaluation-result-4396770-1568583518/solver-4396770-1568583518 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568572746-32297 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396770-1568583518.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=1855, runsolver pid=1852 Current StackSize limit: 8192 KiB [startup+0.100152 s]* /proc/loadavg: 2.00 2.05 2.06 3/199 1856 /proc/meminfo: memFree=25748956/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=35140 memory=11604 CPUtime=0.1 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 3065 0 0 0 10 0 0 0 20 0 1 0 434590496 35983360 2901 33554432000 4194304 6211092 140728056516928 140728056513464 140000788052965 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 8785 2901 849 493 0 2090 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 35140 KiB Current children cumulated memory: 11604 KiB [startup+0.209669 s]* /proc/loadavg: 2.00 2.05 2.06 3/199 1856 /proc/meminfo: memFree=25746724/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=37368 memory=13964 CPUtime=0.2 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 3694 0 0 0 20 0 0 0 20 0 1 0 434590496 38264832 3491 33554432000 4194304 6211092 140728056516928 140728056511288 140000788052965 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 9342 3491 894 493 0 2647 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 37368 KiB Current children cumulated memory: 13964 KiB [startup+0.309345 s]* /proc/loadavg: 2.00 2.05 2.06 3/199 1856 /proc/meminfo: memFree=25745700/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=38028 memory=14756 CPUtime=0.3 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 3858 0 0 0 30 0 0 0 20 0 1 0 434590496 38940672 3689 33554432000 4194304 6211092 140728056516928 140728056511288 5250224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 9507 3689 894 493 0 2812 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 38028 KiB Current children cumulated memory: 14756 KiB [startup+0.700276 s] /proc/loadavg: 2.00 2.05 2.06 3/199 1856 /proc/meminfo: memFree=25744212/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=39612 memory=16076 CPUtime=0.69 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 4224 0 0 0 69 0 0 0 20 0 1 0 434590496 40562688 4019 33554432000 4194304 6211092 140728056516928 140728056514520 5250224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 9903 4019 894 493 0 3208 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 39612 KiB Current children cumulated memory: 16076 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.05 2.06 3/199 1856 /proc/meminfo: memFree=25744244/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=39612 memory=16076 CPUtime=1.49 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 4230 0 0 0 149 0 0 0 20 0 1 0 434590496 40562688 4019 33554432000 4194304 6211092 140728056516928 140728056514888 5158176 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 9903 4019 894 493 0 3208 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 39612 KiB Current children cumulated memory: 16076 KiB [startup+3.10922 s] /proc/loadavg: 2.00 2.05 2.06 3/199 1856 /proc/meminfo: memFree=25742012/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=41732 memory=18476 CPUtime=3.09 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 8011 0 0 0 309 0 0 0 20 0 1 0 434590496 42733568 4619 33554432000 4194304 6211092 140728056516928 140728056514888 5155668 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 10433 4619 895 493 0 3738 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 41732 KiB Current children cumulated memory: 18476 KiB [startup+6.30027 s] /proc/loadavg: 1.92 2.03 2.05 3/199 1856 /proc/meminfo: memFree=25742140/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=42128 memory=18696 CPUtime=6.28 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 11335 0 0 0 628 0 0 0 20 0 1 0 434590496 43139072 4674 33554432000 4194304 6211092 140728056516928 140728056514888 5250260 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 10532 4674 895 493 0 3837 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18696 KiB [startup+10.7183 s] # the end of solver process 1855 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.701 s, system=0.007997 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40028 s] /proc/loadavg: 1.92 2.03 2.05 3/199 1856 /proc/meminfo: memFree=25742140/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=42128 memory=18696 CPUtime=6.38 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 11335 0 0 0 638 0 0 0 20 0 1 0 434590496 43139072 4674 33554432000 4194304 6211092 140728056516928 140728056514888 5396756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 10532 4674 895 493 0 3837 0 Current children cumulated CPU time: 6.38 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18696 KiB [startup+8.00025 s]* /proc/loadavg: 1.92 2.03 2.05 3/199 1856 /proc/meminfo: memFree=25741532/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=42128 memory=18792 CPUtime=7.99 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 13951 0 0 0 799 0 0 0 20 0 1 0 434590496 43139072 4698 33554432000 4194304 6211092 140728056516928 140728056514888 5155353 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 10532 4698 895 493 0 3837 0 Current children cumulated CPU time: 7.99 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18792 KiB [startup+9.60025 s] /proc/loadavg: 1.92 2.03 2.05 3/199 1856 /proc/meminfo: memFree=25741408/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=42128 memory=18792 CPUtime=9.58 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 14014 0 0 0 958 0 0 0 20 0 1 0 434590496 43139072 4698 33554432000 4194304 6211092 140728056516928 140728056514888 5250459 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 10532 4698 895 493 0 3837 0 Current children cumulated CPU time: 9.58 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18792 KiB [startup+10.4003 s] /proc/loadavg: 1.93 2.03 2.05 3/199 1856 /proc/meminfo: memFree=25741408/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=42260 memory=18892 CPUtime=10.38 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 14040 0 0 0 1038 0 0 0 20 0 1 0 434590496 43274240 4723 33554432000 4194304 6211092 140728056516928 140728056514520 5193754 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 10565 4723 895 493 0 3870 0 Current children cumulated CPU time: 10.38 s Current children cumulated vsize: 42260 KiB Current children cumulated memory: 18892 KiB [startup+10.6002 s] /proc/loadavg: 1.93 2.03 2.05 3/199 1856 /proc/meminfo: memFree=25741408/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=42260 memory=18892 CPUtime=10.58 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 14042 0 0 0 1058 0 0 0 20 0 1 0 434590496 43274240 4723 33554432000 4194304 6211092 140728056516928 140728056514888 5155668 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 10565 4723 895 493 0 3870 0 Current children cumulated CPU time: 10.58 s Current children cumulated vsize: 42260 KiB Current children cumulated memory: 18892 KiB [startup+10.7002 s] /proc/loadavg: 1.93 2.03 2.05 3/199 1856 /proc/meminfo: memFree=25741408/32770624 swapFree=66941240/67108860 [pid=1855] ppid=1852 vsize=42528 memory=19100 CPUtime=10.68 cores=1,3,5,7 /proc/1855/stat : 1855 (cosoco) R 1852 1855 32265 0 -1 4202496 14103 0 0 0 1068 0 0 0 20 0 1 0 434590496 43548672 4775 33554432000 4194304 6211092 140728056516928 140728056514888 5185068 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11124736 140728056525835 140728056525937 140728056525937 140728056528846 0 /proc/1855/statm: 10632 4775 895 493 0 3937 0 Current children cumulated CPU time: 10.68 s Current children cumulated vsize: 42528 KiB Current children cumulated memory: 19100 KiB Child status: 0 Real time (s): 10.7183 CPU time (s): 10.709 CPU user time (s): 10.701 CPU system time (s): 0.007997 CPU usage (%): 99.9129 Max. virtual memory (cumulated for all children) (KiB): 42528 Max. memory (cumulated for all children) (KiB): 19100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.701 system time used= 0.007997 maximum resident set size= 19828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14293 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= 21 involuntary context switches= 66 # summary of solver processes directly reported to runsolver: # pid: 1855 # total CPU time (s): 10.709 # total CPU user time (s): 10.701 # total CPU system time (s): 0.007997 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.060452 second user time and 0.107951 second system time The end
Begin job on node149 at 2019-09-15 23:38:00 IDJOB=4396770 IDBENCH=128073 IDSOLVER=2848 FILE ID=node149/4396770-1568583518 RUNJOBID= node149-1568572746-32297 PBS_JOBID= 21703308 Free space on /tmp= 61420 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-01.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396770-1568583518/watcher-4396770-1568583518 -o /tmp/evaluation-result-4396770-1568583518/solver-4396770-1568583518 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568572746-32297 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396770-1568583518.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318 RANDOM SEED=329462617 node149.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.81 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.81 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.81 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.81 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: 25756848 kB MemAvailable: 31839516 kB Buffers: 211292 kB Cached: 6171852 kB SwapCached: 61256 kB Active: 2510456 kB Inactive: 3937900 kB Active(anon): 32524 kB Inactive(anon): 80904 kB Active(file): 2477932 kB Inactive(file): 3856996 kB Unevictable: 111216 kB Mlocked: 111216 kB SwapTotal: 67108860 kB SwapFree: 66941240 kB Dirty: 2788 kB Writeback: 0 kB AnonPages: 128508 kB Mapped: 49048 kB Shmem: 39840 kB Slab: 156988 kB SReclaimable: 127148 kB SUnreclaim: 29840 kB KernelStack: 3760 kB PageTables: 5612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538912 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61416 MiB End job on node149 at 2019-09-15 23:38:11