Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | SAT | 1008.33 | 1008.35 |
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-4397331-1568589596.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.10/0.15 c 101 847 109590 104706 0 0 629 639 626 0.21/0.29 c 211 2053 210675 317178 0 0 39 144 90 0.31/0.39 c 332 3806 294149 435565 0 0 42 107 63 0.51/0.53 c 465 5287 389273 621958 0 0 78 178 123 0.69/0.75 c 611 5856 541547 951920 0 0 101 110 104 0.89/0.91 c 771 6404 663414 1209775 0 0 118 132 126 1.00/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.10/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 4.00/4.09 c 4000 26232 2705801 5671853 0 0 129 145 137 4.39/4.43 c 4493 29559 3053707 6106134 0 0 121 139 133 5.00/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.76 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.43 c 11838 83270 8067279 17118163 0 0 80 92 88 13.69/13.78 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.89/25.91 c 26388 164608 16284418 35873822 0 0 79 108 99 28.69/28.75 c 29113 177292 17782589 39917873 0 0 74 101 90 31.49/31.54 c 32110 192628 19832210 43703823 0 0 75 95 89 34.59/34.67 c 35406 207970 21664813 48011143 0 0 75 102 89 37.29/37.37 c 39031 221522 22969537 51717241 0 0 70 100 89 41.00/41.01 c 43018 245103 25803145 56531267 0 0 64 90 79 45.19/45.25 c 47403 268495 28727901 62553727 0 0 65 91 77 49.19/49.21 c 52226 289220 31816770 68047403 0 0 61 88 74 54.39/54.42 c 57531 313988 35357323 75641978 0 0 68 103 80 60.49/60.54 c 63366 341965 39066417 84006681 0 0 70 102 82 67.00/67.08 c 69784 370350 42915791 93875271 0 0 69 103 85 73.39/73.43 c 76843 400915 46492953 102885912 0 0 71 104 86 79.88/80.00 c 84607 437245 52292954 112411912 0 0 67 85 78 87.99/88.05 c 93147 472350 57131873 124554524 0 0 59 89 73 96.38/96.41 c 102541 510055 62027128 137651318 0 0 60 91 75 105.28/105.38 c 112874 553118 69073207 151864928 0 0 55 79 69 111.78/111.85 c 124240 634125 72878624 162440845 0 0 64 199 124 118.88/118.97 c 136742 707928 76831513 174073052 0 0 69 138 106 132.88/132.91 c 150494 1079037 100633585 194234657 0 0 83 367 280 144.48/144.57 c 165621 1147409 109649472 214520953 0 0 64 98 84 156.58/156.70 c 182260 1285286 119301171 232814480 0 0 64 145 101 170.28/170.34 c 200562 1478231 129546003 253320057 0 0 58 143 108 189.99/190.08 c 220694 1592437 144857986 284871709 0 0 68 94 82 208.68/208.73 c 242839 1782513 159593989 313471666 0 0 62 143 97 232.68/232.72 c 267198 1914851 177027552 349248814 0 0 62 93 81 258.88/258.92 c 293992 2063877 197093532 389727255 0 0 59 90 78 280.78/280.89 c 323465 2298888 213834196 420314856 0 0 58 152 89 308.09/308.11 c 355885 2429771 231387277 465018441 0 0 57 94 77 335.88/335.98 c 391547 2594754 257074063 510378462 0 0 57 84 74 363.48/363.53 c 430775 2745022 267420090 552775870 0 0 63 100 90 392.48/392.54 c 473925 2958156 284774791 594292869 0 0 65 107 88 430.67/430.73 c 521390 3171476 307376673 652042523 0 0 60 103 85 471.27/471.30 c 573601 3411850 337555303 717138895 0 0 54 91 73 515.99/516.05 c 631033 3680591 377232890 787689556 0 0 57 81 70 593.88/594.00 c 694208 7443711 482945773 861676957 0 0 65 692 466 624.38/624.44 c 763700 7888619 503156825 917060487 0 0 72 171 134 667.18/667.24 c 840141 8473168 526855879 985601824 0 0 69 155 117 729.18/729.24 c 924226 10900215 606832997 1065886823 0 0 81 657 333 846.38/846.49 c 1016719 16240384 760498988 1183134306 0 0 100 652 504 1008.08/1008.17 c 1118461 22832614 961804063 1334868493 0 0 81 615 406 1008.27/1008.34 c First solution is found 1008.27/1008.34 s SATISFIABLE 1008.27/1008.34 c restarts : 74 1008.27/1008.34 c conflicts : 1118560 (1109 /sec) 1008.27/1008.34 c decisions : 22841407 (22653 /sec) 1008.27/1008.34 c propagations : 1334998863 (1323993 /sec) 1008.27/1008.34 c root propagations : 0 1008.27/1008.34 c filter calls : 962005685 (954075 /sec) 1008.27/1008.34 c useless filter calls : 679284380 (70 %) 1008.27/1008.34 c Memory used : 41.86 MB 1008.27/1008.34 c CPU time : 1008.31 s 1008.27/1008.34 c real time : 1008.34 s 1008.27/1008.34 1008.27/1008.34 c solution 1 1008.27/1008.34 1008.27/1008.34 v <instantiation type='solution'> 1008.27/1008.34 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> 1008.27/1008.34 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> 1008.27/1008.34 v </instantiation> 1008.27/1008.34
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 (10779 MiB free) memory of node 1: 16384 MiB (13196 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397331-1568589596/watcher-4397331-1568589596 -o /tmp/evaluation-result-4397331-1568589596/solver-4397331-1568589596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568572743-24738 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397331-1568589596.xml running on 4 cores: 0,2,4,6 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=28423, runsolver pid=28420 Current StackSize limit: 8192 KiB [startup+0.1002 s]* /proc/loadavg: 1.93 2.01 2.04 3/200 28424 /proc/meminfo: memFree=24538672/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15696 CPUtime=0.1 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 4113 0 0 0 10 0 0 0 20 0 1 0 434896971 40095744 3924 33554432000 4194304 6211092 140728973671968 140728973668504 5039026 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9789 3924 873 493 0 3094 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 39156 KiB Current children cumulated memory: 15696 KiB [startup+0.209845 s]* /proc/loadavg: 1.93 2.01 2.04 3/200 28424 /proc/meminfo: memFree=24538672/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15696 CPUtime=0.21 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 4115 0 0 0 21 0 0 0 20 0 1 0 434896971 40095744 3924 33554432000 4194304 6211092 140728973671968 140728973668504 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9789 3924 873 493 0 3094 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 39156 KiB Current children cumulated memory: 15696 KiB [startup+0.3092 s]* /proc/loadavg: 1.93 2.01 2.04 3/200 28424 /proc/meminfo: memFree=24538672/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15696 CPUtime=0.31 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 4115 0 0 0 31 0 0 0 20 0 1 0 434896971 40095744 3924 33554432000 4194304 6211092 140728973671968 140728973668504 5039026 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9789 3924 873 493 0 3094 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 39156 KiB Current children cumulated memory: 15696 KiB [startup+0.700348 s] /proc/loadavg: 1.93 2.01 2.04 3/200 28424 /proc/meminfo: memFree=24538672/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15696 CPUtime=0.69 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 4115 0 0 0 69 0 0 0 20 0 1 0 434896971 40095744 3924 33554432000 4194304 6211092 140728973671968 140728973668504 5039022 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/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.50033 s] /proc/loadavg: 1.93 2.01 2.04 3/200 28424 /proc/meminfo: memFree=24538672/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15696 CPUtime=1.49 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 4115 0 0 0 149 0 0 0 20 0 1 0 434896971 40095744 3924 33554432000 4194304 6211092 140728973671968 140728973668504 5037823 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/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.10925 s] /proc/loadavg: 1.93 2.01 2.04 3/200 28424 /proc/meminfo: memFree=24538704/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15812 CPUtime=3.1 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 6541 0 0 0 310 0 0 0 20 0 1 0 434896971 40095744 3953 33554432000 4194304 6211092 140728973671968 140728973669928 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9789 3953 875 493 0 3094 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 39156 KiB Current children cumulated memory: 15812 KiB [startup+6.30033 s] /proc/loadavg: 1.94 2.01 2.04 3/200 28424 /proc/meminfo: memFree=24538544/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15812 CPUtime=6.29 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 8977 0 0 0 629 0 0 0 20 0 1 0 434896971 40095744 3953 33554432000 4194304 6211092 140728973671968 140728973669928 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/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: 1.95 2.01 2.04 3/199 28424 /proc/meminfo: memFree=24538376/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15812 CPUtime=12.69 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 11388 0 0 0 1269 0 0 0 20 0 1 0 434896971 40095744 3953 33554432000 4194304 6211092 140728973671968 140728973669928 5039193 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/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: 1.96 2.01 2.04 3/199 28424 /proc/meminfo: memFree=24538036/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15812 CPUtime=25.49 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 16066 0 0 0 2549 0 0 0 20 0 1 0 434896971 40095744 3953 33554432000 4194304 6211092 140728973671968 140728973669928 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/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.1093 s] /proc/loadavg: 1.97 2.01 2.04 3/199 28434 /proc/meminfo: memFree=24536848/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15812 CPUtime=51.1 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 18404 0 0 0 5110 0 0 0 20 0 1 0 434896971 40095744 3953 33554432000 4194304 6211092 140728973671968 140728973669928 5078951 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9789 3953 875 493 0 3094 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 39156 KiB Current children cumulated memory: 15812 KiB [startup+102.3 s] /proc/loadavg: 1.99 2.01 2.04 3/199 28438 /proc/meminfo: memFree=24536844/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39156 memory=15844 CPUtime=102.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 20752 0 0 0 10228 0 0 0 20 0 1 0 434896971 40095744 3961 33554432000 4194304 6211092 140728973671968 140728973669928 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9789 3961 875 493 0 3094 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 39156 KiB Current children cumulated memory: 15844 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 28442 /proc/meminfo: memFree=24537620/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39288 memory=15844 CPUtime=162.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 21273 0 0 0 16228 0 0 0 20 0 1 0 434896971 40230912 3961 33554432000 4194304 6211092 140728973671968 140728973669928 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9822 3961 875 493 0 3127 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 39288 KiB Current children cumulated memory: 15844 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 28446 /proc/meminfo: memFree=24537784/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39288 memory=15944 CPUtime=222.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 21752 0 0 0 22228 0 0 0 20 0 1 0 434896971 40230912 3986 33554432000 4194304 6211092 140728973671968 140728973669928 5039029 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9822 3986 875 493 0 3127 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 39288 KiB Current children cumulated memory: 15944 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 28452 /proc/meminfo: memFree=24537200/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39288 memory=15944 CPUtime=282.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 22239 0 0 0 28228 0 0 0 20 0 1 0 434896971 40230912 3986 33554432000 4194304 6211092 140728973671968 140728973669928 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9822 3986 875 493 0 3127 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 39288 KiB Current children cumulated memory: 15944 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 28456 /proc/meminfo: memFree=24536420/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39288 memory=15944 CPUtime=342.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 22712 0 0 0 34228 0 0 0 20 0 1 0 434896971 40230912 3986 33554432000 4194304 6211092 140728973671968 140728973669928 5079018 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9822 3986 875 493 0 3127 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 39288 KiB Current children cumulated memory: 15944 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 28461 /proc/meminfo: memFree=24536648/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39288 memory=15944 CPUtime=402.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 23187 0 0 0 40228 0 0 0 20 0 1 0 434896971 40230912 3986 33554432000 4194304 6211092 140728973671968 140728973669928 5039038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9822 3986 875 493 0 3127 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 39288 KiB Current children cumulated memory: 15944 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.04 3/199 28467 /proc/meminfo: memFree=24536796/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39288 memory=15944 CPUtime=462.27 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 23661 0 0 0 46227 0 0 0 20 0 1 0 434896971 40230912 3986 33554432000 4194304 6211092 140728973671968 140728973669928 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9822 3986 875 493 0 3127 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 39288 KiB Current children cumulated memory: 15944 KiB [startup+522.3 s] /proc/loadavg: 2.47 2.12 2.08 3/199 28471 /proc/meminfo: memFree=24535740/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=39684 memory=16168 CPUtime=522.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 24271 0 0 0 52227 1 0 0 20 0 1 0 434896971 40636416 4042 33554432000 4194304 6211092 140728973671968 140728973669496 5394464 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 9921 4042 875 493 0 3226 0 Current children cumulated CPU time: 522.28 s Current children cumulated vsize: 39684 KiB Current children cumulated memory: 16168 KiB [startup+582.3 s] /proc/loadavg: 2.39 2.18 2.10 3/199 28476 /proc/meminfo: memFree=24534580/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17236 CPUtime=582.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 25236 0 0 0 58227 1 0 0 20 0 1 0 434896971 41582592 4309 33554432000 4194304 6211092 140728973671968 140728973669368 5099201 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4309 875 493 0 3457 0 Current children cumulated CPU time: 582.28 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17236 KiB [startup+642.3 s] /proc/loadavg: 2.14 2.15 2.10 3/199 28482 /proc/meminfo: memFree=24534820/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=642.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 25937 0 0 0 64227 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5039026 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 642.28 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+702.3 s] /proc/loadavg: 2.05 2.12 2.09 3/199 28493 /proc/meminfo: memFree=24535092/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=702.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 26264 0 0 0 70227 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5099197 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 702.28 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+762.3 s] /proc/loadavg: 2.02 2.10 2.08 3/199 28497 /proc/meminfo: memFree=24535108/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=762.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 26589 0 0 0 76227 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5396409 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 762.28 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+822.3 s] /proc/loadavg: 2.01 2.08 2.08 3/199 28503 /proc/meminfo: memFree=24535040/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=822.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 26905 0 0 0 82227 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 822.28 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+882.3 s] /proc/loadavg: 2.00 2.07 2.07 3/199 28507 /proc/meminfo: memFree=24534540/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=882.28 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 27230 0 0 0 88227 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 882.28 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+942.3 s] /proc/loadavg: 2.00 2.06 2.07 3/199 28511 /proc/meminfo: memFree=24534448/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=942.27 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 27542 0 0 0 94226 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5039029 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 942.27 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+1002.3 s] /proc/loadavg: 2.00 2.04 2.06 3/199 28517 /proc/meminfo: memFree=24533968/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=1002.27 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 27862 0 0 0 100226 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5409465 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 1002.27 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+1008.35 s] # the end of solver process 28423 was just reported to runsolver # cumulated CPU time of all completed processes: user=1008.31 s, system=0.013999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1004.8 s] /proc/loadavg: 2.00 2.04 2.06 3/199 28517 /proc/meminfo: memFree=24533960/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=1004.77 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 27862 0 0 0 100476 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5409444 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 1004.77 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+1006.4 s] /proc/loadavg: 2.00 2.04 2.06 3/199 28517 /proc/meminfo: memFree=24533968/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=1006.37 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 27862 0 0 0 100636 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5079258 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 1006.37 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+1007.2 s] /proc/loadavg: 2.00 2.04 2.06 3/199 28517 /proc/meminfo: memFree=24533968/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=1007.17 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 27862 0 0 0 100716 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5035320 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 1007.17 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+1008 s]* /proc/loadavg: 2.00 2.04 2.06 3/199 28517 /proc/meminfo: memFree=24534000/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=1007.98 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 27862 0 0 0 100797 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5397226 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 1007.98 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+1008.2 s] /proc/loadavg: 2.00 2.04 2.06 3/199 28517 /proc/meminfo: memFree=24534000/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=1008.17 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 27871 0 0 0 100816 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5409465 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 1008.17 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB [startup+1008.3 s] /proc/loadavg: 2.00 2.04 2.06 3/199 28517 /proc/meminfo: memFree=24534000/32770624 swapFree=67108848/67108860 [pid=28423] ppid=28420 vsize=40608 memory=17296 CPUtime=1008.27 cores=0,2,4,6 /proc/28423/stat : 28423 (cosoco) R 28420 28423 24707 0 -1 4202496 27871 0 0 0 100826 1 0 0 20 0 1 0 434896971 41582592 4324 33554432000 4194304 6211092 140728973671968 140728973669928 5193696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37711872 140728973677579 140728973677681 140728973677681 140728973680590 0 /proc/28423/statm: 10152 4324 875 493 0 3457 0 Current children cumulated CPU time: 1008.27 s Current children cumulated vsize: 40608 KiB Current children cumulated memory: 17296 KiB Child status: 0 Real time (s): 1008.35 CPU time (s): 1008.33 CPU user time (s): 1008.31 CPU system time (s): 0.013999 CPU usage (%): 99.9981 Max. virtual memory (cumulated for all children) (KiB): 40608 Max. memory (cumulated for all children) (KiB): 17296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1008.31 system time used= 0.013999 maximum resident set size= 19628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28476 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 21 involuntary context switches= 287 # summary of solver processes directly reported to runsolver: # pid: 28423 # total CPU time (s): 1008.33 # total CPU user time (s): 1008.31 # total CPU system time (s): 0.013999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 3.545 second user time and 6.82323 second system time The end
Begin job on node143 at 2019-09-16 01:19:15 IDJOB=4397331 IDBENCH=139771 IDSOLVER=2849 FILE ID=node143/4397331-1568589596 RUNJOBID= node143-1568572743-24738 PBS_JOBID= 21703313 Free space on /tmp= 59272 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-4397331-1568589596/watcher-4397331-1568589596 -o /tmp/evaluation-result-4397331-1568589596/solver-4397331-1568589596 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568572743-24738 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397331-1568589596.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 184e4a42ac40b5c8b3b859f3d89928ae RANDOM SEED=2113842222 node143.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.73 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.73 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.73 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.73 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: 24551508 kB MemAvailable: 31721852 kB Buffers: 215592 kB Cached: 7251720 kB SwapCached: 8 kB Active: 2212088 kB Inactive: 5336820 kB Active(anon): 35008 kB Inactive(anon): 154152 kB Active(file): 2177080 kB Inactive(file): 5182668 kB Unevictable: 106640 kB Mlocked: 106640 kB SwapTotal: 67108860 kB SwapFree: 67108848 kB Dirty: 2852 kB Writeback: 0 kB AnonPages: 188228 kB Mapped: 53176 kB Shmem: 98948 kB Slab: 268392 kB SReclaimable: 239056 kB SUnreclaim: 29336 kB KernelStack: 3488 kB PageTables: 5648 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 566520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 59268 MiB End job on node143 at 2019-09-16 01:36:03