| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | ? (TO) | 3600.09 | 3612.61 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb |
| MD5SUM | b48e8711e48bf421c56e401ff58b5422 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 248 |
| Best CPU time to get the best result obtained on this benchmark | 3600.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7089 |
| Total number of constraints | 13888 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13888 |
| Minimum length of a constraint | 18 |
| Maximum length of a constraint | 37 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 512 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2621 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.10/0.17 c #variables 7089 #constraints 13888 6.46/6.57 c bounds - >= 0 @ 0.157777 6.46/6.57 c #Conflicts: 1000 | #Constraints: 14887 6.46/6.57 c #Conflicts: 2000 | #Constraints: 15887 6.46/6.57 c INPROCESSING 6.46/6.57 c bounds - >= 8 @ 2.59944 6.46/6.57 c bounds - >= 16 @ 2.60154 6.46/6.57 c bounds - >= 17 @ 2.60596 6.46/6.57 c bounds - >= 18 @ 2.61297 6.46/6.57 c bounds - >= 19 @ 2.61389 6.46/6.57 c bounds - >= 20 @ 2.6176 6.46/6.57 c bounds - >= 21 @ 2.61912 6.46/6.57 c bounds - >= 22 @ 2.63053 6.46/6.57 c bounds - >= 23 @ 2.63512 6.46/6.57 c bounds - >= 24 @ 2.64986 6.46/6.57 c bounds - >= 25 @ 2.66035 6.46/6.57 c bounds - >= 26 @ 2.67718 6.46/6.57 c bounds - >= 27 @ 2.68929 6.46/6.57 c bounds - >= 28 @ 2.71269 6.46/6.57 c bounds - >= 29 @ 2.72603 6.46/6.57 c bounds - >= 30 @ 2.86041 6.46/6.57 c bounds - >= 31 @ 2.89933 6.46/6.57 c bounds - >= 32 @ 3.00907 6.46/6.57 c bounds - >= 33 @ 3.10078 6.46/6.57 c #Conflicts: 3000 | #Constraints: 16023 6.46/6.57 c bounds - >= 34 @ 3.40714 6.46/6.57 c bounds - >= 35 @ 3.50531 6.46/6.57 c #Conflicts: 4000 | #Constraints: 17038 6.46/6.57 c bounds - >= 36 @ 3.86196 6.46/6.57 c INPROCESSING 6.46/6.57 c #Conflicts: 5000 | #Constraints: 16451 6.46/6.57 c #Conflicts: 6000 | #Constraints: 17451 6.46/6.57 c INPROCESSING 6.46/6.57 c GARBAGE COLLECT 6.46/6.57 c rational objective 36 11.07/11.12 c bounds - >= 37 @ 6.73198 11.07/11.12 c #Conflicts: 7000 | #Constraints: 16465 11.07/11.12 c bounds - >= 38 @ 7.27282 11.07/11.12 c #Conflicts: 8000 | #Constraints: 17474 11.07/11.12 c bounds - >= 39 @ 8.28906 11.07/11.12 c #Conflicts: 9000 | #Constraints: 18483 11.07/11.12 c INPROCESSING 11.07/11.12 c bounds - >= 40 @ 9.23824 11.07/11.12 c #Conflicts: 10000 | #Constraints: 17197 11.07/11.12 c #Conflicts: 11000 | #Constraints: 18197 11.07/11.12 c #Conflicts: 12000 | #Constraints: 19197 11.07/11.12 c INPROCESSING 11.07/11.12 c GARBAGE COLLECT 11.07/11.12 c rational objective 40 19.04/19.17 c #Conflicts: 13000 | #Constraints: 17651 19.04/19.17 c bounds - >= 41 @ 12.1066 19.04/19.17 c #Conflicts: 14000 | #Constraints: 18663 19.04/19.17 c #Conflicts: 15000 | #Constraints: 19663 19.04/19.17 c #Conflicts: 16000 | #Constraints: 20663 19.04/19.17 c #Conflicts: 17000 | #Constraints: 21663 19.04/19.17 c #Conflicts: 18000 | #Constraints: 22663 19.04/19.17 c #Conflicts: 19000 | #Constraints: 23663 19.04/19.17 c #Conflicts: 20000 | #Constraints: 24663 19.04/19.17 c INPROCESSING 19.04/19.17 c GARBAGE COLLECT 19.04/19.17 c rational objective 41 24.82/24.96 c #Conflicts: 21000 | #Constraints: 20221 24.82/24.96 c #Conflicts: 22000 | #Constraints: 21221 24.82/24.96 c bounds - >= 42 @ 21.481 24.82/24.96 c #Conflicts: 23000 | #Constraints: 22233 24.82/24.96 c #Conflicts: 24000 | #Constraints: 23233 24.82/24.96 c INPROCESSING 24.82/24.96 c rational objective 42 29.01/29.18 c #Conflicts: 25000 | #Constraints: 19450 29.01/29.18 c #Conflicts: 26000 | #Constraints: 20450 29.01/29.18 c #Conflicts: 27000 | #Constraints: 21450 29.01/29.18 c #Conflicts: 28000 | #Constraints: 22450 29.01/29.18 c INPROCESSING 29.01/29.18 c GARBAGE COLLECT 29.01/29.18 c rational objective 42 45.95/46.13 c #Conflicts: 29000 | #Constraints: 18907 45.95/46.13 c #Conflicts: 30000 | #Constraints: 19907 45.95/46.13 c bounds - >= 43 @ 30.5931 45.95/46.13 c #Conflicts: 31000 | #Constraints: 20916 45.95/46.13 c #Conflicts: 32000 | #Constraints: 21916 45.95/46.13 c #Conflicts: 33000 | #Constraints: 22916 45.95/46.13 c bounds - >= 44 @ 36.4478 45.95/46.13 c #Conflicts: 34000 | #Constraints: 23922 45.95/46.13 c #Conflicts: 35000 | #Constraints: 24922 45.95/46.13 c #Conflicts: 36000 | #Constraints: 25922 45.95/46.13 c #Conflicts: 37000 | #Constraints: 26922 45.95/46.13 c #Conflicts: 38000 | #Constraints: 27922 45.95/46.13 c #Conflicts: 39000 | #Constraints: 28922 45.95/46.13 c #Conflicts: 40000 | #Constraints: 29922 45.95/46.13 c #Conflicts: 41000 | #Constraints: 30922 45.95/46.13 c INPROCESSING 45.95/46.13 c GARBAGE COLLECT 45.95/46.13 c rational objective 44 55.20/55.48 c #Conflicts: 42000 | #Constraints: 23382 55.20/55.48 c #Conflicts: 43000 | #Constraints: 24382 55.20/55.48 c #Conflicts: 44000 | #Constraints: 25382 55.20/55.48 c bounds - >= 45 @ 51.1024 55.20/55.48 c #Conflicts: 45000 | #Constraints: 26394 55.20/55.48 c #Conflicts: 46000 | #Constraints: 27394 55.20/55.48 c #Conflicts: 47000 | #Constraints: 28394 55.20/55.48 c INPROCESSING 55.20/55.48 c GARBAGE COLLECT 55.20/55.48 c rational objective 45 81.01/81.38 c #Conflicts: 48000 | #Constraints: 22326 81.01/81.38 c #Conflicts: 49000 | #Constraints: 23326 81.01/81.38 c #Conflicts: 50000 | #Constraints: 24326 81.01/81.38 c #Conflicts: 51000 | #Constraints: 25326 81.01/81.38 c bounds - >= 46 @ 63.7492 81.01/81.38 c #Conflicts: 52000 | #Constraints: 26335 81.01/81.38 c #Conflicts: 53000 | #Constraints: 27335 81.01/81.38 c #Conflicts: 54000 | #Constraints: 28335 81.01/81.38 c #Conflicts: 55000 | #Constraints: 29335 81.01/81.38 c #Conflicts: 56000 | #Constraints: 30335 81.01/81.38 c #Conflicts: 57000 | #Constraints: 31335 81.01/81.38 c #Conflicts: 58000 | #Constraints: 32335 81.01/81.38 c #Conflicts: 59000 | #Constraints: 33335 81.01/81.38 c #Conflicts: 60000 | #Constraints: 34335 81.01/81.38 c #Conflicts: 61000 | #Constraints: 35335 81.01/81.38 c #Conflicts: 62000 | #Constraints: 36335 81.01/81.38 c INPROCESSING 81.01/81.38 c GARBAGE COLLECT 81.01/81.38 c rational objective 46 97.67/98.02 c #Conflicts: 63000 | #Constraints: 25968 97.67/98.02 c #Conflicts: 64000 | #Constraints: 26968 97.67/98.02 c #Conflicts: 65000 | #Constraints: 27968 97.67/98.02 c #Conflicts: 66000 | #Constraints: 28968 97.67/98.02 c bounds - >= 47 @ 91.7351 97.67/98.02 c #Conflicts: 67000 | #Constraints: 29977 97.67/98.02 c #Conflicts: 68000 | #Constraints: 30977 97.67/98.02 c #Conflicts: 69000 | #Constraints: 31977 97.67/98.02 c INPROCESSING 97.67/98.02 c GARBAGE COLLECT 97.67/98.02 c rational objective 47 151.68/152.23 c #Conflicts: 70000 | #Constraints: 23819 151.68/152.23 c #Conflicts: 71000 | #Constraints: 24819 151.68/152.23 c #Conflicts: 72000 | #Constraints: 25819 151.68/152.23 c #Conflicts: 73000 | #Constraints: 26819 151.68/152.23 c #Conflicts: 74000 | #Constraints: 27819 151.68/152.23 c #Conflicts: 75000 | #Constraints: 28819 151.68/152.23 c #Conflicts: 76000 | #Constraints: 29819 151.68/152.23 c #Conflicts: 77000 | #Constraints: 30819 151.68/152.23 c #Conflicts: 78000 | #Constraints: 31819 151.68/152.23 c #Conflicts: 79000 | #Constraints: 32819 151.68/152.23 c #Conflicts: 80000 | #Constraints: 33819 151.68/152.23 c bounds - >= 48 @ 138.312 151.68/152.23 c #Conflicts: 81000 | #Constraints: 34825 151.68/152.23 c #Conflicts: 82000 | #Constraints: 35825 151.68/152.23 c #Conflicts: 83000 | #Constraints: 36825 151.68/152.23 c #Conflicts: 84000 | #Constraints: 37825 151.68/152.23 c #Conflicts: 85000 | #Constraints: 38825 151.68/152.23 c #Conflicts: 86000 | #Constraints: 39825 151.68/152.23 c #Conflicts: 87000 | #Constraints: 40825 151.68/152.23 c #Conflicts: 88000 | #Constraints: 41825 151.68/152.23 c INPROCESSING 151.68/152.23 c GARBAGE COLLECT 151.68/152.23 c rational objective 48 192.05/192.72 c #Conflicts: 89000 | #Constraints: 28842 192.05/192.72 c #Conflicts: 90000 | #Constraints: 29842 192.05/192.72 c #Conflicts: 91000 | #Constraints: 30842 192.05/192.72 c #Conflicts: 92000 | #Constraints: 31842 192.05/192.72 c #Conflicts: 93000 | #Constraints: 32842 192.05/192.72 c #Conflicts: 94000 | #Constraints: 33842 192.05/192.72 c #Conflicts: 95000 | #Constraints: 34842 192.05/192.72 c #Conflicts: 96000 | #Constraints: 35842 192.05/192.72 c #Conflicts: 97000 | #Constraints: 36842 192.05/192.72 c #Conflicts: 98000 | #Constraints: 37842 192.05/192.72 c #Conflicts: 99000 | #Constraints: 38842 192.05/192.72 c #Conflicts: 100000 | #Constraints: 39842 192.05/192.72 c #Conflicts: 101000 | #Constraints: 40842 192.05/192.72 c #Conflicts: 102000 | #Constraints: 41842 192.05/192.72 c #Conflicts: 103000 | #Constraints: 42842 192.05/192.72 c #Conflicts: 104000 | #Constraints: 43842 192.05/192.72 c #Conflicts: 105000 | #Constraints: 44842 192.05/192.72 c #Conflicts: 106000 | #Constraints: 45842 192.05/192.72 c #Conflicts: 107000 | #Constraints: 46842 192.05/192.72 c #Conflicts: 108000 | #Constraints: 47842 192.05/192.72 c #Conflicts: 109000 | #Constraints: 48842 192.05/192.72 c INPROCESSING 192.05/192.72 c GARBAGE COLLECT 192.05/192.72 c rational objective 48 223.26/224.06 c #Conflicts: 110000 | #Constraints: 32523 223.26/224.06 c #Conflicts: 111000 | #Constraints: 33523 223.26/224.06 c #Conflicts: 112000 | #Constraints: 34523 223.26/224.06 c #Conflicts: 113000 | #Constraints: 35523 223.26/224.06 c bounds - >= 49 @ 211.029 223.26/224.06 c #Conflicts: 114000 | #Constraints: 36529 223.26/224.06 c #Conflicts: 115000 | #Constraints: 37529 223.26/224.06 c #Conflicts: 116000 | #Constraints: 38529 223.26/224.06 c #Conflicts: 117000 | #Constraints: 39529 223.26/224.06 c #Conflicts: 118000 | #Constraints: 40529 223.26/224.06 c INPROCESSING 223.26/224.06 c GARBAGE COLLECT 223.26/224.06 c rational objective 49 301.58/302.66 c #Conflicts: 119000 | #Constraints: 28190 301.58/302.66 c #Conflicts: 120000 | #Constraints: 29190 301.58/302.66 c #Conflicts: 121000 | #Constraints: 30190 301.58/302.66 c #Conflicts: 122000 | #Constraints: 31190 301.58/302.66 c #Conflicts: 123000 | #Constraints: 32190 301.58/302.66 c #Conflicts: 124000 | #Constraints: 33190 301.58/302.66 c #Conflicts: 125000 | #Constraints: 34190 301.58/302.66 c #Conflicts: 126000 | #Constraints: 35190 301.58/302.66 c #Conflicts: 127000 | #Constraints: 36190 301.58/302.66 c bounds - >= 50 @ 259.181 301.58/302.66 c #Conflicts: 128000 | #Constraints: 37196 301.58/302.66 c #Conflicts: 129000 | #Constraints: 38196 301.58/302.66 c #Conflicts: 130000 | #Constraints: 39196 301.58/302.66 c #Conflicts: 131000 | #Constraints: 40196 301.58/302.66 c #Conflicts: 132000 | #Constraints: 41196 301.58/302.66 c #Conflicts: 133000 | #Constraints: 42196 301.58/302.66 c #Conflicts: 134000 | #Constraints: 43196 301.58/302.66 c #Conflicts: 135000 | #Constraints: 44196 301.58/302.66 c #Conflicts: 136000 | #Constraints: 45196 301.58/302.66 c #Conflicts: 137000 | #Constraints: 46196 301.58/302.66 c #Conflicts: 138000 | #Constraints: 47196 301.58/302.66 c #Conflicts: 139000 | #Constraints: 48196 301.58/302.66 c #Conflicts: 140000 | #Constraints: 49196 301.58/302.66 c #Conflicts: 141000 | #Constraints: 50196 301.58/302.66 c #Conflicts: 142000 | #Constraints: 51196 301.58/302.66 c INPROCESSING 301.58/302.66 c GARBAGE COLLECT 301.58/302.66 c rational objective 50 345.73/346.94 c #Conflicts: 143000 | #Constraints: 33601 345.73/346.94 c #Conflicts: 144000 | #Constraints: 34601 345.73/346.94 c #Conflicts: 145000 | #Constraints: 35601 345.73/346.94 c #Conflicts: 146000 | #Constraints: 36601 345.73/346.94 c #Conflicts: 147000 | #Constraints: 37601 345.73/346.94 c #Conflicts: 148000 | #Constraints: 38601 345.73/346.94 c bounds - >= 51 @ 332.782 345.73/346.94 c #Conflicts: 149000 | #Constraints: 39610 345.73/346.94 c #Conflicts: 150000 | #Constraints: 40610 345.73/346.94 c #Conflicts: 151000 | #Constraints: 41610 345.73/346.94 c #Conflicts: 152000 | #Constraints: 42610 345.73/346.94 c #Conflicts: 153000 | #Constraints: 43610 345.73/346.94 c INPROCESSING 345.73/346.94 c GARBAGE COLLECT 345.73/346.94 c rational objective 51 408.80/410.26 c #Conflicts: 154000 | #Constraints: 29975 408.80/410.26 c #Conflicts: 155000 | #Constraints: 30975 408.80/410.26 c #Conflicts: 156000 | #Constraints: 31975 408.80/410.26 c #Conflicts: 157000 | #Constraints: 32975 408.80/410.26 c #Conflicts: 158000 | #Constraints: 33975 408.80/410.26 c #Conflicts: 159000 | #Constraints: 34975 408.80/410.26 c #Conflicts: 160000 | #Constraints: 35975 408.80/410.26 c #Conflicts: 161000 | #Constraints: 36975 408.80/410.26 c #Conflicts: 162000 | #Constraints: 37975 408.80/410.26 c #Conflicts: 163000 | #Constraints: 38975 408.80/410.26 c #Conflicts: 164000 | #Constraints: 39975 408.80/410.26 c #Conflicts: 165000 | #Constraints: 40975 408.80/410.26 c #Conflicts: 166000 | #Constraints: 41975 408.80/410.26 c #Conflicts: 167000 | #Constraints: 42975 408.80/410.26 c #Conflicts: 168000 | #Constraints: 43975 408.80/410.26 c #Conflicts: 169000 | #Constraints: 44975 408.80/410.26 c #Conflicts: 170000 | #Constraints: 45975 408.80/410.26 c #Conflicts: 171000 | #Constraints: 46975 408.80/410.26 c #Conflicts: 172000 | #Constraints: 47975 408.80/410.26 c #Conflicts: 173000 | #Constraints: 48975 408.80/410.26 c #Conflicts: 174000 | #Constraints: 49975 408.80/410.26 c #Conflicts: 175000 | #Constraints: 50975 408.80/410.26 c #Conflicts: 176000 | #Constraints: 51975 408.80/410.26 c #Conflicts: 177000 | #Constraints: 52975 408.80/410.26 c #Conflicts: 178000 | #Constraints: 53975 408.80/410.26 c #Conflicts: 179000 | #Constraints: 54975 408.80/410.26 c #Conflicts: 180000 | #Constraints: 55975 408.80/410.26 c INPROCESSING 408.80/410.26 c GARBAGE COLLECT 408.80/410.26 c rational objective 51 474.89/476.53 c #Conflicts: 181000 | #Constraints: 36268 474.89/476.53 c #Conflicts: 182000 | #Constraints: 37268 474.89/476.53 c #Conflicts: 183000 | #Constraints: 38268 474.89/476.53 c #Conflicts: 184000 | #Constraints: 39268 474.89/476.53 c #Conflicts: 185000 | #Constraints: 40268 474.89/476.53 c #Conflicts: 186000 | #Constraints: 41268 474.89/476.53 c #Conflicts: 187000 | #Constraints: 42268 474.89/476.53 c #Conflicts: 188000 | #Constraints: 43268 474.89/476.53 c #Conflicts: 189000 | #Constraints: 44268 474.89/476.53 c #Conflicts: 190000 | #Constraints: 45268 474.89/476.53 c #Conflicts: 191000 | #Constraints: 46268 474.89/476.53 c INPROCESSING 474.89/476.53 c GARBAGE COLLECT 474.89/476.53 c rational objective 51 545.47/547.30 c #Conflicts: 192000 | #Constraints: 30831 545.47/547.30 c #Conflicts: 193000 | #Constraints: 31831 545.47/547.30 c #Conflicts: 194000 | #Constraints: 32831 545.47/547.30 c #Conflicts: 195000 | #Constraints: 33831 545.47/547.30 c #Conflicts: 196000 | #Constraints: 34831 545.47/547.30 c #Conflicts: 197000 | #Constraints: 35831 545.47/547.30 c #Conflicts: 198000 | #Constraints: 36831 545.47/547.30 c #Conflicts: 199000 | #Constraints: 37831 545.47/547.30 c #Conflicts: 200000 | #Constraints: 38831 545.47/547.30 c #Conflicts: 201000 | #Constraints: 39831 545.47/547.30 c #Conflicts: 202000 | #Constraints: 40831 545.47/547.30 c #Conflicts: 203000 | #Constraints: 41831 545.47/547.30 c #Conflicts: 204000 | #Constraints: 42831 545.47/547.30 c #Conflicts: 205000 | #Constraints: 43831 545.47/547.30 c #Conflicts: 206000 | #Constraints: 44831 545.47/547.30 c #Conflicts: 207000 | #Constraints: 45831 545.47/547.30 c #Conflicts: 208000 | #Constraints: 46831 545.47/547.30 c #Conflicts: 209000 | #Constraints: 47831 545.47/547.30 c #Conflicts: 210000 | #Constraints: 48831 545.47/547.30 c #Conflicts: 211000 | #Constraints: 49831 545.47/547.30 c #Conflicts: 212000 | #Constraints: 50831 545.47/547.30 c #Conflicts: 213000 | #Constraints: 51831 545.47/547.30 c #Conflicts: 214000 | #Constraints: 52831 545.47/547.30 c #Conflicts: 215000 | #Constraints: 53831 545.47/547.30 c #Conflicts: 216000 | #Constraints: 54831 545.47/547.30 c #Conflicts: 217000 | #Constraints: 55831 545.47/547.30 c #Conflicts: 218000 | #Constraints: 56831 545.47/547.30 c #Conflicts: 219000 | #Constraints: 57831 545.47/547.30 c #Conflicts: 220000 | #Constraints: 58831 545.47/547.30 c #Conflicts: 221000 | #Constraints: 59831 545.47/547.30 c #Conflicts: 222000 | #Constraints: 60831 545.47/547.30 c INPROCESSING 545.47/547.30 c GARBAGE COLLECT 545.47/547.30 c rational objective 51 625.03/627.17 c #Conflicts: 223000 | #Constraints: 38683 625.03/627.17 c #Conflicts: 224000 | #Constraints: 39683 625.03/627.17 c bounds - >= 52 @ 554.891 625.03/627.17 c #Conflicts: 225000 | #Constraints: 40689 625.03/627.17 c #Conflicts: 226000 | #Constraints: 41689 625.03/627.17 c #Conflicts: 227000 | #Constraints: 42689 625.03/627.17 c #Conflicts: 228000 | #Constraints: 43689 625.03/627.17 c #Conflicts: 229000 | #Constraints: 44689 625.03/627.17 c #Conflicts: 230000 | #Constraints: 45689 625.03/627.17 c #Conflicts: 231000 | #Constraints: 46689 625.03/627.17 c bounds - >= 53 @ 598.284 625.03/627.17 c #Conflicts: 232000 | #Constraints: 47698 625.03/627.17 c #Conflicts: 233000 | #Constraints: 48698 625.03/627.17 c #Conflicts: 234000 | #Constraints: 49698 625.03/627.17 c #Conflicts: 235000 | #Constraints: 50698 625.03/627.17 c INPROCESSING 625.03/627.17 c GARBAGE COLLECT 625.03/627.17 c rational objective 53 781.57/784.22 c #Conflicts: 236000 | #Constraints: 33940 781.57/784.22 c #Conflicts: 237000 | #Constraints: 34940 781.57/784.22 c #Conflicts: 238000 | #Constraints: 35940 781.57/784.22 c #Conflicts: 239000 | #Constraints: 36940 781.57/784.22 c #Conflicts: 240000 | #Constraints: 37940 781.57/784.22 c #Conflicts: 241000 | #Constraints: 38940 781.57/784.22 c #Conflicts: 242000 | #Constraints: 39940 781.57/784.22 c #Conflicts: 243000 | #Constraints: 40940 781.57/784.22 c #Conflicts: 244000 | #Constraints: 41940 781.57/784.22 c #Conflicts: 245000 | #Constraints: 42940 781.57/784.22 c #Conflicts: 246000 | #Constraints: 43940 781.57/784.22 c #Conflicts: 247000 | #Constraints: 44940 781.57/784.22 c #Conflicts: 248000 | #Constraints: 45940 781.57/784.22 c #Conflicts: 249000 | #Constraints: 46940 781.57/784.22 c #Conflicts: 250000 | #Constraints: 47940 781.57/784.22 c bounds - >= 54 @ 720.466 781.57/784.22 c #Conflicts: 251000 | #Constraints: 48949 781.57/784.22 c #Conflicts: 252000 | #Constraints: 49949 781.57/784.22 c #Conflicts: 253000 | #Constraints: 50949 781.57/784.22 c #Conflicts: 254000 | #Constraints: 51949 781.57/784.22 c #Conflicts: 255000 | #Constraints: 52949 781.57/784.22 c #Conflicts: 256000 | #Constraints: 53949 781.57/784.22 c #Conflicts: 257000 | #Constraints: 54949 781.57/784.22 c #Conflicts: 258000 | #Constraints: 55949 781.57/784.22 c #Conflicts: 259000 | #Constraints: 56949 781.57/784.22 c #Conflicts: 260000 | #Constraints: 57949 781.57/784.22 c #Conflicts: 261000 | #Constraints: 58949 781.57/784.22 c #Conflicts: 262000 | #Constraints: 59949 781.57/784.22 c #Conflicts: 263000 | #Constraints: 60949 781.57/784.22 c #Conflicts: 264000 | #Constraints: 61949 781.57/784.22 c #Conflicts: 265000 | #Constraints: 62949 781.57/784.22 c #Conflicts: 266000 | #Constraints: 63949 781.57/784.22 c #Conflicts: 267000 | #Constraints: 64949 781.57/784.22 c #Conflicts: 268000 | #Constraints: 65949 781.57/784.22 c INPROCESSING 781.57/784.22 c GARBAGE COLLECT 781.57/784.22 c rational objective 54 824.42/827.27 c #Conflicts: 269000 | #Constraints: 40970 824.42/827.27 c #Conflicts: 270000 | #Constraints: 41970 824.42/827.27 c #Conflicts: 271000 | #Constraints: 42970 824.42/827.27 c #Conflicts: 272000 | #Constraints: 43970 824.42/827.27 c #Conflicts: 273000 | #Constraints: 44970 824.42/827.27 c #Conflicts: 274000 | #Constraints: 45970 824.42/827.27 c #Conflicts: 275000 | #Constraints: 46970 824.42/827.27 c #Conflicts: 276000 | #Constraints: 47970 824.42/827.27 c #Conflicts: 277000 | #Constraints: 48970 824.42/827.27 c #Conflicts: 278000 | #Constraints: 49970 824.42/827.27 c #Conflicts: 279000 | #Constraints: 50970 824.42/827.27 c #Conflicts: 280000 | #Constraints: 51970 824.42/827.27 c #Conflicts: 281000 | #Constraints: 52970 824.42/827.27 c #Conflicts: 282000 | #Constraints: 53970 824.42/827.27 c INPROCESSING 824.42/827.27 c GARBAGE COLLECT 824.42/827.27 c rational objective 54 1006.05/1009.56 c #Conflicts: 283000 | #Constraints: 36493 1006.05/1009.56 c #Conflicts: 284000 | #Constraints: 37493 1006.05/1009.56 c #Conflicts: 285000 | #Constraints: 38493 1006.05/1009.56 c #Conflicts: 286000 | #Constraints: 39493 1006.05/1009.56 c #Conflicts: 287000 | #Constraints: 40493 1006.05/1009.56 c #Conflicts: 288000 | #Constraints: 41493 1006.05/1009.56 c #Conflicts: 289000 | #Constraints: 42493 1006.05/1009.56 c #Conflicts: 290000 | #Constraints: 43493 1006.05/1009.56 c #Conflicts: 291000 | #Constraints: 44493 1006.05/1009.56 c #Conflicts: 292000 | #Constraints: 45493 1006.05/1009.56 c #Conflicts: 293000 | #Constraints: 46493 1006.05/1009.56 c #Conflicts: 294000 | #Constraints: 47493 1006.05/1009.56 c bounds - >= 55 @ 913.61 1006.05/1009.56 c #Conflicts: 295000 | #Constraints: 48502 1006.05/1009.56 c #Conflicts: 296000 | #Constraints: 49502 1006.05/1009.56 c #Conflicts: 297000 | #Constraints: 50502 1006.05/1009.56 c #Conflicts: 298000 | #Constraints: 51502 1006.05/1009.56 c #Conflicts: 299000 | #Constraints: 52502 1006.05/1009.56 c #Conflicts: 300000 | #Constraints: 53502 1006.05/1009.56 c #Conflicts: 301000 | #Constraints: 54502 1006.05/1009.56 c #Conflicts: 302000 | #Constraints: 55502 1006.05/1009.56 c #Conflicts: 303000 | #Constraints: 56502 1006.05/1009.56 c #Conflicts: 304000 | #Constraints: 57502 1006.05/1009.56 c #Conflicts: 305000 | #Constraints: 58502 1006.05/1009.56 c #Conflicts: 306000 | #Constraints: 59502 1006.05/1009.56 c #Conflicts: 307000 | #Constraints: 60502 1006.05/1009.56 c #Conflicts: 308000 | #Constraints: 61502 1006.05/1009.56 c #Conflicts: 309000 | #Constraints: 62502 1006.05/1009.56 c #Conflicts: 310000 | #Constraints: 63502 1006.05/1009.56 c #Conflicts: 311000 | #Constraints: 64502 1006.05/1009.56 c #Conflicts: 312000 | #Constraints: 65502 1006.05/1009.56 c #Conflicts: 313000 | #Constraints: 66502 1006.05/1009.56 c #Conflicts: 314000 | #Constraints: 67502 1006.05/1009.56 c #Conflicts: 315000 | #Constraints: 68502 1006.05/1009.56 c #Conflicts: 316000 | #Constraints: 69502 1006.05/1009.56 c #Conflicts: 317000 | #Constraints: 70502 1006.05/1009.56 c #Conflicts: 318000 | #Constraints: 71502 1006.05/1009.56 c #Conflicts: 319000 | #Constraints: 72502 1006.05/1009.56 c INPROCESSING 1006.05/1009.56 c GARBAGE COLLECT 1006.05/1009.56 c rational objective 55 1189.66/1193.87 c #Conflicts: 320000 | #Constraints: 44401 1189.66/1193.87 c #Conflicts: 321000 | #Constraints: 45401 1189.66/1193.87 c #Conflicts: 322000 | #Constraints: 46401 1189.66/1193.87 c #Conflicts: 323000 | #Constraints: 47401 1189.66/1193.87 c #Conflicts: 324000 | #Constraints: 48401 1189.66/1193.87 c #Conflicts: 325000 | #Constraints: 49401 1189.66/1193.87 c #Conflicts: 326000 | #Constraints: 50401 1189.66/1193.87 c #Conflicts: 327000 | #Constraints: 51401 1189.66/1193.87 c #Conflicts: 328000 | #Constraints: 52401 1189.66/1193.87 c #Conflicts: 329000 | #Constraints: 53401 1189.66/1193.87 c #Conflicts: 330000 | #Constraints: 54401 1189.66/1193.87 c #Conflicts: 331000 | #Constraints: 55401 1189.66/1193.87 c #Conflicts: 332000 | #Constraints: 56401 1189.66/1193.87 c #Conflicts: 333000 | #Constraints: 57401 1189.66/1193.87 c #Conflicts: 334000 | #Constraints: 58401 1189.66/1193.87 c #Conflicts: 335000 | #Constraints: 59401 1189.66/1193.87 c INPROCESSING 1189.66/1193.87 c GARBAGE COLLECT 1189.66/1193.87 c rational objective 55 1341.60/1346.32 c #Conflicts: 336000 | #Constraints: 41957 1341.60/1346.32 c #Conflicts: 337000 | #Constraints: 42957 1341.60/1346.32 c #Conflicts: 338000 | #Constraints: 43958 1341.60/1346.32 c #Conflicts: 339000 | #Constraints: 44958 1341.60/1346.32 c #Conflicts: 340000 | #Constraints: 45958 1341.60/1346.32 c #Conflicts: 341000 | #Constraints: 46958 1341.60/1346.32 c #Conflicts: 342000 | #Constraints: 47958 1341.60/1346.32 c #Conflicts: 343000 | #Constraints: 48959 1341.60/1346.32 c #Conflicts: 344000 | #Constraints: 49959 1341.60/1346.32 c #Conflicts: 345000 | #Constraints: 50959 1341.60/1346.32 c #Conflicts: 346000 | #Constraints: 51959 1341.60/1346.32 c #Conflicts: 347000 | #Constraints: 52959 1341.60/1346.32 c #Conflicts: 348000 | #Constraints: 53959 1341.60/1346.32 c #Conflicts: 349000 | #Constraints: 54959 1341.60/1346.32 c #Conflicts: 350000 | #Constraints: 55959 1341.60/1346.32 c #Conflicts: 351000 | #Constraints: 56959 1341.60/1346.32 c #Conflicts: 352000 | #Constraints: 57959 1341.60/1346.32 c #Conflicts: 353000 | #Constraints: 58959 1341.60/1346.32 c #Conflicts: 354000 | #Constraints: 59959 1341.60/1346.32 c #Conflicts: 355000 | #Constraints: 60959 1341.60/1346.32 c #Conflicts: 356000 | #Constraints: 61959 1341.60/1346.32 c #Conflicts: 357000 | #Constraints: 62959 1341.60/1346.32 c #Conflicts: 358000 | #Constraints: 63961 1341.60/1346.32 c #Conflicts: 359000 | #Constraints: 64963 1341.60/1346.32 c #Conflicts: 360000 | #Constraints: 65963 1341.60/1346.32 c #Conflicts: 361000 | #Constraints: 66964 1341.60/1346.32 c #Conflicts: 362000 | #Constraints: 67965 1341.60/1346.32 c #Conflicts: 363000 | #Constraints: 68968 1341.60/1346.32 c #Conflicts: 364000 | #Constraints: 69977 1341.60/1346.32 c #Conflicts: 365000 | #Constraints: 70992 1341.60/1346.32 c #Conflicts: 366000 | #Constraints: 71992 1341.60/1346.32 c #Conflicts: 367000 | #Constraints: 72992 1341.60/1346.32 c #Conflicts: 368000 | #Constraints: 73992 1341.60/1346.32 c #Conflicts: 369000 | #Constraints: 74993 1341.60/1346.32 c #Conflicts: 370000 | #Constraints: 75993 1341.60/1346.32 c #Conflicts: 371000 | #Constraints: 76993 1341.60/1346.32 c #Conflicts: 372000 | #Constraints: 77998 1341.60/1346.32 c #Conflicts: 373000 | #Constraints: 79003 1341.60/1346.32 c #Conflicts: 374000 | #Constraints: 80008 1341.60/1346.32 c INPROCESSING 1341.60/1346.32 c GARBAGE COLLECT 1341.60/1346.33 c rational objective 55 1548.04/1553.56 c #Conflicts: 375000 | #Constraints: 48186 1548.04/1553.56 c #Conflicts: 376000 | #Constraints: 49186 1548.04/1553.56 c #Conflicts: 377000 | #Constraints: 50186 1548.04/1553.56 c #Conflicts: 378000 | #Constraints: 51186 1548.04/1553.56 c #Conflicts: 379000 | #Constraints: 52186 1548.04/1553.56 c #Conflicts: 380000 | #Constraints: 53186 1548.04/1553.56 c #Conflicts: 381000 | #Constraints: 54186 1548.04/1553.56 c #Conflicts: 382000 | #Constraints: 55186 1548.04/1553.56 c #Conflicts: 383000 | #Constraints: 56186 1548.04/1553.56 c #Conflicts: 384000 | #Constraints: 57186 1548.04/1553.56 c #Conflicts: 385000 | #Constraints: 58186 1548.04/1553.56 c #Conflicts: 386000 | #Constraints: 59186 1548.04/1553.56 c #Conflicts: 387000 | #Constraints: 60186 1548.04/1553.56 c #Conflicts: 388000 | #Constraints: 61186 1548.04/1553.56 c #Conflicts: 389000 | #Constraints: 62186 1548.04/1553.56 c #Conflicts: 390000 | #Constraints: 63186 1548.04/1553.56 c bounds - >= 56 @ 1534.25 1548.04/1553.56 c #Conflicts: 391000 | #Constraints: 64192 1548.04/1553.56 c INPROCESSING 1548.04/1553.56 c GARBAGE COLLECT 1548.04/1553.56 c rational objective 56 1733.53/1739.60 c #Conflicts: 392000 | #Constraints: 45197 1733.53/1739.60 c #Conflicts: 393000 | #Constraints: 46197 1733.53/1739.60 c #Conflicts: 394000 | #Constraints: 47197 1733.53/1739.60 c #Conflicts: 395000 | #Constraints: 48197 1733.53/1739.60 c #Conflicts: 396000 | #Constraints: 49198 1733.53/1739.60 c #Conflicts: 397000 | #Constraints: 50199 1733.53/1739.60 c #Conflicts: 398000 | #Constraints: 51202 1733.53/1739.60 c #Conflicts: 399000 | #Constraints: 52204 1733.53/1739.60 c #Conflicts: 400000 | #Constraints: 53204 1733.53/1739.60 c #Conflicts: 401000 | #Constraints: 54204 1733.53/1739.60 c #Conflicts: 402000 | #Constraints: 55204 1733.53/1739.60 c #Conflicts: 403000 | #Constraints: 56204 1733.53/1739.60 c #Conflicts: 404000 | #Constraints: 57204 1733.53/1739.60 c #Conflicts: 405000 | #Constraints: 58204 1733.53/1739.60 c #Conflicts: 406000 | #Constraints: 59204 1733.53/1739.60 c #Conflicts: 407000 | #Constraints: 60204 1733.53/1739.60 c #Conflicts: 408000 | #Constraints: 61204 1733.53/1739.60 c #Conflicts: 409000 | #Constraints: 62204 1733.53/1739.60 c #Conflicts: 410000 | #Constraints: 63204 1733.53/1739.60 c #Conflicts: 411000 | #Constraints: 64204 1733.53/1739.60 c #Conflicts: 412000 | #Constraints: 65205 1733.53/1739.60 c #Conflicts: 413000 | #Constraints: 66205 1733.53/1739.60 c #Conflicts: 414000 | #Constraints: 67205 1733.53/1739.60 c #Conflicts: 415000 | #Constraints: 68205 1733.53/1739.60 c #Conflicts: 416000 | #Constraints: 69205 1733.53/1739.60 c #Conflicts: 417000 | #Constraints: 70205 1733.53/1739.60 c #Conflicts: 418000 | #Constraints: 71205 1733.53/1739.60 c #Conflicts: 419000 | #Constraints: 72205 1733.53/1739.60 c #Conflicts: 420000 | #Constraints: 73205 1733.53/1739.60 c #Conflicts: 421000 | #Constraints: 74205 1733.53/1739.60 c #Conflicts: 422000 | #Constraints: 75205 1733.53/1739.60 c #Conflicts: 423000 | #Constraints: 76205 1733.53/1739.60 c #Conflicts: 424000 | #Constraints: 77205 1733.53/1739.60 c #Conflicts: 425000 | #Constraints: 78205 1733.53/1739.60 c #Conflicts: 426000 | #Constraints: 79205 1733.53/1739.60 c #Conflicts: 427000 | #Constraints: 80205 1733.53/1739.60 c #Conflicts: 428000 | #Constraints: 81205 1733.53/1739.60 c #Conflicts: 429000 | #Constraints: 82205 1733.53/1739.60 c #Conflicts: 430000 | #Constraints: 83206 1733.53/1739.60 c #Conflicts: 431000 | #Constraints: 84206 1733.53/1739.60 c #Conflicts: 432000 | #Constraints: 85206 1733.53/1739.60 c #Conflicts: 433000 | #Constraints: 86206 1733.53/1739.60 c #Conflicts: 434000 | #Constraints: 87206 1733.53/1739.60 c INPROCESSING 1733.53/1739.60 c GARBAGE COLLECT 1733.53/1739.60 WSVECS04 Frhs2[32]: 6 0 0.292187 shouldn't be 1733.53/1739.60 WSVECS04 Frhs2[48]: 6 0 0.725389 shouldn't be 1733.53/1739.60 WSVECS04 Frhs2[96]: 6 -81.3412 0 shouldn't be 1733.53/1739.60 WSVECS04 Frhs2[6005]: 6 0 187.277 shouldn't be 1734.83/1740.97 c rational objective 56 1962.72/1969.54 c #Conflicts: 435000 | #Constraints: 51963 1962.72/1969.54 c #Conflicts: 436000 | #Constraints: 52963 1962.72/1969.54 c #Conflicts: 437000 | #Constraints: 53963 1962.72/1969.54 c #Conflicts: 438000 | #Constraints: 54963 1962.72/1969.54 c #Conflicts: 439000 | #Constraints: 55963 1962.72/1969.54 c #Conflicts: 440000 | #Constraints: 56963 1962.72/1969.54 c #Conflicts: 441000 | #Constraints: 57963 1962.72/1969.54 c #Conflicts: 442000 | #Constraints: 58963 1962.72/1969.54 c #Conflicts: 443000 | #Constraints: 59963 1962.72/1969.54 c #Conflicts: 444000 | #Constraints: 60963 1962.72/1969.54 c #Conflicts: 445000 | #Constraints: 61963 1962.72/1969.54 c #Conflicts: 446000 | #Constraints: 62963 1962.72/1969.54 c #Conflicts: 447000 | #Constraints: 63963 1962.72/1969.54 c #Conflicts: 448000 | #Constraints: 64963 1962.72/1969.54 c #Conflicts: 449000 | #Constraints: 65963 1962.72/1969.54 c #Conflicts: 450000 | #Constraints: 66963 1962.72/1969.54 c #Conflicts: 451000 | #Constraints: 67963 1962.72/1969.54 c #Conflicts: 452000 | #Constraints: 68963 1962.72/1969.54 c INPROCESSING 1962.72/1969.54 c GARBAGE COLLECT 1962.72/1969.54 c rational objective 56 2168.07/2175.52 c #Conflicts: 453000 | #Constraints: 49110 2168.07/2175.52 c #Conflicts: 454000 | #Constraints: 50110 2168.07/2175.52 c #Conflicts: 455000 | #Constraints: 51110 2168.07/2175.52 c #Conflicts: 456000 | #Constraints: 52110 2168.07/2175.52 c #Conflicts: 457000 | #Constraints: 53110 2168.07/2175.52 c #Conflicts: 458000 | #Constraints: 54110 2168.07/2175.52 c #Conflicts: 459000 | #Constraints: 55110 2168.07/2175.52 c #Conflicts: 460000 | #Constraints: 56110 2168.07/2175.52 c #Conflicts: 461000 | #Constraints: 57110 2168.07/2175.52 c #Conflicts: 462000 | #Constraints: 58110 2168.07/2175.52 c #Conflicts: 463000 | #Constraints: 59110 2168.07/2175.52 c #Conflicts: 464000 | #Constraints: 60110 2168.07/2175.52 c #Conflicts: 465000 | #Constraints: 61110 2168.07/2175.52 c #Conflicts: 466000 | #Constraints: 62110 2168.07/2175.52 c #Conflicts: 467000 | #Constraints: 63110 2168.07/2175.52 c #Conflicts: 468000 | #Constraints: 64110 2168.07/2175.52 c #Conflicts: 469000 | #Constraints: 65110 2168.07/2175.52 c #Conflicts: 470000 | #Constraints: 66110 2168.07/2175.52 c #Conflicts: 471000 | #Constraints: 67110 2168.07/2175.52 c #Conflicts: 472000 | #Constraints: 68110 2168.07/2175.52 c #Conflicts: 473000 | #Constraints: 69110 2168.07/2175.52 c #Conflicts: 474000 | #Constraints: 70110 2168.07/2175.52 c #Conflicts: 475000 | #Constraints: 71110 2168.07/2175.52 c #Conflicts: 476000 | #Constraints: 72110 2168.07/2175.52 c #Conflicts: 477000 | #Constraints: 73110 2168.07/2175.52 c #Conflicts: 478000 | #Constraints: 74110 2168.07/2175.52 c #Conflicts: 479000 | #Constraints: 75111 2168.07/2175.52 c #Conflicts: 480000 | #Constraints: 76111 2168.07/2175.52 c #Conflicts: 481000 | #Constraints: 77111 2168.07/2175.52 c #Conflicts: 482000 | #Constraints: 78111 2168.07/2175.52 c #Conflicts: 483000 | #Constraints: 79111 2168.07/2175.52 c #Conflicts: 484000 | #Constraints: 80111 2168.07/2175.52 c #Conflicts: 485000 | #Constraints: 81111 2168.07/2175.52 c #Conflicts: 486000 | #Constraints: 82111 2168.07/2175.52 c #Conflicts: 487000 | #Constraints: 83111 2168.07/2175.52 c #Conflicts: 488000 | #Constraints: 84112 2168.07/2175.52 c #Conflicts: 489000 | #Constraints: 85112 2168.07/2175.52 c #Conflicts: 490000 | #Constraints: 86112 2168.07/2175.52 c #Conflicts: 491000 | #Constraints: 87112 2168.07/2175.52 c #Conflicts: 492000 | #Constraints: 88113 2168.07/2175.52 c #Conflicts: 493000 | #Constraints: 89113 2168.07/2175.52 c #Conflicts: 494000 | #Constraints: 90113 2168.07/2175.52 c #Conflicts: 495000 | #Constraints: 91114 2168.07/2175.52 c #Conflicts: 496000 | #Constraints: 92114 2168.07/2175.52 c #Conflicts: 497000 | #Constraints: 93115 2168.07/2175.52 c #Conflicts: 498000 | #Constraints: 94117 2168.07/2175.52 c INPROCESSING 2168.07/2175.52 c GARBAGE COLLECT 2168.07/2175.52 WSVECS04 Frhs2[18]: 6 0 488.607 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[27]: 6 0 0.0261504 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[36]: 6 0 0.0739518 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[54]: 6 0 2.93985 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[72]: 6 0 5.64772 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[81]: 6 0 0.282737 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[99]: 6 0 0.249177 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[116]: 6 -76.6281 0 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[135]: 6 -298.344 0 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[144]: 6 -549.035 0 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[169]: 6 -6.87171 0 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[466]: 6 -76.6282 0 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[540]: 6 0 340.51 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[3012]: 6 0 0.150958 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[3917]: 6 -0.13441 0 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[4009]: 6 0 1.77739 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[4240]: 6 0 336.802 shouldn't be 2168.07/2175.52 WSVECS04 Frhs2[5824]: 6 -0.00913977 0 shouldn't be 2169.36/2176.90 c rational objective 56 2443.68/2452.03 c #Conflicts: 499000 | #Constraints: 55418 2443.68/2452.03 c #Conflicts: 500000 | #Constraints: 56418 2443.68/2452.03 c #Conflicts: 501000 | #Constraints: 57418 2443.68/2452.03 c #Conflicts: 502000 | #Constraints: 58418 2443.68/2452.03 c #Conflicts: 503000 | #Constraints: 59418 2443.68/2452.03 c #Conflicts: 504000 | #Constraints: 60418 2443.68/2452.03 c #Conflicts: 505000 | #Constraints: 61418 2443.68/2452.03 c #Conflicts: 506000 | #Constraints: 62418 2443.68/2452.03 c #Conflicts: 507000 | #Constraints: 63418 2443.68/2452.03 c #Conflicts: 508000 | #Constraints: 64418 2443.68/2452.03 c #Conflicts: 509000 | #Constraints: 65418 2443.68/2452.03 c #Conflicts: 510000 | #Constraints: 66418 2443.68/2452.03 c #Conflicts: 511000 | #Constraints: 67418 2443.68/2452.03 c #Conflicts: 512000 | #Constraints: 68418 2443.68/2452.03 c #Conflicts: 513000 | #Constraints: 69418 2443.68/2452.03 c bounds - >= 57 @ 2363.51 2443.68/2452.03 c #Conflicts: 514000 | #Constraints: 70424 2443.68/2452.03 c #Conflicts: 515000 | #Constraints: 71424 2443.68/2452.03 c #Conflicts: 516000 | #Constraints: 72424 2443.68/2452.03 c #Conflicts: 517000 | #Constraints: 73424 2443.68/2452.03 c INPROCESSING 2443.68/2452.03 c GARBAGE COLLECT 2443.68/2452.03 c rational objective 57 2628.70/2637.74 c #Conflicts: 518000 | #Constraints: 52725 2628.70/2637.74 c #Conflicts: 519000 | #Constraints: 53725 2628.70/2637.74 c #Conflicts: 520000 | #Constraints: 54726 2628.70/2637.74 c #Conflicts: 521000 | #Constraints: 55726 2628.70/2637.74 c #Conflicts: 522000 | #Constraints: 56726 2628.70/2637.74 c #Conflicts: 523000 | #Constraints: 57726 2628.70/2637.74 c #Conflicts: 524000 | #Constraints: 58729 2628.70/2637.74 c #Conflicts: 525000 | #Constraints: 59729 2628.70/2637.74 c #Conflicts: 526000 | #Constraints: 60730 2628.70/2637.74 c #Conflicts: 527000 | #Constraints: 61730 2628.70/2637.74 c #Conflicts: 528000 | #Constraints: 62730 2628.70/2637.74 c #Conflicts: 529000 | #Constraints: 63730 2628.70/2637.74 c #Conflicts: 530000 | #Constraints: 64730 2628.70/2637.74 c #Conflicts: 531000 | #Constraints: 65730 2628.70/2637.74 c #Conflicts: 532000 | #Constraints: 66732 2628.70/2637.74 c #Conflicts: 533000 | #Constraints: 67732 2628.70/2637.74 c #Conflicts: 534000 | #Constraints: 68732 2628.70/2637.74 c #Conflicts: 535000 | #Constraints: 69732 2628.70/2637.74 c #Conflicts: 536000 | #Constraints: 70733 2628.70/2637.74 c #Conflicts: 537000 | #Constraints: 71733 2628.70/2637.74 c #Conflicts: 538000 | #Constraints: 72734 2628.70/2637.74 c #Conflicts: 539000 | #Constraints: 73734 2628.70/2637.74 c #Conflicts: 540000 | #Constraints: 74734 2628.70/2637.74 c #Conflicts: 541000 | #Constraints: 75734 2628.70/2637.74 c #Conflicts: 542000 | #Constraints: 76734 2628.70/2637.74 c #Conflicts: 543000 | #Constraints: 77734 2628.70/2637.74 c #Conflicts: 544000 | #Constraints: 78734 2628.70/2637.74 c #Conflicts: 545000 | #Constraints: 79734 2628.70/2637.74 c #Conflicts: 546000 | #Constraints: 80738 2628.70/2637.74 c #Conflicts: 547000 | #Constraints: 81738 2628.70/2637.74 c #Conflicts: 548000 | #Constraints: 82738 2628.70/2637.74 c #Conflicts: 549000 | #Constraints: 83738 2628.70/2637.74 c #Conflicts: 550000 | #Constraints: 84738 2628.70/2637.74 c #Conflicts: 551000 | #Constraints: 85738 2628.70/2637.74 c #Conflicts: 552000 | #Constraints: 86738 2628.70/2637.74 c #Conflicts: 553000 | #Constraints: 87738 2628.70/2637.74 c #Conflicts: 554000 | #Constraints: 88738 2628.70/2637.74 WSVECS04 Frhs2[7]: 6 -64 0 shouldn't be 2628.70/2637.74 WSVECS04 Frhs2[8]: 6 -128 0 shouldn't be 2726.93/2736.32 c #Conflicts: 555000 | #Constraints: 89739 2726.93/2736.32 c #Conflicts: 556000 | #Constraints: 90739 2726.93/2736.32 c #Conflicts: 557000 | #Constraints: 91739 2726.93/2736.32 c #Conflicts: 558000 | #Constraints: 92739 2726.93/2736.32 c #Conflicts: 559000 | #Constraints: 93739 2726.93/2736.32 c #Conflicts: 560000 | #Constraints: 94739 2726.93/2736.32 c #Conflicts: 561000 | #Constraints: 95739 2726.93/2736.32 c #Conflicts: 562000 | #Constraints: 96739 2726.93/2736.32 c #Conflicts: 563000 | #Constraints: 97742 2726.93/2736.32 c #Conflicts: 564000 | #Constraints: 98744 2726.93/2736.32 c #Conflicts: 565000 | #Constraints: 99744 2726.93/2736.32 c #Conflicts: 566000 | #Constraints: 100745 2726.93/2736.32 c INPROCESSING 2726.93/2736.32 c GARBAGE COLLECT 2726.93/2736.32 c rational objective 57 2883.08/2893.03 c #Conflicts: 567000 | #Constraints: 58476 2883.08/2893.03 c #Conflicts: 568000 | #Constraints: 59477 2883.08/2893.03 c #Conflicts: 569000 | #Constraints: 60477 2883.08/2893.03 c #Conflicts: 570000 | #Constraints: 61477 2883.08/2893.03 c #Conflicts: 571000 | #Constraints: 62477 2883.08/2893.03 c #Conflicts: 572000 | #Constraints: 63477 2883.08/2893.03 c #Conflicts: 573000 | #Constraints: 64477 2883.08/2893.03 c #Conflicts: 574000 | #Constraints: 65477 2883.08/2893.03 c #Conflicts: 575000 | #Constraints: 66477 2883.08/2893.03 c #Conflicts: 576000 | #Constraints: 67477 2883.08/2893.03 WSVECS04 Frhs2[6]: 6 -32 0 shouldn't be 3079.65/3090.37 c #Conflicts: 577000 | #Constraints: 68477 3079.65/3090.37 c #Conflicts: 578000 | #Constraints: 69477 3079.65/3090.37 c #Conflicts: 579000 | #Constraints: 70477 3079.65/3090.37 c #Conflicts: 580000 | #Constraints: 71477 3079.65/3090.37 c #Conflicts: 581000 | #Constraints: 72477 3079.65/3090.37 c #Conflicts: 582000 | #Constraints: 73477 3079.65/3090.37 c #Conflicts: 583000 | #Constraints: 74477 3079.65/3090.37 c #Conflicts: 584000 | #Constraints: 75477 3079.65/3090.37 c #Conflicts: 585000 | #Constraints: 76477 3079.65/3090.37 c #Conflicts: 586000 | #Constraints: 77477 3079.65/3090.37 c #Conflicts: 587000 | #Constraints: 78477 3079.65/3090.37 c INPROCESSING 3079.65/3090.37 c GARBAGE COLLECT 3079.65/3090.37 c rational objective 57 3178.60/3189.66 c #Conflicts: 588000 | #Constraints: 57405 3178.60/3189.66 c #Conflicts: 589000 | #Constraints: 58406 3178.60/3189.66 c #Conflicts: 590000 | #Constraints: 59406 3178.60/3189.66 c #Conflicts: 591000 | #Constraints: 60407 3178.60/3189.66 c #Conflicts: 592000 | #Constraints: 61407 3178.60/3189.66 c #Conflicts: 593000 | #Constraints: 62407 3178.60/3189.66 c #Conflicts: 594000 | #Constraints: 63407 3178.60/3189.66 c #Conflicts: 595000 | #Constraints: 64407 3178.60/3189.66 c #Conflicts: 596000 | #Constraints: 65407 3178.60/3189.66 c #Conflicts: 597000 | #Constraints: 66408 3178.60/3189.66 c #Conflicts: 598000 | #Constraints: 67409 3178.60/3189.66 c #Conflicts: 599000 | #Constraints: 68411 3178.60/3189.66 c #Conflicts: 600000 | #Constraints: 69411 3178.60/3189.66 c #Conflicts: 601000 | #Constraints: 70411 3178.60/3189.66 c #Conflicts: 602000 | #Constraints: 71411 3178.60/3189.66 c #Conflicts: 603000 | #Constraints: 72411 3178.60/3189.66 c #Conflicts: 604000 | #Constraints: 73411 3178.60/3189.66 c #Conflicts: 605000 | #Constraints: 74411 3178.60/3189.66 WSVECS04 Frhs2[53]: 6 -128 0 shouldn't be 3178.60/3189.66 WSVECS04 Frhs2[57]: 6 -4 0 shouldn't be 3178.60/3189.66 WSVECS04 Frhs2[5157]: 6 -289 0 shouldn't be 3416.63/3428.53 c #Conflicts: 606000 | #Constraints: 75411 3416.63/3428.53 c #Conflicts: 607000 | #Constraints: 76411 3416.63/3428.53 c #Conflicts: 608000 | #Constraints: 77411 3416.63/3428.53 c #Conflicts: 609000 | #Constraints: 78411 3416.63/3428.53 c #Conflicts: 610000 | #Constraints: 79411 3416.63/3428.53 c #Conflicts: 611000 | #Constraints: 80411 3416.63/3428.53 c #Conflicts: 612000 | #Constraints: 81411 3416.63/3428.53 c #Conflicts: 613000 | #Constraints: 82411 3416.63/3428.53 c #Conflicts: 614000 | #Constraints: 83411 3416.63/3428.53 c #Conflicts: 615000 | #Constraints: 84411 3416.63/3428.53 c #Conflicts: 616000 | #Constraints: 85411 3416.63/3428.53 c #Conflicts: 617000 | #Constraints: 86411 3416.63/3428.53 c #Conflicts: 618000 | #Constraints: 87411 3416.63/3428.53 c #Conflicts: 619000 | #Constraints: 88412 3416.63/3428.53 c #Conflicts: 620000 | #Constraints: 89413 3416.63/3428.53 c #Conflicts: 621000 | #Constraints: 90416 3416.63/3428.53 c #Conflicts: 622000 | #Constraints: 91419 3416.63/3428.53 c #Conflicts: 623000 | #Constraints: 92419 3416.63/3428.53 c #Conflicts: 624000 | #Constraints: 93419 3416.63/3428.53 c #Conflicts: 625000 | #Constraints: 94419 3416.63/3428.53 c #Conflicts: 626000 | #Constraints: 95420 3416.63/3428.53 c #Conflicts: 627000 | #Constraints: 96420 3416.63/3428.53 c #Conflicts: 628000 | #Constraints: 97420 3416.63/3428.53 c #Conflicts: 629000 | #Constraints: 98420 3416.63/3428.53 c #Conflicts: 630000 | #Constraints: 99421 3416.63/3428.53 c #Conflicts: 631000 | #Constraints: 100421 3416.63/3428.53 c #Conflicts: 632000 | #Constraints: 101421 3416.63/3428.53 c #Conflicts: 633000 | #Constraints: 102421 3416.63/3428.53 c #Conflicts: 634000 | #Constraints: 103421 3416.63/3428.53 c #Conflicts: 635000 | #Constraints: 104421 3416.63/3428.53 c #Conflicts: 636000 | #Constraints: 105423 3416.63/3428.53 c #Conflicts: 637000 | #Constraints: 106425 3416.63/3428.53 c #Conflicts: 638000 | #Constraints: 107426 3416.63/3428.53 c #Conflicts: 639000 | #Constraints: 108430 3416.63/3428.53 c INPROCESSING 3416.63/3428.53 c GARBAGE COLLECT 3416.63/3428.53 c rational objective 57 3600.07/3612.60 c #Conflicts: 640000 | #Constraints: 62682 3600.07/3612.60 c #Conflicts: 641000 | #Constraints: 63682 3600.07/3612.60 c #Conflicts: 642000 | #Constraints: 64682 3600.07/3612.60 c #Conflicts: 643000 | #Constraints: 65682 3600.07/3612.60 c #Conflicts: 644000 | #Constraints: 66682 3600.07/3612.60 c bounds - >= 58 @ 3492.6 3600.07/3612.60 c #Conflicts: 645000 | #Constraints: 67688 3600.07/3612.60 c #Conflicts: 646000 | #Constraints: 68688 3600.07/3612.60 c #Conflicts: 647000 | #Constraints: 69688 3600.07/3612.60 c #Conflicts: 648000 | #Constraints: 70688 3600.07/3612.60 c #Conflicts: 649000 | #Constraints: 71688 3600.07/3612.60 c #Conflicts: 650000 | #Constraints: 72688 3600.07/3612.60 c Program interrupted by user. 3600.07/3612.60 c cpu time 3588.84 s 3600.07/3612.60 c deterministic time 276442481158 2.76e+11 3600.07/3612.60 c optimization time 96.2479 s 3600.07/3612.60 c total solve time 3492.44 s 3600.07/3612.60 c core-guided solve time 1839.79 s 3600.07/3612.60 c propagation time 3458.51 s 3600.07/3612.60 c conflict analysis time 93.5158 s 3600.07/3612.60 c propagations 423937710 3600.07/3612.60 c resolve steps 2540754 3600.07/3612.60 c decisions 4339724 3600.07/3612.60 c conflicts 650184 3600.07/3612.60 c restarts 1403 3600.07/3612.60 c inprocessing phases 34 3600.07/3612.60 c input clauses 60 3600.07/3612.60 c input cardinalities 44 3600.07/3612.60 c input general constraints 14096 3600.07/3612.60 c input average constraint length 33.37 3600.07/3612.60 c input average constraint degree 946.28 3600.07/3612.60 c learned clauses 194530 3600.07/3612.60 c learned cardinalities 6 3600.07/3612.60 c learned general constraints 455802 3600.07/3612.60 c learned average constraint length 53.09 3600.07/3612.60 c learned average constraint degree 8916738.94 3600.07/3612.60 c watched constraints 469085 3600.07/3612.60 c counting constraints 813 3600.07/3612.60 c gcd simplifications 1905 3600.07/3612.60 c detected cardinalities 6 3600.07/3612.60 c weakened non-implied lits 3057196 3600.07/3612.60 c weakened non-implying lits 1342 3600.07/3612.60 c original variables 7089 3600.07/3612.60 c clausal propagations 781543 3600.07/3612.60 c cardinality propagations 1012055 3600.07/3612.60 c watched propagations 410203191 3600.07/3612.60 c counting propagations 11560780 3600.07/3612.60 c watch lookups 61547147321 3600.07/3612.60 c watch backjump lookups 58482166230 3600.07/3612.60 c watch checks 92746458423 3600.07/3612.60 c propagation checks 62695408242 3600.07/3612.60 c constraint additions 113356866 3600.07/3612.60 c trail pops 428927356 3600.07/3612.60 c formula constraints 13888 3600.07/3612.60 c learned constraints 650184 3600.07/3612.60 c bound constraints 44 3600.07/3612.60 c core-guided constraints 268 3600.07/3612.60 c encountered formula constraints 2292091 3600.07/3612.60 c encountered learned constraints 896360 3600.07/3612.60 c encountered bound constraints 18 3600.07/3612.60 c encountered core-guided constraints 173 3600.07/3612.60 c LP total time 86.8817 s 3600.07/3612.60 c LP solve time 82.56 s 3600.07/3612.60 c LP constraints added 14136 3600.07/3612.60 c LP constraints removed 238 3600.07/3612.60 c LP pivots internal 652057 3600.07/3612.60 c LP pivots root 87228 3600.07/3612.60 c LP calls 575 3600.07/3612.60 c LP optimalities 441 3600.07/3612.60 c LP no pivot count 143 3600.07/3612.60 c LP infeasibilities 114 3600.07/3612.60 c LP valid Farkas constraints 114 3600.07/3612.60 c LP learned Farkas constraints 0 3600.07/3612.60 c LP basis resets 15 3600.07/3612.60 c LP cycling count 12 3600.07/3612.60 c LP singular count 2 3600.07/3612.60 c LP no primal count 0 3600.07/3612.60 c LP no farkas count 0 3600.07/3612.60 c LP other issue count 1 3600.07/3612.60 c LP Gomory cuts 40 3600.07/3612.60 c LP learned cuts 208 3600.07/3612.60 c LP deleted cuts 238 3600.07/3612.60 c LP encountered Gomory constraints 827 3600.07/3612.60 c LP encountered Farkas constraints 1469 3600.07/3612.60 c LP encountered learned Farkas constraints 0 3600.07/3612.60 c CG auxiliary variables introduced 104 3600.07/3612.60 c CG solutions found 0 3600.07/3612.60 c CG cores constructed 44 3600.07/3612.60 c CG core cardinality constraints returned 0 3600.07/3612.60 c CG unit cores 0 3600.07/3612.60 c CG single cores 44 3600.07/3612.60 c CG blocks removed during cardinality reduction 0 3600.07/3612.60 c CG first core best 0 3600.07/3612.60 c CG decision core best 0 3600.07/3612.60 c CG core reduction tie 0 3600.07/3612.60 c CG core degree average 1.00 3600.07/3612.60 c CG core slack average 4.48 3600.07/3612.60 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) 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: 64059 MiB (62683 MiB free)
memory of node 1: 64510 MiB (61306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455155-1721459528/watcher-4455155-1721459528 -o /tmp/evaluation-result-4455155-1721459528/solver-4455155-1721459528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056970 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455155-1721459528.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1059284, runsolver pid=1059281
[startup+0.100094 s]*
/proc/loadavg: 4.05 4.08 4.09 5/245 1059285
/proc/meminfo: memFree=126959732/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=39236 memory=10792 CPUtime=0.1 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 1098 0 0 0 10 0 0 0 20 0 1 0 198109409 40177664 2698 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 9809 2698 1262 922 0 1761 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39236 KiB
Current children cumulated memory: 10792 KiB
[startup+0.21295 s]*
/proc/loadavg: 4.05 4.08 4.09 5/245 1059285
/proc/meminfo: memFree=126915972/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=73984 memory=47472 CPUtime=0.22 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 13434 0 0 0 19 3 0 0 20 0 1 0 198109409 75759616 11868 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 18496 11868 1644 922 0 10448 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 73984 KiB
Current children cumulated memory: 47472 KiB
[startup+0.313169 s]*
/proc/loadavg: 4.05 4.08 4.09 5/245 1059285
/proc/meminfo: memFree=126922392/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=79924 memory=53636 CPUtime=0.31 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 14887 0 0 0 28 3 0 0 20 0 1 0 198109409 81842176 13409 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 19981 13409 1740 922 0 11933 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 79924 KiB
Current children cumulated memory: 53636 KiB
[startup+0.70029 s]
/proc/loadavg: 4.05 4.08 4.09 6/245 1059285
/proc/meminfo: memFree=126903788/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=94020 memory=67688 CPUtime=0.69 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 16897 0 0 0 63 6 0 0 20 0 1 0 198109409 96276480 16922 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 23505 16922 1740 922 0 15457 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 94020 KiB
Current children cumulated memory: 67688 KiB
[startup+1.50028 s]
/proc/loadavg: 4.05 4.08 4.09 6/245 1059285
/proc/meminfo: memFree=126903460/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=94020 memory=67688 CPUtime=1.48 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 16898 0 0 0 141 7 0 0 20 0 1 0 198109409 96276480 16922 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 23505 16922 1740 922 0 15457 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 94020 KiB
Current children cumulated memory: 67688 KiB
[startup+3.11271 s]
/proc/loadavg: 4.04 4.08 4.08 5/245 1059285
/proc/meminfo: memFree=126898364/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=101460 memory=73072 CPUtime=3.09 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 17224 0 0 0 299 10 0 0 20 0 1 0 198109409 103895040 18268 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 25365 18268 1829 922 0 17317 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 101460 KiB
Current children cumulated memory: 73072 KiB
[startup+6.3003 s]
/proc/loadavg: 4.04 4.08 4.08 5/245 1059287
/proc/meminfo: memFree=126904776/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=97540 memory=67852 CPUtime=6.27 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 17803 0 0 0 612 15 0 0 20 0 1 0 198109409 99880960 16963 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 24385 16963 1845 922 0 16337 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 97540 KiB
Current children cumulated memory: 67852 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.10 4.09 5/245 1059288
/proc/meminfo: memFree=126877700/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=121664 memory=90048 CPUtime=12.65 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 18734 0 0 0 1238 27 0 0 20 0 1 0 198109409 124583936 22512 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 30416 22512 1845 922 0 22368 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 121664 KiB
Current children cumulated memory: 90048 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.09 5/245 1059291
/proc/meminfo: memFree=126864676/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=121664 memory=92544 CPUtime=25.41 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 18916 0 0 0 2496 45 0 0 20 0 1 0 198109409 124583936 23136 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 30416 23136 1845 922 0 22368 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 121664 KiB
Current children cumulated memory: 92544 KiB
[startup+51.1128 s]
/proc/loadavg: 4.06 4.08 4.09 5/245 1059294
/proc/meminfo: memFree=126858036/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=121664 memory=94212 CPUtime=50.93 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 19347 0 0 0 5016 77 0 0 20 0 1 0 198109409 124583936 23553 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 30416 23553 1845 922 0 22368 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 121664 KiB
Current children cumulated memory: 94212 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/245 1059302
/proc/meminfo: memFree=126840228/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=134724 memory=104680 CPUtime=101.95 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 21437 0 0 0 10068 127 0 0 20 0 1 0 198109409 137957376 26170 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 33681 26170 1845 922 0 25633 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 134724 KiB
Current children cumulated memory: 104680 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/245 1059313
/proc/meminfo: memFree=126826444/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=134724 memory=108776 CPUtime=161.75 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 21511 0 0 0 16005 170 0 0 20 0 1 0 198109409 137957376 27194 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 33681 27194 1845 922 0 25633 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 134724 KiB
Current children cumulated memory: 108776 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/242 1059324
/proc/meminfo: memFree=126801444/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=148960 memory=112104 CPUtime=221.55 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 22442 0 0 0 21947 208 0 0 20 0 1 0 198109409 152535040 28026 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 37240 28026 1845 922 0 29192 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 148960 KiB
Current children cumulated memory: 112104 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/242 1059334
/proc/meminfo: memFree=126795244/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=151348 memory=112808 CPUtime=281.35 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 22646 0 0 0 27895 240 0 0 20 0 1 0 198109409 154980352 28202 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 37837 28202 1845 922 0 29789 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 151348 KiB
Current children cumulated memory: 112808 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/242 1059344
/proc/meminfo: memFree=126776760/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=155412 memory=121560 CPUtime=341.15 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 24570 0 0 0 33844 271 0 0 20 0 1 0 198109409 159141888 30390 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 38853 30390 1845 922 0 30805 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 155412 KiB
Current children cumulated memory: 121560 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/242 1059354
/proc/meminfo: memFree=126767268/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=155412 memory=121560 CPUtime=400.94 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 24608 0 0 0 39778 316 0 0 20 0 1 0 198109409 159141888 30390 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 38853 30390 1845 922 0 30805 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 155412 KiB
Current children cumulated memory: 121560 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/242 1059365
/proc/meminfo: memFree=126766892/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=155412 memory=121560 CPUtime=460.74 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 24665 0 0 0 45734 340 0 0 20 0 1 0 198109409 159141888 30390 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 38853 30390 1845 922 0 30805 0
################
# More data... #
################
Current children cumulated memory: 256484 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.19 4.18 5/244 1060959
/proc/meminfo: memFree=126512084/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=256484 CPUtime=2852.48 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 53370 0 0 0 284257 991 0 0 20 0 1 0 198109409 294694912 64121 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64121 1966 922 0 63899 0
Current children cumulated CPU time: 2852.48 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 256484 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/243 1060982
/proc/meminfo: memFree=126511768/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=256488 CPUtime=2912.27 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 53459 0 0 0 290228 999 0 0 20 0 1 0 198109409 294694912 64122 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64122 1966 922 0 63899 0
Current children cumulated CPU time: 2912.27 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 256488 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.15 4.16 5/243 1060992
/proc/meminfo: memFree=126511444/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=256488 CPUtime=2972.04 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 53516 0 0 0 296200 1004 0 0 20 0 1 0 198109409 294694912 64122 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64122 1966 922 0 63899 0
Current children cumulated CPU time: 2972.04 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 256488 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.14 4.16 6/243 1061003
/proc/meminfo: memFree=126511384/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=256488 CPUtime=3031.82 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 53601 0 0 0 302173 1009 0 0 20 0 1 0 198109409 294694912 64122 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64122 1966 922 0 63899 0
Current children cumulated CPU time: 3031.82 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 256488 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/242 1061013
/proc/meminfo: memFree=126511312/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=256488 CPUtime=3091.61 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 53700 0 0 0 308143 1018 0 0 20 0 1 0 198109409 294694912 64122 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64122 1966 922 0 63899 0
Current children cumulated CPU time: 3091.61 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 256488 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.16 5/242 1061024
/proc/meminfo: memFree=126507164/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=256488 CPUtime=3151.4 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 53763 0 0 0 314104 1036 0 0 20 0 1 0 198109409 294694912 64122 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64122 1966 922 0 63899 0
Current children cumulated CPU time: 3151.4 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 256488 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/243 1061036
/proc/meminfo: memFree=126506360/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=256488 CPUtime=3211.18 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 53846 0 0 0 320066 1052 0 0 20 0 1 0 198109409 294694912 64122 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64122 1966 922 0 63899 0
Current children cumulated CPU time: 3211.18 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 256488 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/243 1061046
/proc/meminfo: memFree=126505892/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=256488 CPUtime=3270.96 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 53968 0 0 0 326029 1067 0 0 20 0 1 0 198109409 294694912 64122 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64122 1966 922 0 63899 0
Current children cumulated CPU time: 3270.96 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 256488 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/243 1061056
/proc/meminfo: memFree=126505420/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=256488 CPUtime=3330.75 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 54040 0 0 0 331994 1081 0 0 20 0 1 0 198109409 294694912 64122 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64122 1966 922 0 63899 0
Current children cumulated CPU time: 3330.75 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 256488 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/243 1061066
/proc/meminfo: memFree=126502168/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=258536 CPUtime=3390.52 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 54164 0 0 0 337957 1095 0 0 20 0 1 0 198109409 294694912 64634 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64634 1966 922 0 63899 0
Current children cumulated CPU time: 3390.52 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 258536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/243 1061077
/proc/meminfo: memFree=126501780/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=287788 memory=258536 CPUtime=3450.31 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 54230 0 0 0 343927 1104 0 0 20 0 1 0 198109409 294694912 64634 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 71947 64634 1966 922 0 63899 0
Current children cumulated CPU time: 3450.31 s
Current children cumulated vsize: 287788 KiB
Current children cumulated memory: 258536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/244 1061091
/proc/meminfo: memFree=126548228/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=239004 memory=209880 CPUtime=3510.1 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 54434 0 0 0 349897 1113 0 0 20 0 1 0 198109409 244740096 52470 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 59751 52470 1966 922 0 51703 0
Current children cumulated CPU time: 3510.1 s
Current children cumulated vsize: 239004 KiB
Current children cumulated memory: 209880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/244 1061285
/proc/meminfo: memFree=125749536/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=239004 memory=209880 CPUtime=3569.88 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 54493 0 0 0 355869 1119 0 0 20 0 1 0 198109409 244740096 52470 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 59751 52470 1966 922 0 51703 0
Current children cumulated CPU time: 3569.88 s
Current children cumulated vsize: 239004 KiB
Current children cumulated memory: 209880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.10 4.11 4.13 5/244 1061291
/proc/meminfo: memFree=123917284/131655788 swapFree=131071996/131071996
[pid=1059284] ppid=1059281 vsize=239004 memory=209880 CPUtime=3600.07 cores=0,2
/proc/1059284/stat : 1059284 (roundingsat) R 1059281 1059284 1056960 0 -1 4194304 54494 0 0 0 358884 1123 0 0 20 0 1 0 198109409 244740096 52470 134679101440 4194304 7968373 140734632574304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 36278272 140734632575932 140734632576096 140734632576096 140734632583113 0
/proc/1059284/statm: 59751 52470 1966 922 0 51703 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 239004 KiB
Current children cumulated memory: 209880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.61 s]
# the end of solver process 1059284 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.85 s, system=11.2419 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.61
CPU time (s): 3600.09
CPU user time (s): 3588.85
CPU system time (s): 11.2419
CPU usage (%): 99.6535
Max. virtual memory (cumulated for all children) (KiB): 287788
Max. memory (cumulated for all children) (KiB): 258536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.85
system time used= 11.2419
maximum resident set size= 283396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54506
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= 35
involuntary context switches= 25191
# summary of solver processes directly reported to runsolver:
# pid: 1059284
# total CPU time (s): 3600.09
# total CPU user time (s): 3588.85
# total CPU system time (s): 11.2419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3948 second user time and 36.3399 second system time
The end
Begin job on nodeC007 at 2024-07-20 09:12:20 IDJOB=4455155 IDBENCH=147626 IDSOLVER=3084 FILE ID=nodeC007/4455155-1721459528 RUNJOBID= nodeC007-1721455877-1056970 SLURM_JOB_ID= 7545690 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455155-1721459528/watcher-4455155-1721459528 -o /tmp/evaluation-result-4455155-1721459528/solver-4455155-1721459528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056970 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455155-1721459528.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422 RANDOM SEED=2098541636 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3391.877 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3656.643 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.141 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.272 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3658.042 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3656.695 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.303 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.353 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126965940 kB MemAvailable: 129849648 kB Buffers: 549464 kB Cached: 3170288 kB SwapCached: 0 kB Active: 1118252 kB Inactive: 2997144 kB Active(anon): 1460 kB Inactive(anon): 440072 kB Active(file): 1116792 kB Inactive(file): 2557072 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14560 kB Writeback: 0 kB AnonPages: 395704 kB Mapped: 117812 kB Shmem: 45896 kB KReclaimable: 99752 kB Slab: 203584 kB SReclaimable: 99752 kB SUnreclaim: 103832 kB KernelStack: 3952 kB PageTables: 10264 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 762560 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61792 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279368 kB DirectMap2M: 27936768 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723684 MiB End job on nodeC007 at 2024-07-20 10:12:33