| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | SAT | 236.738 | 236.762 |
| Name | CarSequencing/CarSequencing-m1-jcr/ CarSequencing-75-03.xml |
| MD5SUM | 09f7292054b32b27f786cbe3f3fae605 |
| 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 | 6.32732 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1200 |
| Number of constraints | 1419 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 27 |
| Distribution of domain sizes | [{"size":2,"count":1000},{"size":27,"count":200}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 73 |
| 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":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":10}, {"degree":54,"count":57}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"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":3}, {"degree":73,"count":61}] |
| 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":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":2},{"arity":76,"count":1},{"arity":77,"count":2},{"arity":78,"count":1},{"arity":80,"count":5},"...",{"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":1218},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.00 c 0.10/0.15 c root propagations : 0 0.10/0.15 c restarts enabled, print stats at every restarts 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c 0.10/0.15 c This is cosoco 2.00 -- 0.10/0.15 c 0.10/0.15 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396750-1568584712.xml 0.10/0.15 c ========================================[ Problem Statistics ]=========================================== 0.10/0.15 c | 0.10/0.15 c | Parse time : 0.14 s 0.10/0.15 c | 0.10/0.15 c | Variables: 1200 0.10/0.15 c | Domain Sizes: 2..27 0.10/0.15 c | 0.10/0.15 c | Constraints: 1445 0.10/0.15 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.15 c | 0.10/0.15 c | Types: 0.10/0.15 c | Exactly K: 27 0.10/0.15 c | Extension: 200 (nb tuples: 27..27) -- (shared: 199) 0.10/0.15 c | Sum: 1218 0.10/0.15 c | 0.10/0.15 c ========================================================================================================= 0.10/0.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/0.73 c 101 1314 101471 21232 0 0 869 900 870 1.19/1.24 c 211 1977 175658 40364 0 0 99 118 106 1.69/1.71 c 332 2799 250354 74972 0 0 95 180 166 2.00/2.08 c 465 3892 317215 97520 0 0 116 374 322 2.39/2.48 c 611 5102 394128 126334 0 0 365 376 371 2.79/2.80 c 771 6184 465145 161158 0 0 164 178 171 3.19/3.20 c 947 7296 551372 199917 0 0 166 174 170 3.59/3.61 c 1140 8484 638895 249043 0 0 161 176 170 4.10/4.16 c 1352 9897 756668 287002 0 0 161 172 166 4.79/4.81 c 1585 11287 876846 339253 0 0 113 127 118 5.39/5.49 c 1841 12668 1002675 398692 0 0 111 119 114 6.00/6.08 c 2122 14384 1138961 421134 0 0 113 811 783 6.69/6.73 c 2431 15677 1269243 442665 0 0 409 424 417 7.19/7.27 c 2770 16834 1390938 467411 0 0 384 395 388 8.19/8.27 c 3142 18952 1596029 547551 0 0 134 402 290 9.49/9.58 c 3551 20244 1870438 578535 0 0 385 457 455 11.10/11.15 c 4000 22076 2214580 631191 0 0 366 442 437 13.00/13.04 c 4493 26893 2570937 686945 0 0 445 551 495 14.00/14.03 c 5035 28967 2807885 739291 0 0 510 545 529 15.00/15.02 c 5631 31621 3057161 796261 0 0 530 561 550 16.79/16.84 c 6286 34007 3413106 863709 0 0 493 544 523 18.89/18.90 c 7006 36961 3895075 931320 0 0 498 520 511 21.19/21.27 c 7798 40868 4425051 992056 0 0 540 584 569 23.00/23.09 c 8669 44926 4910164 1068112 0 0 570 595 581 26.10/26.14 c 9627 48869 5678194 1170106 0 0 580 605 594 28.49/28.51 c 10680 53348 6217948 1240674 0 0 729 793 771 30.59/30.61 c 11838 59459 6644325 1329076 0 0 472 561 503 33.89/33.94 c 13111 66218 7276718 1503559 0 0 201 308 301 39.49/39.56 c 14511 71282 8083737 1598387 0 0 124 430 420 41.49/41.54 c 16051 76086 8638687 1766214 0 0 351 534 518 43.79/43.83 c 17745 81724 9302070 1903516 0 0 516 535 528 46.29/46.38 c 19608 87088 9997161 2070046 0 0 496 558 528 50.09/50.14 c 21657 93963 10920243 2261548 0 0 502 560 537 53.68/53.78 c 23910 102019 11871960 2500209 0 0 532 562 545 57.09/57.12 c 26388 112384 12794206 2674039 0 0 576 608 600 61.99/62.10 c 29113 120134 14037317 2829261 0 0 473 622 598 65.78/65.87 c 32110 141034 15013870 3214452 0 0 170 374 352 75.28/75.39 c 35406 152559 16431411 3431425 0 0 175 389 370 81.99/82.04 c 39031 162496 18144122 3753174 0 0 512 533 525 90.48/90.58 c 43018 180183 19807698 4054598 0 0 373 457 431 101.09/101.19 c 47403 194404 21487529 4411562 0 0 305 372 363 106.78/106.83 c 52226 205581 22883237 4612559 0 0 385 523 507 115.68/115.79 c 57531 219393 25031426 4861725 0 0 161 557 547 128.09/128.20 c 63366 234847 27953276 5159030 0 0 498 554 545 139.78/139.87 c 69784 253369 30952989 5484942 0 0 512 560 553 153.38/153.43 c 76843 280447 34620213 5820810 0 0 530 688 567 169.48/169.55 c 84607 320782 38818215 6203617 0 0 672 758 743 186.98/187.06 c 93147 362965 43693874 6793094 0 0 700 743 724 198.17/198.23 c 102541 399772 47121139 7513549 0 0 514 726 688 217.17/217.26 c 112874 449070 52556493 8284631 0 0 598 741 728 236.67/236.76 c First solution is found 236.67/236.76 s SATISFIABLE 236.67/236.76 c restarts : 50 236.67/236.76 c conflicts : 120997 (511 /sec) 236.67/236.76 c decisions : 491370 (2076 /sec) 236.67/236.76 c propagations : 8836570 (37329 /sec) 236.67/236.76 c root propagations : 0 236.67/236.76 c filter calls : 57006740 (240817 /sec) 236.67/236.76 c useless filter calls : 54651418 (95 %) 236.67/236.76 c Memory used : 42.31 MB 236.67/236.76 c CPU time : 236.722 s 236.67/236.76 c real time : 236.756 s 236.67/236.76 236.67/236.76 c solution 1 236.67/236.76 236.67/236.76 v <instantiation type='solution'> 236.67/236.76 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> 236.67/236.76 v <values>15 8 13 15 3 17 16 3 13 13 10 16 7 18 12 13 19 3 5 26 11 26 3 11 13 13 19 11 8 10 21 26 11 26 8 18 22 13 19 22 13 19 13 8 20 13 19 13 22 18 26 13 14 19 13 22 19 23 11 19 8 26 3 13 1 11 13 10 13 19 11 8 5 15 13 13 3 0 18 26 11 19 13 26 3 26 3 26 9 26 8 11 3 13 13 20 13 10 13 26 11 3 13 26 18 26 13 10 8 11 17 13 3 13 19 3 17 16 3 19 16 7 18 25 8 13 3 15 13 3 4 3 19 24 19 8 2 3 19 11 3 26 11 10 13 18 3 16 10 13 2 13 8 14 19 13 15 3 17 13 11 26 3 6 13 19 11 13 13 14 13 10 11 1 8 11 26 13 11 26 23 16 13 3 15 13 20 16 3 13 12 18 3 11 10 13 11 20 13 24 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 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 1 0 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 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 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 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 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 1 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 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 </values> 236.67/236.76 v </instantiation> 236.67/236.76
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 (14770 MiB free)
memory of node 1: 16384 MiB (14973 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396750-1568584712/watcher-4396750-1568584712 -o /tmp/evaluation-result-4396750-1568584712/solver-4396750-1568584712 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568572741-13814 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396750-1568584712.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15826, runsolver pid=15823
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 15827
/proc/meminfo: memFree=30449196/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=35108 memory=11568 CPUtime=0.1 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 3077 0 0 0 10 0 0 0 20 0 1 0 434718565 35950592 2892 33554432000 4194304 6211092 140728645408384 140728645402744 140084622248933 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 8777 2892 849 493 0 2082 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35108 KiB
Current children cumulated memory: 11568 KiB
[startup+0.209743 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 15827
/proc/meminfo: memFree=30446656/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=37624 memory=14196 CPUtime=0.21 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 3727 0 0 0 21 0 0 0 20 0 1 0 434718565 38526976 3549 33554432000 4194304 6211092 140728645408384 140728645402744 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 9406 3549 894 493 0 2711 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37624 KiB
Current children cumulated memory: 14196 KiB
[startup+0.309383 s]*
/proc/loadavg: 2.00 2.01 2.04 3/199 15827
/proc/meminfo: memFree=30445912/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=38424 memory=14988 CPUtime=0.3 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 3931 0 0 0 30 0 0 0 20 0 1 0 434718565 39346176 3747 33554432000 4194304 6211092 140728645408384 140728645402744 140084622248933 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 9606 3747 894 493 0 2911 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38424 KiB
Current children cumulated memory: 14988 KiB
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 15827
/proc/meminfo: memFree=30444052/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=40276 memory=16836 CPUtime=0.69 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 4397 0 0 0 68 1 0 0 20 0 1 0 434718565 41242624 4209 33554432000 4194304 6211092 140728645408384 140728645402744 5250467 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10069 4209 894 493 0 3374 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40276 KiB
Current children cumulated memory: 16836 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 15827
/proc/meminfo: memFree=30444052/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=40276 memory=16836 CPUtime=1.49 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 4398 0 0 0 148 1 0 0 20 0 1 0 434718565 41242624 4209 33554432000 4194304 6211092 140728645408384 140728645406344 5155345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10069 4209 894 493 0 3374 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40276 KiB
Current children cumulated memory: 16836 KiB
[startup+3.10915 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 15827
/proc/meminfo: memFree=30443572/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=40408 memory=16960 CPUtime=3.1 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 6399 0 0 0 309 1 0 0 20 0 1 0 434718565 41377792 4240 33554432000 4194304 6211092 140728645408384 140728645406344 5156908 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10102 4240 895 493 0 3407 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 40408 KiB
Current children cumulated memory: 16960 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 15827
/proc/meminfo: memFree=30442292/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=41596 memory=18248 CPUtime=6.29 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 7427 0 0 0 628 1 0 0 20 0 1 0 434718565 42594304 4562 33554432000 4194304 6211092 140728645408384 140728645405816 5250467 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10399 4562 895 493 0 3704 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 18248 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 15829
/proc/meminfo: memFree=30441788/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=41596 memory=18280 CPUtime=12.69 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 8458 0 0 0 1268 1 0 0 20 0 1 0 434718565 42594304 4570 33554432000 4194304 6211092 140728645408384 140728645406344 5155341 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10399 4570 895 493 0 3704 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 18280 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 15831
/proc/meminfo: memFree=30441732/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=41992 memory=18616 CPUtime=25.49 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 10648 0 0 0 2548 1 0 0 20 0 1 0 434718565 42999808 4654 33554432000 4194304 6211092 140728645408384 140728645405976 5155487 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10498 4654 895 493 0 3803 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 41992 KiB
Current children cumulated memory: 18616 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 15831
/proc/meminfo: memFree=30441552/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42256 memory=18940 CPUtime=51.09 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 11924 0 0 0 5108 1 0 0 20 0 1 0 434718565 43270144 4735 33554432000 4194304 6211092 140728645408384 140728645406344 5250279 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10564 4735 895 493 0 3869 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 18940 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 15835
/proc/meminfo: memFree=30441988/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42256 memory=18952 CPUtime=102.28 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 13101 0 0 0 10227 1 0 0 20 0 1 0 434718565 43270144 4738 33554432000 4194304 6211092 140728645408384 140728645406344 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10564 4738 895 493 0 3869 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 18952 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 15849
/proc/meminfo: memFree=30440972/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42388 memory=19028 CPUtime=162.28 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 13818 0 0 0 16227 1 0 0 20 0 1 0 434718565 43405312 4757 33554432000 4194304 6211092 140728645408384 140728645405784 5155353 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10597 4757 895 493 0 3902 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 42388 KiB
Current children cumulated memory: 19028 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 15878
/proc/meminfo: memFree=30439360/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42520 memory=19112 CPUtime=222.27 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 14574 0 0 0 22226 1 0 0 20 0 1 0 434718565 43540480 4778 33554432000 4194304 6211092 140728645408384 140728645406344 5155353 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10630 4778 895 493 0 3935 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19112 KiB
[startup+236.761 s]
# the end of solver process 15826 was just reported to runsolver
# cumulated CPU time of all completed processes: user=236.723 s, system=0.014998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 15878
/proc/meminfo: memFree=30439592/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42520 memory=19112 CPUtime=230.37 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 14576 0 0 0 23036 1 0 0 20 0 1 0 434718565 43540480 4778 33554432000 4194304 6211092 140728645408384 140728645406344 5155341 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10630 4778 895 493 0 3935 0
Current children cumulated CPU time: 230.37 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19112 KiB
[startup+233.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 15878
/proc/meminfo: memFree=30439592/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42520 memory=19112 CPUtime=233.57 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 14582 0 0 0 23356 1 0 0 20 0 1 0 434718565 43540480 4778 33554432000 4194304 6211092 140728645408384 140728645406344 5136256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10630 4778 895 493 0 3935 0
Current children cumulated CPU time: 233.57 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19112 KiB
[startup+235.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 15878
/proc/meminfo: memFree=30439592/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42520 memory=19112 CPUtime=235.17 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 14582 0 0 0 23516 1 0 0 20 0 1 0 434718565 43540480 4778 33554432000 4194304 6211092 140728645408384 140728645406344 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10630 4778 895 493 0 3935 0
Current children cumulated CPU time: 235.17 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19112 KiB
[startup+236 s]*
/proc/loadavg: 2.00 2.01 2.04 3/200 15878
/proc/meminfo: memFree=30439592/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42520 memory=19112 CPUtime=235.98 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 14582 0 0 0 23597 1 0 0 20 0 1 0 434718565 43540480 4778 33554432000 4194304 6211092 140728645408384 140728645406344 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10630 4778 895 493 0 3935 0
Current children cumulated CPU time: 235.98 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19112 KiB
[startup+236.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 15878
/proc/meminfo: memFree=30439592/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42520 memory=19112 CPUtime=236.37 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 14582 0 0 0 23636 1 0 0 20 0 1 0 434718565 43540480 4778 33554432000 4194304 6211092 140728645408384 140728645406344 5156465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10630 4778 895 493 0 3935 0
Current children cumulated CPU time: 236.37 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19112 KiB
[startup+236.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 15878
/proc/meminfo: memFree=30439592/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42520 memory=19208 CPUtime=236.57 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 14777 0 0 0 23656 1 0 0 20 0 1 0 434718565 43540480 4802 33554432000 4194304 6211092 140728645408384 140728645406344 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10630 4802 895 493 0 3935 0
Current children cumulated CPU time: 236.57 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19208 KiB
[startup+236.7 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 15878
/proc/meminfo: memFree=30439592/32770624 swapFree=66927296/67108860
[pid=15826] ppid=15823 vsize=42652 memory=19248 CPUtime=236.67 cores=1,3,5,7
/proc/15826/stat : 15826 (cosoco) R 15823 15826 13782 0 -1 4202496 14822 0 0 0 23666 1 0 0 20 0 1 0 434718565 43675648 4812 33554432000 4194304 6211092 140728645408384 140728645406344 5185068 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38838272 140728645415947 140728645416049 140728645416049 140728645418958 0
/proc/15826/statm: 10663 4812 895 493 0 3968 0
Current children cumulated CPU time: 236.67 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 19248 KiB
Child status: 0
Real time (s): 236.762
CPU time (s): 236.738
CPU user time (s): 236.723
CPU system time (s): 0.014998
CPU usage (%): 99.9899
Max. virtual memory (cumulated for all children) (KiB): 42652
Max. memory (cumulated for all children) (KiB): 19248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 236.723
system time used= 0.014998
maximum resident set size= 20076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15059
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= 115
# summary of solver processes directly reported to runsolver:
# pid: 15826
# total CPU time (s): 236.738
# total CPU user time (s): 236.723
# total CPU system time (s): 0.014998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.839856 second user time and 1.56773 second system time
The end
Begin job on node137 at 2019-09-15 23:57:50 IDJOB=4396750 IDBENCH=128113 IDSOLVER=2848 FILE ID=node137/4396750-1568584712 RUNJOBID= node137-1568572741-13814 PBS_JOBID= 21703317 Free space on /tmp= 61416 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-75-03.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396750-1568584712/watcher-4396750-1568584712 -o /tmp/evaluation-result-4396750-1568584712/solver-4396750-1568584712 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568572741-13814 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396750-1568584712.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 09f7292054b32b27f786cbe3f3fae605 RANDOM SEED=1386010824 node137.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 : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30457424 kB MemAvailable: 31808212 kB Buffers: 126164 kB Cached: 1511288 kB SwapCached: 77512 kB Active: 1447980 kB Inactive: 272972 kB Active(anon): 7940 kB Inactive(anon): 124920 kB Active(file): 1440040 kB Inactive(file): 148052 kB Unevictable: 109912 kB Mlocked: 109912 kB SwapTotal: 67108860 kB SwapFree: 66927296 kB Dirty: 2488 kB Writeback: 0 kB AnonPages: 49396 kB Mapped: 49124 kB Shmem: 41000 kB Slab: 186420 kB SReclaimable: 157064 kB SUnreclaim: 29356 kB KernelStack: 3760 kB PageTables: 5444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539024 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61416 MiB End job on node137 at 2019-09-16 00:01:47