Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | SAT | 10.6963 | 10.6965 |
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.09/0.15 c root propagations : 0 0.09/0.15 c restarts enabled, print stats at every restarts 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c This is cosoco 2.00 -- 0.09/0.15 c 0.09/0.15 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389490-1568338431.xml 0.09/0.15 c ========================================[ Problem Statistics ]=========================================== 0.09/0.15 c | 0.09/0.15 c | Parse time : 0.13 s 0.09/0.15 c | 0.09/0.15 c | Variables: 1200 0.09/0.15 c | Domain Sizes: 2..24 0.09/0.15 c | 0.09/0.15 c | Constraints: 1402 0.09/0.15 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.09/0.15 c | 0.09/0.15 c | Types: 0.09/0.15 c | Exactly K: 24 0.09/0.15 c | Extension: 200 (nb tuples: 24..24) -- (shared: 199) 0.09/0.15 c | Sum: 1178 0.09/0.15 c | 0.09/0.15 c ========================================================================================================= 0.09/0.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.00/1.08 c 101 1050 168900 62438 0 0 635 690 670 1.39/1.49 c 211 1546 234072 93359 0 0 78 85 81 2.00/2.02 c 332 3087 322480 113698 0 0 76 931 908 2.29/2.38 c 465 3943 386296 134517 0 0 219 233 228 3.10/3.12 c 611 6326 524810 164846 0 0 167 728 240 3.59/3.64 c 771 8864 662055 185611 0 0 541 695 661 4.79/4.83 c 947 13540 898643 207679 0 0 334 602 525 5.39/5.47 c 1140 15000 1042014 241058 0 0 507 525 516 5.89/5.97 c 1352 16204 1154515 265489 0 0 161 539 497 6.59/6.63 c 1585 17788 1298106 293020 0 0 518 529 523 7.29/7.39 c 1841 19385 1471941 335582 0 0 512 552 531 8.69/8.71 c 2122 21723 1760194 392613 0 0 513 669 571 9.29/9.36 c 2431 23409 1890901 426737 0 0 336 502 416 10.29/10.37 c 2770 25352 2142706 478876 0 0 384 703 663 10.59/10.69 c First solution is found 10.59/10.69 s SATISFIABLE 10.59/10.69 c restarts : 14 10.59/10.69 c conflicts : 2770 (259 /sec) 10.59/10.69 c decisions : 26552 (2486 /sec) 10.59/10.69 c propagations : 485043 (45411 /sec) 10.59/10.69 c root propagations : 0 10.59/10.69 c filter calls : 2197506 (205735 /sec) 10.59/10.69 c useless filter calls : 2115070 (96 %) 10.59/10.69 c Memory used : 42.06 MB 10.59/10.69 c CPU time : 10.6812 s 10.59/10.69 c real time : 10.6898 s 10.59/10.69 10.59/10.69 c solution 1 10.59/10.69 10.59/10.69 v <instantiation type='solution'> 10.59/10.69 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.59/10.69 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.59/10.69 v </instantiation> 10.59/10.69
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 (15341 MiB free) memory of node 1: 16384 MiB (15597 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389490-1568338431/watcher-4389490-1568338431 -o /tmp/evaluation-result-4389490-1568338431/solver-4389490-1568338431 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14144 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389490-1568338431.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=19532, runsolver pid=19529 [startup+0.100157 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 19533 /proc/meminfo: memFree=31673172/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=35140 memory=11592 CPUtime=0.09 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 3083 0 0 0 9 0 0 0 20 0 1 0 410101575 35983360 2898 33554432000 4194304 6210612 140734768404688 140734768401224 140534801279973 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 8785 2898 846 493 0 2090 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 35140 KiB Current children cumulated memory: 11592 KiB [startup+0.209676 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 19533 /proc/meminfo: memFree=31670652/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=37500 memory=13952 CPUtime=0.2 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 3693 0 0 0 20 0 0 0 20 0 1 0 410101575 38400000 3488 33554432000 4194304 6210612 140734768404688 140734768401224 140534801279973 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 9375 3488 889 493 0 2680 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 37500 KiB Current children cumulated memory: 13952 KiB [startup+0.309347 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 19533 /proc/meminfo: memFree=31669908/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=38160 memory=14744 CPUtime=0.31 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 3863 0 0 0 30 1 0 0 20 0 1 0 410101575 39075840 3686 33554432000 4194304 6210612 140734768404688 140734768401224 140534801279973 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 9540 3686 889 493 0 2845 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38160 KiB Current children cumulated memory: 14744 KiB [startup+0.700276 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19533 /proc/meminfo: memFree=31668420/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=39612 memory=16064 CPUtime=0.69 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 4219 0 0 0 68 1 0 0 20 0 1 0 410101575 40562688 4016 33554432000 4194304 6210612 140734768404688 140734768402200 5154952 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 9903 4016 889 493 0 3208 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 39612 KiB Current children cumulated memory: 16064 KiB [startup+1.50028 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19533 /proc/meminfo: memFree=31667756/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=39612 memory=16064 CPUtime=1.49 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 4226 0 0 0 148 1 0 0 20 0 1 0 410101575 40562688 4016 33554432000 4194304 6210612 140734768404688 140734768402168 5156092 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 9903 4016 889 493 0 3208 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 39612 KiB Current children cumulated memory: 16064 KiB [startup+3.10934 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19534 /proc/meminfo: memFree=31665524/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=41732 memory=18460 CPUtime=3.1 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 8008 0 0 0 309 1 0 0 20 0 1 0 410101575 42733568 4615 33554432000 4194304 6210612 140734768404688 140734768402168 5249664 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 10433 4615 891 493 0 3738 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 41732 KiB Current children cumulated memory: 18460 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19534 /proc/meminfo: memFree=31665656/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=42128 memory=18680 CPUtime=6.29 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 11333 0 0 0 628 1 0 0 20 0 1 0 410101575 43139072 4670 33554432000 4194304 6210612 140734768404688 140734768402648 5192892 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 10532 4670 891 493 0 3837 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18680 KiB [startup+10.6964 s] # the end of solver process 19532 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.6813 s, system=0.015002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.4003 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19534 /proc/meminfo: memFree=31665656/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=42128 memory=18680 CPUtime=6.39 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 11333 0 0 0 638 1 0 0 20 0 1 0 410101575 43139072 4670 33554432000 4194304 6210612 140734768404688 140734768402648 5154977 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 10532 4670 891 493 0 3837 0 Current children cumulated CPU time: 6.39 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18680 KiB [startup+8.00025 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 19534 /proc/meminfo: memFree=31665656/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=42128 memory=18776 CPUtime=8 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 14378 0 0 0 799 1 0 0 20 0 1 0 410101575 43139072 4694 33554432000 4194304 6210612 140734768404688 140734768402648 5154977 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 10532 4694 891 493 0 3837 0 Current children cumulated CPU time: 8 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18776 KiB [startup+9.60025 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19534 /proc/meminfo: memFree=31665284/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=42128 memory=18876 CPUtime=9.59 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 14576 0 0 0 958 1 0 0 20 0 1 0 410101575 43139072 4719 33554432000 4194304 6210612 140734768404688 140734768402648 5154977 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 10532 4719 891 493 0 3837 0 Current children cumulated CPU time: 9.59 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18876 KiB [startup+10.4002 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19534 /proc/meminfo: memFree=31665284/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=42260 memory=18932 CPUtime=10.39 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 14615 0 0 0 1038 1 0 0 20 0 1 0 410101575 43274240 4733 33554432000 4194304 6210612 140734768404688 140734768402648 5156512 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 10565 4733 891 493 0 3870 0 Current children cumulated CPU time: 10.39 s Current children cumulated vsize: 42260 KiB Current children cumulated memory: 18932 KiB [startup+10.6002 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19534 /proc/meminfo: memFree=31665284/32770624 swapFree=66935576/67108860 [pid=19532] ppid=19529 vsize=42260 memory=18932 CPUtime=10.59 cores=1,3,5,7 /proc/19532/stat : 19532 (cosoco) R 19529 19532 14112 0 -1 4202496 14625 0 0 0 1058 1 0 0 20 0 1 0 410101575 43274240 4733 33554432000 4194304 6210612 140734768404688 140734768402648 5155888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 41373696 140734768411659 140734768411761 140734768411761 140734768414670 0 /proc/19532/statm: 10565 4733 891 493 0 3870 0 Current children cumulated CPU time: 10.59 s Current children cumulated vsize: 42260 KiB Current children cumulated memory: 18932 KiB Child status: 0 Real time (s): 10.6965 CPU time (s): 10.6963 CPU user time (s): 10.6813 CPU system time (s): 0.015002 CPU usage (%): 99.9982 Max. virtual memory (cumulated for all children) (KiB): 42260 Max. memory (cumulated for all children) (KiB): 18932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.6813 system time used= 0.015002 maximum resident set size= 19816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15019 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= 15 involuntary context switches= 5 # summary of solver processes directly reported to runsolver: # pid: 19532 # total CPU time (s): 10.6963 # total CPU user time (s): 10.6813 # total CPU system time (s): 0.015002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.048285 second user time and 0.121442 second system time The end
Begin job on node105 at 2019-09-13 02:32:17 IDJOB=4389490 IDBENCH=128073 IDSOLVER=2829 FILE ID=node105/4389490-1568338431 RUNJOBID= node105-1568308483-14144 PBS_JOBID= 21701128 Free space on /tmp= 54368 MiB SOLVER NAME= cosoco 2 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-4389490-1568338431/watcher-4389490-1568338431 -o /tmp/evaluation-result-4389490-1568338431/solver-4389490-1568338431 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568308483-14144 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389490-1568338431.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318 RANDOM SEED=746038321 node105.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.00 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.00 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.00 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.00 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: 31680356 kB MemAvailable: 31856900 kB Buffers: 127520 kB Cached: 337576 kB SwapCached: 68948 kB Active: 227952 kB Inactive: 309124 kB Active(anon): 14356 kB Inactive(anon): 89600 kB Active(file): 213596 kB Inactive(file): 219524 kB Unevictable: 111240 kB Mlocked: 111240 kB SwapTotal: 67108860 kB SwapFree: 66935576 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 115720 kB Mapped: 36920 kB Shmem: 23240 kB Slab: 146592 kB SReclaimable: 118520 kB SUnreclaim: 28072 kB KernelStack: 3456 kB PageTables: 5480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 521920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 54364 MiB End job on node105 at 2019-09-13 02:32:28