| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | SAT | 233.492 | 233.487 |
| 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.01 c Create Cardinality(vars,values,occurs) constraint using 200 Exactly/AtMost.. constraint 0.00/0.01 c 0.10/0.16 c root propagations : 0 0.10/0.16 c restarts enabled, print stats at every restarts 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c 0.10/0.16 c This is cosoco 2.00 -- 0.10/0.16 c 0.10/0.16 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408010-1569800035.xml 0.10/0.16 c ========================================[ Problem Statistics ]=========================================== 0.10/0.16 c | 0.10/0.16 c | Parse time : 0.14 s 0.10/0.16 c | 0.10/0.16 c | Variables: 1200 0.10/0.16 c | Domain Sizes: 2..27 0.10/0.16 c | 0.10/0.16 c | Constraints: 1445 0.10/0.16 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.10/0.16 c | 0.10/0.16 c | Types: 0.10/0.16 c | Exactly K: 27 0.10/0.16 c | Extension: 200 (nb tuples: 27..27) -- (shared: 199) 0.10/0.16 c | Sum: 1218 0.10/0.16 c | 0.10/0.16 c ========================================================================================================= 0.10/0.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/0.74 c 101 1314 101471 21232 0 0 869 900 870 1.19/1.25 c 211 1977 175658 40364 0 0 99 118 106 1.69/1.71 c 332 2799 250354 74972 0 0 95 180 166 1.99/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.81 c 771 6184 465145 161158 0 0 164 178 171 3.19/3.21 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.17 c 1352 9897 756668 287002 0 0 161 172 166 4.79/4.84 c 1585 11287 876846 339253 0 0 113 127 118 5.49/5.53 c 1841 12668 1002675 398692 0 0 111 119 114 6.10/6.14 c 2122 14384 1138961 421134 0 0 113 811 783 6.79/6.80 c 2431 15677 1269243 442665 0 0 409 424 417 7.29/7.36 c 2770 16834 1390938 467411 0 0 384 395 388 8.29/8.37 c 3142 18952 1596029 547551 0 0 134 402 290 9.69/9.70 c 3551 20244 1870438 578535 0 0 385 457 455 11.19/11.29 c 4000 22076 2214580 631191 0 0 366 442 437 13.19/13.21 c 4493 26893 2570937 686945 0 0 445 551 495 14.18/14.22 c 5035 28967 2807885 739291 0 0 510 545 529 15.18/15.22 c 5631 31621 3057161 796261 0 0 530 561 550 16.99/17.06 c 6286 34007 3413106 863709 0 0 493 544 523 19.09/19.14 c 7006 36961 3895075 931320 0 0 498 520 511 21.49/21.54 c 7798 40868 4425051 992056 0 0 540 584 569 23.29/23.38 c 8669 44926 4910164 1068112 0 0 570 595 581 26.39/26.48 c 9627 48869 5678194 1170106 0 0 580 605 594 28.79/28.88 c 10680 53348 6217948 1240674 0 0 729 793 771 31.00/31.02 c 11838 59459 6644325 1329076 0 0 472 561 503 34.39/34.42 c 13111 66218 7276718 1503559 0 0 201 308 301 40.10/40.16 c 14511 71282 8083737 1598387 0 0 124 430 420 42.10/42.18 c 16051 76086 8638687 1766214 0 0 351 534 518 44.49/44.50 c 17745 81724 9302070 1903516 0 0 516 535 528 47.00/47.10 c 19608 87088 9997161 2070046 0 0 496 558 528 50.89/50.90 c 21657 93963 10920243 2261548 0 0 502 560 537 54.59/54.61 c 23910 102019 11871960 2500209 0 0 532 562 545 58.00/58.02 c 26388 112384 12794206 2674039 0 0 576 608 600 63.00/63.07 c 29113 120134 14037317 2829261 0 0 473 622 598 66.89/66.93 c 32110 141034 15013870 3214452 0 0 170 374 352 76.69/76.73 c 35406 152559 16431411 3431425 0 0 175 389 370 83.39/83.48 c 39031 162496 18144122 3753174 0 0 512 533 525 91.89/91.94 c 43018 180183 19807698 4054598 0 0 373 457 431 102.00/102.03 c 47403 194404 21487529 4411562 0 0 305 372 363 107.49/107.51 c 52226 205581 22883237 4612559 0 0 385 523 507 116.10/116.19 c 57531 219393 25031426 4861725 0 0 161 557 547 128.19/128.22 c 63366 234847 27953276 5159030 0 0 498 554 545 139.49/139.52 c 69784 253369 30952989 5484942 0 0 512 560 553 152.59/152.62 c 76843 280447 34620213 5820810 0 0 530 688 567 168.10/168.18 c 84607 320782 38818215 6203617 0 0 672 758 743 185.10/185.16 c 93147 362965 43693874 6793094 0 0 700 743 724 196.00/196.05 c 102541 399772 47121139 7513549 0 0 514 726 688 214.50/214.57 c 112874 449070 52556493 8284631 0 0 598 741 728 233.40/233.48 c First solution is found 233.40/233.48 s SATISFIABLE 233.40/233.48 c restarts : 50 233.40/233.48 c conflicts : 120997 (518 /sec) 233.40/233.48 c decisions : 491370 (2105 /sec) 233.40/233.48 c propagations : 8836570 (37849 /sec) 233.40/233.48 c root propagations : 0 233.40/233.48 c filter calls : 57006740 (244174 /sec) 233.40/233.48 c useless filter calls : 54651418 (95 %) 233.40/233.48 c Memory used : 42.31 MB 233.40/233.48 c CPU time : 233.468 s 233.40/233.48 c real time : 233.481 s 233.40/233.48 233.40/233.48 c solution 1 233.40/233.48 233.40/233.48 v <instantiation type='solution'> 233.40/233.48 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> 233.40/233.48 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> 233.40/233.48 v </instantiation> 233.40/233.48
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 (12258 MiB free)
memory of node 1: 16384 MiB (15647 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408010-1569800035/watcher-4408010-1569800035 -o /tmp/evaluation-result-4408010-1569800035/solver-4408010-1569800035 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408010-1569800035.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=27942, runsolver pid=27939
Current StackSize limit: 8192 KiB
[startup+0.100145 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27943
/proc/meminfo: memFree=28568824/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=35108 memory=11572 CPUtime=0.1 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 3072 0 0 0 10 0 0 0 20 0 1 0 556165015 35950592 2893 33554432000 4194304 6211132 140721647911616 140721647908152 140071671778277 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 8777 2893 849 493 0 2082 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35108 KiB
Current children cumulated memory: 11572 KiB
[startup+0.209677 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27943
/proc/meminfo: memFree=28565884/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=37492 memory=14200 CPUtime=0.21 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 3724 0 0 0 21 0 0 0 20 0 1 0 556165015 38391808 3550 33554432000 4194304 6211132 140721647911616 140721647908152 5155725 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 9373 3550 894 493 0 2678 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37492 KiB
Current children cumulated memory: 14200 KiB
[startup+0.309314 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 27943
/proc/meminfo: memFree=28565140/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=38424 memory=14992 CPUtime=0.3 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 3927 0 0 0 30 0 0 0 20 0 1 0 556165015 39346176 3748 33554432000 4194304 6211132 140721647911616 140721647908152 5250283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 9606 3748 894 493 0 2911 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38424 KiB
Current children cumulated memory: 14992 KiB
[startup+0.700275 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27943
/proc/meminfo: memFree=28563280/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=40276 memory=16840 CPUtime=0.69 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 4397 0 0 0 69 0 0 0 20 0 1 0 556165015 41242624 4210 33554432000 4194304 6211132 140721647911616 140721647909128 5157484 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10069 4210 894 493 0 3374 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40276 KiB
Current children cumulated memory: 16840 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27943
/proc/meminfo: memFree=28562864/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=40276 memory=16840 CPUtime=1.49 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 4398 0 0 0 149 0 0 0 20 0 1 0 556165015 41242624 4210 33554432000 4194304 6211132 140721647911616 140721647909128 5250495 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10069 4210 894 493 0 3374 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40276 KiB
Current children cumulated memory: 16840 KiB
[startup+3.10917 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 27943
/proc/meminfo: memFree=28562744/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=40408 memory=16960 CPUtime=3.1 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 6398 0 0 0 309 1 0 0 20 0 1 0 556165015 41377792 4240 33554432000 4194304 6211132 140721647911616 140721647909576 5156288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/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.08 2.03 2.05 3/200 27943
/proc/meminfo: memFree=28561632/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=41596 memory=18236 CPUtime=6.29 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 9554 0 0 0 628 1 0 0 20 0 1 0 556165015 42594304 4559 33554432000 4194304 6211132 140721647911616 140721647909016 5155377 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10399 4559 895 493 0 3704 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 18236 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 27943
/proc/meminfo: memFree=28561508/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=41596 memory=18276 CPUtime=12.69 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 12714 0 0 0 1268 1 0 0 20 0 1 0 556165015 42594304 4569 33554432000 4194304 6211132 140721647911616 140721647909576 5155766 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10399 4569 895 493 0 3704 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 41596 KiB
Current children cumulated memory: 18276 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 27943
/proc/meminfo: memFree=28561228/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=41992 memory=18600 CPUtime=25.49 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 19088 0 0 0 2548 1 0 0 20 0 1 0 556165015 42999808 4650 33554432000 4194304 6211132 140721647911616 140721647909576 5155369 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10498 4650 895 493 0 3803 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 41992 KiB
Current children cumulated memory: 18600 KiB
[startup+51.1092 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 27945
/proc/meminfo: memFree=28561188/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42256 memory=18936 CPUtime=51.1 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 22567 0 0 0 5108 2 0 0 20 0 1 0 556165015 43270144 4734 33554432000 4194304 6211132 140721647911616 140721647909576 5186256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10564 4734 895 493 0 3869 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 18936 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 27949
/proc/meminfo: memFree=28560172/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42256 memory=18952 CPUtime=102.29 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 25835 0 0 0 10227 2 0 0 20 0 1 0 556165015 43270144 4738 33554432000 4194304 6211132 140721647911616 140721647909576 5250325 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10564 4738 895 493 0 3869 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 42256 KiB
Current children cumulated memory: 18952 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 27953
/proc/meminfo: memFree=28559676/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42388 memory=18984 CPUtime=162.29 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 26040 0 0 0 16227 2 0 0 20 0 1 0 556165015 43405312 4746 33554432000 4194304 6211132 140721647911616 140721647909016 5250499 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10597 4746 895 493 0 3902 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 42388 KiB
Current children cumulated memory: 18984 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27959
/proc/meminfo: memFree=28559836/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42520 memory=19160 CPUtime=222.3 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 26289 0 0 0 22228 2 0 0 20 0 1 0 556165015 43540480 4790 33554432000 4194304 6211132 140721647911616 140721647909576 5250321 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10630 4790 895 493 0 3935 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19160 KiB
[startup+233.487 s]
# the end of solver process 27942 was just reported to runsolver
# cumulated CPU time of all completed processes: user=233.469 s, system=0.023001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+224 s]*
/proc/loadavg: 2.00 2.01 2.05 4/199 27959
/proc/meminfo: memFree=28559836/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42520 memory=19160 CPUtime=224.01 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 26289 0 0 0 22399 2 0 0 20 0 1 0 556165015 43540480 4790 33554432000 4194304 6211132 140721647911616 140721647909576 5155373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10630 4790 895 493 0 3935 0
Current children cumulated CPU time: 224.01 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19160 KiB
[startup+230.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27959
/proc/meminfo: memFree=28560084/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42520 memory=19160 CPUtime=230.4 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 26296 0 0 0 23038 2 0 0 20 0 1 0 556165015 43540480 4790 33554432000 4194304 6211132 140721647911616 140721647909576 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10630 4790 895 493 0 3935 0
Current children cumulated CPU time: 230.4 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19160 KiB
[startup+232 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 27959
/proc/meminfo: memFree=28560084/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42520 memory=19160 CPUtime=232.01 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 26296 0 0 0 23199 2 0 0 20 0 1 0 556165015 43540480 4790 33554432000 4194304 6211132 140721647911616 140721647909576 5155766 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10630 4790 895 493 0 3935 0
Current children cumulated CPU time: 232.01 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19160 KiB
[startup+232.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27959
/proc/meminfo: memFree=28560084/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42520 memory=19160 CPUtime=232.8 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 26296 0 0 0 23278 2 0 0 20 0 1 0 556165015 43540480 4790 33554432000 4194304 6211132 140721647911616 140721647909576 5397481 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10630 4790 895 493 0 3935 0
Current children cumulated CPU time: 232.8 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19160 KiB
[startup+233.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27959
/proc/meminfo: memFree=28560084/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42520 memory=19160 CPUtime=233.2 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 26296 0 0 0 23318 2 0 0 20 0 1 0 556165015 43540480 4790 33554432000 4194304 6211132 140721647911616 140721647909576 5155535 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10630 4790 895 493 0 3935 0
Current children cumulated CPU time: 233.2 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19160 KiB
[startup+233.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27959
/proc/meminfo: memFree=28560084/32770624 swapFree=67002732/67108860
[pid=27942] ppid=27939 vsize=42520 memory=19160 CPUtime=233.4 cores=0,2,4,6
/proc/27942/stat : 27942 (cosoco) R 27939 27942 25748 0 -1 4202496 26296 0 0 0 23338 2 0 0 20 0 1 0 556165015 43540480 4790 33554432000 4194304 6211132 140721647911616 140721647909576 5039217 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 14299136 140721647916043 140721647916145 140721647916145 140721647919054 0
/proc/27942/statm: 10630 4790 895 493 0 3935 0
Current children cumulated CPU time: 233.4 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 19160 KiB
Child status: 0
Real time (s): 233.487
CPU time (s): 233.492
CPU user time (s): 233.469
CPU system time (s): 0.023001
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 42520
Max. memory (cumulated for all children) (KiB): 19160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 233.469
system time used= 0.023001
maximum resident set size= 20076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26537
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= 19
involuntary context switches= 292
# summary of solver processes directly reported to runsolver:
# pid: 27942
# total CPU time (s): 233.492
# total CPU user time (s): 233.469
# total CPU system time (s): 0.023001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.91117 second user time and 1.47859 second system time
The end
Begin job on node148 at 2019-09-30 01:33:17 IDJOB=4408010 IDBENCH=128113 IDSOLVER=2874 FILE ID=node148/4408010-1569800035 RUNJOBID= node148-1569787355-25779 PBS_JOBID= 21705817 Free space on /tmp= 62028 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-4408010-1569800035/watcher-4408010-1569800035 -o /tmp/evaluation-result-4408010-1569800035/solver-4408010-1569800035 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408010-1569800035.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 09f7292054b32b27f786cbe3f3fae605 RANDOM SEED=545763179 node148.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.13 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.13 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.13 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.13 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: 28575148 kB MemAvailable: 31870884 kB Buffers: 163596 kB Cached: 3469940 kB SwapCached: 3492 kB Active: 2242680 kB Inactive: 1399520 kB Active(anon): 21656 kB Inactive(anon): 67036 kB Active(file): 2221024 kB Inactive(file): 1332484 kB Unevictable: 110976 kB Mlocked: 110976 kB SwapTotal: 67108860 kB SwapFree: 67002732 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 139584 kB Mapped: 28684 kB Shmem: 71796 kB Slab: 145308 kB SReclaimable: 116128 kB SUnreclaim: 29180 kB KernelStack: 3776 kB PageTables: 5528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 571220 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62024 MiB End job on node148 at 2019-09-30 01:37:11