| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | SAT | 1004.68 | 1004.7 |
| Name | CoveringArray/CoveringArray-elt-s1/ CoveringArray-elt-3-09-2-12.xml |
| MD5SUM | 184e4a42ac40b5c8b3b859f3d89928ae |
| 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 | 805.886 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1680 |
| Number of constraints | 768 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 12 |
| Distribution of domain sizes | [{"size":8,"count":1008},{"size":12,"count":672}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 9 |
| Distribution of variable degrees | [{"degree":2,"count":672},{"degree":9,"count":1008}] |
| Minimum constraint arity | 8 |
| Maximum constraint arity | 84 |
| Distribution of constraint arities | [{"arity":8,"count":84},{"arity":13,"count":672},{"arity":84,"count":12}] |
| Number of extensional constraints | 12 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":12},{"type":"allDifferent","count":84},{"type":"element","count":672}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.07 c root propagations : 0 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c This is cosoco 2.00 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408591-1569808590.xml 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.06 s 0.00/0.07 c | 0.00/0.07 c | Variables: 1680 0.00/0.07 c | Domain Sizes: 8..12 0.00/0.07 c | 0.00/0.07 c | Constraints: 768 0.00/0.07 c | Arity: 8..84 0.00/0.07 c | 0.00/0.07 c | Types: 0.00/0.07 c | All Different: 84 0.00/0.07 c | Element Constant: 672 0.00/0.07 c | Extension: 12 (nb tuples: 512..512) -- (shared: 11) 0.00/0.07 c | 0.00/0.07 c ========================================================================================================= 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.09/0.15 c 101 847 109590 104706 0 0 629 639 626 0.20/0.29 c 211 2053 210675 317178 0 0 39 144 90 0.30/0.39 c 332 3806 294149 435565 0 0 42 107 63 0.50/0.53 c 465 5287 389273 621958 0 0 78 178 123 0.69/0.74 c 611 5856 541547 951920 0 0 101 110 104 0.89/0.91 c 771 6404 663414 1209775 0 0 118 132 126 0.99/1.04 c 947 7914 764803 1374224 0 0 100 182 129 1.19/1.23 c 1140 8517 897649 1650287 0 0 106 118 110 1.39/1.44 c 1352 10392 1015726 1950395 0 0 97 158 127 1.59/1.67 c 1585 11359 1131225 2282618 0 0 129 159 138 1.89/1.96 c 1841 12582 1293680 2703028 0 0 132 153 141 2.19/2.22 c 2122 14422 1504540 3047887 0 0 149 164 157 2.49/2.57 c 2431 17051 1741032 3523039 0 0 154 165 160 2.79/2.86 c 2770 19339 1988734 3903814 0 0 133 148 140 3.09/3.16 c 3142 21107 2159521 4325153 0 0 98 134 115 3.59/3.63 c 3551 23764 2444146 5003496 0 0 116 141 125 3.99/4.09 c 4000 26232 2705801 5671853 0 0 129 145 137 4.38/4.43 c 4493 29559 3053707 6106134 0 0 121 139 133 4.99/5.04 c 5035 33308 3450485 6978150 0 0 111 130 122 5.49/5.54 c 5631 36818 3653802 7702503 0 0 114 168 150 6.00/6.06 c 6286 40108 3995996 8395953 0 0 125 147 136 6.69/6.70 c 7006 43636 4336080 9274489 0 0 128 159 138 7.49/7.55 c 7798 49763 4900142 10383231 0 0 125 146 138 8.49/8.58 c 8669 57386 5566030 11815087 0 0 103 123 114 9.69/9.75 c 9627 64921 6312780 13473529 0 0 75 92 88 10.89/11.00 c 10680 72926 7089348 15190211 0 0 74 94 87 12.39/12.42 c 11838 83270 8067279 17118163 0 0 80 92 88 13.69/13.77 c 13111 92371 9074689 19079430 0 0 72 92 86 15.29/15.35 c 14511 101057 10044160 21204670 0 0 74 101 85 17.29/17.31 c 16051 111597 11304259 24106680 0 0 75 91 86 19.10/19.14 c 17745 123510 12407505 26757913 0 0 75 103 90 20.89/20.96 c 19608 137689 13675879 29204049 0 0 82 106 95 22.59/22.69 c 21657 148554 15190969 31502983 0 0 79 98 88 24.39/24.47 c 23910 156421 15808722 33982931 0 0 79 112 100 25.79/25.85 c 26388 164608 16284418 35873822 0 0 79 108 99 28.39/28.49 c 29113 177292 17782589 39917873 0 0 74 101 90 30.99/31.06 c 32110 192628 19832210 43703823 0 0 75 95 89 33.89/33.95 c 35406 207970 21664813 48011143 0 0 75 102 89 36.39/36.46 c 39031 221522 22969537 51717241 0 0 70 100 89 39.79/39.83 c 43018 245103 25803145 56531267 0 0 64 90 79 43.69/43.77 c 47403 268495 28727901 62553727 0 0 65 91 77 47.39/47.43 c 52226 289220 31816770 68047403 0 0 61 88 74 52.19/52.25 c 57531 313988 35357323 75641978 0 0 68 103 80 57.89/57.92 c 63366 341965 39066417 84006681 0 0 70 102 82 63.99/64.01 c 69784 370350 42915791 93875271 0 0 69 103 85 69.79/69.89 c 76843 400915 46492953 102885912 0 0 71 104 86 75.89/75.96 c 84607 437245 52292954 112411912 0 0 67 85 78 83.79/83.85 c 93147 472350 57131873 124554524 0 0 59 89 73 92.09/92.16 c 102541 510055 62027128 137651318 0 0 60 91 75 101.09/101.13 c 112874 553118 69073207 151864928 0 0 55 79 69 107.49/107.58 c 124240 634125 72878624 162440845 0 0 64 199 124 114.68/114.70 c 136742 707928 76831513 174073052 0 0 69 138 106 128.58/128.63 c 150494 1079037 100633585 194234657 0 0 83 367 280 140.18/140.27 c 165621 1147409 109649472 214520953 0 0 64 98 84 152.28/152.39 c 182260 1285286 119301171 232814480 0 0 64 145 101 165.88/166.00 c 200562 1478231 129546003 253320057 0 0 58 143 108 185.68/185.73 c 220694 1592437 144857986 284871709 0 0 68 94 82 204.28/204.37 c 242839 1782513 159593989 313471666 0 0 62 143 97 228.28/228.30 c 267198 1914851 177027552 349248814 0 0 62 93 81 254.38/254.44 c 293992 2063877 197093532 389727255 0 0 59 90 78 276.28/276.37 c 323465 2298888 213834196 420314856 0 0 58 152 89 303.48/303.54 c 355885 2429771 231387277 465018441 0 0 57 94 77 331.28/331.36 c 391547 2594754 257074063 510378462 0 0 57 84 74 358.78/358.87 c 430775 2745022 267420090 552775870 0 0 63 100 90 387.68/387.79 c 473925 2958156 284774791 594292869 0 0 65 107 88 425.78/425.89 c 521390 3171476 307376673 652042523 0 0 60 103 85 466.38/466.46 c 573601 3411850 337555303 717138895 0 0 54 91 73 511.09/511.18 c 631033 3680591 377232890 787689556 0 0 57 81 70 589.37/589.43 c 694208 7443711 482945773 861676957 0 0 65 692 466 619.77/619.81 c 763700 7888619 503156825 917060487 0 0 72 171 134 662.47/662.54 c 840141 8473168 526855879 985601824 0 0 69 155 117 724.57/724.67 c 924226 10900215 606832997 1065886823 0 0 81 657 333 842.37/842.40 c 1016719 16240384 760498988 1183134306 0 0 100 652 504 1004.47/1004.52 c 1118461 22832614 961804063 1334868493 0 0 81 615 406 1004.57/1004.69 c First solution is found 1004.57/1004.70 s SATISFIABLE 1004.57/1004.70 c restarts : 74 1004.57/1004.70 c conflicts : 1118560 (1113 /sec) 1004.57/1004.70 c decisions : 22841407 (22735 /sec) 1004.57/1004.70 c propagations : 1334998863 (1328801 /sec) 1004.57/1004.70 c root propagations : 0 1004.57/1004.70 c filter calls : 962005685 (957539 /sec) 1004.57/1004.70 c useless filter calls : 679284380 (70 %) 1004.57/1004.70 c Memory used : 41.86 MB 1004.57/1004.70 c CPU time : 1004.66 s 1004.57/1004.70 c real time : 1004.7 s 1004.57/1004.70 1004.57/1004.70 c solution 1 1004.57/1004.70 1004.57/1004.70 v <instantiation type='solution'> 1004.57/1004.70 v <list>p[0][0] p[0][1] p[0][2] p[0][3] p[0][4] p[0][5] p[0][6] p[0][7] p[1][0] p[1][1] p[1][2] p[1][3] p[1][4] p[1][5] p[1][6] p[1][7] p[2][0] p[2][1] p[2][2] p[2][3] p[2][4] p[2][5] p[2][6] p[2][7] p[3][0] p[3][1] p[3][2] p[3][3] p[3][4] p[3][5] p[3][6] p[3][7] p[4][0] p[4][1] p[4][2] p[4][3] p[4][4] p[4][5] p[4][6] p[4][7] p[5][0] p[5][1] p[5][2] p[5][3] p[5][4] p[5][5] p[5][6] p[5][7] p[6][0] p[6][1] p[6][2] p[6][3] p[6][4] p[6][5] p[6][6] p[6][7] p[7][0] p[7][1] p[7][2] p[7][3] p[7][4] p[7][5] p[7][6] p[7][7] p[8][0] p[8][1] p[8][2] p[8][3] p[8][4] p[8][5] p[8][6] p[8][7] p[9][0] p[9][1] p[9][2] p[9][3] p[9][4] p[9][5] p[9][6] p[9][7] p[10][0] p[10][1] p[10][2] p[10][3] p[10][4] p[10][5] p[10][6] p[10][7] p[11][0] p[11][1] p[11][2] p[11][3] p[11][4] p[11][5] p[11][6] p[11][7] p[12][0] p[12][1] p[12][2] p[12][3] p[12][4] p[12][5] p[12][6] p[12][7] p[13][0] p[13][1] p[13][2] p[13][3] p[13][4] p[13][5] p[13][6] p[13][7] p[14][0] p[14][1] p[14][2] p[14][3] p[14][4] p[14][5] p[14][6] p[14][7] p[15][0] p[15][1] p[15][2] p[15][3] p[15][4] p[15][5] p[15][6] p[15][7] p[16][0] p[16][1] p[16][2] p[16][3] p[16][4] p[16][5] p[16][6] p[16][7] p[17][0] p[17][1] p[17][2] p[17][3] p[17][4] p[17][5] p[17][6] p[17][7] p[18][0] p[18][1] p[18][2] p[18][3] p[18][4] p[18][5] p[18][6] p[18][7] p[19][0] p[19][1] p[19][2] p[19][3] p[19][4] p[19][5] p[19][6] p[19][7] p[20][0] p[20][1] p[20][2] p[20][3] p[20][4] p[20][5] p[20][6] p[20][7] p[21][0] p[21][1] p[21][2] p[21][3] p[21][4] p[21][5] p[21][6] p[21][7] p[22][0] p[22][1] p[22][2] p[22][3] p[22][4] p[22][5] p[22][6] p[22][7] p[23][0] p[23][1] p[23][2] p[23][3] p[23][4] p[23][5] p[23][6] p[23][7] p[24][0] p[24][1] p[24][2] p[24][3] p[24][4] p[24][5] p[24][6] p[24][7] p[25][0] p[25][1] p[25][2] p[25][3] p[25][4] p[25][5] p[25][6] p[25][7] p[26][0] p[26][1] p[26][2] p[26][3] p[26][4] p[26][5] p[26][6] p[26][7] p[27][0] p[27][1] p[27][2] p[27][3] p[27][4] p[27][5] p[27][6] p[27][7] p[28][0] p[28][1] p[28][2] p[28][3] p[28][4] p[28][5] p[28][6] p[28][7] p[29][0] p[29][1] p[29][2] p[29][3] p[29][4] p[29][5] p[29][6] p[29][7] p[30][0] p[30][1] p[30][2] p[30][3] p[30][4] p[30][5] p[30][6] p[30][7] p[31][0] p[31][1] p[31][2] p[31][3] p[31][4] p[31][5] p[31][6] p[31][7] p[32][0] p[32][1] p[32][2] p[32][3] p[32][4] p[32][5] p[32][6] p[32][7] p[33][0] p[33][1] p[33][2] p[33][3] p[33][4] p[33][5] p[33][6] p[33][7] p[34][0] p[34][1] p[34][2] p[34][3] p[34][4] p[34][5] p[34][6] p[34][7] p[35][0] p[35][1] p[35][2] p[35][3] p[35][4] p[35][5] p[35][6] p[35][7] p[36][0] p[36][1] p[36][2] p[36][3] p[36][4] p[36][5] p[36][6] p[36][7] p[37][0] p[37][1] p[37][2] p[37][3] p[37][4] p[37][5] p[37][6] p[37][7] p[38][0] p[38][1] p[38][2] p[38][3] p[38][4] p[38][5] p[38][6] p[38][7] p[39][0] p[39][1] p[39][2] p[39][3] p[39][4] p[39][5] p[39][6] p[39][7] p[40][0] p[40][1] p[40][2] p[40][3] p[40][4] p[40][5] p[40][6] p[40][7] p[41][0] p[41][1] p[41][2] p[41][3] p[41][4] p[41][5] p[41][6] p[41][7] p[42][0] p[42][1] p[42][2] p[42][3] p[42][4] p[42][5] p[42][6] p[42][7] p[43][0] p[43][1] p[43][2] p[43][3] p[43][4] p[43][5] p[43][6] p[43][7] p[44][0] p[44][1] p[44][2] p[44][3] p[44][4] p[44][5] p[44][6] p[44][7] p[45][0] p[45][1] p[45][2] p[45][3] p[45][4] p[45][5] p[45][6] p[45][7] p[46][0] p[46][1] p[46][2] p[46][3] p[46][4] p[46][5] p[46][6] p[46][7] p[47][0] p[47][1] p[47][2] p[47][3] p[47][4] p[47][5] p[47][6] p[47][7] p[48][0] p[48][1] p[48][2] p[48][3] p[48][4] p[48][5] p[48][6] p[48][7] p[49][0] p[49][1] p[49][2] p[49][3] p[49][4] p[49][5] p[49][6] p[49][7] p[50][0] p[50][1] p[50][2] p[50][3] p[50][4] p[50][5] p[50][6] p[50][7] p[51][0] p[51][1] p[51][2] p[51][3] p[51][4] p[51][5] p[51][6] p[51][7] p[52][0] p[52][1] p[52][2] p[52][3] p[52][4] p[52][5] p[52][6] p[52][7] p[53][0] p[53][1] p[53][2] p[53][3] p[53][4] p[53][5] p[53][6] p[53][7] p[54][0] p[54][1] p[54][2] p[54][3] p[54][4] p[54][5] p[54][6] p[54][7] p[55][0] p[55][1] p[55][2] p[55][3] p[55][4] p[55][5] p[55][6] p[55][7] p[56][0] p[56][1] p[56][2] p[56][3] p[56][4] p[56][5] p[56][6] p[56][7] p[57][0] p[57][1] p[57][2] p[57][3] p[57][4] p[57][5] p[57][6] p[57][7] p[58][0] p[58][1] p[58][2] p[58][3] p[58][4] p[58][5] p[58][6] p[58][7] p[59][0] p[59][1] p[59][2] p[59][3] p[59][4] p[59][5] p[59][6] p[59][7] p[60][0] p[60][1] p[60][2] p[60][3] p[60][4] p[60][5] p[60][6] p[60][7] p[61][0] p[61][1] p[61][2] p[61][3] p[61][4] p[61][5] p[61][6] p[61][7] p[62][0] p[62][1] p[62][2] p[62][3] p[62][4] p[62][5] p[62][6] p[62][7] p[63][0] p[63][1] p[63][2] p[63][3] p[63][4] p[63][5] p[63][6] p[63][7] p[64][0] p[64][1] p[64][2] p[64][3] p[64][4] p[64][5] p[64][6] p[64][7] p[65][0] p[65][1] p[65][2] p[65][3] p[65][4] p[65][5] p[65][6] p[65][7] p[66][0] p[66][1] p[66][2] p[66][3] p[66][4] p[66][5] p[66][6] p[66][7] p[67][0] p[67][1] p[67][2] p[67][3] p[67][4] p[67][5] p[67][6] p[67][7] p[68][0] p[68][1] p[68][2] p[68][3] p[68][4] p[68][5] p[68][6] p[68][7] p[69][0] p[69][1] p[69][2] p[69][3] p[69][4] p[69][5] p[69][6] p[69][7] p[70][0] p[70][1] p[70][2] p[70][3] p[70][4] p[70][5] p[70][6] p[70][7] p[71][0] p[71][1] p[71][2] p[71][3] p[71][4] p[71][5] p[71][6] p[71][7] p[72][0] p[72][1] p[72][2] p[72][3] p[72][4] p[72][5] p[72][6] p[72][7] p[73][0] p[73][1] p[73][2] p[73][3] p[73][4] p[73][5] p[73][6] p[73][7] p[74][0] p[74][1] p[74][2] p[74][3] p[74][4] p[74][5] p[74][6] p[74][7] p[75][0] p[75][1] p[75][2] p[75][3] p[75][4] p[75][5] p[75][6] p[75][7] p[76][0] p[76][1] p[76][2] p[76][3] p[76][4] p[76][5] p[76][6] p[76][7] p[77][0] p[77][1] p[77][2] p[77][3] p[77][4] p[77][5] p[77][6] p[77][7] p[78][0] p[78][1] p[78][2] p[78][3] p[78][4] p[78][5] p[78][6] p[78][7] p[79][0] p[79][1] p[79][2] p[79][3] p[79][4] p[79][5] p[79][6] p[79][7] p[80][0] p[80][1] p[80][2] p[80][3] p[80][4] p[80][5] p[80][6] p[80][7] p[81][0] p[81][1] p[81][2] p[81][3] p[81][4] p[81][5] p[81][6] p[81][7] p[82][0] p[82][1] p[82][2] p[82][3] p[82][4] p[82][5] p[82][6] p[82][7] p[83][0] p[83][1] p[83][2] p[83][3] p[83][4] p[83][5] p[83][6] p[83][7] v[0][0] v[0][1] v[0][2] v[0][3] v[0][4] v[0][5] v[0][6] v[0][7] v[0][8] v[0][9] v[0][10] v[0][11] v[1][0] v[1][1] v[1][2] v[1][3] v[1][4] v[1][5] v[1][6] v[1][7] v[1][8] v[1][9] v[1][10] v[1][11] v[2][0] v[2][1] v[2][2] v[2][3] v[2][4] v[2][5] v[2][6] v[2][7] v[2][8] v[2][9] v[2][10] v[2][11] v[3][0] v[3][1] v[3][2] v[3][3] v[3][4] v[3][5] v[3][6] v[3][7] v[3][8] v[3][9] v[3][10] v[3][11] v[4][0] v[4][1] v[4][2] v[4][3] v[4][4] v[4][5] v[4][6] v[4][7] v[4][8] v[4][9] v[4][10] v[4][11] v[5][0] v[5][1] v[5][2] v[5][3] v[5][4] v[5][5] v[5][6] v[5][7] v[5][8] v[5][9] v[5][10] v[5][11] v[6][0] v[6][1] v[6][2] v[6][3] v[6][4] v[6][5] v[6][6] v[6][7] v[6][8] v[6][9] v[6][10] v[6][11] v[7][0] v[7][1] v[7][2] v[7][3] v[7][4] v[7][5] v[7][6] v[7][7] v[7][8] v[7][9] v[7][10] v[7][11] v[8][0] v[8][1] v[8][2] v[8][3] v[8][4] v[8][5] v[8][6] v[8][7] v[8][8] v[8][9] v[8][10] v[8][11] v[9][0] v[9][1] v[9][2] v[9][3] v[9][4] v[9][5] v[9][6] v[9][7] v[9][8] v[9][9] v[9][10] v[9][11] v[10][0] v[10][1] v[10][2] v[10][3] v[10][4] v[10][5] v[10][6] v[10][7] v[10][8] v[10][9] v[10][10] v[10][11] v[11][0] v[11][1] v[11][2] v[11][3] v[11][4] v[11][5] v[11][6] v[11][7] v[11][8] v[11][9] v[11][10] v[11][11] v[12][0] v[12][1] v[12][2] v[12][3] v[12][4] v[12][5] v[12][6] v[12][7] v[12][8] v[12][9] v[12][10] v[12][11] v[13][0] v[13][1] v[13][2] v[13][3] v[13][4] v[13][5] v[13][6] v[13][7] v[13][8] v[13][9] v[13][10] v[13][11] v[14][0] v[14][1] v[14][2] v[14][3] v[14][4] v[14][5] v[14][6] v[14][7] v[14][8] v[14][9] v[14][10] v[14][11] v[15][0] v[15][1] v[15][2] v[15][3] v[15][4] v[15][5] v[15][6] v[15][7] v[15][8] v[15][9] v[15][10] v[15][11] v[16][0] v[16][1] v[16][2] v[16][3] v[16][4] v[16][5] v[16][6] v[16][7] v[16][8] v[16][9] v[16][10] v[16][11] v[17][0] v[17][1] v[17][2] v[17][3] v[17][4] v[17][5] v[17][6] v[17][7] v[17][8] v[17][9] v[17][10] v[17][11] v[18][0] v[18][1] v[18][2] v[18][3] v[18][4] v[18][5] v[18][6] v[18][7] v[18][8] v[18][9] v[18][10] v[18][11] v[19][0] v[19][1] v[19][2] v[19][3] v[19][4] v[19][5] v[19][6] v[19][7] v[19][8] v[19][9] v[19][10] v[19][11] v[20][0] v[20][1] v[20][2] v[20][3] v[20][4] v[20][5] v[20][6] v[20][7] v[20][8] v[20][9] v[20][10] v[20][11] v[21][0] v[21][1] v[21][2] v[21][3] v[21][4] v[21][5] v[21][6] v[21][7] v[21][8] v[21][9] v[21][10] v[21][11] v[22][0] v[22][1] v[22][2] v[22][3] v[22][4] v[22][5] v[22][6] v[22][7] v[22][8] v[22][9] v[22][10] v[22][11] v[23][0] v[23][1] v[23][2] v[23][3] v[23][4] v[23][5] v[23][6] v[23][7] v[23][8] v[23][9] v[23][10] v[23][11] v[24][0] v[24][1] v[24][2] v[24][3] v[24][4] v[24][5] v[24][6] v[24][7] v[24][8] v[24][9] v[24][10] v[24][11] v[25][0] v[25][1] v[25][2] v[25][3] v[25][4] v[25][5] v[25][6] v[25][7] v[25][8] v[25][9] v[25][10] v[25][11] v[26][0] v[26][1] v[26][2] v[26][3] v[26][4] v[26][5] v[26][6] v[26][7] v[26][8] v[26][9] v[26][10] v[26][11] v[27][0] v[27][1] v[27][2] v[27][3] v[27][4] v[27][5] v[27][6] v[27][7] v[27][8] v[27][9] v[27][10] v[27][11] v[28][0] v[28][1] v[28][2] v[28][3] v[28][4] v[28][5] v[28][6] v[28][7] v[28][8] v[28][9] v[28][10] v[28][11] v[29][0] v[29][1] v[29][2] v[29][3] v[29][4] v[29][5] v[29][6] v[29][7] v[29][8] v[29][9] v[29][10] v[29][11] v[30][0] v[30][1] v[30][2] v[30][3] v[30][4] v[30][5] v[30][6] v[30][7] v[30][8] v[30][9] v[30][10] v[30][11] v[31][0] v[31][1] v[31][2] v[31][3] v[31][4] v[31][5] v[31][6] v[31][7] v[31][8] v[31][9] v[31][10] v[31][11] v[32][0] v[32][1] v[32][2] v[32][3] v[32][4] v[32][5] v[32][6] v[32][7] v[32][8] v[32][9] v[32][10] v[32][11] v[33][0] v[33][1] v[33][2] v[33][3] v[33][4] v[33][5] v[33][6] v[33][7] v[33][8] v[33][9] v[33][10] v[33][11] v[34][0] v[34][1] v[34][2] v[34][3] v[34][4] v[34][5] v[34][6] v[34][7] v[34][8] v[34][9] v[34][10] v[34][11] v[35][0] v[35][1] v[35][2] v[35][3] v[35][4] v[35][5] v[35][6] v[35][7] v[35][8] v[35][9] v[35][10] v[35][11] v[36][0] v[36][1] v[36][2] v[36][3] v[36][4] v[36][5] v[36][6] v[36][7] v[36][8] v[36][9] v[36][10] v[36][11] v[37][0] v[37][1] v[37][2] v[37][3] v[37][4] v[37][5] v[37][6] v[37][7] v[37][8] v[37][9] v[37][10] v[37][11] v[38][0] v[38][1] v[38][2] v[38][3] v[38][4] v[38][5] v[38][6] v[38][7] v[38][8] v[38][9] v[38][10] v[38][11] v[39][0] v[39][1] v[39][2] v[39][3] v[39][4] v[39][5] v[39][6] v[39][7] v[39][8] v[39][9] v[39][10] v[39][11] v[40][0] v[40][1] v[40][2] v[40][3] v[40][4] v[40][5] v[40][6] v[40][7] v[40][8] v[40][9] v[40][10] v[40][11] v[41][0] v[41][1] v[41][2] v[41][3] v[41][4] v[41][5] v[41][6] v[41][7] v[41][8] v[41][9] v[41][10] v[41][11] v[42][0] v[42][1] v[42][2] v[42][3] v[42][4] v[42][5] v[42][6] v[42][7] v[42][8] v[42][9] v[42][10] v[42][11] v[43][0] v[43][1] v[43][2] v[43][3] v[43][4] v[43][5] v[43][6] v[43][7] v[43][8] v[43][9] v[43][10] v[43][11] v[44][0] v[44][1] v[44][2] v[44][3] v[44][4] v[44][5] v[44][6] v[44][7] v[44][8] v[44][9] v[44][10] v[44][11] v[45][0] v[45][1] v[45][2] v[45][3] v[45][4] v[45][5] v[45][6] v[45][7] v[45][8] v[45][9] v[45][10] v[45][11] v[46][0] v[46][1] v[46][2] v[46][3] v[46][4] v[46][5] v[46][6] v[46][7] v[46][8] v[46][9] v[46][10] v[46][11] v[47][0] v[47][1] v[47][2] v[47][3] v[47][4] v[47][5] v[47][6] v[47][7] v[47][8] v[47][9] v[47][10] v[47][11] v[48][0] v[48][1] v[48][2] v[48][3] v[48][4] v[48][5] v[48][6] v[48][7] v[48][8] v[48][9] v[48][10] v[48][11] v[49][0] v[49][1] v[49][2] v[49][3] v[49][4] v[49][5] v[49][6] v[49][7] v[49][8] v[49][9] v[49][10] v[49][11] v[50][0] v[50][1] v[50][2] v[50][3] v[50][4] v[50][5] v[50][6] v[50][7] v[50][8] v[50][9] v[50][10] v[50][11] v[51][0] v[51][1] v[51][2] v[51][3] v[51][4] v[51][5] v[51][6] v[51][7] v[51][8] v[51][9] v[51][10] v[51][11] v[52][0] v[52][1] v[52][2] v[52][3] v[52][4] v[52][5] v[52][6] v[52][7] v[52][8] v[52][9] v[52][10] v[52][11] v[53][0] v[53][1] v[53][2] v[53][3] v[53][4] v[53][5] v[53][6] v[53][7] v[53][8] v[53][9] v[53][10] v[53][11] v[54][0] v[54][1] v[54][2] v[54][3] v[54][4] v[54][5] v[54][6] v[54][7] v[54][8] v[54][9] v[54][10] v[54][11] v[55][0] v[55][1] v[55][2] v[55][3] v[55][4] v[55][5] v[55][6] v[55][7] v[55][8] v[55][9] v[55][10] v[55][11] v[56][0] v[56][1] v[56][2] v[56][3] v[56][4] v[56][5] v[56][6] v[56][7] v[56][8] v[56][9] v[56][10] v[56][11] v[57][0] v[57][1] v[57][2] v[57][3] v[57][4] v[57][5] v[57][6] v[57][7] v[57][8] v[57][9] v[57][10] v[57][11] v[58][0] v[58][1] v[58][2] v[58][3] v[58][4] v[58][5] v[58][6] v[58][7] v[58][8] v[58][9] v[58][10] v[58][11] v[59][0] v[59][1] v[59][2] v[59][3] v[59][4] v[59][5] v[59][6] v[59][7] v[59][8] v[59][9] v[59][10] v[59][11] v[60][0] v[60][1] v[60][2] v[60][3] v[60][4] v[60][5] v[60][6] v[60][7] v[60][8] v[60][9] v[60][10] v[60][11] v[61][0] v[61][1] v[61][2] v[61][3] v[61][4] v[61][5] v[61][6] v[61][7] v[61][8] v[61][9] v[61][10] v[61][11] v[62][0] v[62][1] v[62][2] v[62][3] v[62][4] v[62][5] v[62][6] v[62][7] v[62][8] v[62][9] v[62][10] v[62][11] v[63][0] v[63][1] v[63][2] v[63][3] v[63][4] v[63][5] v[63][6] v[63][7] v[63][8] v[63][9] v[63][10] v[63][11] v[64][0] v[64][1] v[64][2] v[64][3] v[64][4] v[64][5] v[64][6] v[64][7] v[64][8] v[64][9] v[64][10] v[64][11] v[65][0] v[65][1] v[65][2] v[65][3] v[65][4] v[65][5] v[65][6] v[65][7] v[65][8] v[65][9] v[65][10] v[65][11] v[66][0] v[66][1] v[66][2] v[66][3] v[66][4] v[66][5] v[66][6] v[66][7] v[66][8] v[66][9] v[66][10] v[66][11] v[67][0] v[67][1] v[67][2] v[67][3] v[67][4] v[67][5] v[67][6] v[67][7] v[67][8] v[67][9] v[67][10] v[67][11] v[68][0] v[68][1] v[68][2] v[68][3] v[68][4] v[68][5] v[68][6] v[68][7] v[68][8] v[68][9] v[68][10] v[68][11] v[69][0] v[69][1] v[69][2] v[69][3] v[69][4] v[69][5] v[69][6] v[69][7] v[69][8] v[69][9] v[69][10] v[69][11] v[70][0] v[70][1] v[70][2] v[70][3] v[70][4] v[70][5] v[70][6] v[70][7] v[70][8] v[70][9] v[70][10] v[70][11] v[71][0] v[71][1] v[71][2] v[71][3] v[71][4] v[71][5] v[71][6] v[71][7] v[71][8] v[71][9] v[71][10] v[71][11] v[72][0] v[72][1] v[72][2] v[72][3] v[72][4] v[72][5] v[72][6] v[72][7] v[72][8] v[72][9] v[72][10] v[72][11] v[73][0] v[73][1] v[73][2] v[73][3] v[73][4] v[73][5] v[73][6] v[73][7] v[73][8] v[73][9] v[73][10] v[73][11] v[74][0] v[74][1] v[74][2] v[74][3] v[74][4] v[74][5] v[74][6] v[74][7] v[74][8] v[74][9] v[74][10] v[74][11] v[75][0] v[75][1] v[75][2] v[75][3] v[75][4] v[75][5] v[75][6] v[75][7] v[75][8] v[75][9] v[75][10] v[75][11] v[76][0] v[76][1] v[76][2] v[76][3] v[76][4] v[76][5] v[76][6] v[76][7] v[76][8] v[76][9] v[76][10] v[76][11] v[77][0] v[77][1] v[77][2] v[77][3] v[77][4] v[77][5] v[77][6] v[77][7] v[77][8] v[77][9] v[77][10] v[77][11] v[78][0] v[78][1] v[78][2] v[78][3] v[78][4] v[78][5] v[78][6] v[78][7] v[78][8] v[78][9] v[78][10] v[78][11] v[79][0] v[79][1] v[79][2] v[79][3] v[79][4] v[79][5] v[79][6] v[79][7] v[79][8] v[79][9] v[79][10] v[79][11] v[80][0] v[80][1] v[80][2] v[80][3] v[80][4] v[80][5] v[80][6] v[80][7] v[80][8] v[80][9] v[80][10] v[80][11] v[81][0] v[81][1] v[81][2] v[81][3] v[81][4] v[81][5] v[81][6] v[81][7] v[81][8] v[81][9] v[81][10] v[81][11] v[82][0] v[82][1] v[82][2] v[82][3] v[82][4] v[82][5] v[82][6] v[82][7] v[82][8] v[82][9] v[82][10] v[82][11] v[83][0] v[83][1] v[83][2] v[83][3] v[83][4] v[83][5] v[83][6] v[83][7] v[83][8] v[83][9] v[83][10] v[83][11] </list> 1004.57/1004.70 v <values>6 9 0 3 4 1 5 2 11 6 0 10 1 8 2 5 6 9 0 10 1 4 5 2 6 9 3 0 1 8 7 2 9 6 3 0 1 4 5 2 11 6 3 0 4 1 5 2 6 11 3 0 4 1 2 7 0 6 3 9 4 5 1 8 0 11 3 9 5 4 1 2 6 0 3 9 4 5 1 2 11 0 3 10 5 4 1 2 11 0 3 9 4 7 8 1 6 0 3 10 4 7 2 1 0 11 6 9 1 2 5 7 3 0 6 9 1 2 7 5 3 0 9 6 1 2 5 8 3 0 10 6 4 1 5 7 3 0 6 10 2 1 5 7 3 0 10 9 1 5 4 2 3 0 9 10 1 8 7 2 3 0 10 9 5 1 4 2 3 0 9 10 5 1 2 7 3 6 9 0 1 4 5 2 3 6 11 0 4 1 5 2 3 10 9 0 4 1 2 8 3 9 10 0 5 1 4 2 3 11 6 0 5 1 2 8 3 10 6 0 4 8 2 1 4 6 1 8 0 5 2 10 6 4 1 9 0 7 3 2 4 11 1 8 7 0 3 2 11 4 1 8 5 0 3 2 4 6 8 1 5 0 3 2 4 11 9 1 5 0 2 10 1 4 6 9 0 2 5 7 1 11 6 8 3 0 7 5 1 4 9 6 3 0 5 10 4 1 8 6 3 0 5 7 4 1 6 8 2 0 5 7 1 8 4 9 3 0 7 2 1 6 9 4 3 0 7 2 8 1 4 9 3 0 10 2 6 1 4 11 3 0 2 7 1 4 9 8 3 10 5 0 4 1 8 9 3 7 5 0 4 1 9 8 3 7 2 0 11 1 4 6 3 7 10 0 9 1 4 8 3 7 2 0 4 8 6 1 3 10 2 0 0 4 5 7 1 2 8 9 4 0 6 5 1 2 10 8 11 0 5 6 1 2 9 8 4 0 5 6 3 1 8 9 4 0 5 7 2 1 9 8 6 0 4 11 1 8 10 2 5 0 7 4 1 8 9 2 5 0 4 7 3 1 10 2 5 0 4 7 3 1 2 10 7 4 5 0 1 10 9 2 4 6 5 0 3 1 8 2 4 7 5 0 3 1 2 8 5 7 4 0 3 1 8 2 5 7 4 0 3 1 2 8 4 11 6 0 3 8 2 1 1 0 4 2 6 5 7 9 1 0 11 4 5 6 7 10 3 0 4 2 5 6 10 7 3 0 4 11 5 8 9 7 1 4 11 0 7 6 5 8 3 1 11 0 10 6 5 9 3 1 2 0 6 7 5 8 3 1 4 0 5 7 8 6 3 1 2 0 5 7 6 8 3 11 2 0 5 8 6 7 1 6 5 0 7 4 9 2 3 1 8 0 4 7 11 2 6 1 5 8 4 10 2 11 3 1 8 0 11 9 4 2 3 1 6 0 9 7 2 10 3 8 6 0 4 10 2 7 3 7 4 6 11 9 8 2 3 7 4 10 5 11 2 0 4 10 6 7 5 11 9 0 5 11 9 7 4 10 2 0 2 5 7 3 4 6 0 6 5 1 3 0 2 4 6 2 4 7 1 7 5 1 3 0 2 4 7 2 5 6 0 7 4 1 3 1 3 4 7 2 4 7 0 6 5 1 2 1 3 4 7 2 5 6 1 6 5 0 3 0 3 5 7 2 4 6 1 7 4 1 2 0 3 5 6 2 4 6 0 7 5 0 3 1 0 6 6 2 4 5 1 5 7 3 3 0 0 6 7 2 5 4 0 5 6 3 3 1 1 6 7 2 4 5 0 4 7 3 2 1 1 6 7 2 5 4 1 4 7 2 3 0 1 7 7 2 4 4 1 5 6 3 2 0 1 7 6 2 4 4 0 5 7 2 3 1 0 4 5 0 5 6 2 7 6 3 3 1 1 4 5 0 4 7 2 6 7 3 2 1 1 4 5 0 5 6 3 6 7 2 3 0 1 5 5 0 4 6 3 7 6 3 2 0 1 5 4 0 4 6 2 7 7 2 3 1 1 4 7 0 6 5 0 6 5 3 2 3 1 4 7 0 7 4 1 6 5 2 3 2 1 5 7 0 6 4 1 7 4 3 2 2 1 5 6 0 6 4 0 7 5 2 3 3 3 4 7 0 5 6 1 4 7 2 1 2 3 5 7 0 4 6 1 5 6 3 0 2 3 5 6 0 4 6 0 5 7 2 1 3 3 5 7 0 6 4 3 5 6 1 2 0 3 5 6 0 6 4 2 5 7 0 3 1 3 7 6 0 4 4 2 7 5 2 1 1 4 2 6 6 0 5 1 5 3 3 7 0 4 2 7 6 1 4 0 5 2 3 7 1 5 2 7 6 0 5 0 4 3 3 6 1 5 2 7 6 1 4 1 4 3 2 7 0 5 3 7 6 0 4 1 5 2 3 6 0 5 3 6 6 0 4 0 5 3 2 7 1 4 0 5 4 1 6 2 7 2 3 7 1 5 0 5 4 0 7 2 6 3 3 6 1 5 0 5 4 1 6 3 6 3 2 7 0 5 1 5 4 0 6 3 7 2 3 6 0 5 1 4 4 0 6 2 7 3 2 7 1 5 0 7 4 2 5 0 6 1 3 6 3 5 0 7 4 3 4 1 6 1 2 7 2 5 1 7 4 2 4 1 7 0 3 6 2 5 1 6 4 2 4 0 7 1 2 7 3 7 0 7 4 1 6 1 4 3 2 5 2 7 1 7 4 0 6 1 5 2 3 4 2 7 1 6 4 0 6 0 5 3 2 5 3 7 1 7 4 2 4 3 5 2 1 6 0 7 1 6 4 2 4 2 5 3 0 7 1 7 3 6 4 0 4 2 7 1 2 5 1 0 4 5 4 1 2 2 3 6 7 7 1 1 4 5 4 0 3 2 2 7 7 6 1 1 4 5 4 1 2 3 2 7 6 7 0 1 5 5 4 0 2 3 3 6 7 6 0 1 5 4 4 0 2 2 3 7 6 7 1 1 4 7 4 2 1 0 2 5 7 6 3 1 4 7 4 3 0 1 2 5 6 7 2 1 5 7 4 2 0 1 3 4 7 6 2 1 5 6 4 2 0 0 3 5 6 7 3 3 4 7 4 1 2 1 0 7 6 5 2 3 5 7 4 0 2 1 1 6 7 4 2 3 5 6 4 0 2 0 1 7 6 5 3 3 5 7 4 2 0 3 1 6 5 6 0 3 5 6 4 2 0 2 1 7 4 7 1 3 7 6 4 0 0 2 3 5 6 5 1 1 0 3 0 2 5 4 6 5 7 6 3 1 0 3 0 3 4 5 6 5 6 7 2 1 1 3 0 2 4 5 7 4 7 6 2 1 1 2 0 2 4 4 7 5 6 7 3 3 0 3 0 1 6 5 4 7 6 5 2 3 1 3 0 0 6 5 5 6 7 4 2 3 1 2 0 0 6 4 5 7 6 5 3 3 1 3 0 2 4 7 5 6 5 6 0 3 1 2 0 2 4 6 5 7 4 7 1 3 3 2 0 0 4 6 7 5 6 5 1 3 0 7 0 5 2 1 4 3 6 5 6 3 1 7 0 4 2 1 5 2 7 4 6 3 1 6 0 4 2 0 5 3 6 5 7 3 1 7 0 6 0 3 5 2 5 6 4 3 1 6 0 6 0 2 5 3 4 7 5 3 3 6 0 4 0 2 7 1 6 5 5 7 1 7 0 2 4 3 1 6 5 2 4 7 1 6 0 2 4 2 1 7 4 3 5 7 3 6 0 0 4 2 3 5 6 1 5 7 3 6 0 4 0 6 3 5 2 5 1 </values> 1004.67/1004.70 v </instantiation> 1004.67/1004.70
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 (15274 MiB free)
memory of node 1: 16384 MiB (15440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408591-1569808590/watcher-4408591-1569808590 -o /tmp/evaluation-result-4408591-1569808590/solver-4408591-1569808590 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6947 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408591-1569808590.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=11469, runsolver pid=11466
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 2.00 2.01 2.05 3/197 11470
/proc/meminfo: memFree=31439712/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15696 CPUtime=0.09 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 4113 0 0 0 9 0 0 0 20 0 1 0 557131211 40095744 3924 33554432000 4194304 6211132 140723679645200 140723679641736 5409476 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3924 873 493 0 3094 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15696 KiB
[startup+0.209724 s]*
/proc/loadavg: 2.00 2.01 2.05 3/197 11470
/proc/meminfo: memFree=31439712/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15696 CPUtime=0.2 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 4115 0 0 0 20 0 0 0 20 0 1 0 557131211 40095744 3924 33554432000 4194304 6211132 140723679645200 140723679641736 5039014 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3924 873 493 0 3094 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15696 KiB
[startup+0.309072 s]*
/proc/loadavg: 2.00 2.01 2.05 3/197 11470
/proc/meminfo: memFree=31439712/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15696 CPUtime=0.3 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 4115 0 0 0 30 0 0 0 20 0 1 0 557131211 40095744 3924 33554432000 4194304 6211132 140723679645200 140723679641736 5080208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3924 873 493 0 3094 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15696 KiB
[startup+0.700276 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 11470
/proc/meminfo: memFree=31439340/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15696 CPUtime=0.69 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 4115 0 0 0 69 0 0 0 20 0 1 0 557131211 40095744 3924 33554432000 4194304 6211132 140723679645200 140723679643160 5079036 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3924 873 493 0 3094 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15696 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 11470
/proc/meminfo: memFree=31439436/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15696 CPUtime=1.49 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 4115 0 0 0 149 0 0 0 20 0 1 0 557131211 40095744 3924 33554432000 4194304 6211132 140723679645200 140723679643160 5039193 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3924 873 493 0 3094 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15696 KiB
[startup+3.10937 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 11470
/proc/meminfo: memFree=31439176/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15812 CPUtime=3.09 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 6541 0 0 0 309 0 0 0 20 0 1 0 557131211 40095744 3953 33554432000 4194304 6211132 140723679645200 140723679643160 5039121 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3953 875 493 0 3094 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15812 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 11470
/proc/meminfo: memFree=31438988/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15812 CPUtime=6.29 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 8977 0 0 0 628 1 0 0 20 0 1 0 557131211 40095744 3953 33554432000 4194304 6211132 140723679645200 140723679643160 5039038 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3953 875 493 0 3094 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15812 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 11470
/proc/meminfo: memFree=31438992/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15812 CPUtime=12.69 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 11388 0 0 0 1268 1 0 0 20 0 1 0 557131211 40095744 3953 33554432000 4194304 6211132 140723679645200 140723679643160 5039038 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3953 875 493 0 3094 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15812 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 11471
/proc/meminfo: memFree=31437888/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15812 CPUtime=25.49 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 16071 0 0 0 2548 1 0 0 20 0 1 0 557131211 40095744 3953 33554432000 4194304 6211132 140723679645200 140723679643160 5038999 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3953 875 493 0 3094 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15812 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 11473
/proc/meminfo: memFree=31438540/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15812 CPUtime=51.09 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 16481 0 0 0 5108 1 0 0 20 0 1 0 557131211 40095744 3953 33554432000 4194304 6211132 140723679645200 140723679643160 5038788 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3953 875 493 0 3094 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15812 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11486
/proc/meminfo: memFree=31438140/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39156 memory=15812 CPUtime=102.29 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 16895 0 0 0 10228 1 0 0 20 0 1 0 557131211 40095744 3953 33554432000 4194304 6211132 140723679645200 140723679643160 5078904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9789 3953 875 493 0 3094 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15812 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11512
/proc/meminfo: memFree=31437536/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39288 memory=15912 CPUtime=162.28 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 17380 0 0 0 16227 1 0 0 20 0 1 0 557131211 40230912 3978 33554432000 4194304 6211132 140723679645200 140723679643160 5078875 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9822 3978 875 493 0 3127 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15912 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11518
/proc/meminfo: memFree=31437204/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39288 memory=15912 CPUtime=222.28 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 17817 0 0 0 22227 1 0 0 20 0 1 0 557131211 40230912 3978 33554432000 4194304 6211132 140723679645200 140723679643160 5038992 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9822 3978 875 493 0 3127 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15912 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11522
/proc/meminfo: memFree=31437848/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39288 memory=15912 CPUtime=282.28 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 18253 0 0 0 28227 1 0 0 20 0 1 0 557131211 40230912 3978 33554432000 4194304 6211132 140723679645200 140723679643160 5039014 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9822 3978 875 493 0 3127 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15912 KiB
[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 11526
/proc/meminfo: memFree=31438160/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39288 memory=15912 CPUtime=342.28 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 18687 0 0 0 34227 1 0 0 20 0 1 0 557131211 40230912 3978 33554432000 4194304 6211132 140723679645200 140723679643160 5038992 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9822 3978 875 493 0 3127 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15912 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/198 11532
/proc/meminfo: memFree=31437832/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39288 memory=15912 CPUtime=402.28 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 19121 0 0 0 40227 1 0 0 20 0 1 0 557131211 40230912 3978 33554432000 4194304 6211132 140723679645200 140723679643160 5039038 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9822 3978 875 493 0 3127 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15912 KiB
[startup+462.3 s]
/proc/loadavg: 2.42 2.15 2.09 3/197 11536
/proc/meminfo: memFree=31437768/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=39288 memory=15912 CPUtime=462.28 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 19554 0 0 0 46227 1 0 0 20 0 1 0 557131211 40230912 3978 33554432000 4194304 6211132 140723679645200 140723679643160 5039178 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 9822 3978 875 493 0 3127 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15912 KiB
[startup+522.3 s]
/proc/loadavg: 2.15 2.13 2.08 3/197 11540
/proc/meminfo: memFree=31437560/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40344 memory=16920 CPUtime=522.28 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 20267 0 0 0 52227 1 0 0 20 0 1 0 557131211 41312256 4230 33554432000 4194304 6211132 140723679645200 140723679642600 5409485 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10086 4230 875 493 0 3391 0
Current children cumulated CPU time: 522.28 s
Current children cumulated vsize: 40344 KiB
Current children cumulated memory: 16920 KiB
[startup+582.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/198 11546
/proc/meminfo: memFree=31437960/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17128 CPUtime=582.27 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 20558 0 0 0 58226 1 0 0 20 0 1 0 557131211 41582592 4282 33554432000 4194304 6211132 140723679645200 140723679642600 5409485 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4282 875 493 0 3457 0
Current children cumulated CPU time: 582.27 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17128 KiB
[startup+642.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/197 11739
/proc/meminfo: memFree=31428688/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=642.27 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 20833 0 0 0 64226 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5038964 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 642.27 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+702.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/199 11752
/proc/meminfo: memFree=31427668/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=702.27 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 21108 0 0 0 70226 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5409485 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 702.27 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/200 11758
/proc/meminfo: memFree=31426576/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=762.27 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 21383 0 0 0 76226 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5039463 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 762.27 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 11762
/proc/meminfo: memFree=31427292/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=822.27 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 21648 0 0 0 82226 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5397407 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 822.27 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 11766
/proc/meminfo: memFree=31427312/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=882.27 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 21923 0 0 0 88226 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5409489 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 882.27 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 11772
/proc/meminfo: memFree=31426584/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=942.27 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 22189 0 0 0 94226 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5408904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 942.27 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+1002.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/197 11776
/proc/meminfo: memFree=31426936/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=1002.27 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 22455 0 0 0 100226 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5409481 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 1002.27 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+1004.7 s]
# the end of solver process 11469 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1004.67 s, system=0.016999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1003.2 s]
/proc/loadavg: 2.03 2.04 2.05 3/197 11776
/proc/meminfo: memFree=31426688/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=1003.17 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 22455 0 0 0 100316 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5039261 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 1003.17 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+1004 s]*
/proc/loadavg: 2.03 2.04 2.05 3/197 11776
/proc/meminfo: memFree=31427032/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=1003.98 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 22455 0 0 0 100397 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5409485 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 1003.98 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+1004.4 s]
/proc/loadavg: 2.03 2.04 2.05 3/197 11776
/proc/meminfo: memFree=31427032/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=1004.37 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 22455 0 0 0 100436 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5397258 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 1004.37 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+1004.6 s]
/proc/loadavg: 2.03 2.04 2.05 3/197 11776
/proc/meminfo: memFree=31427032/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=40608 memory=17264 CPUtime=1004.57 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 22464 0 0 0 100456 1 0 0 20 0 1 0 557131211 41582592 4316 33554432000 4194304 6211132 140723679645200 140723679643160 5409493 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10152 4316 875 493 0 3457 0
Current children cumulated CPU time: 1004.57 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17264 KiB
[startup+1004.7 s]
/proc/loadavg: 2.03 2.04 2.05 3/197 11776
/proc/meminfo: memFree=31427032/32770624 swapFree=66941828/67108860
[pid=11469] ppid=11466 vsize=42860 memory=19560 CPUtime=1004.67 cores=1,3,5,7
/proc/11469/stat : 11469 (cosoco) R 11466 11469 6915 0 -1 4202496 23053 0 0 0 100466 1 0 0 20 0 1 0 557131211 43888640 4890 33554432000 4194304 6211132 140723679645200 140723679643160 140343117704288 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 15929344 140723679650827 140723679650929 140723679650929 140723679653838 0
/proc/11469/statm: 10715 4890 884 493 0 4020 0
Current children cumulated CPU time: 1004.67 s
Current children cumulated vsize: 42860 KiB
Current children cumulated memory: 19560 KiB
Child status: 0
Real time (s): 1004.7
CPU time (s): 1004.68
CPU user time (s): 1004.67
CPU system time (s): 0.016999
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 42860
Max. memory (cumulated for all children) (KiB): 19560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1004.67
system time used= 0.016999
maximum resident set size= 19596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 291
# summary of solver processes directly reported to runsolver:
# pid: 11469
# total CPU time (s): 1004.68
# total CPU user time (s): 1004.67
# total CPU system time (s): 0.016999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.86804 second user time and 7.20601 second system time
The end
Begin job on node139 at 2019-09-30 03:58:57 IDJOB=4408591 IDBENCH=139771 IDSOLVER=2875 FILE ID=node139/4408591-1569808590 RUNJOBID= node139-1569787540-6947 PBS_JOBID= 21705823 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/CoveringArray/CoveringArray-elt-s1/CoveringArray-elt-3-09-2-12.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408591-1569808590/watcher-4408591-1569808590 -o /tmp/evaluation-result-4408591-1569808590/solver-4408591-1569808590 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6947 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408591-1569808590.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 184e4a42ac40b5c8b3b859f3d89928ae RANDOM SEED=2136126649 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 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.57 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.57 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.57 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: 31452072 kB MemAvailable: 31813940 kB Buffers: 212372 kB Cached: 489880 kB SwapCached: 64664 kB Active: 410240 kB Inactive: 362672 kB Active(anon): 23048 kB Inactive(anon): 128344 kB Active(file): 387192 kB Inactive(file): 234328 kB Unevictable: 108212 kB Mlocked: 108212 kB SwapTotal: 67108860 kB SwapFree: 66941828 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 121604 kB Mapped: 28752 kB Shmem: 72116 kB Slab: 141364 kB SReclaimable: 112364 kB SUnreclaim: 29000 kB KernelStack: 3728 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 560780 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 62024 MiB End job on node139 at 2019-09-30 04:15:42