| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.01 | 3614.41 |
| Name | PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb |
| MD5SUM | ad731be7af81a11cebcddac40b738f1a |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.61995 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2688 |
| Total number of constraints | 1408 |
| 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 | 1408 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 84 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 2199023255552 |
| Number of bits of the biggest number in a constraint | 42 |
| Biggest sum of numbers in a constraint | 8796093022207 |
| Number of bits of the biggest sum of numbers | 43 |
| 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.00/0.01 c #variables 2688 #constraints 2815 0.00/0.01 c rational objective 4.54747e-13 0.20/0.27 c #Conflicts: 1000 | #Constraints: 3815 0.20/0.27 c #Conflicts: 2000 | #Constraints: 4816 0.20/0.27 c INPROCESSING 0.20/0.27 c GARBAGE COLLECT 0.20/0.27 c rational objective 4.54747e-13 0.78/0.80 c #Conflicts: 3000 | #Constraints: 4863 0.78/0.80 c #Conflicts: 4000 | #Constraints: 5865 0.78/0.80 c INPROCESSING 0.78/0.80 c GARBAGE COLLECT 0.78/0.80 c #Conflicts: 5000 | #Constraints: 5312 0.78/0.80 c #Conflicts: 6000 | #Constraints: 6315 0.78/0.80 c INPROCESSING 0.78/0.80 c GARBAGE COLLECT 0.78/0.80 c rational objective 4.54747e-13 0.99/1.09 c #Conflicts: 7000 | #Constraints: 5341 0.99/1.09 c #Conflicts: 8000 | #Constraints: 6341 0.99/1.09 c #Conflicts: 9000 | #Constraints: 7341 0.99/1.09 c INPROCESSING 0.99/1.09 c GARBAGE COLLECT 0.99/1.09 c rational objective -4.54747e-13 1.39/1.42 c #Conflicts: 10000 | #Constraints: 6073 1.39/1.42 c #Conflicts: 11000 | #Constraints: 7074 1.39/1.42 c #Conflicts: 12000 | #Constraints: 8075 1.39/1.42 c INPROCESSING 1.39/1.42 c GARBAGE COLLECT 1.39/1.42 c rational objective -4.54747e-13 1.78/1.85 c #Conflicts: 13000 | #Constraints: 6544 1.78/1.85 c #Conflicts: 14000 | #Constraints: 7547 1.78/1.85 c #Conflicts: 15000 | #Constraints: 8547 1.78/1.85 c INPROCESSING 1.78/1.85 c GARBAGE COLLECT 1.78/1.85 c rational objective -4.54747e-13 2.28/2.31 c #Conflicts: 16000 | #Constraints: 6781 2.28/2.31 c #Conflicts: 17000 | #Constraints: 7782 2.28/2.31 c #Conflicts: 18000 | #Constraints: 8785 2.28/2.31 c INPROCESSING 2.28/2.31 c GARBAGE COLLECT 2.28/2.31 c rational objective -4.54747e-13 2.68/2.78 c #Conflicts: 19000 | #Constraints: 6798 2.68/2.78 c #Conflicts: 20000 | #Constraints: 7799 2.68/2.78 c #Conflicts: 21000 | #Constraints: 8801 2.68/2.78 c INPROCESSING 2.68/2.78 c GARBAGE COLLECT 2.68/2.78 c rational objective 0 3.38/3.44 c #Conflicts: 22000 | #Constraints: 6624 3.38/3.44 c #Conflicts: 23000 | #Constraints: 7625 3.38/3.44 c #Conflicts: 24000 | #Constraints: 8627 3.38/3.44 c #Conflicts: 25000 | #Constraints: 9627 3.38/3.44 c INPROCESSING 3.38/3.44 c GARBAGE COLLECT 3.38/3.44 c rational objective 4.54747e-13 3.98/4.05 c #Conflicts: 26000 | #Constraints: 7261 3.98/4.05 c #Conflicts: 27000 | #Constraints: 8263 3.98/4.05 c #Conflicts: 28000 | #Constraints: 9265 3.98/4.05 c #Conflicts: 29000 | #Constraints: 10265 3.98/4.05 c INPROCESSING 3.98/4.05 c GARBAGE COLLECT 3.98/4.05 c rational objective 4.54747e-13 4.47/4.56 c #Conflicts: 30000 | #Constraints: 7662 4.47/4.56 c #Conflicts: 31000 | #Constraints: 8662 4.47/4.56 c #Conflicts: 32000 | #Constraints: 9662 4.47/4.56 c #Conflicts: 33000 | #Constraints: 10664 4.47/4.56 c INPROCESSING 4.47/4.56 c GARBAGE COLLECT 4.47/4.56 c rational objective 4.54747e-13 5.37/5.41 c #Conflicts: 34000 | #Constraints: 7869 5.37/5.41 c #Conflicts: 35000 | #Constraints: 8870 5.37/5.41 c #Conflicts: 36000 | #Constraints: 9871 5.37/5.41 c #Conflicts: 37000 | #Constraints: 10871 5.37/5.41 c INPROCESSING 5.37/5.41 c GARBAGE COLLECT 5.37/5.41 c rational objective 4.54747e-13 6.17/6.22 c #Conflicts: 38000 | #Constraints: 7863 6.17/6.22 c #Conflicts: 39000 | #Constraints: 8863 6.17/6.22 c #Conflicts: 40000 | #Constraints: 9866 6.17/6.22 c #Conflicts: 41000 | #Constraints: 10867 6.17/6.22 c INPROCESSING 6.17/6.22 c GARBAGE COLLECT 6.17/6.22 c rational objective 4.54747e-13 6.67/6.78 c #Conflicts: 42000 | #Constraints: 7684 6.67/6.78 c #Conflicts: 43000 | #Constraints: 8685 6.67/6.78 c #Conflicts: 44000 | #Constraints: 9687 6.67/6.78 c #Conflicts: 45000 | #Constraints: 10688 6.67/6.78 c #Conflicts: 46000 | #Constraints: 11689 6.67/6.78 c INPROCESSING 6.67/6.78 c GARBAGE COLLECT 6.67/6.78 c rational objective -4.54747e-13 8.06/8.16 c #Conflicts: 47000 | #Constraints: 8291 8.06/8.16 c #Conflicts: 48000 | #Constraints: 9291 8.06/8.16 c #Conflicts: 49000 | #Constraints: 10291 8.06/8.16 c #Conflicts: 50000 | #Constraints: 11293 8.06/8.16 c #Conflicts: 51000 | #Constraints: 12293 8.06/8.16 c INPROCESSING 8.06/8.16 c GARBAGE COLLECT 8.06/8.16 c rational objective 4.54747e-13 8.86/8.98 c #Conflicts: 52000 | #Constraints: 8702 8.86/8.98 c #Conflicts: 53000 | #Constraints: 9703 8.86/8.98 c #Conflicts: 54000 | #Constraints: 10704 8.86/8.98 c #Conflicts: 55000 | #Constraints: 11704 8.86/8.98 c #Conflicts: 56000 | #Constraints: 12704 8.86/8.98 c INPROCESSING 8.86/8.98 c GARBAGE COLLECT 8.86/8.98 c rational objective 4.54747e-13 10.85/10.97 c #Conflicts: 57000 | #Constraints: 8903 10.85/10.97 c #Conflicts: 58000 | #Constraints: 9903 10.85/10.97 c #Conflicts: 59000 | #Constraints: 10905 10.85/10.97 c #Conflicts: 60000 | #Constraints: 11906 10.85/10.97 c #Conflicts: 61000 | #Constraints: 12907 10.85/10.97 c INPROCESSING 10.85/10.97 c GARBAGE COLLECT 10.85/10.97 c rational objective -4.54747e-13 13.74/13.83 c #Conflicts: 62000 | #Constraints: 8901 13.74/13.83 c #Conflicts: 63000 | #Constraints: 9902 13.74/13.83 c #Conflicts: 64000 | #Constraints: 10903 13.74/13.83 c #Conflicts: 65000 | #Constraints: 11903 13.74/13.83 c #Conflicts: 66000 | #Constraints: 12905 13.74/13.83 c INPROCESSING 13.74/13.83 c GARBAGE COLLECT 13.74/13.83 c rational objective 4.54747e-13 15.44/15.51 c #Conflicts: 67000 | #Constraints: 8713 15.44/15.51 c #Conflicts: 68000 | #Constraints: 9716 15.44/15.51 c #Conflicts: 69000 | #Constraints: 10716 15.44/15.51 c #Conflicts: 70000 | #Constraints: 11716 15.44/15.51 c #Conflicts: 71000 | #Constraints: 12717 15.44/15.51 c #Conflicts: 72000 | #Constraints: 13718 15.44/15.51 c INPROCESSING 15.44/15.51 c GARBAGE COLLECT 15.44/15.51 c rational objective 4.54747e-13 16.63/16.73 c #Conflicts: 73000 | #Constraints: 9321 16.63/16.73 c #Conflicts: 74000 | #Constraints: 10321 16.63/16.73 c #Conflicts: 75000 | #Constraints: 11321 16.63/16.73 c #Conflicts: 76000 | #Constraints: 12321 16.63/16.73 c #Conflicts: 77000 | #Constraints: 13322 16.63/16.73 c #Conflicts: 78000 | #Constraints: 14323 16.63/16.73 c INPROCESSING 16.63/16.73 c GARBAGE COLLECT 16.63/16.73 c rational objective 4.54747e-13 20.32/20.41 c #Conflicts: 79000 | #Constraints: 9717 20.32/20.41 c #Conflicts: 80000 | #Constraints: 10717 20.32/20.41 c #Conflicts: 81000 | #Constraints: 11717 20.32/20.41 c #Conflicts: 82000 | #Constraints: 12717 20.32/20.41 c #Conflicts: 83000 | #Constraints: 13717 20.32/20.41 c #Conflicts: 84000 | #Constraints: 14721 20.32/20.41 c INPROCESSING 20.32/20.41 c GARBAGE COLLECT 20.32/20.41 c rational objective -4.54747e-13 23.11/23.26 c #Conflicts: 85000 | #Constraints: 9911 23.11/23.26 c #Conflicts: 86000 | #Constraints: 10912 23.11/23.26 c #Conflicts: 87000 | #Constraints: 11913 23.11/23.26 c #Conflicts: 88000 | #Constraints: 12915 23.11/23.26 c #Conflicts: 89000 | #Constraints: 13915 23.11/23.26 c #Conflicts: 90000 | #Constraints: 14915 23.11/23.26 c INPROCESSING 23.11/23.26 c GARBAGE COLLECT 23.11/23.26 c rational objective 4.54747e-13 27.50/27.66 c #Conflicts: 91000 | #Constraints: 9920 27.50/27.66 c #Conflicts: 92000 | #Constraints: 10921 27.50/27.66 c #Conflicts: 93000 | #Constraints: 11921 27.50/27.66 c #Conflicts: 94000 | #Constraints: 12921 27.50/27.66 c #Conflicts: 95000 | #Constraints: 13921 27.50/27.66 c #Conflicts: 96000 | #Constraints: 14921 27.50/27.66 c INPROCESSING 27.50/27.66 c GARBAGE COLLECT 27.50/27.66 c rational objective 4.54747e-13 30.79/30.98 c #Conflicts: 97000 | #Constraints: 9740 30.79/30.98 c #Conflicts: 98000 | #Constraints: 10741 30.79/30.98 c #Conflicts: 99000 | #Constraints: 11741 30.79/30.98 c #Conflicts: 100000 | #Constraints: 12741 30.79/30.98 c #Conflicts: 101000 | #Constraints: 13741 30.79/30.98 c #Conflicts: 102000 | #Constraints: 14741 30.79/30.98 c #Conflicts: 103000 | #Constraints: 15742 30.79/30.98 c INPROCESSING 30.79/30.98 c GARBAGE COLLECT 30.79/30.98 c rational objective 0.0215054 32.18/32.33 c #Conflicts: 104000 | #Constraints: 10322 32.18/32.33 c #Conflicts: 105000 | #Constraints: 11323 32.18/32.33 c #Conflicts: 106000 | #Constraints: 12324 32.18/32.33 c #Conflicts: 107000 | #Constraints: 13324 32.18/32.33 c #Conflicts: 108000 | #Constraints: 14324 32.18/32.33 c #Conflicts: 109000 | #Constraints: 15324 32.18/32.33 c #Conflicts: 110000 | #Constraints: 16325 32.18/32.33 c INPROCESSING 32.18/32.33 c GARBAGE COLLECT 32.18/32.33 c rational objective 0.023532 34.28/34.40 c #Conflicts: 111000 | #Constraints: 10732 34.28/34.40 c #Conflicts: 112000 | #Constraints: 11733 34.28/34.40 c #Conflicts: 113000 | #Constraints: 12734 34.28/34.40 c #Conflicts: 114000 | #Constraints: 13734 34.28/34.40 c #Conflicts: 115000 | #Constraints: 14734 34.28/34.40 c #Conflicts: 116000 | #Constraints: 15736 34.28/34.40 c #Conflicts: 117000 | #Constraints: 16736 34.28/34.40 c INPROCESSING 34.28/34.40 c GARBAGE COLLECT 34.28/34.40 c rational objective 0.024374 35.88/36.03 c #Conflicts: 118000 | #Constraints: 10936 35.88/36.03 c #Conflicts: 119000 | #Constraints: 11937 35.88/36.03 c #Conflicts: 120000 | #Constraints: 12938 35.88/36.03 c #Conflicts: 121000 | #Constraints: 13938 35.88/36.03 c #Conflicts: 122000 | #Constraints: 14940 35.88/36.03 c #Conflicts: 123000 | #Constraints: 15940 35.88/36.03 c #Conflicts: 124000 | #Constraints: 16940 35.88/36.03 c INPROCESSING 35.88/36.03 c GARBAGE COLLECT 35.88/36.03 c rational objective 0.0247406 38.06/38.26 c #Conflicts: 125000 | #Constraints: 10949 38.06/38.26 c #Conflicts: 126000 | #Constraints: 11950 38.06/38.26 c #Conflicts: 127000 | #Constraints: 12950 38.06/38.26 c #Conflicts: 128000 | #Constraints: 13951 38.06/38.26 c #Conflicts: 129000 | #Constraints: 14951 38.06/38.26 c #Conflicts: 130000 | #Constraints: 15951 38.06/38.26 c #Conflicts: 131000 | #Constraints: 16951 38.06/38.26 c INPROCESSING 38.06/38.26 c GARBAGE COLLECT 38.06/38.26 c rational objective 0.0247406 41.65/41.88 c #Conflicts: 132000 | #Constraints: 10720 41.65/41.88 c #Conflicts: 133000 | #Constraints: 11721 41.65/41.88 c #Conflicts: 134000 | #Constraints: 12722 41.65/41.88 c #Conflicts: 135000 | #Constraints: 13722 41.65/41.88 c #Conflicts: 136000 | #Constraints: 14722 41.65/41.88 c #Conflicts: 137000 | #Constraints: 15722 41.65/41.88 c #Conflicts: 138000 | #Constraints: 16723 41.65/41.88 c #Conflicts: 139000 | #Constraints: 17724 41.65/41.88 c INPROCESSING 41.65/41.88 c GARBAGE COLLECT 41.65/41.88 c rational objective 0.0247406 50.83/51.07 c #Conflicts: 140000 | #Constraints: 11352 50.83/51.07 c #Conflicts: 141000 | #Constraints: 12354 50.83/51.07 c #Conflicts: 142000 | #Constraints: 13354 50.83/51.07 c #Conflicts: 143000 | #Constraints: 14354 50.83/51.07 c #Conflicts: 144000 | #Constraints: 15354 50.83/51.07 c #Conflicts: 145000 | #Constraints: 16354 50.83/51.07 c #Conflicts: 146000 | #Constraints: 17354 50.83/51.07 c #Conflicts: 147000 | #Constraints: 18354 50.83/51.07 c INPROCESSING 50.83/51.07 c GARBAGE COLLECT 50.83/51.07 c rational objective 0.0247406 55.01/55.25 c #Conflicts: 148000 | #Constraints: 11757 55.01/55.25 c #Conflicts: 149000 | #Constraints: 12757 55.01/55.25 c #Conflicts: 150000 | #Constraints: 13757 55.01/55.25 c #Conflicts: 151000 | #Constraints: 14757 55.01/55.25 c #Conflicts: 152000 | #Constraints: 15757 55.01/55.25 c #Conflicts: 153000 | #Constraints: 16757 55.01/55.25 c #Conflicts: 154000 | #Constraints: 17757 55.01/55.25 c #Conflicts: 155000 | #Constraints: 18758 55.01/55.25 c INPROCESSING 55.01/55.25 c GARBAGE COLLECT 55.01/55.25 c rational objective 0.0247406 56.80/57.00 c #Conflicts: 156000 | #Constraints: 11957 56.80/57.00 c #Conflicts: 157000 | #Constraints: 12957 56.80/57.00 c #Conflicts: 158000 | #Constraints: 13958 56.80/57.00 c #Conflicts: 159000 | #Constraints: 14959 56.80/57.00 c #Conflicts: 160000 | #Constraints: 15960 56.80/57.00 c #Conflicts: 161000 | #Constraints: 16960 56.80/57.00 c #Conflicts: 162000 | #Constraints: 17960 56.80/57.00 c #Conflicts: 163000 | #Constraints: 18960 56.80/57.00 c INPROCESSING 56.80/57.00 c GARBAGE COLLECT 56.80/57.00 c rational objective 0.0247406 62.89/63.15 c #Conflicts: 164000 | #Constraints: 11970 62.89/63.15 c #Conflicts: 165000 | #Constraints: 12970 62.89/63.15 c #Conflicts: 166000 | #Constraints: 13971 62.89/63.15 c #Conflicts: 167000 | #Constraints: 14971 62.89/63.15 c #Conflicts: 168000 | #Constraints: 15973 62.89/63.15 c #Conflicts: 169000 | #Constraints: 16974 62.89/63.15 c #Conflicts: 170000 | #Constraints: 17975 62.89/63.15 c #Conflicts: 171000 | #Constraints: 18975 62.89/63.15 c INPROCESSING 62.89/63.15 c GARBAGE COLLECT 62.89/63.15 c rational objective 0.0247752 65.37/65.64 c #Conflicts: 172000 | #Constraints: 11775 65.37/65.64 c #Conflicts: 173000 | #Constraints: 12776 65.37/65.64 c #Conflicts: 174000 | #Constraints: 13778 65.37/65.64 c #Conflicts: 175000 | #Constraints: 14778 65.37/65.64 c #Conflicts: 176000 | #Constraints: 15778 65.37/65.64 c #Conflicts: 177000 | #Constraints: 16779 65.37/65.64 c #Conflicts: 178000 | #Constraints: 17779 65.37/65.64 c #Conflicts: 179000 | #Constraints: 18779 65.37/65.64 c #Conflicts: 180000 | #Constraints: 19780 65.37/65.64 c INPROCESSING 65.37/65.64 c GARBAGE COLLECT 65.37/65.64 c rational objective 0.0247764 79.32/79.62 c #Conflicts: 181000 | #Constraints: 12367 79.32/79.62 c #Conflicts: 182000 | #Constraints: 13368 79.32/79.62 c #Conflicts: 183000 | #Constraints: 14371 79.32/79.62 c #Conflicts: 184000 | #Constraints: 15371 79.32/79.62 c #Conflicts: 185000 | #Constraints: 16371 79.32/79.62 c #Conflicts: 186000 | #Constraints: 17372 79.32/79.62 c #Conflicts: 187000 | #Constraints: 18372 79.32/79.62 c #Conflicts: 188000 | #Constraints: 19372 79.32/79.62 c #Conflicts: 189000 | #Constraints: 20373 79.32/79.62 c INPROCESSING 79.32/79.62 c GARBAGE COLLECT 79.32/79.62 c #Conflicts: 190000 | #Constraints: 12786 79.32/79.62 c #Conflicts: 191000 | #Constraints: 13786 79.32/79.62 c #Conflicts: 192000 | #Constraints: 14788 79.32/79.62 c #Conflicts: 193000 | #Constraints: 15788 79.32/79.62 c #Conflicts: 194000 | #Constraints: 16788 79.32/79.62 c #Conflicts: 195000 | #Constraints: 17788 79.32/79.62 c #Conflicts: 196000 | #Constraints: 18788 79.32/79.62 c #Conflicts: 197000 | #Constraints: 19788 79.32/79.62 c #Conflicts: 198000 | #Constraints: 20788 79.32/79.62 c INPROCESSING 79.32/79.62 c GARBAGE COLLECT 79.32/79.62 c rational objective 0.025104 82.91/83.27 c #Conflicts: 199000 | #Constraints: 12989 82.91/83.27 c #Conflicts: 200000 | #Constraints: 13990 82.91/83.27 c #Conflicts: 201000 | #Constraints: 14990 82.91/83.27 c #Conflicts: 202000 | #Constraints: 15992 82.91/83.27 c #Conflicts: 203000 | #Constraints: 16993 82.91/83.27 c #Conflicts: 204000 | #Constraints: 17993 82.91/83.27 c #Conflicts: 205000 | #Constraints: 18994 82.91/83.27 c #Conflicts: 206000 | #Constraints: 19995 82.91/83.27 c #Conflicts: 207000 | #Constraints: 20996 82.91/83.27 c INPROCESSING 82.91/83.27 c GARBAGE COLLECT 82.91/83.27 c rational objective 0.025104 85.60/85.95 c #Conflicts: 208000 | #Constraints: 12996 85.60/85.95 c #Conflicts: 209000 | #Constraints: 13997 85.60/85.95 c #Conflicts: 210000 | #Constraints: 14997 85.60/85.95 c #Conflicts: 211000 | #Constraints: 15997 85.60/85.95 c #Conflicts: 212000 | #Constraints: 16997 85.60/85.95 c #Conflicts: 213000 | #Constraints: 17997 85.60/85.95 c #Conflicts: 214000 | #Constraints: 18998 85.60/85.95 c #Conflicts: 215000 | #Constraints: 19998 85.60/85.95 c #Conflicts: 216000 | #Constraints: 20998 85.60/85.95 c INPROCESSING 85.60/85.95 c GARBAGE COLLECT 85.60/85.95 c rational objective 0.0251192 118.49/118.98 c #Conflicts: 217000 | #Constraints: 12794 118.49/118.98 c #Conflicts: 218000 | #Constraints: 13794 118.49/118.98 c #Conflicts: 219000 | #Constraints: 14794 118.49/118.98 c #Conflicts: 220000 | #Constraints: 15794 118.49/118.98 c #Conflicts: 221000 | #Constraints: 16794 118.49/118.98 c #Conflicts: 222000 | #Constraints: 17794 118.49/118.98 c #Conflicts: 223000 | #Constraints: 18794 118.49/118.98 c #Conflicts: 224000 | #Constraints: 19794 118.49/118.98 c #Conflicts: 225000 | #Constraints: 20794 118.49/118.98 c #Conflicts: 226000 | #Constraints: 21794 118.49/118.98 c INPROCESSING 118.49/118.98 c GARBAGE COLLECT 118.49/118.98 c rational objective 0.025121 120.78/121.26 c #Conflicts: 227000 | #Constraints: 13402 120.78/121.26 c #Conflicts: 228000 | #Constraints: 14403 120.78/121.26 c #Conflicts: 229000 | #Constraints: 15403 120.78/121.26 c #Conflicts: 230000 | #Constraints: 16403 120.78/121.26 c #Conflicts: 231000 | #Constraints: 17403 120.78/121.26 c #Conflicts: 232000 | #Constraints: 18405 120.78/121.26 c #Conflicts: 233000 | #Constraints: 19405 120.78/121.26 c #Conflicts: 234000 | #Constraints: 20406 120.78/121.26 c #Conflicts: 235000 | #Constraints: 21408 120.78/121.26 c #Conflicts: 236000 | #Constraints: 22408 120.78/121.26 c INPROCESSING 120.78/121.26 c GARBAGE COLLECT 120.78/121.26 c rational objective 1.05557 127.46/127.93 c #Conflicts: 237000 | #Constraints: 13770 127.46/127.93 c #Conflicts: 238000 | #Constraints: 14770 127.46/127.93 c #Conflicts: 239000 | #Constraints: 15770 127.46/127.93 c #Conflicts: 240000 | #Constraints: 16770 127.46/127.93 c #Conflicts: 241000 | #Constraints: 17770 127.46/127.93 c #Conflicts: 242000 | #Constraints: 18771 127.46/127.93 c #Conflicts: 243000 | #Constraints: 19771 127.46/127.93 c #Conflicts: 244000 | #Constraints: 20772 127.46/127.93 c #Conflicts: 245000 | #Constraints: 21773 127.46/127.93 c #Conflicts: 246000 | #Constraints: 22773 127.46/127.93 c INPROCESSING 127.46/127.93 c GARBAGE COLLECT 127.46/127.93 c rational objective 1.05888 130.25/130.77 c #Conflicts: 247000 | #Constraints: 13972 130.25/130.77 c #Conflicts: 248000 | #Constraints: 14973 130.25/130.77 c #Conflicts: 249000 | #Constraints: 15973 130.25/130.77 c #Conflicts: 250000 | #Constraints: 16973 130.25/130.77 c #Conflicts: 251000 | #Constraints: 17973 130.25/130.77 c #Conflicts: 252000 | #Constraints: 18973 130.25/130.77 c #Conflicts: 253000 | #Constraints: 19973 130.25/130.77 c #Conflicts: 254000 | #Constraints: 20973 130.25/130.77 c #Conflicts: 255000 | #Constraints: 21973 130.25/130.77 c #Conflicts: 256000 | #Constraints: 22973 130.25/130.77 c INPROCESSING 130.25/130.77 c GARBAGE COLLECT 130.25/130.77 c rational objective 1.08831 134.33/134.86 c #Conflicts: 257000 | #Constraints: 13981 134.33/134.86 c #Conflicts: 258000 | #Constraints: 14983 134.33/134.86 c #Conflicts: 259000 | #Constraints: 15984 134.33/134.86 c #Conflicts: 260000 | #Constraints: 16985 134.33/134.86 c #Conflicts: 261000 | #Constraints: 17985 134.33/134.86 c #Conflicts: 262000 | #Constraints: 18986 134.33/134.86 c #Conflicts: 263000 | #Constraints: 19986 134.33/134.86 c #Conflicts: 264000 | #Constraints: 20986 134.33/134.86 c #Conflicts: 265000 | #Constraints: 21987 134.33/134.86 c #Conflicts: 266000 | #Constraints: 22988 134.33/134.86 c INPROCESSING 134.33/134.86 c GARBAGE COLLECT 134.33/134.86 c rational objective 1.08927 146.29/146.85 c #Conflicts: 267000 | #Constraints: 13798 146.29/146.85 c #Conflicts: 268000 | #Constraints: 14800 146.29/146.85 c #Conflicts: 269000 | #Constraints: 15801 146.29/146.85 c #Conflicts: 270000 | #Constraints: 16801 146.29/146.85 c #Conflicts: 271000 | #Constraints: 17801 146.29/146.85 c #Conflicts: 272000 | #Constraints: 18801 146.29/146.85 c #Conflicts: 273000 | #Constraints: 19801 146.29/146.85 c #Conflicts: 274000 | #Constraints: 20801 146.29/146.85 c #Conflicts: 275000 | #Constraints: 21801 146.29/146.85 c #Conflicts: 276000 | #Constraints: 22803 146.29/146.85 c #Conflicts: 277000 | #Constraints: 23803 146.29/146.85 c INPROCESSING 146.29/146.85 c GARBAGE COLLECT 146.29/146.85 c rational objective 1.09004 152.58/153.17 c #Conflicts: 278000 | #Constraints: 14382 152.58/153.17 c #Conflicts: 279000 | #Constraints: 15383 152.58/153.17 c #Conflicts: 280000 | #Constraints: 16383 152.58/153.17 c #Conflicts: 281000 | #Constraints: 17384 152.58/153.17 c #Conflicts: 282000 | #Constraints: 18384 152.58/153.17 c #Conflicts: 283000 | #Constraints: 19384 152.58/153.17 c #Conflicts: 284000 | #Constraints: 20384 152.58/153.17 c #Conflicts: 285000 | #Constraints: 21384 152.58/153.17 c #Conflicts: 286000 | #Constraints: 22384 152.58/153.17 c #Conflicts: 287000 | #Constraints: 23385 152.58/153.17 c #Conflicts: 288000 | #Constraints: 24385 152.58/153.17 c INPROCESSING 152.58/153.17 c GARBAGE COLLECT 152.58/153.17 c rational objective 1.09005 159.25/159.80 c #Conflicts: 289000 | #Constraints: 14778 159.25/159.80 c #Conflicts: 290000 | #Constraints: 15778 159.25/159.80 c #Conflicts: 291000 | #Constraints: 16778 159.25/159.80 c #Conflicts: 292000 | #Constraints: 17778 159.25/159.80 c #Conflicts: 293000 | #Constraints: 18778 159.25/159.80 c #Conflicts: 294000 | #Constraints: 19778 159.25/159.80 c #Conflicts: 295000 | #Constraints: 20778 159.25/159.80 c #Conflicts: 296000 | #Constraints: 21778 159.25/159.80 c #Conflicts: 297000 | #Constraints: 22778 159.25/159.80 c #Conflicts: 298000 | #Constraints: 23778 159.25/159.80 c #Conflicts: 299000 | #Constraints: 24779 159.25/159.80 c INPROCESSING 159.25/159.80 c GARBAGE COLLECT 159.25/159.80 c rational objective 1.09021 166.83/167.45 c #Conflicts: 300000 | #Constraints: 14976 166.83/167.45 c #Conflicts: 301000 | #Constraints: 15978 166.83/167.45 c #Conflicts: 302000 | #Constraints: 16979 166.83/167.45 c #Conflicts: 303000 | #Constraints: 17979 166.83/167.45 c #Conflicts: 304000 | #Constraints: 18979 166.83/167.45 c #Conflicts: 305000 | #Constraints: 19980 166.83/167.45 c #Conflicts: 306000 | #Constraints: 20980 166.83/167.45 c #Conflicts: 307000 | #Constraints: 21981 166.83/167.45 c #Conflicts: 308000 | #Constraints: 22982 166.83/167.45 c #Conflicts: 309000 | #Constraints: 23982 166.83/167.45 c #Conflicts: 310000 | #Constraints: 24982 166.83/167.45 c INPROCESSING 166.83/167.45 c GARBAGE COLLECT 166.83/167.45 c rational objective 1.09019 173.20/173.89 c #Conflicts: 311000 | #Constraints: 15018 173.20/173.89 c #Conflicts: 312000 | #Constraints: 16019 173.20/173.89 c #Conflicts: 313000 | #Constraints: 17020 173.20/173.89 c #Conflicts: 314000 | #Constraints: 18021 173.20/173.89 c #Conflicts: 315000 | #Constraints: 19022 173.20/173.89 c #Conflicts: 316000 | #Constraints: 20022 173.20/173.89 c #Conflicts: 317000 | #Constraints: 21022 173.20/173.89 c #Conflicts: 318000 | #Constraints: 22022 173.20/173.89 c #Conflicts: 319000 | #Constraints: 23023 173.20/173.89 c #Conflicts: 320000 | #Constraints: 24023 173.20/173.89 c #Conflicts: 321000 | #Constraints: 25023 173.20/173.89 c INPROCESSING 173.20/173.89 c GARBAGE COLLECT 173.20/173.89 c rational objective 1.09019 175.89/176.54 c #Conflicts: 322000 | #Constraints: 14799 175.89/176.54 c #Conflicts: 323000 | #Constraints: 15799 175.89/176.54 c #Conflicts: 324000 | #Constraints: 16799 175.89/176.54 c #Conflicts: 325000 | #Constraints: 17799 175.89/176.54 c #Conflicts: 326000 | #Constraints: 18799 175.89/176.54 c #Conflicts: 327000 | #Constraints: 19799 175.89/176.54 c #Conflicts: 328000 | #Constraints: 20799 175.89/176.54 c #Conflicts: 329000 | #Constraints: 21799 175.89/176.54 c #Conflicts: 330000 | #Constraints: 22799 175.89/176.54 c #Conflicts: 331000 | #Constraints: 23799 175.89/176.54 c #Conflicts: 332000 | #Constraints: 24800 175.89/176.54 c #Conflicts: 333000 | #Constraints: 25800 175.89/176.54 c INPROCESSING 175.89/176.54 c GARBAGE COLLECT 175.89/176.54 c rational objective 1.09019 184.57/185.21 c #Conflicts: 334000 | #Constraints: 15398 184.57/185.21 c #Conflicts: 335000 | #Constraints: 16399 184.57/185.21 c #Conflicts: 336000 | #Constraints: 17399 184.57/185.21 c #Conflicts: 337000 | #Constraints: 18400 184.57/185.21 c #Conflicts: 338000 | #Constraints: 19400 184.57/185.21 c #Conflicts: 339000 | #Constraints: 20400 184.57/185.21 c #Conflicts: 340000 | #Constraints: 21400 184.57/185.21 c #Conflicts: 341000 | #Constraints: 22400 184.57/185.21 c #Conflicts: 342000 | #Constraints: 23400 184.57/185.21 c #Conflicts: 343000 | #Constraints: 24400 184.57/185.21 c #Conflicts: 344000 | #Constraints: 25400 184.57/185.21 c #Conflicts: 345000 | #Constraints: 26400 184.57/185.21 c INPROCESSING 184.57/185.21 c GARBAGE COLLECT 184.57/185.21 c rational objective 1.09019 189.25/189.91 c #Conflicts: 346000 | #Constraints: 15791 189.25/189.91 c #Conflicts: 347000 | #Constraints: 16791 189.25/189.91 c #Conflicts: 348000 | #Constraints: 17792 189.25/189.91 c #Conflicts: 349000 | #Constraints: 18792 189.25/189.91 c #Conflicts: 350000 | #Constraints: 19793 189.25/189.91 c #Conflicts: 351000 | #Constraints: 20793 189.25/189.91 c #Conflicts: 352000 | #Constraints: 21793 189.25/189.91 c #Conflicts: 353000 | #Constraints: 22795 189.25/189.91 c #Conflicts: 354000 | #Constraints: 23795 189.25/189.91 c #Conflicts: 355000 | #Constraints: 24795 189.25/189.91 c #Conflicts: 356000 | #Constraints: 25795 189.25/189.91 c #Conflicts: 357000 | #Constraints: 26795 189.25/189.91 c INPROCESSING 189.25/189.91 c GARBAGE COLLECT 189.25/189.91 c rational objective 1.09019 200.72/201.43 c #Conflicts: 358000 | #Constraints: 15986 200.72/201.43 c #Conflicts: 359000 | #Constraints: 16986 200.72/201.43 c #Conflicts: 360000 | #Constraints: 17987 200.72/201.43 c #Conflicts: 361000 | #Constraints: 18987 200.72/201.43 c #Conflicts: 362000 | #Constraints: 19987 200.72/201.43 c #Conflicts: 363000 | #Constraints: 20987 200.72/201.43 c #Conflicts: 364000 | #Constraints: 21987 200.72/201.43 c #Conflicts: 365000 | #Constraints: 22987 200.72/201.43 c #Conflicts: 366000 | #Constraints: 23987 200.72/201.43 c #Conflicts: 367000 | #Constraints: 24987 200.72/201.43 c #Conflicts: 368000 | #Constraints: 25987 200.72/201.43 c #Conflicts: 369000 | #Constraints: 26987 200.72/201.43 c INPROCESSING 200.72/201.43 c GARBAGE COLLECT 200.72/201.43 c rational objective 1.09019 207.30/208.10 c #Conflicts: 370000 | #Constraints: 15993 207.30/208.10 c #Conflicts: 371000 | #Constraints: 16993 207.30/208.10 c #Conflicts: 372000 | #Constraints: 17993 207.30/208.10 c #Conflicts: 373000 | #Constraints: 18993 207.30/208.10 c #Conflicts: 374000 | #Constraints: 19993 207.30/208.10 c #Conflicts: 375000 | #Constraints: 20993 207.30/208.10 c #Conflicts: 376000 | #Constraints: 21993 207.30/208.10 c #Conflicts: 377000 | #Constraints: 22993 207.30/208.10 c #Conflicts: 378000 | #Constraints: 23993 207.30/208.10 c #Conflicts: 379000 | #Constraints: 24993 207.30/208.10 c #Conflicts: 380000 | #Constraints: 25993 207.30/208.10 c #Conflicts: 381000 | #Constraints: 26993 207.30/208.10 c INPROCESSING 207.30/208.10 c GARBAGE COLLECT 207.30/208.10 c rational objective 1.09021 219.95/220.78 c #Conflicts: 382000 | #Constraints: 15803 219.95/220.78 c #Conflicts: 383000 | #Constraints: 16803 219.95/220.78 c #Conflicts: 384000 | #Constraints: 17805 219.95/220.78 c #Conflicts: 385000 | #Constraints: 18805 219.95/220.78 c #Conflicts: 386000 | #Constraints: 19805 219.95/220.78 c #Conflicts: 387000 | #Constraints: 20807 219.95/220.78 c #Conflicts: 388000 | #Constraints: 21807 219.95/220.78 c #Conflicts: 389000 | #Constraints: 22807 219.95/220.78 c #Conflicts: 390000 | #Constraints: 23807 219.95/220.78 c #Conflicts: 391000 | #Constraints: 24807 219.95/220.78 c #Conflicts: 392000 | #Constraints: 25807 219.95/220.78 c #Conflicts: 393000 | #Constraints: 26807 219.95/220.78 c #Conflicts: 394000 | #Constraints: 27807 219.95/220.78 c INPROCESSING 219.95/220.78 c GARBAGE COLLECT 219.95/220.78 c rational objective 1.09021 376.98/378.35 c #Conflicts: 395000 | #Constraints: 16379 376.98/378.35 c #Conflicts: 396000 | #Constraints: 17380 376.98/378.35 c #Conflicts: 397000 | #Constraints: 18381 376.98/378.35 c #Conflicts: 398000 | #Constraints: 19383 376.98/378.35 c #Conflicts: 399000 | #Constraints: 20385 376.98/378.35 c #Conflicts: 400000 | #Constraints: 21385 376.98/378.35 c #Conflicts: 401000 | #Constraints: 22385 376.98/378.35 c #Conflicts: 402000 | #Constraints: 23385 376.98/378.35 c #Conflicts: 403000 | #Constraints: 24386 376.98/378.35 c #Conflicts: 404000 | #Constraints: 25386 376.98/378.35 c #Conflicts: 405000 | #Constraints: 26386 376.98/378.35 c #Conflicts: 406000 | #Constraints: 27387 376.98/378.35 c #Conflicts: 407000 | #Constraints: 28387 376.98/378.35 c #Conflicts: 408000 | #Constraints: 29387 376.98/378.35 c #Conflicts: 409000 | #Constraints: 30387 376.98/378.35 c #Conflicts: 410000 | #Constraints: 31387 376.98/378.35 c #Conflicts: 411000 | #Constraints: 32387 376.98/378.35 c #Conflicts: 412000 | #Constraints: 33387 376.98/378.35 c #Conflicts: 413000 | #Constraints: 34387 376.98/378.35 c #Conflicts: 414000 | #Constraints: 35387 376.98/378.35 c #Conflicts: 415000 | #Constraints: 36387 376.98/378.35 c #Conflicts: 416000 | #Constraints: 37388 376.98/378.35 c #Conflicts: 417000 | #Constraints: 38388 376.98/378.35 c #Conflicts: 418000 | #Constraints: 39388 376.98/378.35 c #Conflicts: 419000 | #Constraints: 40388 376.98/378.35 c #Conflicts: 420000 | #Constraints: 41388 376.98/378.35 c #Conflicts: 421000 | #Constraints: 42388 376.98/378.35 c #Conflicts: 422000 | #Constraints: 43389 376.98/378.35 c #Conflicts: 423000 | #Constraints: 44389 376.98/378.35 c #Conflicts: 424000 | #Constraints: 45389 376.98/378.35 c #Conflicts: 425000 | #Constraints: 46389 376.98/378.35 c #Conflicts: 426000 | #Constraints: 47389 376.98/378.35 c #Conflicts: 427000 | #Constraints: 48389 376.98/378.35 c #Conflicts: 428000 | #Constraints: 49389 376.98/378.35 c #Conflicts: 429000 | #Constraints: 50389 376.98/378.35 c #Conflicts: 430000 | #Constraints: 51389 376.98/378.35 c #Conflicts: 431000 | #Constraints: 52389 376.98/378.35 c #Conflicts: 432000 | #Constraints: 53389 376.98/378.35 c #Conflicts: 433000 | #Constraints: 54389 376.98/378.35 c #Conflicts: 434000 | #Constraints: 55389 376.98/378.35 c #Conflicts: 435000 | #Constraints: 56389 376.98/378.35 c #Conflicts: 436000 | #Constraints: 57391 376.98/378.35 c #Conflicts: 437000 | #Constraints: 58391 376.98/378.35 c #Conflicts: 438000 | #Constraints: 59391 376.98/378.35 c #Conflicts: 439000 | #Constraints: 60391 376.98/378.35 c #Conflicts: 440000 | #Constraints: 61391 376.98/378.35 c #Conflicts: 441000 | #Constraints: 62391 376.98/378.35 c #Conflicts: 442000 | #Constraints: 63391 376.98/378.35 c #Conflicts: 443000 | #Constraints: 64391 376.98/378.35 c #Conflicts: 444000 | #Constraints: 65392 376.98/378.35 c #Conflicts: 445000 | #Constraints: 66392 376.98/378.35 c #Conflicts: 446000 | #Constraints: 67392 376.98/378.35 c #Conflicts: 447000 | #Constraints: 68392 376.98/378.35 c #Conflicts: 448000 | #Constraints: 69392 376.98/378.35 c #Conflicts: 449000 | #Constraints: 70392 376.98/378.35 c #Conflicts: 450000 | #Constraints: 71392 376.98/378.35 c #Conflicts: 451000 | #Constraints: 72393 376.98/378.35 c #Conflicts: 452000 | #Constraints: 73393 376.98/378.35 c #Conflicts: 453000 | #Constraints: 74394 376.98/378.35 c #Conflicts: 454000 | #Constraints: 75394 376.98/378.35 c #Conflicts: 455000 | #Constraints: 76394 376.98/378.35 c #Conflicts: 456000 | #Constraints: 77394 376.98/378.35 c INPROCESSING 376.98/378.35 c GARBAGE COLLECT 376.98/378.35 c rational objective 1.09021 386.76/388.13 c #Conflicts: 457000 | #Constraints: 41057 386.76/388.13 c #Conflicts: 458000 | #Constraints: 42057 386.76/388.13 c #Conflicts: 459000 | #Constraints: 43057 386.76/388.13 c #Conflicts: 460000 | #Constraints: 44057 386.76/388.13 c #Conflicts: 461000 | #Constraints: 45057 386.76/388.13 c #Conflicts: 462000 | #Constraints: 46057 386.76/388.13 c #Conflicts: 463000 | #Constraints: 47058 386.76/388.13 c #Conflicts: 464000 | #Constraints: 48058 386.76/388.13 c #Conflicts: 465000 | #Constraints: 49058 386.76/388.13 c #Conflicts: 466000 | #Constraints: 50059 386.76/388.13 c #Conflicts: 467000 | #Constraints: 51059 386.76/388.13 c #Conflicts: 468000 | #Constraints: 52060 386.76/388.13 c #Conflicts: 469000 | #Constraints: 53060 386.76/388.13 c #Conflicts: 470000 | #Constraints: 54060 386.76/388.13 c INPROCESSING 386.76/388.13 c GARBAGE COLLECT 386.76/388.13 c rational objective 1.09022 428.40/429.91 c #Conflicts: 471000 | #Constraints: 29444 428.40/429.91 c #Conflicts: 472000 | #Constraints: 30444 428.40/429.91 c #Conflicts: 473000 | #Constraints: 31444 428.40/429.91 c #Conflicts: 474000 | #Constraints: 32444 428.40/429.91 c #Conflicts: 475000 | #Constraints: 33444 428.40/429.91 c #Conflicts: 476000 | #Constraints: 34444 428.40/429.91 c #Conflicts: 477000 | #Constraints: 35444 428.40/429.91 c #Conflicts: 478000 | #Constraints: 36444 428.40/429.91 c #Conflicts: 479000 | #Constraints: 37444 428.40/429.91 c #Conflicts: 480000 | #Constraints: 38444 428.40/429.91 c #Conflicts: 481000 | #Constraints: 39444 428.40/429.91 c #Conflicts: 482000 | #Constraints: 40444 428.40/429.91 c #Conflicts: 483000 | #Constraints: 41444 428.40/429.91 c #Conflicts: 484000 | #Constraints: 42444 428.40/429.91 c INPROCESSING 428.40/429.91 c GARBAGE COLLECT 428.40/429.91 c rational objective 1.09021 430.89/432.47 c #Conflicts: 485000 | #Constraints: 23591 430.89/432.47 c #Conflicts: 486000 | #Constraints: 24591 430.89/432.47 c #Conflicts: 487000 | #Constraints: 25592 430.89/432.47 c #Conflicts: 488000 | #Constraints: 26593 430.89/432.47 c #Conflicts: 489000 | #Constraints: 27593 430.89/432.47 c #Conflicts: 490000 | #Constraints: 28593 430.89/432.47 c #Conflicts: 491000 | #Constraints: 29594 430.89/432.47 c #Conflicts: 492000 | #Constraints: 30594 430.89/432.47 c #Conflicts: 493000 | #Constraints: 31595 430.89/432.47 c #Conflicts: 494000 | #Constraints: 32596 430.89/432.47 c #Conflicts: 495000 | #Constraints: 33596 430.89/432.47 c #Conflicts: 496000 | #Constraints: 34596 430.89/432.47 c #Conflicts: 497000 | #Constraints: 35597 430.89/432.47 c #Conflicts: 498000 | #Constraints: 36598 430.89/432.47 c INPROCESSING 430.89/432.47 c GARBAGE COLLECT 430.89/432.47 c rational objective 1.09022 468.65/470.33 c #Conflicts: 499000 | #Constraints: 20535 468.65/470.33 c #Conflicts: 500000 | #Constraints: 21536 468.65/470.33 c #Conflicts: 501000 | #Constraints: 22536 468.65/470.33 c #Conflicts: 502000 | #Constraints: 23536 468.65/470.33 c #Conflicts: 503000 | #Constraints: 24536 468.65/470.33 c #Conflicts: 504000 | #Constraints: 25536 468.65/470.33 c #Conflicts: 505000 | #Constraints: 26536 468.65/470.33 c #Conflicts: 506000 | #Constraints: 27536 468.65/470.33 c #Conflicts: 507000 | #Constraints: 28536 468.65/470.33 c #Conflicts: 508000 | #Constraints: 29536 468.65/470.33 c #Conflicts: 509000 | #Constraints: 30536 468.65/470.33 c #Conflicts: 510000 | #Constraints: 31536 468.65/470.33 c #Conflicts: 511000 | #Constraints: 32536 468.65/470.33 c #Conflicts: 512000 | #Constraints: 33536 468.65/470.33 c #Conflicts: 513000 | #Constraints: 34536 468.65/470.33 c INPROCESSING 468.65/470.33 c GARBAGE COLLECT 468.65/470.33 c rational objective 1.09039 626.87/629.16 c #Conflicts: 514000 | #Constraints: 19725 626.87/629.16 c #Conflicts: 515000 | #Constraints: 20726 626.87/629.16 c #Conflicts: 516000 | #Constraints: 21728 626.87/629.16 c #Conflicts: 517000 | #Constraints: 22728 626.87/629.16 c #Conflicts: 518000 | #Constraints: 23728 626.87/629.16 c #Conflicts: 519000 | #Constraints: 24729 626.87/629.16 c #Conflicts: 520000 | #Constraints: 25730 626.87/629.16 c #Conflicts: 521000 | #Constraints: 26732 626.87/629.16 c #Conflicts: 522000 | #Constraints: 27732 626.87/629.16 c #Conflicts: 523000 | #Constraints: 28732 626.87/629.16 c #Conflicts: 524000 | #Constraints: 29732 626.87/629.16 c #Conflicts: 525000 | #Constraints: 30732 626.87/629.16 c #Conflicts: 526000 | #Constraints: 31733 626.87/629.16 c #Conflicts: 527000 | #Constraints: 32733 626.87/629.16 c #Conflicts: 528000 | #Constraints: 33733 626.87/629.16 c #Conflicts: 529000 | #Constraints: 34735 626.87/629.16 c #Conflicts: 530000 | #Constraints: 35735 626.87/629.16 c #Conflicts: 531000 | #Constraints: 36735 626.87/629.16 c #Conflicts: 532000 | #Constraints: 37735 626.87/629.16 c #Conflicts: 533000 | #Constraints: 38735 626.87/629.16 c #Conflicts: 534000 | #Constraints: 39735 626.87/629.16 c #Conflicts: 535000 | #Constraints: 40735 626.87/629.16 c #Conflicts: 536000 | #Constraints: 41735 626.87/629.16 c #Conflicts: 537000 | #Constraints: 42736 626.87/629.16 c #Conflicts: 538000 | #Constraints: 43736 626.87/629.16 c #Conflicts: 539000 | #Constraints: 44736 626.87/629.16 c #Conflicts: 540000 | #Constraints: 45736 626.87/629.16 c #Conflicts: 541000 | #Constraints: 46737 626.87/629.16 c #Conflicts: 542000 | #Constraints: 47737 626.87/629.16 c #Conflicts: 543000 | #Constraints: 48737 626.87/629.16 c #Conflicts: 544000 | #Constraints: 49737 626.87/629.16 c #Conflicts: 545000 | #Constraints: 50738 626.87/629.16 c #Conflicts: 546000 | #Constraints: 51738 626.87/629.16 c #Conflicts: 547000 | #Constraints: 52739 626.87/629.16 c #Conflicts: 548000 | #Constraints: 53739 626.87/629.16 c #Conflicts: 549000 | #Constraints: 54739 626.87/629.16 c #Conflicts: 550000 | #Constraints: 55740 626.87/629.16 c #Conflicts: 551000 | #Constraints: 56740 626.87/629.16 c #Conflicts: 552000 | #Constraints: 57740 626.87/629.16 c #Conflicts: 553000 | #Constraints: 58740 626.87/629.16 c #Conflicts: 554000 | #Constraints: 59740 626.87/629.16 c #Conflicts: 555000 | #Constraints: 60740 626.87/629.16 c #Conflicts: 556000 | #Constraints: 61740 626.87/629.16 c #Conflicts: 557000 | #Constraints: 62740 626.87/629.16 c #Conflicts: 558000 | #Constraints: 63740 626.87/629.16 c #Conflicts: 559000 | #Constraints: 64741 626.87/629.16 c #Conflicts: 560000 | #Constraints: 65742 626.87/629.16 c #Conflicts: 561000 | #Constraints: 66743 626.87/629.16 c #Conflicts: 562000 | #Constraints: 67743 626.87/629.16 c #Conflicts: 563000 | #Constraints: 68743 626.87/629.16 c #Conflicts: 564000 | #Constraints: 69743 626.87/629.16 c #Conflicts: 565000 | #Constraints: 70743 626.87/629.16 c #Conflicts: 566000 | #Constraints: 71746 626.87/629.16 c #Conflicts: 567000 | #Constraints: 72746 626.87/629.16 c #Conflicts: 568000 | #Constraints: 73746 626.87/629.16 c #Conflicts: 569000 | #Constraints: 74746 626.87/629.16 c #Conflicts: 570000 | #Constraints: 75746 626.87/629.16 c #Conflicts: 571000 | #Constraints: 76746 626.87/629.16 c #Conflicts: 572000 | #Constraints: 77746 626.87/629.16 c #Conflicts: 573000 | #Constraints: 78746 626.87/629.16 c #Conflicts: 574000 | #Constraints: 79747 626.87/629.16 c #Conflicts: 575000 | #Constraints: 80747 626.87/629.16 c #Conflicts: 576000 | #Constraints: 81748 626.87/629.16 c #Conflicts: 577000 | #Constraints: 82749 626.87/629.16 c #Conflicts: 578000 | #Constraints: 83749 626.87/629.16 c #Conflicts: 579000 | #Constraints: 84749 626.87/629.16 c #Conflicts: 580000 | #Constraints: 85749 626.87/629.16 c #Conflicts: 581000 | #Constraints: 86749 626.87/629.16 c #Conflicts: 582000 | #Constraints: 87749 626.87/629.16 c INPROCESSING 626.87/629.16 c GARBAGE COLLECT 626.87/629.16 c rational objective 1.09039 662.91/665.35 c #Conflicts: 583000 | #Constraints: 46479 662.91/665.35 c #Conflicts: 584000 | #Constraints: 47479 662.91/665.35 c #Conflicts: 585000 | #Constraints: 48479 662.91/665.35 c #Conflicts: 586000 | #Constraints: 49479 662.91/665.35 c #Conflicts: 587000 | #Constraints: 50479 662.91/665.35 c #Conflicts: 588000 | #Constraints: 51480 662.91/665.35 c #Conflicts: 589000 | #Constraints: 52481 662.91/665.35 c #Conflicts: 590000 | #Constraints: 53481 662.91/665.35 c #Conflicts: 591000 | #Constraints: 54481 662.91/665.35 c #Conflicts: 592000 | #Constraints: 55481 662.91/665.35 c #Conflicts: 593000 | #Constraints: 56481 662.91/665.35 c #Conflicts: 594000 | #Constraints: 57481 662.91/665.35 c #Conflicts: 595000 | #Constraints: 58481 662.91/665.35 c #Conflicts: 596000 | #Constraints: 59483 662.91/665.35 c #Conflicts: 597000 | #Constraints: 60484 662.91/665.35 c INPROCESSING 662.91/665.35 c GARBAGE COLLECT 662.91/665.35 c rational objective 1.0904 695.78/698.39 c #Conflicts: 598000 | #Constraints: 32461 695.78/698.39 c #Conflicts: 599000 | #Constraints: 33461 695.78/698.39 c #Conflicts: 600000 | #Constraints: 34461 695.78/698.39 c #Conflicts: 601000 | #Constraints: 35461 695.78/698.39 c #Conflicts: 602000 | #Constraints: 36461 695.78/698.39 c #Conflicts: 603000 | #Constraints: 37461 695.78/698.39 c #Conflicts: 604000 | #Constraints: 38463 695.78/698.39 c #Conflicts: 605000 | #Constraints: 39463 695.78/698.39 c #Conflicts: 606000 | #Constraints: 40464 695.78/698.39 c #Conflicts: 607000 | #Constraints: 41465 695.78/698.39 c #Conflicts: 608000 | #Constraints: 42466 695.78/698.39 c #Conflicts: 609000 | #Constraints: 43467 695.78/698.39 c #Conflicts: 610000 | #Constraints: 44467 695.78/698.39 c #Conflicts: 611000 | #Constraints: 45467 695.78/698.39 c #Conflicts: 612000 | #Constraints: 46468 695.78/698.39 c #Conflicts: 613000 | #Constraints: 47468 695.78/698.39 c INPROCESSING 695.78/698.39 c GARBAGE COLLECT 695.78/698.39 c rational objective 1.0904 731.84/734.57 c #Conflicts: 614000 | #Constraints: 25980 731.84/734.57 c #Conflicts: 615000 | #Constraints: 26981 731.84/734.57 c #Conflicts: 616000 | #Constraints: 27981 731.84/734.57 c #Conflicts: 617000 | #Constraints: 28981 731.84/734.57 c #Conflicts: 618000 | #Constraints: 29981 731.84/734.57 c #Conflicts: 619000 | #Constraints: 30981 731.84/734.57 c #Conflicts: 620000 | #Constraints: 31981 731.84/734.57 c #Conflicts: 621000 | #Constraints: 32981 731.84/734.57 c #Conflicts: 622000 | #Constraints: 33981 731.84/734.57 c #Conflicts: 623000 | #Constraints: 34981 731.84/734.57 c #Conflicts: 624000 | #Constraints: 35981 731.84/734.57 c #Conflicts: 625000 | #Constraints: 36983 731.84/734.57 c #Conflicts: 626000 | #Constraints: 37983 731.84/734.57 c #Conflicts: 627000 | #Constraints: 38983 731.84/734.57 c #Conflicts: 628000 | #Constraints: 39984 731.84/734.57 c #Conflicts: 629000 | #Constraints: 40984 731.84/734.57 c #Conflicts: 630000 | #Constraints: 41985 731.84/734.57 c INPROCESSING 731.84/734.57 c GARBAGE COLLECT 731.84/734.57 c rational objective 1.09041 933.79/937.38 c #Conflicts: 631000 | #Constraints: 23598 933.79/937.38 c #Conflicts: 632000 | #Constraints: 24598 933.79/937.38 c #Conflicts: 633000 | #Constraints: 25599 933.79/937.38 c #Conflicts: 634000 | #Constraints: 26602 933.79/937.38 c #Conflicts: 635000 | #Constraints: 27602 933.79/937.38 c #Conflicts: 636000 | #Constraints: 28602 933.79/937.38 c #Conflicts: 637000 | #Constraints: 29602 933.79/937.38 c #Conflicts: 638000 | #Constraints: 30603 933.79/937.38 c #Conflicts: 639000 | #Constraints: 31604 933.79/937.38 c #Conflicts: 640000 | #Constraints: 32604 933.79/937.38 c #Conflicts: 641000 | #Constraints: 33604 933.79/937.38 c #Conflicts: 642000 | #Constraints: 34604 933.79/937.38 c #Conflicts: 643000 | #Constraints: 35605 933.79/937.38 c #Conflicts: 644000 | #Constraints: 36605 933.79/937.38 c #Conflicts: 645000 | #Constraints: 37605 933.79/937.38 c #Conflicts: 646000 | #Constraints: 38605 933.79/937.38 c #Conflicts: 647000 | #Constraints: 39605 933.79/937.38 c #Conflicts: 648000 | #Constraints: 40605 933.79/937.38 c #Conflicts: 649000 | #Constraints: 41605 933.79/937.38 c #Conflicts: 650000 | #Constraints: 42607 933.79/937.38 c #Conflicts: 651000 | #Constraints: 43607 933.79/937.38 c #Conflicts: 652000 | #Constraints: 44607 933.79/937.38 c #Conflicts: 653000 | #Constraints: 45607 933.79/937.38 c #Conflicts: 654000 | #Constraints: 46607 933.79/937.38 c #Conflicts: 655000 | #Constraints: 47607 933.79/937.38 c #Conflicts: 656000 | #Constraints: 48607 933.79/937.38 c #Conflicts: 657000 | #Constraints: 49607 933.79/937.38 c #Conflicts: 658000 | #Constraints: 50607 933.79/937.38 c #Conflicts: 659000 | #Constraints: 51607 933.79/937.38 c #Conflicts: 660000 | #Constraints: 52607 933.79/937.38 c #Conflicts: 661000 | #Constraints: 53607 933.79/937.38 c #Conflicts: 662000 | #Constraints: 54607 933.79/937.38 c #Conflicts: 663000 | #Constraints: 55607 933.79/937.38 c #Conflicts: 664000 | #Constraints: 56607 933.79/937.38 c #Conflicts: 665000 | #Constraints: 57607 933.79/937.38 c #Conflicts: 666000 | #Constraints: 58607 933.79/937.38 c #Conflicts: 667000 | #Constraints: 59608 933.79/937.38 c #Conflicts: 668000 | #Constraints: 60608 933.79/937.38 c #Conflicts: 669000 | #Constraints: 61609 933.79/937.38 c #Conflicts: 670000 | #Constraints: 62609 933.79/937.38 c #Conflicts: 671000 | #Constraints: 63609 933.79/937.38 c #Conflicts: 672000 | #Constraints: 64609 933.79/937.38 c #Conflicts: 673000 | #Constraints: 65609 933.79/937.38 c #Conflicts: 674000 | #Constraints: 66610 933.79/937.38 c #Conflicts: 675000 | #Constraints: 67610 933.79/937.38 c #Conflicts: 676000 | #Constraints: 68611 933.79/937.38 c #Conflicts: 677000 | #Constraints: 69611 933.79/937.38 c #Conflicts: 678000 | #Constraints: 70611 933.79/937.38 c #Conflicts: 679000 | #Constraints: 71611 933.79/937.38 c #Conflicts: 680000 | #Constraints: 72611 933.79/937.38 c #Conflicts: 681000 | #Constraints: 73611 933.79/937.38 c #Conflicts: 682000 | #Constraints: 74612 933.79/937.38 c #Conflicts: 683000 | #Constraints: 75612 933.79/937.38 c #Conflicts: 684000 | #Constraints: 76612 933.79/937.38 c #Conflicts: 685000 | #Constraints: 77612 933.79/937.38 c #Conflicts: 686000 | #Constraints: 78612 933.79/937.38 c #Conflicts: 687000 | #Constraints: 79612 933.79/937.38 c #Conflicts: 688000 | #Constraints: 80612 933.79/937.38 c #Conflicts: 689000 | #Constraints: 81612 933.79/937.38 c #Conflicts: 690000 | #Constraints: 82612 933.79/937.38 c #Conflicts: 691000 | #Constraints: 83612 933.79/937.38 c #Conflicts: 692000 | #Constraints: 84612 933.79/937.38 c #Conflicts: 693000 | #Constraints: 85612 933.79/937.38 c #Conflicts: 694000 | #Constraints: 86612 933.79/937.38 c #Conflicts: 695000 | #Constraints: 87612 933.79/937.38 c #Conflicts: 696000 | #Constraints: 88612 933.79/937.38 c #Conflicts: 697000 | #Constraints: 89612 933.79/937.38 c #Conflicts: 698000 | #Constraints: 90612 933.79/937.38 c #Conflicts: 699000 | #Constraints: 91613 933.79/937.38 c #Conflicts: 700000 | #Constraints: 92613 933.79/937.38 c #Conflicts: 701000 | #Constraints: 93613 933.79/937.38 c #Conflicts: 702000 | #Constraints: 94613 933.79/937.38 c #Conflicts: 703000 | #Constraints: 95613 933.79/937.38 c #Conflicts: 704000 | #Constraints: 96613 933.79/937.38 c INPROCESSING 933.79/937.38 c GARBAGE COLLECT 933.79/937.38 c rational objective 1.09041 961.98/965.65 c #Conflicts: 705000 | #Constraints: 50915 961.98/965.65 c #Conflicts: 706000 | #Constraints: 51915 961.98/965.65 c #Conflicts: 707000 | #Constraints: 52915 961.98/965.65 c #Conflicts: 708000 | #Constraints: 53915 961.98/965.65 c #Conflicts: 709000 | #Constraints: 54915 961.98/965.65 c #Conflicts: 710000 | #Constraints: 55915 961.98/965.65 c #Conflicts: 711000 | #Constraints: 56915 961.98/965.65 c #Conflicts: 712000 | #Constraints: 57915 961.98/965.65 c #Conflicts: 713000 | #Constraints: 58915 961.98/965.65 c #Conflicts: 714000 | #Constraints: 59915 961.98/965.65 c #Conflicts: 715000 | #Constraints: 60915 961.98/965.65 c #Conflicts: 716000 | #Constraints: 61915 961.98/965.65 c #Conflicts: 717000 | #Constraints: 62915 961.98/965.65 c #Conflicts: 718000 | #Constraints: 63915 961.98/965.65 c #Conflicts: 719000 | #Constraints: 64915 961.98/965.65 c #Conflicts: 720000 | #Constraints: 65915 961.98/965.65 c #Conflicts: 721000 | #Constraints: 66915 961.98/965.65 c INPROCESSING 961.98/965.65 c GARBAGE COLLECT 961.98/965.65 c rational objective 1.09364 1005.10/1008.95 c #Conflicts: 722000 | #Constraints: 35835 1005.10/1008.95 c #Conflicts: 723000 | #Constraints: 36835 1005.10/1008.95 c #Conflicts: 724000 | #Constraints: 37835 1005.10/1008.95 c #Conflicts: 725000 | #Constraints: 38835 1005.10/1008.95 c #Conflicts: 726000 | #Constraints: 39835 1005.10/1008.95 c #Conflicts: 727000 | #Constraints: 40835 1005.10/1008.95 c #Conflicts: 728000 | #Constraints: 41835 1005.10/1008.95 c #Conflicts: 729000 | #Constraints: 42835 1005.10/1008.95 c #Conflicts: 730000 | #Constraints: 43835 1005.10/1008.95 c #Conflicts: 731000 | #Constraints: 44835 1005.10/1008.95 c #Conflicts: 732000 | #Constraints: 45835 1005.10/1008.95 c #Conflicts: 733000 | #Constraints: 46835 1005.10/1008.95 c #Conflicts: 734000 | #Constraints: 47835 1005.10/1008.95 c #Conflicts: 735000 | #Constraints: 48835 1005.10/1008.95 c #Conflicts: 736000 | #Constraints: 49835 1005.10/1008.95 c #Conflicts: 737000 | #Constraints: 50835 1005.10/1008.95 c #Conflicts: 738000 | #Constraints: 51835 1005.10/1008.95 c #Conflicts: 739000 | #Constraints: 52835 1005.10/1008.95 c INPROCESSING 1005.10/1008.95 c GARBAGE COLLECT 1005.10/1008.95 c rational objective 1.09481 1016.16/1020.10 c #Conflicts: 740000 | #Constraints: 28927 1016.16/1020.10 c #Conflicts: 741000 | #Constraints: 29929 1016.16/1020.10 c #Conflicts: 742000 | #Constraints: 30929 1016.16/1020.10 c #Conflicts: 743000 | #Constraints: 31929 1016.16/1020.10 c #Conflicts: 744000 | #Constraints: 32929 1016.16/1020.10 c #Conflicts: 745000 | #Constraints: 33929 1016.16/1020.10 c #Conflicts: 746000 | #Constraints: 34931 1016.16/1020.10 c #Conflicts: 747000 | #Constraints: 35931 1016.16/1020.10 c #Conflicts: 748000 | #Constraints: 36932 1016.16/1020.10 c #Conflicts: 749000 | #Constraints: 37932 1016.16/1020.10 c #Conflicts: 750000 | #Constraints: 38932 1016.16/1020.10 c #Conflicts: 751000 | #Constraints: 39932 1016.16/1020.10 c #Conflicts: 752000 | #Constraints: 40933 1016.16/1020.10 c #Conflicts: 753000 | #Constraints: 41933 1016.16/1020.10 c #Conflicts: 754000 | #Constraints: 42933 1016.16/1020.10 c #Conflicts: 755000 | #Constraints: 43933 1016.16/1020.10 c #Conflicts: 756000 | #Constraints: 44933 1016.16/1020.10 c #Conflicts: 757000 | #Constraints: 45933 1016.16/1020.10 c INPROCESSING 1016.16/1020.10 c GARBAGE COLLECT 1016.16/1020.10 c rational objective 1.17197 1373.23/1378.62 c #Conflicts: 758000 | #Constraints: 25511 1373.23/1378.62 c #Conflicts: 759000 | #Constraints: 26511 1373.23/1378.62 c #Conflicts: 760000 | #Constraints: 27511 1373.23/1378.62 c #Conflicts: 761000 | #Constraints: 28511 1373.23/1378.62 c #Conflicts: 762000 | #Constraints: 29511 1373.23/1378.62 c #Conflicts: 763000 | #Constraints: 30511 1373.23/1378.62 c #Conflicts: 764000 | #Constraints: 31511 1373.23/1378.62 c #Conflicts: 765000 | #Constraints: 32511 1373.23/1378.62 c #Conflicts: 766000 | #Constraints: 33511 1373.23/1378.62 c #Conflicts: 767000 | #Constraints: 34511 1373.23/1378.62 c #Conflicts: 768000 | #Constraints: 35511 1373.23/1378.62 c #Conflicts: 769000 | #Constraints: 36512 1373.23/1378.62 c #Conflicts: 770000 | #Constraints: 37512 1373.23/1378.62 c #Conflicts: 771000 | #Constraints: 38514 1373.23/1378.62 c #Conflicts: 772000 | #Constraints: 39514 1373.23/1378.62 c #Conflicts: 773000 | #Constraints: 40514 1373.23/1378.62 c #Conflicts: 774000 | #Constraints: 41514 1373.23/1378.62 c #Conflicts: 775000 | #Constraints: 42514 1373.23/1378.62 c #Conflicts: 776000 | #Constraints: 43514 1373.23/1378.62 c #Conflicts: 777000 | #Constraints: 44514 1373.23/1378.62 c #Conflicts: 778000 | #Constraints: 45514 1373.23/1378.62 c #Conflicts: 779000 | #Constraints: 46514 1373.23/1378.62 c #Conflicts: 780000 | #Constraints: 47514 1373.23/1378.62 c #Conflicts: 781000 | #Constraints: 48515 1373.23/1378.62 c #Conflicts: 782000 | #Constraints: 49515 1373.23/1378.62 c #Conflicts: 783000 | #Constraints: 50515 1373.23/1378.62 c #Conflicts: 784000 | #Constraints: 51515 1373.23/1378.62 c #Conflicts: 785000 | #Constraints: 52515 1373.23/1378.62 c #Conflicts: 786000 | #Constraints: 53515 1373.23/1378.62 c #Conflicts: 787000 | #Constraints: 54515 1373.23/1378.62 c #Conflicts: 788000 | #Constraints: 55515 1373.23/1378.62 c #Conflicts: 789000 | #Constraints: 56516 1373.23/1378.62 c #Conflicts: 790000 | #Constraints: 57516 1373.23/1378.62 c #Conflicts: 791000 | #Constraints: 58516 1373.23/1378.62 c #Conflicts: 792000 | #Constraints: 59516 1373.23/1378.62 c #Conflicts: 793000 | #Constraints: 60516 1373.23/1378.62 c #Conflicts: 794000 | #Constraints: 61516 1373.23/1378.62 c #Conflicts: 795000 | #Constraints: 62516 1373.23/1378.62 c #Conflicts: 796000 | #Constraints: 63516 1373.23/1378.62 c #Conflicts: 797000 | #Constraints: 64517 1373.23/1378.62 c #Conflicts: 798000 | #Constraints: 65517 1373.23/1378.62 c #Conflicts: 799000 | #Constraints: 66518 1373.23/1378.62 c #Conflicts: 800000 | #Constraints: 67518 1373.23/1378.62 c #Conflicts: 801000 | #Constraints: 68518 1373.23/1378.62 c #Conflicts: 802000 | #Constraints: 69518 1373.23/1378.62 c #Conflicts: 803000 | #Constraints: 70518 1373.23/1378.62 c #Conflicts: 804000 | #Constraints: 71518 1373.23/1378.62 c #Conflicts: 805000 | #Constraints: 72518 1373.23/1378.62 c #Conflicts: 806000 | #Constraints: 73518 1373.23/1378.62 c #Conflicts: 807000 | #Constraints: 74518 1373.23/1378.62 c #Conflicts: 808000 | #Constraints: 75518 1373.23/1378.62 c #Conflicts: 809000 | #Constraints: 76518 1373.23/1378.62 c #Conflicts: 810000 | #Constraints: 77519 1373.23/1378.62 c #Conflicts: 811000 | #Constraints: 78519 1373.23/1378.62 c #Conflicts: 812000 | #Constraints: 79519 1373.23/1378.62 c #Conflicts: 813000 | #Constraints: 80519 1373.23/1378.62 c #Conflicts: 814000 | #Constraints: 81519 1373.23/1378.62 c #Conflicts: 815000 | #Constraints: 82519 1373.23/1378.62 c #Conflicts: 816000 | #Constraints: 83521 1373.23/1378.62 c #Conflicts: 817000 | #Constraints: 84522 1373.23/1378.62 c #Conflicts: 818000 | #Constraints: 85522 1373.23/1378.62 c #Conflicts: 819000 | #Constraints: 86522 1373.23/1378.62 c #Conflicts: 820000 | #Constraints: 87522 1373.23/1378.62 c #Conflicts: 821000 | #Constraints: 88522 1373.23/1378.62 c #Conflicts: 822000 | #Constraints: 89522 1373.23/1378.62 c #Conflicts: 823000 | #Constraints: 90522 1373.23/1378.62 c #Conflicts: 824000 | #Constraints: 91522 1373.23/1378.62 c #Conflicts: 825000 | #Constraints: 92522 1373.23/1378.62 c #Conflicts: 826000 | #Constraints: 93522 1373.23/1378.62 c #Conflicts: 827000 | #Constraints: 94522 1373.23/1378.62 c #Conflicts: 828000 | #Constraints: 95522 1373.23/1378.62 c #Conflicts: 829000 | #Constraints: 96522 1373.23/1378.62 c #Conflicts: 830000 | #Constraints: 97522 1373.23/1378.62 c #Conflicts: 831000 | #Constraints: 98522 1373.23/1378.62 c #Conflicts: 832000 | #Constraints: 99522 1373.23/1378.62 c #Conflicts: 833000 | #Constraints: 100522 1373.23/1378.62 c #Conflicts: 834000 | #Constraints: 101522 1373.23/1378.62 c #Conflicts: 835000 | #Constraints: 102523 1373.23/1378.62 c #Conflicts: 836000 | #Constraints: 103523 1374.43/1379.81 c INPROCESSING 1374.43/1379.81 c GARBAGE COLLECT 1374.43/1379.81 c rational objective 1.17253 1413.37/1418.91 c #Conflicts: 837000 | #Constraints: 54179 1413.37/1418.91 c #Conflicts: 838000 | #Constraints: 55179 1413.37/1418.91 c #Conflicts: 839000 | #Constraints: 56179 1413.37/1418.91 c #Conflicts: 840000 | #Constraints: 57179 1413.37/1418.91 c #Conflicts: 841000 | #Constraints: 58179 1413.37/1418.91 c #Conflicts: 842000 | #Constraints: 59179 1413.37/1418.91 c #Conflicts: 843000 | #Constraints: 60179 1413.37/1418.91 c #Conflicts: 844000 | #Constraints: 61179 1413.37/1418.91 c #Conflicts: 845000 | #Constraints: 62179 1413.37/1418.91 c #Conflicts: 846000 | #Constraints: 63179 1413.37/1418.91 c #Conflicts: 847000 | #Constraints: 64179 1413.37/1418.91 c #Conflicts: 848000 | #Constraints: 65180 1413.37/1418.91 c #Conflicts: 849000 | #Constraints: 66180 1413.37/1418.91 c #Conflicts: 850000 | #Constraints: 67180 1413.37/1418.91 c #Conflicts: 851000 | #Constraints: 68180 1413.37/1418.91 c #Conflicts: 852000 | #Constraints: 69180 1413.37/1418.91 c #Conflicts: 853000 | #Constraints: 70180 1413.37/1418.91 c #Conflicts: 854000 | #Constraints: 71180 1413.37/1418.91 c #Conflicts: 855000 | #Constraints: 72181 1413.37/1418.91 c INPROCESSING 1413.37/1418.91 c GARBAGE COLLECT 1413.37/1418.91 c rational objective 1.18544 1474.03/1479.85 c #Conflicts: 856000 | #Constraints: 38415 1474.03/1479.85 c #Conflicts: 857000 | #Constraints: 39416 1474.03/1479.85 c #Conflicts: 858000 | #Constraints: 40416 1474.03/1479.85 c #Conflicts: 859000 | #Constraints: 41416 1474.03/1479.85 c #Conflicts: 860000 | #Constraints: 42416 1474.03/1479.85 c #Conflicts: 861000 | #Constraints: 43416 1474.03/1479.85 c #Conflicts: 862000 | #Constraints: 44416 1474.03/1479.85 c #Conflicts: 863000 | #Constraints: 45416 1474.03/1479.85 c #Conflicts: 864000 | #Constraints: 46416 1474.03/1479.85 c #Conflicts: 865000 | #Constraints: 47416 1474.03/1479.85 c #Conflicts: 866000 | #Constraints: 48416 1474.03/1479.85 c #Conflicts: 867000 | #Constraints: 49417 1474.03/1479.85 c #Conflicts: 868000 | #Constraints: 50417 1474.03/1479.85 c #Conflicts: 869000 | #Constraints: 51417 1474.03/1479.85 c #Conflicts: 870000 | #Constraints: 52417 1474.03/1479.85 c #Conflicts: 871000 | #Constraints: 53417 1474.03/1479.85 c #Conflicts: 872000 | #Constraints: 54417 1474.03/1479.85 c #Conflicts: 873000 | #Constraints: 55417 1474.03/1479.85 c #Conflicts: 874000 | #Constraints: 56417 1474.03/1479.85 c #Conflicts: 875000 | #Constraints: 57417 1474.03/1479.85 c INPROCESSING 1474.03/1479.85 c GARBAGE COLLECT 1474.03/1479.85 c rational objective 1.1894 2467.68/2477.73 c #Conflicts: 876000 | #Constraints: 31290 2467.68/2477.73 c #Conflicts: 877000 | #Constraints: 32290 2467.68/2477.73 c #Conflicts: 878000 | #Constraints: 33290 2467.68/2477.73 c #Conflicts: 879000 | #Constraints: 34290 2467.68/2477.73 c #Conflicts: 880000 | #Constraints: 35290 2467.68/2477.73 c #Conflicts: 881000 | #Constraints: 36290 2467.68/2477.73 c #Conflicts: 882000 | #Constraints: 37290 2467.68/2477.73 c #Conflicts: 883000 | #Constraints: 38290 2467.68/2477.73 c #Conflicts: 884000 | #Constraints: 39290 2467.68/2477.73 c #Conflicts: 885000 | #Constraints: 40290 2467.68/2477.73 c #Conflicts: 886000 | #Constraints: 41290 2467.68/2477.73 c #Conflicts: 887000 | #Constraints: 42290 2467.68/2477.73 c #Conflicts: 888000 | #Constraints: 43290 2467.68/2477.73 c #Conflicts: 889000 | #Constraints: 44290 2467.68/2477.73 c #Conflicts: 890000 | #Constraints: 45290 2467.68/2477.73 c #Conflicts: 891000 | #Constraints: 46290 2467.68/2477.73 c #Conflicts: 892000 | #Constraints: 47290 2467.68/2477.73 c #Conflicts: 893000 | #Constraints: 48290 2467.68/2477.73 c #Conflicts: 894000 | #Constraints: 49291 2467.68/2477.73 c #Conflicts: 895000 | #Constraints: 50291 2467.68/2477.73 c #Conflicts: 896000 | #Constraints: 51291 2467.68/2477.73 c #Conflicts: 897000 | #Constraints: 52291 2467.68/2477.73 c #Conflicts: 898000 | #Constraints: 53291 2467.68/2477.73 c #Conflicts: 899000 | #Constraints: 54291 2467.68/2477.73 c #Conflicts: 900000 | #Constraints: 55291 2467.68/2477.73 c #Conflicts: 901000 | #Constraints: 56291 2467.68/2477.73 c #Conflicts: 902000 | #Constraints: 57291 2467.68/2477.73 c #Conflicts: 903000 | #Constraints: 58291 2467.68/2477.73 c #Conflicts: 904000 | #Constraints: 59291 2467.68/2477.73 c #Conflicts: 905000 | #Constraints: 60291 2467.68/2477.73 c #Conflicts: 906000 | #Constraints: 61291 2467.68/2477.73 c #Conflicts: 907000 | #Constraints: 62291 2467.68/2477.73 c #Conflicts: 908000 | #Constraints: 63291 2467.68/2477.73 c #Conflicts: 909000 | #Constraints: 64291 2467.68/2477.73 c #Conflicts: 910000 | #Constraints: 65291 2467.68/2477.73 c #Conflicts: 911000 | #Constraints: 66291 2467.68/2477.73 c #Conflicts: 912000 | #Constraints: 67291 2467.68/2477.73 c #Conflicts: 913000 | #Constraints: 68291 2467.68/2477.73 c #Conflicts: 914000 | #Constraints: 69291 2467.68/2477.73 c #Conflicts: 915000 | #Constraints: 70291 2467.68/2477.73 c #Conflicts: 916000 | #Constraints: 71291 2467.68/2477.73 c #Conflicts: 917000 | #Constraints: 72291 2467.68/2477.73 c #Conflicts: 918000 | #Constraints: 73291 2467.68/2477.73 c #Conflicts: 919000 | #Constraints: 74291 2467.68/2477.73 c #Conflicts: 920000 | #Constraints: 75291 2467.68/2477.73 c #Conflicts: 921000 | #Constraints: 76292 2467.68/2477.73 c #Conflicts: 922000 | #Constraints: 77292 2467.68/2477.73 c #Conflicts: 923000 | #Constraints: 78292 2467.68/2477.73 c #Conflicts: 924000 | #Constraints: 79292 2467.68/2477.73 c #Conflicts: 925000 | #Constraints: 80292 2467.68/2477.73 c #Conflicts: 926000 | #Constraints: 81292 2467.68/2477.73 c #Conflicts: 927000 | #Constraints: 82292 2467.68/2477.73 c #Conflicts: 928000 | #Constraints: 83292 2467.68/2477.73 c #Conflicts: 929000 | #Constraints: 84292 2467.68/2477.73 c #Conflicts: 930000 | #Constraints: 85292 2467.68/2477.73 c #Conflicts: 931000 | #Constraints: 86292 2467.68/2477.73 c #Conflicts: 932000 | #Constraints: 87292 2467.68/2477.73 c #Conflicts: 933000 | #Constraints: 88292 2467.68/2477.73 c #Conflicts: 934000 | #Constraints: 89292 2467.68/2477.73 c #Conflicts: 935000 | #Constraints: 90292 2467.68/2477.73 c #Conflicts: 936000 | #Constraints: 91292 2467.68/2477.73 c #Conflicts: 937000 | #Constraints: 92292 2467.68/2477.73 c #Conflicts: 938000 | #Constraints: 93292 2467.68/2477.73 c #Conflicts: 939000 | #Constraints: 94292 2467.68/2477.73 c #Conflicts: 940000 | #Constraints: 95292 2467.68/2477.73 c #Conflicts: 941000 | #Constraints: 96292 2467.68/2477.73 c #Conflicts: 942000 | #Constraints: 97292 2467.68/2477.73 c #Conflicts: 943000 | #Constraints: 98292 2467.68/2477.73 c #Conflicts: 944000 | #Constraints: 99292 2467.68/2477.73 c #Conflicts: 945000 | #Constraints: 100292 2467.68/2477.73 c #Conflicts: 946000 | #Constraints: 101292 2467.68/2477.73 c #Conflicts: 947000 | #Constraints: 102292 2467.68/2477.73 c #Conflicts: 948000 | #Constraints: 103292 2467.68/2477.73 c #Conflicts: 949000 | #Constraints: 104292 2467.68/2477.73 c #Conflicts: 950000 | #Constraints: 105292 2467.68/2477.73 c #Conflicts: 951000 | #Constraints: 106292 2467.68/2477.73 c #Conflicts: 952000 | #Constraints: 107292 2467.68/2477.73 c #Conflicts: 953000 | #Constraints: 108292 2467.68/2477.73 c #Conflicts: 954000 | #Constraints: 109293 2509.42/2519.68 c #Conflicts: 955000 | #Constraints: 110293 2509.42/2519.68 c #Conflicts: 956000 | #Constraints: 111293 2509.42/2519.68 c #Conflicts: 957000 | #Constraints: 112293 2509.42/2519.68 c #Conflicts: 958000 | #Constraints: 113293 2509.42/2519.68 c INPROCESSING 2509.42/2519.68 c GARBAGE COLLECT 2509.42/2519.68 c rational objective 1.19111 2958.43/2970.50 c #Conflicts: 959000 | #Constraints: 59013 2958.43/2970.50 c #Conflicts: 960000 | #Constraints: 60013 2958.43/2970.50 c #Conflicts: 961000 | #Constraints: 61013 2958.43/2970.50 c #Conflicts: 962000 | #Constraints: 62013 2958.43/2970.50 c #Conflicts: 963000 | #Constraints: 63013 2958.43/2970.50 c #Conflicts: 964000 | #Constraints: 64013 2958.43/2970.50 c #Conflicts: 965000 | #Constraints: 65013 2958.43/2970.50 c #Conflicts: 966000 | #Constraints: 66013 2958.43/2970.50 c #Conflicts: 967000 | #Constraints: 67013 2958.43/2970.50 c #Conflicts: 968000 | #Constraints: 68013 2958.43/2970.50 c #Conflicts: 969000 | #Constraints: 69013 2958.43/2970.50 c #Conflicts: 970000 | #Constraints: 70013 2958.43/2970.50 c #Conflicts: 971000 | #Constraints: 71013 2958.43/2970.50 c #Conflicts: 972000 | #Constraints: 72013 2958.43/2970.50 c #Conflicts: 973000 | #Constraints: 73013 2958.43/2970.50 c #Conflicts: 974000 | #Constraints: 74013 2958.43/2970.50 c #Conflicts: 975000 | #Constraints: 75013 2958.43/2970.50 c #Conflicts: 976000 | #Constraints: 76013 2958.43/2970.50 c #Conflicts: 977000 | #Constraints: 77013 2958.43/2970.50 c #Conflicts: 978000 | #Constraints: 78013 2958.43/2970.50 c #Conflicts: 979000 | #Constraints: 79013 2958.43/2970.50 c INPROCESSING 2958.43/2970.50 c GARBAGE COLLECT 2958.43/2970.50 c rational objective 1.19111 3101.35/3114.10 c #Conflicts: 980000 | #Constraints: 42028 3101.35/3114.10 c #Conflicts: 981000 | #Constraints: 43029 3101.35/3114.10 c #Conflicts: 982000 | #Constraints: 44029 3101.35/3114.10 c #Conflicts: 983000 | #Constraints: 45029 3101.35/3114.10 c #Conflicts: 984000 | #Constraints: 46029 3101.35/3114.10 c #Conflicts: 985000 | #Constraints: 47029 3101.35/3114.10 c #Conflicts: 986000 | #Constraints: 48029 3101.35/3114.10 c #Conflicts: 987000 | #Constraints: 49029 3101.35/3114.10 c #Conflicts: 988000 | #Constraints: 50029 3101.35/3114.10 c #Conflicts: 989000 | #Constraints: 51029 3101.35/3114.10 c #Conflicts: 990000 | #Constraints: 52029 3101.35/3114.10 c #Conflicts: 991000 | #Constraints: 53029 3101.35/3114.10 c #Conflicts: 992000 | #Constraints: 54029 3101.35/3114.10 c #Conflicts: 993000 | #Constraints: 55029 3101.35/3114.10 c #Conflicts: 994000 | #Constraints: 56029 3101.35/3114.10 c #Conflicts: 995000 | #Constraints: 57029 3101.35/3114.10 c #Conflicts: 996000 | #Constraints: 58029 3101.35/3114.10 c #Conflicts: 997000 | #Constraints: 59029 3101.35/3114.10 c #Conflicts: 998000 | #Constraints: 60029 3101.35/3114.10 c #Conflicts: 999000 | #Constraints: 61029 3101.35/3114.10 c #Conflicts: 1000000 | #Constraints: 62029 3101.35/3114.10 c INPROCESSING 3101.35/3114.10 c GARBAGE COLLECT 3101.35/3114.10 c rational objective 1.19469 3600.00/3614.40 c #Conflicts: 1001000 | #Constraints: 33589 3600.00/3614.40 c #Conflicts: 1002000 | #Constraints: 34590 3600.00/3614.40 c #Conflicts: 1003000 | #Constraints: 35590 3600.00/3614.40 c #Conflicts: 1004000 | #Constraints: 36590 3600.00/3614.40 c #Conflicts: 1005000 | #Constraints: 37591 3600.00/3614.40 c #Conflicts: 1006000 | #Constraints: 38591 3600.00/3614.40 c #Conflicts: 1007000 | #Constraints: 39591 3600.00/3614.40 c #Conflicts: 1008000 | #Constraints: 40591 3600.00/3614.40 c #Conflicts: 1009000 | #Constraints: 41591 3600.00/3614.40 c #Conflicts: 1010000 | #Constraints: 42592 3600.00/3614.40 c #Conflicts: 1011000 | #Constraints: 43592 3600.00/3614.40 c #Conflicts: 1012000 | #Constraints: 44592 3600.00/3614.40 c #Conflicts: 1013000 | #Constraints: 45593 3600.00/3614.40 c #Conflicts: 1014000 | #Constraints: 46593 3600.00/3614.40 c #Conflicts: 1015000 | #Constraints: 47593 3600.00/3614.40 c #Conflicts: 1016000 | #Constraints: 48593 3600.00/3614.40 c #Conflicts: 1017000 | #Constraints: 49593 3600.00/3614.40 c #Conflicts: 1018000 | #Constraints: 50593 3600.00/3614.40 c #Conflicts: 1019000 | #Constraints: 51593 3600.00/3614.40 c #Conflicts: 1020000 | #Constraints: 52593 3600.00/3614.40 c #Conflicts: 1021000 | #Constraints: 53593 3600.00/3614.40 c #Conflicts: 1022000 | #Constraints: 54593 3600.00/3614.40 c #Conflicts: 1023000 | #Constraints: 55593 3600.00/3614.40 c #Conflicts: 1024000 | #Constraints: 56593 3600.00/3614.40 c #Conflicts: 1025000 | #Constraints: 57593 3600.00/3614.40 c #Conflicts: 1026000 | #Constraints: 58593 3600.00/3614.40 c #Conflicts: 1027000 | #Constraints: 59593 3600.00/3614.40 c #Conflicts: 1028000 | #Constraints: 60593 3600.00/3614.40 c #Conflicts: 1029000 | #Constraints: 61593 3600.00/3614.40 c #Conflicts: 1030000 | #Constraints: 62593 3600.00/3614.40 c #Conflicts: 1031000 | #Constraints: 63593 3600.00/3614.40 c #Conflicts: 1032000 | #Constraints: 64593 3600.00/3614.40 c #Conflicts: 1033000 | #Constraints: 65593 3600.00/3614.40 c #Conflicts: 1034000 | #Constraints: 66593 3600.00/3614.40 c #Conflicts: 1035000 | #Constraints: 67593 3600.00/3614.40 c #Conflicts: 1036000 | #Constraints: 68593 3600.00/3614.40 c #Conflicts: 1037000 | #Constraints: 69593 3600.00/3614.40 c #Conflicts: 1038000 | #Constraints: 70593 3600.00/3614.40 c #Conflicts: 1039000 | #Constraints: 71593 3600.00/3614.40 c #Conflicts: 1040000 | #Constraints: 72593 3600.00/3614.40 c #Conflicts: 1041000 | #Constraints: 73593 3600.00/3614.40 c #Conflicts: 1042000 | #Constraints: 74593 3600.00/3614.40 c #Conflicts: 1043000 | #Constraints: 75593 3600.00/3614.40 c #Conflicts: 1044000 | #Constraints: 76593 3600.00/3614.40 c #Conflicts: 1045000 | #Constraints: 77593 3600.00/3614.40 c #Conflicts: 1046000 | #Constraints: 78593 3600.00/3614.40 c #Conflicts: 1047000 | #Constraints: 79593 3600.00/3614.40 c #Conflicts: 1048000 | #Constraints: 80593 3600.00/3614.40 c #Conflicts: 1049000 | #Constraints: 81593 3600.00/3614.40 c #Conflicts: 1050000 | #Constraints: 82593 3600.00/3614.40 c Program interrupted by user. 3600.00/3614.40 c cpu time 3578.29 s 3600.00/3614.40 c deterministic time 379193584398 3.79e+11 3600.00/3614.40 c optimization time 496.989 s 3600.00/3614.40 c total solve time 3081.3 s 3600.00/3614.40 c core-guided solve time 0 s 3600.00/3614.40 c propagation time 3399.35 s 3600.00/3614.40 c conflict analysis time 148.185 s 3600.00/3614.40 c propagations 46571077 3600.00/3614.40 c resolve steps 6097028 3600.00/3614.40 c decisions 8013153 3600.00/3614.40 c conflicts 1050188 3600.00/3614.40 c restarts 2046 3600.00/3614.40 c inprocessing phases 73 3600.00/3614.40 c input clauses 1134 3600.00/3614.40 c input cardinalities 0 3600.00/3614.40 c input general constraints 1681 3600.00/3614.40 c input average constraint length 3.79 3600.00/3614.40 c input average constraint degree 1562361107.37 3600.00/3614.40 c learned clauses 314370 3600.00/3614.40 c learned cardinalities 2619 3600.00/3614.40 c learned general constraints 733519 3600.00/3614.40 c learned average constraint length 81.76 3600.00/3614.40 c learned average constraint degree 272915893.10 3600.00/3614.40 c watched constraints 702287 3600.00/3614.40 c counting constraints 32913 3600.00/3614.40 c gcd simplifications 85358 3600.00/3614.40 c detected cardinalities 752 3600.00/3614.40 c weakened non-implied lits 5871934 3600.00/3614.40 c weakened non-implying lits 629433 3600.00/3614.40 c original variables 2688 3600.00/3614.40 c clausal propagations 14335313 3600.00/3614.40 c cardinality propagations 119589 3600.00/3614.40 c watched propagations 9074503 3600.00/3614.40 c counting propagations 22484897 3600.00/3614.40 c watch lookups 57376905831 3600.00/3614.40 c watch backjump lookups 53249164464 3600.00/3614.40 c watch checks 144965560529 3600.00/3614.40 c propagation checks 123220030800 3600.00/3614.40 c constraint additions 270570766 3600.00/3614.40 c trail pops 55633320 3600.00/3614.40 c formula constraints 2815 3600.00/3614.40 c learned constraints 1049878 3600.00/3614.40 c bound constraints 0 3600.00/3614.40 c core-guided constraints 0 3600.00/3614.40 c encountered formula constraints 3236983 3600.00/3614.40 c encountered learned constraints 3849473 3600.00/3614.40 c encountered bound constraints 0 3600.00/3614.40 c encountered core-guided constraints 0 3600.00/3614.40 c LP total time 58.4427 s 3600.00/3614.40 c LP solve time 53.26 s 3600.00/3614.40 c LP constraints added 2880 3600.00/3614.40 c LP constraints removed 45 3600.00/3614.40 c LP pivots internal 1050278 3600.00/3614.40 c LP pivots root 84179 3600.00/3614.40 c LP calls 19369 3600.00/3614.40 c LP optimalities 18963 3600.00/3614.40 c LP no pivot count 16009 3600.00/3614.40 c LP infeasibilities 322 3600.00/3614.40 c LP valid Farkas constraints 320 3600.00/3614.40 c LP learned Farkas constraints 310 3600.00/3614.40 c LP basis resets 83 3600.00/3614.40 c LP cycling count 80 3600.00/3614.40 c LP singular count 1 3600.00/3614.40 c LP no primal count 0 3600.00/3614.40 c LP no farkas count 2 3600.00/3614.40 c LP other issue count 0 3600.00/3614.40 c LP Gomory cuts 0 3600.00/3614.40 c LP learned cuts 65 3600.00/3614.40 c LP deleted cuts 45 3600.00/3614.40 c LP encountered Gomory constraints 0 3600.00/3614.40 c LP encountered Farkas constraints 20975 3600.00/3614.40 c LP encountered learned Farkas constraints 39475 3600.00/3614.40 c CG auxiliary variables introduced 0 3600.00/3614.40 c CG solutions found 0 3600.00/3614.40 c CG cores constructed 0 3600.00/3614.40 c CG core cardinality constraints returned 0 3600.00/3614.40 c CG unit cores 0 3600.00/3614.40 c CG single cores 0 3600.00/3614.40 c CG blocks removed during cardinality reduction 0 3600.00/3614.40 c CG first core best 0 3600.00/3614.40 c CG decision core best 0 3600.00/3614.40 c CG core reduction tie 0 3600.00/3614.40 c CG core degree average 0.00 3600.00/3614.40 c CG core slack average 0.00 3600.00/3614.40 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: 63931 MiB (45459 MiB free)
memory of node 1: 64510 MiB (54805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460884-1722072646/watcher-4460884-1722072646 -o /tmp/evaluation-result-4460884-1722072646/solver-4460884-1722072646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310246 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460884-1722072646 --lp-cut-gomory=0 HOME/instance-4460884-1722072646.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=315636, runsolver pid=315633
[startup+0.100087 s]*
/proc/loadavg: 4.11 4.14 4.17 5/265 315637
/proc/meminfo: memFree=102663404/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=43292 memory=15288 CPUtime=0.09 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 1826 0 0 0 8 1 0 0 20 0 1 0 43788815 44331008 3822 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 10823 3822 1853 992 0 2681 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43292 KiB
Current children cumulated memory: 15288 KiB
[startup+0.205782 s]*
/proc/loadavg: 4.11 4.14 4.17 5/265 315637
/proc/meminfo: memFree=102662396/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=43292 memory=15288 CPUtime=0.2 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 1849 0 0 0 18 2 0 0 20 0 1 0 43788815 44331008 3822 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 10823 3822 1853 992 0 2681 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43292 KiB
Current children cumulated memory: 15288 KiB
[startup+0.305703 s]*
/proc/loadavg: 4.11 4.14 4.17 5/265 315637
/proc/meminfo: memFree=102656372/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=43424 memory=15288 CPUtime=0.3 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 1869 0 0 0 26 4 0 0 20 0 1 0 43788815 44466176 3822 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 10856 3822 1853 992 0 2714 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43424 KiB
Current children cumulated memory: 15288 KiB
[startup+0.700215 s]
/proc/loadavg: 4.11 4.14 4.17 5/265 315637
/proc/meminfo: memFree=102649196/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=44380 memory=16340 CPUtime=0.68 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 2103 0 0 0 60 8 0 0 20 0 1 0 43788815 45445120 4085 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 11095 4085 1853 992 0 2953 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44380 KiB
Current children cumulated memory: 16340 KiB
[startup+1.50021 s]
/proc/loadavg: 4.11 4.14 4.17 5/265 315637
/proc/meminfo: memFree=102636172/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=45392 memory=17396 CPUtime=1.48 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 2362 0 0 0 133 15 0 0 20 0 1 0 43788815 46481408 4349 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 11348 4349 1853 992 0 3206 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45392 KiB
Current children cumulated memory: 17396 KiB
[startup+3.10562 s]
/proc/loadavg: 4.11 4.14 4.17 5/265 315637
/proc/meminfo: memFree=102573948/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=47332 memory=21284 CPUtime=3.09 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 2846 0 0 0 281 28 0 0 20 0 1 0 43788815 48467968 5321 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 11833 5321 1853 992 0 3691 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47332 KiB
Current children cumulated memory: 21284 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.14 4.17 5/265 315639
/proc/meminfo: memFree=102479112/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=51264 memory=25536 CPUtime=6.27 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 3832 0 0 0 575 52 0 0 20 0 1 0 43788815 52494336 6384 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 12816 6384 1935 992 0 4674 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51264 KiB
Current children cumulated memory: 25536 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 4.17 5/265 315639
/proc/meminfo: memFree=102313276/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=58740 memory=30900 CPUtime=12.64 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 5189 0 0 0 1170 94 0 0 20 0 1 0 43788815 60149760 7725 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 14685 7725 1935 992 0 6543 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 58740 KiB
Current children cumulated memory: 30900 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.15 4.17 5/265 315642
/proc/meminfo: memFree=102017092/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=71600 memory=40680 CPUtime=25.41 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 7634 0 0 0 2394 147 0 0 20 0 1 0 43788815 73318400 10170 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 17900 10170 1935 992 0 9758 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 71600 KiB
Current children cumulated memory: 40680 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 4.14 4.16 5/265 315645
/proc/meminfo: memFree=101592556/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=86108 memory=57328 CPUtime=50.93 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 10382 0 0 0 4857 236 0 0 20 0 1 0 43788815 88174592 14332 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 21527 14332 1935 992 0 13385 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 86108 KiB
Current children cumulated memory: 57328 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.17 5/265 315655
/proc/meminfo: memFree=101130692/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=92344 memory=63848 CPUtime=101.94 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 12214 0 0 0 9833 361 0 0 20 0 1 0 43788815 94560256 15962 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 23086 15962 1967 992 0 14944 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 92344 KiB
Current children cumulated memory: 63848 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.16 5/265 315665
/proc/meminfo: memFree=100649488/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=112868 memory=72932 CPUtime=161.75 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 14868 0 0 0 15676 499 0 0 20 0 1 0 43788815 115576832 18233 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 28217 18233 1967 992 0 20075 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 112868 KiB
Current children cumulated memory: 72932 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/264 315677
/proc/meminfo: memFree=99967808/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=117628 memory=77816 CPUtime=221.54 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 16257 0 0 0 21490 664 0 0 20 0 1 0 43788815 120451072 19454 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 29407 19454 1967 992 0 21265 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 117628 KiB
Current children cumulated memory: 77816 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/261 315688
/proc/meminfo: memFree=99489856/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=123128 memory=90012 CPUtime=281.33 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 17775 0 0 0 27398 735 0 0 20 0 1 0 43788815 126083072 22503 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 30782 22503 1967 992 0 22640 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 123128 KiB
Current children cumulated memory: 90012 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/257 315698
/proc/meminfo: memFree=99109260/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=148024 memory=101312 CPUtime=341.12 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 19772 0 0 0 33346 766 0 0 20 0 1 0 43788815 151576576 25328 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 37006 25328 1967 992 0 28864 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 148024 KiB
Current children cumulated memory: 101312 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/257 315709
/proc/meminfo: memFree=98648492/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=151452 memory=112420 CPUtime=400.91 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 20771 0 0 0 39264 827 0 0 20 0 1 0 43788815 155086848 28105 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 37863 28105 1967 992 0 29721 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 151452 KiB
Current children cumulated memory: 112420 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/257 315719
/proc/meminfo: memFree=98168448/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=151640 memory=112672 CPUtime=460.69 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 20849 0 0 0 45192 877 0 0 20 0 1 0 43788815 155279360 28168 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 37910 28168 1967 992 0 29768 0
################
# More data... #
################
Current children cumulated memory: 177920 KiB
[startup+2862.3 s]
/proc/loadavg: 4.21 4.16 4.12 5/262 316801
/proc/meminfo: memFree=78152868/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=238880 memory=177920 CPUtime=2850.68 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 34879 0 0 0 283119 1949 0 0 20 0 1 0 43788815 244613120 44480 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 59720 44480 1967 992 0 51578 0
Current children cumulated CPU time: 2850.68 s
Current children cumulated vsize: 238880 KiB
Current children cumulated memory: 177920 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.12 7/263 316812
/proc/meminfo: memFree=77491772/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=238880 memory=177920 CPUtime=2910.43 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 34910 0 0 0 289079 1964 0 0 20 0 1 0 43788815 244613120 44480 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 59720 44480 1967 992 0 51578 0
Current children cumulated CPU time: 2910.43 s
Current children cumulated vsize: 238880 KiB
Current children cumulated memory: 177920 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/268 316830
/proc/meminfo: memFree=76829224/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=239872 memory=178708 CPUtime=2970.18 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35099 0 0 0 295035 1983 0 0 20 0 1 0 43788815 245628928 44677 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 59968 44677 1967 992 0 51826 0
Current children cumulated CPU time: 2970.18 s
Current children cumulated vsize: 239872 KiB
Current children cumulated memory: 178708 KiB
[startup+3042.3 s]
/proc/loadavg: 4.40 4.24 4.15 5/268 316840
/proc/meminfo: memFree=76189920/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=239872 memory=178708 CPUtime=3029.93 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35103 0 0 0 300987 2006 0 0 20 0 1 0 43788815 245628928 44677 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 59968 44677 1967 992 0 51826 0
Current children cumulated CPU time: 3029.93 s
Current children cumulated vsize: 239872 KiB
Current children cumulated memory: 178708 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.19 4.14 4/261 316882
/proc/meminfo: memFree=107921252/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=239872 memory=178708 CPUtime=3089.69 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35115 0 0 0 306948 2021 0 0 20 0 1 0 43788815 245628928 44677 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 59968 44677 1967 992 0 51826 0
Current children cumulated CPU time: 3089.69 s
Current children cumulated vsize: 239872 KiB
Current children cumulated memory: 178708 KiB
[startup+3162.3 s]
/proc/loadavg: 3.51 4.00 4.08 5/258 316914
/proc/meminfo: memFree=108094812/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=240220 memory=179236 CPUtime=3149.46 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35260 0 0 0 312880 2066 0 0 20 0 1 0 43788815 245985280 44809 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 60055 44809 1967 992 0 51913 0
Current children cumulated CPU time: 3149.46 s
Current children cumulated vsize: 240220 KiB
Current children cumulated memory: 179236 KiB
[startup+3222.3 s]
/proc/loadavg: 2.61 3.65 3.95 3/253 316935
/proc/meminfo: memFree=110953356/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=240220 memory=185172 CPUtime=3209.25 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35326 0 0 0 318833 2092 0 0 20 0 1 0 43788815 245985280 46293 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 60055 46293 1967 992 0 51913 0
Current children cumulated CPU time: 3209.25 s
Current children cumulated vsize: 240220 KiB
Current children cumulated memory: 185172 KiB
[startup+3282.3 s]
/proc/loadavg: 2.27 3.36 3.83 3/248 317330
/proc/meminfo: memFree=110926812/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=240220 memory=192580 CPUtime=3269.04 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35418 0 0 0 324794 2110 0 0 20 0 1 0 43788815 245985280 48145 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 60055 48145 1967 992 0 51913 0
Current children cumulated CPU time: 3269.04 s
Current children cumulated vsize: 240220 KiB
Current children cumulated memory: 192580 KiB
[startup+3342.3 s]
/proc/loadavg: 2.19 3.14 3.72 3/248 317340
/proc/meminfo: memFree=110904512/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=240220 memory=192580 CPUtime=3328.83 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35496 0 0 0 330760 2123 0 0 20 0 1 0 43788815 245985280 48145 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 60055 48145 1967 992 0 51913 0
Current children cumulated CPU time: 3328.83 s
Current children cumulated vsize: 240220 KiB
Current children cumulated memory: 192580 KiB
[startup+3402.3 s]
/proc/loadavg: 2.12 2.94 3.62 3/246 317351
/proc/meminfo: memFree=110878576/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=240220 memory=192580 CPUtime=3388.62 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35573 0 0 0 336727 2135 0 0 20 0 1 0 43788815 245985280 48145 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 60055 48145 1967 992 0 51913 0
Current children cumulated CPU time: 3388.62 s
Current children cumulated vsize: 240220 KiB
Current children cumulated memory: 192580 KiB
[startup+3462.3 s]
/proc/loadavg: 2.16 2.80 3.52 3/244 317361
/proc/meminfo: memFree=110867552/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=240220 memory=192580 CPUtime=3448.41 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35651 0 0 0 342695 2146 0 0 20 0 1 0 43788815 245985280 48145 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 60055 48145 1967 992 0 51913 0
Current children cumulated CPU time: 3448.41 s
Current children cumulated vsize: 240220 KiB
Current children cumulated memory: 192580 KiB
[startup+3522.3 s]
/proc/loadavg: 2.12 2.67 3.43 3/245 317542
/proc/meminfo: memFree=110856400/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=240220 memory=192580 CPUtime=3508.21 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35730 0 0 0 348664 2157 0 0 20 0 1 0 43788815 245985280 48145 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 60055 48145 1967 992 0 51913 0
Current children cumulated CPU time: 3508.21 s
Current children cumulated vsize: 240220 KiB
Current children cumulated memory: 192580 KiB
[startup+3582.3 s]
/proc/loadavg: 2.11 2.57 3.35 3/246 317612
/proc/meminfo: memFree=110845264/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=240220 memory=192580 CPUtime=3568 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35810 0 0 0 354633 2167 0 0 20 0 1 0 43788815 245985280 48145 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 60055 48145 1967 992 0 51913 0
Current children cumulated CPU time: 3568 s
Current children cumulated vsize: 240220 KiB
Current children cumulated memory: 192580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.4 s]
/proc/loadavg: 2.12 2.53 3.31 3/246 317618
/proc/meminfo: memFree=110840296/131524600 swapFree=131054224/131071996
[pid=315636] ppid=315633 vsize=240220 memory=192580 CPUtime=3600 cores=0,2
/proc/315636/stat : 315636 (roundingsat) R 315633 315636 310236 0 -1 4194304 35810 0 0 0 357829 2171 0 0 20 0 1 0 43788815 245985280 48145 134679101440 4194304 8254357 140720615824624 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 12038144 140720615830363 140720615830625 140720615830625 140720615837641 0
/proc/315636/statm: 60055 48145 1967 992 0 51913 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 240220 KiB
Current children cumulated memory: 192580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.41 s]
# the end of solver process 315636 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.29 s, system=21.7157 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3614.41
CPU time (s): 3600.01
CPU user time (s): 3578.29
CPU system time (s): 21.7157
CPU usage (%): 99.6017
Max. virtual memory (cumulated for all children) (KiB): 240640
Max. memory (cumulated for all children) (KiB): 192580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.29
system time used= 21.7157
maximum resident set size= 192580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35823
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2722216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 24910
# summary of solver processes directly reported to runsolver:
# pid: 315636
# total CPU time (s): 3600.01
# total CPU user time (s): 3578.29
# total CPU system time (s): 21.7157
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86634 second user time and 17.2241 second system time
The end
Begin job on nodeC034 at 2024-07-27 11:30:46 IDJOB=4460884 IDBENCH=176041 IDSOLVER=3086 FILE ID=nodeC034/4460884-1722072646 RUNJOBID= nodeC034-1722064836-310246 SLURM_JOB_ID= 8248102 Free space on /tmp= 890060 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460884-1722072646/watcher-4460884-1722072646 -o /tmp/evaluation-result-4460884-1722072646/solver-4460884-1722072646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310246 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460884-1722072646 --lp-cut-gomory=0 HOME/instance-4460884-1722072646.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ad731be7af81a11cebcddac40b738f1a RANDOM SEED=1758337591 nodeC034.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 : 0xb00002a cpu MHz : 3656.078 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92 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 : 0xb00002a cpu MHz : 3687.520 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.84 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 : 0xb00002a cpu MHz : 3653.114 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92 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 : 0xb00002a cpu MHz : 3600.267 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.84 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 : 0xb00002a cpu MHz : 3677.728 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92 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 : 0xb00002a cpu MHz : 3687.573 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.84 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 : 0xb00002a cpu MHz : 3637.065 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.92 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 : 0xb00002a cpu MHz : 3600.306 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 102672596 kB MemAvailable: 125535748 kB Buffers: 371416 kB Cached: 23264544 kB SwapCached: 112 kB Active: 1841068 kB Inactive: 26298256 kB Active(anon): 2000 kB Inactive(anon): 4551948 kB Active(file): 1839068 kB Inactive(file): 21746308 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054224 kB Dirty: 134256 kB Writeback: 8 kB AnonPages: 4502092 kB Mapped: 104788 kB Shmem: 50772 kB KReclaimable: 234844 kB Slab: 355132 kB SReclaimable: 234844 kB SUnreclaim: 120288 kB KernelStack: 4304 kB PageTables: 18400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5368616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16416 kB HardwareCorrupted: 0 kB AnonHugePages: 1556480 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: 357076 kB DirectMap2M: 48699392 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890072 MiB End job on nodeC034 at 2024-07-27 12:31:01