| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2 | SAT | 999.958 | 1000.05 |
| 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-4390051-1568353905.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.40 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.68/0.75 c 611 5856 541547 951920 0 0 101 110 104 0.88/0.91 c 771 6404 663414 1209775 0 0 118 132 126 0.99/1.05 c 947 7914 764803 1374224 0 0 100 182 129 1.18/1.24 c 1140 8517 897649 1650287 0 0 106 118 110 1.38/1.44 c 1352 10392 1015726 1950395 0 0 97 158 127 1.58/1.67 c 1585 11359 1131225 2282618 0 0 129 159 138 1.88/1.96 c 1841 12582 1293680 2703028 0 0 132 153 141 2.18/2.22 c 2122 14422 1504540 3047887 0 0 149 164 157 2.48/2.57 c 2431 17051 1741032 3523039 0 0 154 165 160 2.78/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.58/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.48/5.53 c 5631 36818 3653802 7702503 0 0 114 168 150 5.99/6.05 c 6286 40108 3995996 8395953 0 0 125 147 136 6.58/6.70 c 7006 43636 4336080 9274489 0 0 128 159 138 7.48/7.54 c 7798 49763 4900142 10383231 0 0 125 146 138 8.48/8.57 c 8669 57386 5566030 11815087 0 0 103 123 114 9.68/9.74 c 9627 64921 6312780 13473529 0 0 75 92 88 10.88/10.99 c 10680 72926 7089348 15190211 0 0 74 94 87 12.38/12.42 c 11838 83270 8067279 17118163 0 0 80 92 88 13.68/13.76 c 13111 92371 9074689 19079430 0 0 72 92 86 15.29/15.30 c 14511 101057 10044160 21204670 0 0 74 101 85 17.09/17.12 c 16051 111597 11304259 24106680 0 0 75 91 86 18.78/18.81 c 17745 123510 12407505 26757913 0 0 75 103 90 20.48/20.50 c 19608 137689 13675879 29204049 0 0 82 106 95 21.99/22.10 c 21657 148554 15190969 31502983 0 0 79 98 88 23.68/23.74 c 23910 156421 15808722 33982931 0 0 79 112 100 24.99/25.08 c 26388 164608 16284418 35873822 0 0 79 108 99 27.68/27.71 c 29113 177292 17782589 39917873 0 0 74 101 90 30.18/30.27 c 32110 192628 19832210 43703823 0 0 75 95 89 33.09/33.16 c 35406 207970 21664813 48011143 0 0 75 102 89 35.58/35.67 c 39031 221522 22969537 51717241 0 0 70 100 89 38.99/39.03 c 43018 245103 25803145 56531267 0 0 64 90 79 42.88/42.96 c 47403 268495 28727901 62553727 0 0 65 91 77 46.58/46.62 c 52226 289220 31816770 68047403 0 0 61 88 74 51.38/51.43 c 57531 313988 35357323 75641978 0 0 68 103 80 56.99/57.09 c 63366 341965 39066417 84006681 0 0 70 102 82 63.09/63.16 c 69784 370350 42915791 93875271 0 0 69 103 85 68.99/69.02 c 76843 400915 46492953 102885912 0 0 71 104 86 74.99/75.08 c 84607 437245 52292954 112411912 0 0 67 85 78 82.88/82.93 c 93147 472350 57131873 124554524 0 0 59 89 73 91.18/91.24 c 102541 510055 62027128 137651318 0 0 60 91 75 100.08/100.17 c 112874 553118 69073207 151864928 0 0 55 79 69 106.57/106.62 c 124240 634125 72878624 162440845 0 0 64 199 124 113.67/113.70 c 136742 707928 76831513 174073052 0 0 69 138 106 127.47/127.59 c 150494 1079037 100633585 194234657 0 0 83 367 280 139.17/139.23 c 165621 1147409 109649472 214520953 0 0 64 98 84 151.17/151.29 c 182260 1285286 119301171 232814480 0 0 64 145 101 164.77/164.86 c 200562 1478231 129546003 253320057 0 0 58 143 108 184.47/184.53 c 220694 1592437 144857986 284871709 0 0 68 94 82 203.08/203.12 c 242839 1782513 159593989 313471666 0 0 62 143 97 226.86/226.99 c 267198 1914851 177027552 349248814 0 0 62 93 81 252.97/253.07 c 293992 2063877 197093532 389727255 0 0 59 90 78 274.86/274.93 c 323465 2298888 213834196 420314856 0 0 58 152 89 301.97/302.06 c 355885 2429771 231387277 465018441 0 0 57 94 77 329.76/329.85 c 391547 2594754 257074063 510378462 0 0 57 84 74 357.15/357.25 c 430775 2745022 267420090 552775870 0 0 63 100 90 386.06/386.19 c 473925 2958156 284774791 594292869 0 0 65 107 88 424.15/424.21 c 521390 3171476 307376673 652042523 0 0 60 103 85 464.54/464.60 c 573601 3411850 337555303 717138895 0 0 54 91 73 509.05/509.17 c 631033 3680591 377232890 787689556 0 0 57 81 70 586.83/586.93 c 694208 7443711 482945773 861676957 0 0 65 692 466 617.13/617.25 c 763700 7888619 503156825 917060487 0 0 72 171 134 659.73/659.89 c 840141 8473168 526855879 985601824 0 0 69 155 117 721.62/721.70 c 924226 10900215 606832997 1065886823 0 0 81 657 333 838.51/838.65 c 1016719 16240384 760498988 1183134306 0 0 100 652 504 999.70/999.87 c 1118461 22832614 961804063 1334868493 0 0 81 615 406 999.91/1000.04 c First solution is found 999.91/1000.04 s SATISFIABLE 999.91/1000.04 c restarts : 74 999.91/1000.04 c conflicts : 1118560 (1119 /sec) 999.91/1000.04 c decisions : 22841407 (22843 /sec) 999.91/1000.04 c propagations : 1334998863 (1335078 /sec) 999.91/1000.04 c root propagations : 0 999.91/1000.04 c filter calls : 962005685 (962063 /sec) 999.91/1000.04 c useless filter calls : 679284380 (70 %) 999.91/1000.04 c Memory used : 41.86 MB 999.91/1000.04 c CPU time : 999.94 s 999.91/1000.04 c real time : 1000.04 s 999.91/1000.04 999.91/1000.04 c solution 1 999.91/1000.04 999.91/1000.04 v <instantiation type='solution'> 999.91/1000.04 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> 999.91/1000.04 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> 999.91/1000.04 v </instantiation> 999.91/1000.04
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 (12841 MiB free)
memory of node 1: 16384 MiB (13285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390051-1568353905/watcher-4390051-1568353905 -o /tmp/evaluation-result-4390051-1568353905/solver-4390051-1568353905 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390051-1568353905.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
Current StackSize limit: 8192 KiB
solver pid=28090, runsolver pid=28087
[startup+0.100455 s]*
/proc/loadavg: 2.05 2.03 2.05 3/201 28091
/proc/meminfo: memFree=26741752/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15692 CPUtime=0.09 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 4106 0 0 0 9 0 0 0 20 0 1 0 411637901 40095744 3923 33554432000 4194304 6210612 140729986232048 140729986229448 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3923 866 493 0 3094 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15692 KiB
[startup+0.209901 s]*
/proc/loadavg: 2.05 2.03 2.05 3/201 28091
/proc/meminfo: memFree=26741752/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15692 CPUtime=0.2 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 4109 0 0 0 20 0 0 0 20 0 1 0 411637901 40095744 3923 33554432000 4194304 6210612 140729986232048 140729986229448 5038849 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3923 866 493 0 3094 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15692 KiB
[startup+0.309672 s]*
/proc/loadavg: 2.05 2.03 2.05 3/201 28091
/proc/meminfo: memFree=26741380/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15692 CPUtime=0.3 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 4109 0 0 0 30 0 0 0 20 0 1 0 411637901 40095744 3923 33554432000 4194304 6210612 140729986232048 140729986229448 5397059 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3923 866 493 0 3094 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15692 KiB
[startup+0.700275 s]
/proc/loadavg: 2.05 2.03 2.05 3/201 28091
/proc/meminfo: memFree=26741380/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15692 CPUtime=0.68 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 4109 0 0 0 68 0 0 0 20 0 1 0 411637901 40095744 3923 33554432000 4194304 6210612 140729986232048 140729986230008 5037490 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3923 866 493 0 3094 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15692 KiB
[startup+1.50027 s]
/proc/loadavg: 2.05 2.03 2.05 3/201 28091
/proc/meminfo: memFree=26741448/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15692 CPUtime=1.48 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 4109 0 0 0 148 0 0 0 20 0 1 0 411637901 40095744 3923 33554432000 4194304 6210612 140729986232048 140729986230008 5038661 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3923 866 493 0 3094 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15692 KiB
[startup+3.10923 s]
/proc/loadavg: 2.05 2.03 2.05 3/201 28091
/proc/meminfo: memFree=26741696/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15788 CPUtime=3.09 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 6535 0 0 0 309 0 0 0 20 0 1 0 411637901 40095744 3947 33554432000 4194304 6210612 140729986232048 140729986230008 5037433 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3947 869 493 0 3094 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15788 KiB
[startup+6.30026 s]
/proc/loadavg: 2.13 2.04 2.05 3/201 28091
/proc/meminfo: memFree=26741740/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15788 CPUtime=6.28 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 8971 0 0 0 628 0 0 0 20 0 1 0 411637901 40095744 3947 33554432000 4194304 6210612 140729986232048 140729986230008 5038654 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3947 869 493 0 3094 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15788 KiB
[startup+12.7003 s]
/proc/loadavg: 2.12 2.04 2.05 3/201 28091
/proc/meminfo: memFree=26742272/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15788 CPUtime=12.68 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 11382 0 0 0 1268 0 0 0 20 0 1 0 411637901 40095744 3947 33554432000 4194304 6210612 140729986232048 140729986230008 5037490 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3947 869 493 0 3094 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15788 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 2.06 2.06 3/201 28091
/proc/meminfo: memFree=26742248/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15788 CPUtime=25.48 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 14628 0 0 0 2547 1 0 0 20 0 1 0 411637901 40095744 3947 33554432000 4194304 6210612 140729986232048 140729986230008 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3947 869 493 0 3094 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15788 KiB
[startup+51.1091 s]
/proc/loadavg: 2.10 2.05 2.05 3/201 28094
/proc/meminfo: memFree=26742512/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15788 CPUtime=51.09 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 15058 0 0 0 5108 1 0 0 20 0 1 0 411637901 40095744 3947 33554432000 4194304 6210612 140729986232048 140729986230008 5038661 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3947 869 493 0 3094 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15788 KiB
[startup+102.3 s]
/proc/loadavg: 2.20 2.08 2.06 3/201 28098
/proc/meminfo: memFree=26742724/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39156 memory=15788 CPUtime=102.27 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 15493 0 0 0 10226 1 0 0 20 0 1 0 411637901 40095744 3947 33554432000 4194304 6210612 140729986232048 140729986230008 5038810 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9789 3947 869 493 0 3094 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 15788 KiB
[startup+162.3 s]
/proc/loadavg: 2.42 2.18 2.10 3/201 28102
/proc/meminfo: memFree=26742752/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39288 memory=15888 CPUtime=162.27 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 16006 0 0 0 16226 1 0 0 20 0 1 0 411637901 40230912 3972 33554432000 4194304 6210612 140729986232048 140729986230008 5397066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9822 3972 869 493 0 3127 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15888 KiB
[startup+222.3 s]
/proc/loadavg: 2.15 2.15 2.09 3/202 28108
/proc/meminfo: memFree=26742172/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39288 memory=15888 CPUtime=222.27 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 16464 0 0 0 22226 1 0 0 20 0 1 0 411637901 40230912 3972 33554432000 4194304 6210612 140729986232048 140729986230008 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9822 3972 869 493 0 3127 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15888 KiB
[startup+282.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/199 28113
/proc/meminfo: memFree=26742520/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39288 memory=15888 CPUtime=282.26 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 16925 0 0 0 28225 1 0 0 20 0 1 0 411637901 40230912 3972 33554432000 4194304 6210612 140729986232048 140729986230008 5038398 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9822 3972 869 493 0 3127 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15888 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/199 28117
/proc/meminfo: memFree=26741444/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39288 memory=15888 CPUtime=342.26 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 17379 0 0 0 34225 1 0 0 20 0 1 0 411637901 40230912 3972 33554432000 4194304 6210612 140729986232048 140729986230008 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9822 3972 869 493 0 3127 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15888 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/200 28123
/proc/meminfo: memFree=26741628/32770624 swapFree=66927208/67108860
[pid=28090] ppid=28087 vsize=39288 memory=15888 CPUtime=402.25 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 17833 0 0 0 40224 1 0 0 20 0 1 0 411637901 40230912 3972 33554432000 4194304 6210612 140729986232048 140729986230008 5038932 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9822 3972 869 493 0 3127 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15888 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 28128
/proc/meminfo: memFree=26741444/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=39288 memory=15888 CPUtime=462.24 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 18288 0 0 0 46223 1 0 0 20 0 1 0 411637901 40230912 3972 33554432000 4194304 6210612 140729986232048 140729986230008 5038764 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 9822 3972 869 493 0 3127 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 39288 KiB
Current children cumulated memory: 15888 KiB
################
# More data... #
################
Current children cumulated memory: 16844 KiB
[startup+582.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/201 28146
/proc/meminfo: memFree=26740208/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17196 CPUtime=582.23 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 19342 0 0 0 58222 1 0 0 20 0 1 0 411637901 41582592 4299 33554432000 4194304 6210612 140729986232048 140729986229448 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4299 869 493 0 3457 0
Current children cumulated CPU time: 582.23 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17196 KiB
[startup+642.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/201 28173
/proc/meminfo: memFree=26739788/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=642.23 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 19638 0 0 0 64222 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 642.23 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+702.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 28177
/proc/meminfo: memFree=26739984/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=702.22 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 19938 0 0 0 70221 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5038420 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 702.22 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/202 28183
/proc/meminfo: memFree=26739484/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=762.22 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 20238 0 0 0 76221 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5038369 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 762.22 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 28187
/proc/meminfo: memFree=26739752/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=822.21 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 20529 0 0 0 82220 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5397063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 822.21 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 28191
/proc/meminfo: memFree=26739788/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=882.21 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 20829 0 0 0 88220 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 882.21 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 28197
/proc/meminfo: memFree=26739816/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=942.21 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 21120 0 0 0 94220 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5034952 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 942.21 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+1000.05 s]
# the end of solver process 28090 was just reported to runsolver
# cumulated CPU time of all completed processes: user=999.941 s, system=0.016998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+972.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28198
/proc/meminfo: memFree=26739816/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=972.7 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 21407 0 0 0 97269 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5397075 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 972.7 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+985.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28200
/proc/meminfo: memFree=26740336/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=985.5 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 21407 0 0 0 98549 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5409289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 985.5 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+992 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28200
/proc/meminfo: memFree=26740412/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=991.91 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 21411 0 0 0 99190 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5038802 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 991.91 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+995.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28200
/proc/meminfo: memFree=26740412/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=995.1 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 21411 0 0 0 99509 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5409264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 995.1 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+998.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28200
/proc/meminfo: memFree=26740412/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=998.3 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 21411 0 0 0 99829 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 998.3 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+999.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28200
/proc/meminfo: memFree=26740412/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=999.1 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 21411 0 0 0 99909 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5038781 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 999.1 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+999.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 28200
/proc/meminfo: memFree=26740412/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=999.5 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 21411 0 0 0 99949 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5397066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 999.5 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
[startup+1000 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 28200
/proc/meminfo: memFree=26740412/32770624 swapFree=66927212/67108860
[pid=28090] ppid=28087 vsize=40608 memory=17240 CPUtime=999.91 cores=1,3,5,7
/proc/28090/stat : 28090 (cosoco) R 28087 28090 21907 0 -1 4202496 21420 0 0 0 99990 1 0 0 20 0 1 0 411637901 41582592 4310 33554432000 4194304 6210612 140729986232048 140729986230008 5098888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 39612416 140729986237451 140729986237553 140729986237553 140729986240462 0
/proc/28090/statm: 10152 4310 869 493 0 3457 0
Current children cumulated CPU time: 999.91 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 17240 KiB
Child status: 0
Real time (s): 1000.05
CPU time (s): 999.958
CPU user time (s): 999.941
CPU system time (s): 0.016998
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 40608
Max. memory (cumulated for all children) (KiB): 17240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 999.941
system time used= 0.016998
maximum resident set size= 19576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22027
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= 288
# summary of solver processes directly reported to runsolver:
# pid: 28090
# total CPU time (s): 999.958
# total CPU user time (s): 999.941
# total CPU system time (s): 0.016998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.67454 second user time and 6.38802 second system time
The end
Begin job on node137 at 2019-09-13 07:51:03 IDJOB=4390051 IDBENCH=139771 IDSOLVER=2830 FILE ID=node137/4390051-1568353905 RUNJOBID= node137-1568323498-21939 PBS_JOBID= 21701145 Free space on /tmp= 61232 MiB SOLVER NAME= cosoco 2 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-4390051-1568353905/watcher-4390051-1568353905 -o /tmp/evaluation-result-4390051-1568353905/solver-4390051-1568353905 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390051-1568353905.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 184e4a42ac40b5c8b3b859f3d89928ae RANDOM SEED=1624055375 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26754184 kB MemAvailable: 31803268 kB Buffers: 147152 kB Cached: 5166884 kB SwapCached: 77600 kB Active: 1365552 kB Inactive: 4030232 kB Active(anon): 5472 kB Inactive(anon): 117616 kB Active(file): 1360080 kB Inactive(file): 3912616 kB Unevictable: 108716 kB Mlocked: 108716 kB SwapTotal: 67108860 kB SwapFree: 66927208 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 126232 kB Mapped: 45596 kB Shmem: 32720 kB Slab: 213716 kB SReclaimable: 184448 kB SUnreclaim: 29268 kB KernelStack: 3792 kB PageTables: 5256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 528180 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61232 MiB End job on node137 at 2019-09-13 08:07:43