Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | SAT | 269.189 | 269.235 |
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.09/0.18 c root propagations : 0 0.09/0.18 c restarts enabled, print stats at every restarts 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c This is cosoco 2.00 -- 0.09/0.18 c 0.09/0.18 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389470-1568339377.xml 0.09/0.18 c ========================================[ Problem Statistics ]=========================================== 0.09/0.18 c | 0.09/0.18 c | Parse time : 0.17 s 0.09/0.18 c | 0.09/0.18 c | Variables: 1200 0.09/0.18 c | Domain Sizes: 2..27 0.09/0.18 c | 0.09/0.18 c | Constraints: 1445 0.09/0.18 c | Arity: 2..200 -- Binary: 199 -- Ternary: 396 0.09/0.18 c | 0.09/0.18 c | Types: 0.09/0.18 c | Exactly K: 27 0.09/0.18 c | Extension: 200 (nb tuples: 27..27) -- (shared: 199) 0.09/0.18 c | Sum: 1218 0.09/0.18 c | 0.09/0.18 c ========================================================================================================= 0.09/0.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.78/0.83 c 101 1314 101471 21232 0 0 869 900 870 1.38/1.40 c 211 1977 175658 40364 0 0 99 118 106 1.88/1.92 c 332 2799 250354 74972 0 0 95 180 166 2.29/2.35 c 465 3892 317215 97520 0 0 116 374 322 2.79/2.80 c 611 5102 394128 126334 0 0 365 376 371 3.10/3.17 c 771 6184 465145 161158 0 0 164 178 171 3.59/3.61 c 947 7296 551372 199917 0 0 166 174 170 4.00/4.08 c 1140 8484 638895 249043 0 0 161 176 170 4.69/4.71 c 1352 9897 756668 287002 0 0 161 172 166 5.39/5.47 c 1585 11287 876846 339253 0 0 113 127 118 6.19/6.25 c 1841 12668 1002675 398692 0 0 111 119 114 6.89/6.93 c 2122 14384 1138961 421134 0 0 113 811 783 7.59/7.68 c 2431 15677 1269243 442665 0 0 409 424 417 8.28/8.30 c 2770 16834 1390938 467411 0 0 384 395 388 9.38/9.44 c 3142 18952 1596029 547551 0 0 134 402 290 10.88/10.95 c 3551 20244 1870438 578535 0 0 385 457 455 12.68/12.75 c 4000 22076 2214580 631191 0 0 366 442 437 14.88/14.92 c 4493 26893 2570937 686945 0 0 445 551 495 15.99/16.06 c 5035 28967 2807885 739291 0 0 510 545 529 17.09/17.19 c 5631 31621 3057161 796261 0 0 530 561 550 19.18/19.28 c 6286 34007 3413106 863709 0 0 493 544 523 21.58/21.64 c 7006 36961 3895075 931320 0 0 498 520 511 24.28/24.37 c 7798 40868 4425051 992056 0 0 540 584 569 26.38/26.45 c 8669 44926 4910164 1068112 0 0 570 595 581 29.88/29.96 c 9627 48869 5678194 1170106 0 0 580 605 594 32.58/32.67 c 10680 53348 6217948 1240674 0 0 729 793 771 34.99/35.10 c 11838 59459 6644325 1329076 0 0 472 561 503 38.88/38.95 c 13111 66218 7276718 1503559 0 0 201 308 301 45.18/45.25 c 14511 71282 8083737 1598387 0 0 124 430 420 47.48/47.54 c 16051 76086 8638687 1766214 0 0 351 534 518 50.08/50.17 c 17745 81724 9302070 1903516 0 0 516 535 528 53.08/53.11 c 19608 87088 9997161 2070046 0 0 496 558 528 57.37/57.41 c 21657 93963 10920243 2261548 0 0 502 560 537 61.47/61.57 c 23910 102019 11871960 2500209 0 0 532 562 545 65.27/65.38 c 26388 112384 12794206 2674039 0 0 576 608 600 70.98/71.04 c 29113 120134 14037317 2829261 0 0 473 622 598 75.27/75.35 c 32110 141034 15013870 3214452 0 0 170 374 352 85.86/85.94 c 35406 152559 16431411 3431425 0 0 175 389 370 93.46/93.51 c 39031 162496 18144122 3753174 0 0 512 533 525 103.16/103.24 c 43018 180183 19807698 4054598 0 0 373 457 431 115.07/115.12 c 47403 194404 21487529 4411562 0 0 305 372 363 121.46/121.54 c 52226 205581 22883237 4612559 0 0 385 523 507 131.66/131.71 c 57531 219393 25031426 4861725 0 0 161 557 547 145.76/145.81 c 63366 234847 27953276 5159030 0 0 498 554 545 158.96/159.06 c 69784 253369 30952989 5484942 0 0 512 560 553 174.35/174.40 c 76843 280447 34620213 5820810 0 0 530 688 567 192.55/192.65 c 84607 320782 38818215 6203617 0 0 672 758 743 212.55/212.60 c 93147 362965 43693874 6793094 0 0 700 743 724 225.25/225.33 c 102541 399772 47121139 7513549 0 0 514 726 688 246.95/247.01 c 112874 449070 52556493 8284631 0 0 598 741 728 269.14/269.23 c First solution is found 269.14/269.23 s SATISFIABLE 269.14/269.23 c restarts : 50 269.14/269.23 c conflicts : 120997 (450 /sec) 269.14/269.23 c decisions : 491370 (1826 /sec) 269.14/269.23 c propagations : 8836570 (32829 /sec) 269.14/269.23 c root propagations : 0 269.14/269.23 c filter calls : 57006740 (211788 /sec) 269.14/269.23 c useless filter calls : 54651418 (95 %) 269.14/269.23 c Memory used : 42.31 MB 269.14/269.23 c CPU time : 269.169 s 269.14/269.23 c real time : 269.229 s 269.14/269.23 269.14/269.23 c solution 1 269.14/269.23 269.14/269.23 v <instantiation type='solution'> 269.14/269.23 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> 269.14/269.23 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> 269.14/269.23 v </instantiation> 269.14/269.23
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: 16375 MiB (13563 MiB free) memory of node 1: 16384 MiB (13602 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389470-1568339377/watcher-4389470-1568339377 -o /tmp/evaluation-result-4389470-1568339377/solver-4389470-1568339377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389470-1568339377.xml running on 4 cores: 4-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=15167, runsolver pid=15164 [startup+0.100108 s]* /proc/loadavg: 2.05 2.04 2.05 3/199 15168 /proc/meminfo: memFree=27810292/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=34716 memory=11040 CPUtime=0.09 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 2978 0 0 0 9 0 0 0 20 0 1 0 409944076 35549184 2760 33554432000 4194304 6210612 140725172804608 140725172798968 140585163108142 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 8679 2760 846 493 0 1984 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 34716 KiB Current children cumulated memory: 11040 KiB [startup+0.210895 s]* /proc/loadavg: 2.05 2.04 2.05 3/199 15168 /proc/meminfo: memFree=27808084/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=37096 memory=13660 CPUtime=0.2 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 3613 0 0 0 20 0 0 0 20 0 1 0 409944076 37986304 3415 33554432000 4194304 6210612 140725172804608 140725172798968 140585163115493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 9274 3415 862 493 0 2579 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 37096 KiB Current children cumulated memory: 13660 KiB [startup+0.310538 s]* /proc/loadavg: 2.05 2.04 2.05 3/199 15168 /proc/meminfo: memFree=27806968/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=38020 memory=14452 CPUtime=0.3 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 3834 0 0 0 30 0 0 0 20 0 1 0 409944076 38932480 3613 33554432000 4194304 6210612 140725172804608 140725172798968 5154973 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 9505 3613 889 493 0 2810 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 38020 KiB Current children cumulated memory: 14452 KiB [startup+0.700298 s] /proc/loadavg: 2.05 2.04 2.05 3/199 15168 /proc/meminfo: memFree=27805480/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=40276 memory=16828 CPUtime=0.68 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 4392 0 0 0 68 0 0 0 20 0 1 0 409944076 41242624 4207 33554432000 4194304 6210612 140725172804608 140725172798968 5249729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10069 4207 889 493 0 3374 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 40276 KiB Current children cumulated memory: 16828 KiB [startup+1.5003 s] /proc/loadavg: 2.05 2.04 2.05 3/200 15176 /proc/meminfo: memFree=27803580/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=40276 memory=16828 CPUtime=1.48 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 4394 0 0 0 148 0 0 0 20 0 1 0 409944076 41242624 4207 33554432000 4194304 6210612 140725172804608 140725172802568 5154977 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10069 4207 889 493 0 3374 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 40276 KiB Current children cumulated memory: 16828 KiB [startup+3.11042 s] /proc/loadavg: 2.05 2.04 2.05 3/200 15176 /proc/meminfo: memFree=27803628/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=40408 memory=16944 CPUtime=3.1 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 6408 0 0 0 309 1 0 0 20 0 1 0 409944076 41377792 4236 33554432000 4194304 6210612 140725172804608 140725172802568 5156568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10102 4236 891 493 0 3407 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 40408 KiB Current children cumulated memory: 16944 KiB [startup+6.30028 s] /proc/loadavg: 2.04 2.04 2.05 3/200 15176 /proc/meminfo: memFree=27803612/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=40408 memory=17032 CPUtime=6.29 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 7890 0 0 0 628 1 0 0 20 0 1 0 409944076 41377792 4258 33554432000 4194304 6210612 140725172804608 140725172802568 5156103 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10102 4258 891 493 0 3407 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 40408 KiB Current children cumulated memory: 17032 KiB [startup+12.7003 s] /proc/loadavg: 2.12 2.05 2.05 3/201 15178 /proc/meminfo: memFree=27802636/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=41596 memory=18260 CPUtime=12.68 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 12706 0 0 0 1267 1 0 0 20 0 1 0 409944076 42594304 4565 33554432000 4194304 6210612 140725172804608 140725172802568 5135943 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10399 4565 891 493 0 3704 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 41596 KiB Current children cumulated memory: 18260 KiB [startup+25.5003 s] /proc/loadavg: 2.09 2.05 2.05 3/200 15179 /proc/meminfo: memFree=27802692/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=41860 memory=18544 CPUtime=25.48 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 19067 0 0 0 2547 1 0 0 20 0 1 0 409944076 42864640 4636 33554432000 4194304 6210612 140725172804608 140725172802568 5156103 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10465 4636 891 493 0 3770 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 41860 KiB Current children cumulated memory: 18544 KiB [startup+51.1104 s] /proc/loadavg: 2.06 2.04 2.05 3/200 15179 /proc/meminfo: memFree=27802224/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42256 memory=18920 CPUtime=51.08 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 22552 0 0 0 5107 1 0 0 20 0 1 0 409944076 43270144 4730 33554432000 4194304 6210612 140725172804608 140725172802568 5155311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10564 4730 891 493 0 3869 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 42256 KiB Current children cumulated memory: 18920 KiB [startup+102.3 s] /proc/loadavg: 2.08 2.05 2.05 3/201 15185 /proc/meminfo: memFree=27803080/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42256 memory=18936 CPUtime=102.26 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 23242 0 0 0 10225 1 0 0 20 0 1 0 409944076 43270144 4734 33554432000 4194304 6210612 140725172804608 140725172802568 5154973 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10564 4734 891 493 0 3869 0 Current children cumulated CPU time: 102.26 s Current children cumulated vsize: 42256 KiB Current children cumulated memory: 18936 KiB [startup+162.3 s] /proc/loadavg: 2.03 2.04 2.05 3/200 15189 /proc/meminfo: memFree=27802824/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42256 memory=18936 CPUtime=162.26 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 23918 0 0 0 16225 1 0 0 20 0 1 0 409944076 43270144 4734 33554432000 4194304 6210612 140725172804608 140725172802568 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10564 4734 891 493 0 3869 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 42256 KiB Current children cumulated memory: 18936 KiB [startup+222.3 s] /proc/loadavg: 2.35 2.12 2.07 3/200 15193 /proc/meminfo: memFree=27802504/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42388 memory=19040 CPUtime=222.25 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 24680 0 0 0 22224 1 0 0 20 0 1 0 409944076 43405312 4760 33554432000 4194304 6210612 140725172804608 140725172802568 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10597 4760 891 493 0 3902 0 Current children cumulated CPU time: 222.25 s Current children cumulated vsize: 42388 KiB Current children cumulated memory: 19040 KiB [startup+269.235 s] # the end of solver process 15167 was just reported to runsolver # cumulated CPU time of all completed processes: user=269.17 s, system=0.018997 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+230.4 s] /proc/loadavg: 2.53 2.16 2.09 3/200 15193 /proc/meminfo: memFree=27802720/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42520 memory=19040 CPUtime=230.35 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 24683 0 0 0 23034 1 0 0 20 0 1 0 409944076 43540480 4760 33554432000 4194304 6210612 140725172804608 140725172802008 5155888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10630 4760 891 493 0 3935 0 Current children cumulated CPU time: 230.35 s Current children cumulated vsize: 42520 KiB Current children cumulated memory: 19040 KiB [startup+256 s]* /proc/loadavg: 2.67 2.23 2.11 3/200 15196 /proc/meminfo: memFree=27802820/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42520 memory=19148 CPUtime=255.95 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 25406 0 0 0 25594 1 0 0 20 0 1 0 409944076 43540480 4787 33554432000 4194304 6210612 140725172804608 140725172802568 5154985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10630 4787 891 493 0 3935 0 Current children cumulated CPU time: 255.95 s Current children cumulated vsize: 42520 KiB Current children cumulated memory: 19148 KiB [startup+262.4 s] /proc/loadavg: 2.61 2.22 2.11 3/200 15197 /proc/meminfo: memFree=27802944/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42520 memory=19148 CPUtime=262.34 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 25415 0 0 0 26233 1 0 0 20 0 1 0 409944076 43540480 4787 33554432000 4194304 6210612 140725172804608 140725172802568 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10630 4787 891 493 0 3935 0 Current children cumulated CPU time: 262.34 s Current children cumulated vsize: 42520 KiB Current children cumulated memory: 19148 KiB [startup+265.6 s] /proc/loadavg: 2.57 2.22 2.11 3/200 15197 /proc/meminfo: memFree=27802944/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42520 memory=19148 CPUtime=265.54 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 25415 0 0 0 26553 1 0 0 20 0 1 0 409944076 43540480 4787 33554432000 4194304 6210612 140725172804608 140725172802568 5249733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10630 4787 891 493 0 3935 0 Current children cumulated CPU time: 265.54 s Current children cumulated vsize: 42520 KiB Current children cumulated memory: 19148 KiB [startup+267.2 s] /proc/loadavg: 2.57 2.22 2.11 3/200 15197 /proc/meminfo: memFree=27802944/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42520 memory=19148 CPUtime=267.14 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 25415 0 0 0 26713 1 0 0 20 0 1 0 409944076 43540480 4787 33554432000 4194304 6210612 140725172804608 140725172802568 5155888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10630 4787 891 493 0 3935 0 Current children cumulated CPU time: 267.14 s Current children cumulated vsize: 42520 KiB Current children cumulated memory: 19148 KiB [startup+268 s]* /proc/loadavg: 2.57 2.22 2.11 3/200 15197 /proc/meminfo: memFree=27802944/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42520 memory=19148 CPUtime=267.95 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 25415 0 0 0 26794 1 0 0 20 0 1 0 409944076 43540480 4787 33554432000 4194304 6210612 140725172804608 140725172802568 5154977 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10630 4787 891 493 0 3935 0 Current children cumulated CPU time: 267.95 s Current children cumulated vsize: 42520 KiB Current children cumulated memory: 19148 KiB [startup+268.8 s] /proc/loadavg: 2.57 2.22 2.11 3/200 15197 /proc/meminfo: memFree=27802944/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42520 memory=19148 CPUtime=268.74 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 25415 0 0 0 26873 1 0 0 20 0 1 0 409944076 43540480 4787 33554432000 4194304 6210612 140725172804608 140725172802568 5249674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10630 4787 891 493 0 3935 0 Current children cumulated CPU time: 268.74 s Current children cumulated vsize: 42520 KiB Current children cumulated memory: 19148 KiB [startup+269.2 s] /proc/loadavg: 2.57 2.22 2.11 3/200 15197 /proc/meminfo: memFree=27802944/32770688 swapFree=66919992/67108860 [pid=15167] ppid=15164 vsize=42920 memory=19468 CPUtime=269.14 cores=4-7 /proc/15167/stat : 15167 (cosoco) R 15164 15167 9478 0 -1 4202496 25521 0 0 0 26913 1 0 0 20 0 1 0 409944076 43950080 4867 33554432000 4194304 6210612 140725172804608 140725172802568 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 14807040 140725172806667 140725172806769 140725172806769 140725172809678 0 /proc/15167/statm: 10730 4867 891 493 0 4035 0 Current children cumulated CPU time: 269.14 s Current children cumulated vsize: 42920 KiB Current children cumulated memory: 19468 KiB Child status: 0 Real time (s): 269.235 CPU time (s): 269.189 CPU user time (s): 269.17 CPU system time (s): 0.018997 CPU usage (%): 99.9829 Max. virtual memory (cumulated for all children) (KiB): 42920 Max. memory (cumulated for all children) (KiB): 19468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 269.17 system time used= 0.018997 maximum resident set size= 20064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25664 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= 21 involuntary context switches= 244 # summary of solver processes directly reported to runsolver: # pid: 15167 # total CPU time (s): 269.189 # total CPU user time (s): 269.17 # total CPU system time (s): 0.018997 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.0279 second user time and 2.07827 second system time The end
Begin job on node120 at 2011-12-14 10:10:00 IDJOB=4389470 IDBENCH=128113 IDSOLVER=2829 FILE ID=node120/4389470-1568339377 RUNJOBID= node120-1323826654-9510 PBS_JOBID= 21701129 Free space on /tmp= 59152 MiB SOLVER NAME= cosoco 2 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-4389470-1568339377/watcher-4389470-1568339377 -o /tmp/evaluation-result-4389470-1568339377/solver-4389470-1568339377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323826654-9510 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389470-1568339377.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 09f7292054b32b27f786cbe3f3fae605 RANDOM SEED=1117714760 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27818336 kB MemAvailable: 31800036 kB Buffers: 152956 kB Cached: 4122532 kB SwapCached: 77548 kB Active: 1234820 kB Inactive: 3139456 kB Active(anon): 19748 kB Inactive(anon): 128784 kB Active(file): 1215072 kB Inactive(file): 3010672 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 130844 kB Mapped: 49128 kB Shmem: 41008 kB Slab: 172560 kB SReclaimable: 143584 kB SUnreclaim: 28976 kB KernelStack: 3488 kB PageTables: 5616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 561740 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59148 MiB End job on node120 at 2011-12-14 10:14:29