Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | SAT | 1926.4 | 1926.55 |
Name | CarSequencing/ CarSequencing-85-02_c18.xml |
MD5SUM | 8bc781233594bd95127afade52cac536 |
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 | 105.226 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1200 |
Number of constraints | 1442 |
Number of domains | 2 |
Minimum domain size | 2 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":2,"count":1000},{"size":26,"count":200}] |
Minimum variable degree | 2 |
Maximum variable degree | 86 |
Distribution of variable degrees | [{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":3}, {"degree":86,"count":35}] |
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":32,"count":1},{"arity":35,"count":2},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":2},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":4},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"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":1241},{"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.18 c root propagations : 0 0.10/0.18 c restarts enabled, print stats at every restarts 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c This is cosoco 1.12 -- 0.10/0.18 c 0.10/0.18 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294962-1532514734.xml 0.10/0.18 c ========================================[ Problem Statistics ]=========================================== 0.10/0.18 c | 0.10/0.18 c | Parse time : 0.16 s 0.10/0.18 c | 0.10/0.18 c | Variables: 1200 0.10/0.18 c | Domain Sizes: 2..26 0.10/0.18 c | 0.10/0.18 c | Constraints: 1467 0.10/0.18 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.18 c | 0.10/0.18 c | Types: 0.10/0.18 c | Exactly K: 26 0.10/0.18 c | Extension: 200 (nb tuples: 26..26) -- (shared: 199) 0.10/0.18 c | Sum: 1241 0.10/0.18 c | 0.10/0.18 c ========================================================================================================= 0.10/0.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.30/0.41 c 101 775 52883 46916 0 0 419 462 426 0.59/0.68 c 211 1039 105117 58048 0 0 102 106 103 1.10/1.15 c 332 1936 209919 75164 0 0 221 236 231 1.49/1.52 c 465 3076 275752 105127 0 0 68 138 121 2.00/2.05 c 611 4568 373614 140465 0 0 67 75 72 2.49/2.52 c 771 5858 458196 171676 0 0 56 74 71 3.28/3.33 c 947 6783 613475 194437 0 0 54 370 338 3.88/3.99 c 1140 8024 743112 213702 0 0 55 477 390 4.78/4.80 c 1352 8979 868608 258373 0 0 56 308 296 5.99/6.09 c 1585 10200 1055661 318459 0 0 55 199 191 7.58/7.68 c 1841 11560 1297863 392711 0 0 55 192 186 9.19/9.20 c 2122 13006 1518908 460824 0 0 55 183 176 10.39/10.48 c 2431 14458 1717016 532938 0 0 161 171 166 11.89/11.93 c 2770 16106 1942752 620730 0 0 159 170 165 13.49/13.53 c 3142 17892 2193353 712871 0 0 148 163 158 15.39/15.47 c 3551 19990 2465874 782297 0 0 145 157 150 17.49/17.51 c 4000 21906 2779716 953885 0 0 58 72 64 19.79/19.89 c 4493 24216 3113290 1072454 0 0 56 69 64 24.10/24.15 c 5035 26668 3722243 1286439 0 0 56 71 63 26.89/26.90 c 5631 29414 4131838 1397863 0 0 55 352 194 28.89/28.95 c 6286 32094 4499001 1507508 0 0 56 415 323 44.99/45.02 c 7006 38983 7051932 3539364 0 0 56 194 182 46.39/46.46 c 7798 41599 7301059 3570417 0 0 56 250 242 48.19/48.20 c 8669 43898 7619193 3628308 0 0 57 362 283 50.49/50.58 c 9627 47044 8043731 3713843 0 0 56 264 261 52.68/52.74 c 10680 50374 8398260 3758600 0 0 226 248 233 54.38/54.41 c 11838 52811 8761282 3860752 0 0 56 355 342 59.88/60.00 c 13111 59154 9726756 4126999 0 0 56 300 287 62.28/62.32 c 14511 64223 10356796 4212104 0 0 380 399 392 63.58/63.62 c 16051 68011 10767705 4290139 0 0 175 452 443 66.48/66.50 c 17745 72293 11379604 4419658 0 0 56 442 412 69.09/69.11 c 19608 77396 12084424 4534583 0 0 179 459 450 83.38/83.41 c 21657 83705 14350231 5498806 0 0 56 414 338 87.18/87.28 c 23910 90712 15065711 5570665 0 0 297 327 318 89.38/89.47 c 26388 97151 15762793 5731028 0 0 65 436 430 95.09/95.13 c 29113 120244 17319474 5889067 0 0 56 508 466 101.78/101.83 c 32110 130687 18485630 6279884 0 0 49 303 277 108.99/109.07 c 35406 137759 19752065 6445705 0 0 60 332 327 115.68/115.78 c 39031 148814 20912203 6568400 0 0 57 324 317 127.58/127.67 c 43018 160452 23476493 6915127 0 0 71 454 445 131.09/131.15 c 47403 172788 24806350 7180898 0 0 161 443 437 136.99/137.04 c 52226 185826 26584256 7426513 0 0 429 446 440 158.48/158.55 c 57531 204401 30975632 10092409 0 0 170 441 378 170.28/170.38 c 63366 221622 33502429 11186800 0 0 156 393 360 178.78/178.86 c 69784 237173 35391055 11560611 0 0 61 485 428 201.98/202.01 c 76843 253867 39147812 12052606 0 0 50 293 288 234.17/234.20 c 84607 276518 43903536 12865297 0 0 215 264 240 252.87/252.97 c 93147 322776 47242598 13942520 0 0 73 227 169 286.87/286.93 c 102541 351264 52538515 14889319 0 0 52 245 238 305.36/305.49 c 112874 382941 56145002 15300432 0 0 57 340 331 336.66/336.78 c 124240 422567 61337290 15969350 0 0 64 278 260 365.76/365.80 c 136742 467197 66644384 16745299 0 0 61 364 289 386.07/386.13 c 150494 503845 71526995 17636451 0 0 69 412 400 419.66/419.70 c 165621 536176 76992502 18625281 0 0 60 318 235 452.06/452.12 c 182260 604859 83682190 19621774 0 0 63 360 299 532.75/532.83 c 200562 650871 95549251 22195239 0 0 55 169 151 596.44/596.58 c 220694 712787 105662347 23855171 0 0 59 178 176 674.14/674.24 c 242839 779475 117916451 26025810 0 0 67 173 168 737.23/737.34 c 267198 851335 128403544 27605357 0 0 72 288 206 827.13/827.20 c 293992 942672 143450059 31374146 0 0 47 351 196 915.03/915.18 c 323465 1020116 157706547 33932437 0 0 64 374 196 993.21/993.35 c 355885 1107169 171277145 36333148 0 0 71 382 228 1022.51/1022.60 c 391547 1185970 179561577 38788138 0 0 59 394 366 1108.10/1108.28 c 430775 1295823 192664029 40314099 0 0 60 236 231 1224.00/1224.12 c 473925 1421332 216565139 43538054 0 0 60 375 363 1316.79/1316.95 c 521390 1567266 231983783 45359698 0 0 58 191 182 1450.28/1450.48 c 573601 1659531 255627527 49150736 0 0 102 274 231 1561.67/1561.83 c 631033 1818465 278988202 52504547 0 0 83 361 238 1630.66/1630.89 c 694208 1930689 293581390 55276311 0 0 59 371 326 1690.26/1690.41 c 763700 2051988 308180057 58571372 0 0 49 382 353 1798.75/1798.93 c 840141 2206020 329972116 61967619 0 0 51 355 354 1919.24/1919.44 c 924226 2386395 353634520 67535507 0 0 46 317 276 1926.34/1926.53 c solution 1 1926.34/1926.53 1926.34/1926.53 v <instantiation type='solution'> 1926.34/1926.53 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> 1926.34/1926.53 v <values>3 22 16 12 3 2 12 2 12 2 11 9 2 13 22 3 15 11 2 22 2 22 2 19 25 22 21 13 25 6 25 13 24 22 15 24 13 25 24 25 13 25 13 2 22 2 2 9 5 2 7 2 1 5 2 8 2 0 8 2 2 8 0 5 8 11 2 4 2 5 8 5 1 7 2 5 8 1 5 2 7 2 5 1 7 2 2 7 0 5 8 11 2 4 2 5 8 11 1 11 2 7 2 11 1 7 2 11 8 11 1 7 2 11 8 11 1 10 2 12 2 4 2 11 8 11 2 4 2 11 8 11 2 4 2 11 20 11 2 4 2 11 20 11 2 12 3 23 13 11 22 10 16 12 3 25 13 11 15 11 3 25 13 25 24 17 22 21 22 25 6 25 13 21 22 25 16 21 13 25 3 18 22 14 13 12 3 18 22 10 13 25 16 14 22 12 13 25 6 25 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 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 1 0 1 0 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 1 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 </values> 1926.34/1926.53 v </instantiation> 1926.34/1926.53 1926.34/1926.54 c restarts : 72 1926.34/1926.54 c conflicts : 926709 (481 /sec) 1926.34/1926.54 c decisions : 2397180 (1244 /sec) 1926.34/1926.54 c propagations : 67762597 (35176 /sec) 1926.34/1926.54 c root propagations : 0 1926.34/1926.54 c filter calls : 355131916 (184352 /sec) 1926.34/1926.54 c useless filter calls : 340014578 (95 %) 1926.34/1926.54 c Memory used : 40.92 MB 1926.34/1926.54 c CPU time : 1926.38 s 1926.34/1926.54 1926.34/1926.54 s SATISFIABLE
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 (1601 MiB free) memory of node 1: 16384 MiB (6053 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294962-1532514734/watcher-4294962-1532514734 -o /tmp/evaluation-result-4294962-1532514734/solver-4294962-1532514734 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294962-1532514734.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=23508, runsolver pid=23505 Current StackSize limit: 8192 KiB [startup+0.100201 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7830840/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=34940 memory=11404 CPUtime=0.1 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 3020 0 0 0 10 0 0 0 20 0 1 0 69036571 35778560 2851 33554432000 4194304 6142532 140725925963616 140725925960248 140412124728293 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 8735 2851 832 476 0 2057 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 34940 KiB Current children cumulated memory: 11404 KiB [startup+0.209598 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7828608/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=37404 memory=13996 CPUtime=0.2 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 3671 0 0 0 20 0 0 0 20 0 1 0 69036571 38301696 3499 33554432000 4194304 6142532 140725925963616 140725925960248 5140416 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 9351 3499 876 476 0 2673 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 37404 KiB Current children cumulated memory: 13996 KiB [startup+0.309243 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7827492/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=38464 memory=15052 CPUtime=0.3 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 3937 0 0 0 30 0 0 0 20 0 1 0 69036571 39387136 3763 33554432000 4194304 6142532 140725925963616 140725925960248 5137669 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 9616 3763 876 476 0 2938 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 38464 KiB Current children cumulated memory: 15052 KiB [startup+0.700341 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7827492/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=38464 memory=15052 CPUtime=0.69 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 3955 0 0 0 69 0 0 0 20 0 1 0 69036571 39387136 3763 33554432000 4194304 6142532 140725925963616 140725925960248 5139039 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 9616 3763 876 476 0 2938 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 38464 KiB Current children cumulated memory: 15052 KiB [startup+1.50034 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7826748/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=38860 memory=15316 CPUtime=1.49 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 4032 0 0 0 149 0 0 0 20 0 1 0 69036571 39792640 3829 33554432000 4194304 6142532 140725925963616 140725925960504 5138400 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 9715 3829 878 476 0 3037 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 38860 KiB Current children cumulated memory: 15316 KiB [startup+3.10939 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7825800/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=39388 memory=15996 CPUtime=3.09 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 6678 0 0 0 309 0 0 0 20 0 1 0 69036571 40333312 3999 33554432000 4194304 6142532 140725925963616 140725925960536 5120791 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 9847 3999 878 476 0 3169 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 39388 KiB Current children cumulated memory: 15996 KiB [startup+6.30033 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7825316/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=39784 memory=16500 CPUtime=6.28 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 8937 0 0 0 628 0 0 0 20 0 1 0 69036571 40738816 4125 33554432000 4194304 6142532 140725925963616 140725925961016 5215601 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 9946 4125 878 476 0 3268 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 39784 KiB Current children cumulated memory: 16500 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7825324/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=39784 memory=16500 CPUtime=12.69 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 10742 0 0 0 1268 1 0 0 20 0 1 0 69036571 40738816 4125 33554432000 4194304 6142532 140725925963616 140725925961016 5215653 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 9946 4125 878 476 0 3268 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 39784 KiB Current children cumulated memory: 16500 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7824824/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=39784 memory=16500 CPUtime=25.49 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 13086 0 0 0 2548 1 0 0 20 0 1 0 69036571 40738816 4125 33554432000 4194304 6142532 140725925963616 140725925961016 5215647 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 9946 4125 878 476 0 3268 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 39784 KiB Current children cumulated memory: 16500 KiB [startup+51.1092 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23509 /proc/meminfo: memFree=7824504/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40048 memory=16700 CPUtime=51.09 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 14043 0 0 0 5108 1 0 0 20 0 1 0 69036571 41009152 4175 33554432000 4194304 6142532 140725925963616 140725925961016 5138400 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10012 4175 878 476 0 3334 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 40048 KiB Current children cumulated memory: 16700 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23510 /proc/meminfo: memFree=7824200/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40444 memory=17132 CPUtime=102.28 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 14877 0 0 0 10227 1 0 0 20 0 1 0 69036571 41414656 4283 33554432000 4194304 6142532 140725925963616 140725925961016 5138400 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10111 4283 878 476 0 3433 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 40444 KiB Current children cumulated memory: 17132 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23511 /proc/meminfo: memFree=7825296/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40444 memory=17136 CPUtime=162.28 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 15128 0 0 0 16227 1 0 0 20 0 1 0 69036571 41414656 4284 33554432000 4194304 6142532 140725925963616 140725925961016 5138400 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10111 4284 878 476 0 3433 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 40444 KiB Current children cumulated memory: 17136 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23513 /proc/meminfo: memFree=7824060/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=222.27 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 15421 0 0 0 22226 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5137798 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+282.3 s] /proc/loadavg: 2.06 2.03 2.05 3/187 23514 /proc/meminfo: memFree=7823888/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=282.27 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 15672 0 0 0 28226 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215584 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+342.3 s] /proc/loadavg: 2.06 2.04 2.05 3/187 23515 /proc/meminfo: memFree=7823888/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=342.26 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 15962 0 0 0 34225 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5326344 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+402.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 23516 /proc/meminfo: memFree=7823984/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=402.26 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 16233 0 0 0 40225 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215584 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+462.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 23517 /proc/meminfo: memFree=7823984/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=462.25 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 16502 0 0 0 46224 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5138400 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB ################ # More data... # ################ Current children cumulated memory: 17232 KiB [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23552 /proc/meminfo: memFree=7822048/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1542.17 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 20869 0 0 0 154216 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5137319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1542.17 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23615 /proc/meminfo: memFree=7821184/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1602.17 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 21140 0 0 0 160216 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215827 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1602.17 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 23616 /proc/meminfo: memFree=7821628/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1662.16 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 21400 0 0 0 166215 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215594 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1662.16 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 23625 /proc/meminfo: memFree=7821344/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1722.16 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 21669 0 0 0 172215 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215827 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1722.16 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23649 /proc/meminfo: memFree=7821220/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1782.15 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 21856 0 0 0 178214 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1782.15 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23650 /proc/meminfo: memFree=7821344/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1842.15 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22118 0 0 0 184214 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1842.15 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23651 /proc/meminfo: memFree=7821824/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1902.14 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22332 0 0 0 190213 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5138400 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1902.14 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1926.55 s] # the end of solver process 23508 was just reported to runsolver # cumulated CPU time of all completed processes: user=1926.38 s, system=0.019998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1907.2 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23651 /proc/meminfo: memFree=7821824/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1907.04 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22332 0 0 0 190703 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5139604 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1907.04 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1920 s]* /proc/loadavg: 2.00 2.01 2.05 3/189 23651 /proc/meminfo: memFree=7821928/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1919.85 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22576 0 0 0 191984 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215827 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1919.85 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1923.2 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23651 /proc/meminfo: memFree=7821928/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1923.04 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22577 0 0 0 192303 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1923.04 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1924.8 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23651 /proc/meminfo: memFree=7821928/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1924.64 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22604 0 0 0 192463 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215620 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1924.64 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1925.6 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23651 /proc/meminfo: memFree=7821928/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1925.44 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22604 0 0 0 192543 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5175070 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1925.44 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1926 s]* /proc/loadavg: 2.00 2.01 2.05 3/189 23652 /proc/meminfo: memFree=7821556/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1925.85 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22604 0 0 0 192584 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215658 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1925.85 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1926.4 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23652 /proc/meminfo: memFree=7821556/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=40576 memory=17232 CPUtime=1926.24 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22604 0 0 0 192623 1 0 0 20 0 1 0 69036571 41549824 4308 33554432000 4194304 6142532 140725925963616 140725925961016 5215614 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10144 4308 878 476 0 3466 0 Current children cumulated CPU time: 1926.24 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 17232 KiB [startup+1926.5 s] /proc/loadavg: 2.00 2.01 2.05 3/189 23652 /proc/meminfo: memFree=7821556/32770624 swapFree=67108860/67108860 [pid=23508] ppid=23505 vsize=41236 memory=17724 CPUtime=1926.34 cores=0,2,4,6 /proc/23508/stat : 23508 (cosoco) R 23505 23508 21810 0 -1 4202496 22777 0 0 0 192633 1 0 0 20 0 1 0 69036571 42225664 4431 33554432000 4194304 6142532 140725925963616 140725925961016 140412124728293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 26247168 140725925966982 140725925967112 140725925967112 140725925969870 0 /proc/23508/statm: 10309 4431 878 476 0 3631 0 Current children cumulated CPU time: 1926.34 s Current children cumulated vsize: 41236 KiB Current children cumulated memory: 17724 KiB Child status: 0 Real time (s): 1926.55 CPU time (s): 1926.4 CPU user time (s): 1926.38 CPU system time (s): 0.019998 CPU usage (%): 99.9925 Max. virtual memory (cumulated for all children) (KiB): 41236 Max. memory (cumulated for all children) (KiB): 17724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1926.38 system time used= 0.019998 maximum resident set size= 18688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22992 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= 20 involuntary context switches= 2413 # summary of solver processes directly reported to runsolver: # pid: 23508 # total CPU time (s): 1926.4 # total CPU user time (s): 1926.38 # total CPU system time (s): 0.019998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.8323 second user time and 12.4506 second system time The end
Begin job on node139 at 2018-07-25 12:32:14 IDJOB=4294962 IDBENCH=141449 IDSOLVER=2752 FILE ID=node139/4294962-1532514734 RUNJOBID= node139-1532498649-21841 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-85-02_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294962-1532514734/watcher-4294962-1532514734 -o /tmp/evaluation-result-4294962-1532514734/solver-4294962-1532514734 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21841 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294962-1532514734.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8bc781233594bd95127afade52cac536 RANDOM SEED=405747829 node139.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.80 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.80 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.80 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.80 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: 7839136 kB MemAvailable: 31918604 kB Buffers: 212824 kB Cached: 23714904 kB SwapCached: 0 kB Active: 2814460 kB Inactive: 21180404 kB Active(anon): 22924 kB Inactive(anon): 72248 kB Active(file): 2791536 kB Inactive(file): 21108156 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2700 kB Writeback: 0 kB AnonPages: 85044 kB Mapped: 41816 kB Shmem: 25228 kB Slab: 635360 kB SReclaimable: 608236 kB SUnreclaim: 27124 kB KernelStack: 3344 kB PageTables: 5420 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 367360 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38836 MiB End job on node139 at 2018-07-25 13:04:21