Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | SAT | 10.9427 | 10.9431 |
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-4408030-1569799644.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.10/1.11 c 101 1050 168900 62438 0 0 635 690 670 1.49/1.53 c 211 1546 234072 93359 0 0 78 85 81 2.00/2.08 c 332 3087 322480 113698 0 0 76 931 908 2.39/2.45 c 465 3943 386296 134517 0 0 219 233 228 3.19/3.20 c 611 6326 524810 164846 0 0 167 728 240 3.69/3.73 c 771 8864 662055 185611 0 0 541 695 661 4.89/4.95 c 947 13540 898643 207679 0 0 334 602 525 5.59/5.60 c 1140 15000 1042014 241058 0 0 507 525 516 6.10/6.11 c 1352 16204 1154515 265489 0 0 161 539 497 6.69/6.78 c 1585 17788 1298106 293020 0 0 518 529 523 7.49/7.56 c 1841 19385 1471941 335582 0 0 512 552 531 8.89/8.91 c 2122 21723 1760194 392613 0 0 513 669 571 9.49/9.57 c 2431 23409 1890901 426737 0 0 336 502 416 10.59/10.61 c 2770 25352 2142706 478876 0 0 384 703 663 10.89/10.94 c First solution is found 10.89/10.94 s SATISFIABLE 10.89/10.94 c restarts : 14 10.89/10.94 c conflicts : 2770 (254 /sec) 10.89/10.94 c decisions : 26552 (2430 /sec) 10.89/10.94 c propagations : 485043 (44399 /sec) 10.89/10.94 c root propagations : 0 10.89/10.94 c filter calls : 2197506 (201150 /sec) 10.89/10.94 c useless filter calls : 2115070 (96 %) 10.89/10.94 c Memory used : 42.06 MB 10.89/10.94 c CPU time : 10.9246 s 10.89/10.94 c real time : 10.9363 s 10.89/10.94 10.89/10.94 c solution 1 10.89/10.94 10.89/10.94 v <instantiation type='solution'> 10.89/10.94 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.89/10.94 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.89/10.94 v </instantiation> 10.89/10.94
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 (15009 MiB free) memory of node 1: 16384 MiB (14316 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408030-1569799644/watcher-4408030-1569799644 -o /tmp/evaluation-result-4408030-1569799644/solver-4408030-1569799644 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1569787351-18444 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408030-1569799644.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=20379, runsolver pid=20376 Current StackSize limit: 8192 KiB [startup+0.1002 s]* /proc/loadavg: 2.38 2.15 2.09 3/199 20380 /proc/meminfo: memFree=30023136/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=35140 memory=11604 CPUtime=0.09 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 3078 0 0 0 9 0 0 0 20 0 1 0 555878287 35983360 2901 33554432000 4194304 6211132 140735701713664 140735701710200 139797953858533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 8785 2901 849 493 0 2090 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 35140 KiB Current children cumulated memory: 11604 KiB [startup+0.209687 s]* /proc/loadavg: 2.38 2.15 2.09 3/199 20380 /proc/meminfo: memFree=30020532/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=37368 memory=13964 CPUtime=0.21 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 3692 0 0 0 20 1 0 0 20 0 1 0 555878287 38264832 3491 33554432000 4194304 6211132 140735701713664 140735701710200 139797953858533 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 9342 3491 894 493 0 2647 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 37368 KiB Current children cumulated memory: 13964 KiB [startup+0.30931 s]* /proc/loadavg: 2.38 2.15 2.09 3/199 20380 /proc/meminfo: memFree=30020160/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=38028 memory=14492 CPUtime=0.31 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 3850 0 0 0 30 1 0 0 20 0 1 0 555878287 38940672 3623 33554432000 4194304 6211132 140735701713664 140735701710200 5250283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 9507 3623 894 493 0 2812 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 38028 KiB Current children cumulated memory: 14492 KiB [startup+0.700357 s] /proc/loadavg: 2.38 2.15 2.09 3/199 20380 /proc/meminfo: memFree=30018672/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=39612 memory=16076 CPUtime=0.69 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 4224 0 0 0 68 1 0 0 20 0 1 0 555878287 40562688 4019 33554432000 4194304 6211132 140735701713664 140735701710200 5250330 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/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.50034 s] /proc/loadavg: 2.38 2.15 2.09 3/199 20380 /proc/meminfo: memFree=30018440/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=39612 memory=16076 CPUtime=1.49 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 4230 0 0 0 148 1 0 0 20 0 1 0 555878287 40562688 4019 33554432000 4194304 6211132 140735701713664 140735701711624 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/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.10938 s] /proc/loadavg: 2.38 2.15 2.09 3/199 20380 /proc/meminfo: memFree=30015960/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=41732 memory=18476 CPUtime=3.1 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 8009 0 0 0 309 1 0 0 20 0 1 0 555878287 42733568 4619 33554432000 4194304 6211132 140735701713664 140735701711624 5409476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 10433 4619 895 493 0 3738 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 41732 KiB Current children cumulated memory: 18476 KiB [startup+6.30034 s] /proc/loadavg: 2.35 2.15 2.09 3/199 20380 /proc/meminfo: memFree=30015488/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=42128 memory=18696 CPUtime=6.29 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 11335 0 0 0 628 1 0 0 20 0 1 0 555878287 43139072 4674 33554432000 4194304 6211132 140735701713664 140735701711624 5155543 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 10532 4674 895 493 0 3837 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18696 KiB [startup+10.9431 s] # the end of solver process 20379 was just reported to runsolver # cumulated CPU time of all completed processes: user=10.9247 s, system=0.018002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40035 s] /proc/loadavg: 2.35 2.15 2.09 3/199 20380 /proc/meminfo: memFree=30015488/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=42128 memory=18696 CPUtime=6.39 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 11336 0 0 0 638 1 0 0 20 0 1 0 555878287 43139072 4674 33554432000 4194304 6211132 140735701713664 140735701711624 5155373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 10532 4674 895 493 0 3837 0 Current children cumulated CPU time: 6.39 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18696 KiB [startup+8.00031 s]* /proc/loadavg: 2.35 2.15 2.09 3/199 20380 /proc/meminfo: memFree=30015488/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=42128 memory=18792 CPUtime=8 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 14432 0 0 0 799 1 0 0 20 0 1 0 555878287 43139072 4698 33554432000 4194304 6211132 140735701713664 140735701711624 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 10532 4698 895 493 0 3837 0 Current children cumulated CPU time: 8 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18792 KiB [startup+9.60032 s] /proc/loadavg: 2.32 2.14 2.09 3/199 20380 /proc/meminfo: memFree=30015364/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=42128 memory=18868 CPUtime=9.59 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 14536 0 0 0 958 1 0 0 20 0 1 0 555878287 43139072 4717 33554432000 4194304 6211132 140735701713664 140735701711624 5156912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 10532 4717 895 493 0 3837 0 Current children cumulated CPU time: 9.59 s Current children cumulated vsize: 42128 KiB Current children cumulated memory: 18868 KiB [startup+10.4003 s] /proc/loadavg: 2.32 2.14 2.09 3/199 20380 /proc/meminfo: memFree=30015364/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=42260 memory=18948 CPUtime=10.39 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 14618 0 0 0 1038 1 0 0 20 0 1 0 555878287 43274240 4737 33554432000 4194304 6211132 140735701713664 140735701711624 5250311 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 10565 4737 895 493 0 3870 0 Current children cumulated CPU time: 10.39 s Current children cumulated vsize: 42260 KiB Current children cumulated memory: 18948 KiB [startup+10.8003 s] /proc/loadavg: 2.32 2.14 2.09 3/199 20380 /proc/meminfo: memFree=30015364/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=42260 memory=18948 CPUtime=10.79 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 14623 0 0 0 1078 1 0 0 20 0 1 0 555878287 43274240 4737 33554432000 4194304 6211132 140735701713664 140735701711624 5156508 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 10565 4737 895 493 0 3870 0 Current children cumulated CPU time: 10.79 s Current children cumulated vsize: 42260 KiB Current children cumulated memory: 18948 KiB [startup+10.9003 s] /proc/loadavg: 2.32 2.14 2.09 3/199 20380 /proc/meminfo: memFree=30015364/32770624 swapFree=67002480/67108860 [pid=20379] ppid=20376 vsize=42260 memory=18948 CPUtime=10.89 cores=0,2,4,6 /proc/20379/stat : 20379 (cosoco) R 20376 20379 18413 0 -1 4202496 14634 0 0 0 1088 1 0 0 20 0 1 0 555878287 43274240 4737 33554432000 4194304 6211132 140735701713664 140735701711624 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 38944768 140735701718027 140735701718129 140735701718129 140735701721038 0 /proc/20379/statm: 10565 4737 895 493 0 3870 0 Current children cumulated CPU time: 10.89 s Current children cumulated vsize: 42260 KiB Current children cumulated memory: 18948 KiB Child status: 0 Real time (s): 10.9431 CPU time (s): 10.9427 CPU user time (s): 10.9247 CPU system time (s): 0.018002 CPU usage (%): 99.9961 Max. virtual memory (cumulated for all children) (KiB): 42260 Max. memory (cumulated for all children) (KiB): 18948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 10.9247 system time used= 0.018002 maximum resident set size= 19828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15022 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= 11 # summary of solver processes directly reported to runsolver: # pid: 20379 # total CPU time (s): 10.9427 # total CPU user time (s): 10.9247 # total CPU system time (s): 0.018002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.053275 second user time and 0.118405 second system time The end
Begin job on node146 at 2019-09-30 01:26:42 IDJOB=4408030 IDBENCH=128073 IDSOLVER=2874 FILE ID=node146/4408030-1569799644 RUNJOBID= node146-1569787351-18444 PBS_JOBID= 21705819 Free space on /tmp= 62028 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-4408030-1569799644/watcher-4408030-1569799644 -o /tmp/evaluation-result-4408030-1569799644/solver-4408030-1569799644 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1569787351-18444 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408030-1569799644.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318 RANDOM SEED=1500266636 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 30029960 kB MemAvailable: 31588600 kB Buffers: 182504 kB Cached: 1712868 kB SwapCached: 3684 kB Active: 1900780 kB Inactive: 285208 kB Active(anon): 304684 kB Inactive(anon): 66808 kB Active(file): 1596096 kB Inactive(file): 218400 kB Unevictable: 109344 kB Mlocked: 109344 kB SwapTotal: 67108860 kB SwapFree: 67002480 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 397984 kB Mapped: 28496 kB Shmem: 72256 kB Slab: 149248 kB SReclaimable: 119956 kB SUnreclaim: 29292 kB KernelStack: 3552 kB PageTables: 6100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 854104 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 348160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 62024 MiB End job on node146 at 2019-09-30 01:26:53