| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | ? (TO) | 3600.09 | 3646.33 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ sorensson/garden/normalized-g15x15.opb |
| MD5SUM | 83e8c133f6310d52aedf789f310352e0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 53 |
| Best CPU time to get the best result obtained on this benchmark | 26.7007 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 225 |
| Total number of constraints | 225 |
| Number of constraints which are clauses | 225 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 225 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 225 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 225 |
| Number of bits of the biggest sum of numbers | 8 |
| 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.02 c RoundingSat 2 0.00/0.02 c branch 0.00/0.02 c commit 0.00/0.02 c #variables 225 #constraints 225 0.00/0.08 c bounds - >= 0 @ 0.004365 0.00/0.08 c rational objective 48.5261 0.66/0.78 c bounds 75 >= 0 @ 0.057 0.66/0.78 c bounds 75 >= 1 @ 0.103089 0.66/0.78 c bounds 75 >= 2 @ 0.103415 0.66/0.78 c bounds 75 >= 3 @ 0.103697 0.66/0.78 c bounds 75 >= 4 @ 0.103984 0.66/0.78 c bounds 75 >= 5 @ 0.104279 0.66/0.78 c bounds 75 >= 6 @ 0.104594 0.66/0.78 c bounds 75 >= 7 @ 0.104918 0.66/0.78 c bounds 75 >= 8 @ 0.105225 0.66/0.78 c bounds 75 >= 9 @ 0.10553 0.66/0.78 c bounds 75 >= 10 @ 0.105818 0.66/0.78 c bounds 75 >= 11 @ 0.106146 0.66/0.78 c bounds 75 >= 12 @ 0.106475 0.66/0.78 c bounds 75 >= 13 @ 0.106794 0.66/0.78 c bounds 75 >= 14 @ 0.107122 0.66/0.78 c bounds 75 >= 15 @ 0.107431 0.66/0.78 c bounds 75 >= 16 @ 0.107727 0.66/0.78 c bounds 75 >= 17 @ 0.107752 0.66/0.78 c bounds 75 >= 18 @ 0.107752 0.66/0.78 c bounds 75 >= 19 @ 0.107775 0.66/0.78 c bounds 75 >= 20 @ 0.108091 0.66/0.78 c bounds 75 >= 21 @ 0.108405 0.66/0.78 c bounds 75 >= 22 @ 0.108737 0.66/0.78 c bounds 74 >= 22 @ 0.1103 0.66/0.78 c bounds 74 >= 23 @ 0.110641 0.66/0.78 c bounds 74 >= 24 @ 0.110703 0.66/0.78 c bounds 74 >= 25 @ 0.110703 0.66/0.78 c bounds 74 >= 26 @ 0.110703 0.66/0.78 c bounds 74 >= 27 @ 0.110703 0.66/0.78 c bounds 74 >= 28 @ 0.110703 0.66/0.78 c bounds 74 >= 29 @ 0.110703 0.66/0.78 c bounds 74 >= 30 @ 0.110703 0.66/0.78 c bounds 74 >= 31 @ 0.110703 0.66/0.78 c bounds 74 >= 32 @ 0.110957 0.66/0.78 c bounds 74 >= 33 @ 0.111296 0.66/0.78 c bounds 74 >= 34 @ 0.111619 0.66/0.78 c bounds 74 >= 35 @ 0.111978 0.66/0.78 c bounds 74 >= 36 @ 0.112336 0.66/0.78 c bounds 74 >= 37 @ 0.112697 0.66/0.78 c bounds 74 >= 38 @ 0.113041 0.66/0.78 c bounds 74 >= 39 @ 0.113394 0.66/0.78 c bounds 74 >= 40 @ 0.113779 0.66/0.78 c bounds 74 >= 41 @ 0.114142 0.66/0.78 c bounds 74 >= 42 @ 0.114492 0.66/0.78 c bounds 74 >= 43 @ 0.114872 0.66/0.78 c bounds 74 >= 44 @ 0.117215 0.66/0.78 c bounds 73 >= 44 @ 0.11878 0.66/0.78 c bounds 73 >= 45 @ 0.11957 0.66/0.78 c bounds 72 >= 45 @ 0.11957 0.66/0.78 c bounds 71 >= 45 @ 0.121603 0.66/0.78 c bounds 71 >= 46 @ 0.125475 0.66/0.78 c bounds 70 >= 46 @ 0.127829 0.66/0.78 c bounds 69 >= 46 @ 0.13139 0.66/0.78 c bounds 69 >= 47 @ 0.132551 0.66/0.78 c bounds 69 >= 48 @ 0.154413 0.66/0.78 c bounds 68 >= 48 @ 0.155882 0.66/0.78 c bounds 67 >= 48 @ 0.157953 0.66/0.78 c bounds 66 >= 48 @ 0.163631 0.66/0.78 c bounds 65 >= 48 @ 0.169831 0.66/0.78 c bounds 64 >= 48 @ 0.184211 0.66/0.78 c #Conflicts: 1000 | #Constraints: 1518 0.66/0.78 c bounds 64 >= 49 @ 0.455498 0.66/0.78 c bounds 63 >= 49 @ 0.513563 0.66/0.78 c bounds 62 >= 49 @ 0.517079 0.66/0.78 c bounds 61 >= 49 @ 0.525587 0.66/0.78 c bounds 60 >= 49 @ 0.532657 0.66/0.78 c #Conflicts: 2000 | #Constraints: 2576 0.66/0.78 c INPROCESSING 0.66/0.78 c GARBAGE COLLECT 0.66/0.78 c rational objective 49 1.46/1.50 c bounds 59 >= 49 @ 0.882452 1.46/1.50 c #Conflicts: 3000 | #Constraints: 2562 1.46/1.50 c #Conflicts: 4000 | #Constraints: 3562 1.46/1.50 c INPROCESSING 1.46/1.50 c GARBAGE COLLECT 1.46/1.50 c rational objective 49 1.86/2.00 c bounds 58 >= 49 @ 1.38046 1.86/2.00 c #Conflicts: 5000 | #Constraints: 3017 1.86/2.00 c bounds 57 >= 49 @ 1.47923 1.86/2.00 c #Conflicts: 6000 | #Constraints: 4075 1.86/2.00 c INPROCESSING 1.86/2.00 c GARBAGE COLLECT 1.86/2.00 c rational objective 49 2.66/2.75 c #Conflicts: 7000 | #Constraints: 3034 2.66/2.75 c #Conflicts: 8000 | #Constraints: 4034 2.66/2.75 c bounds 57 >= 50 @ 2.44468 2.66/2.75 c #Conflicts: 9000 | #Constraints: 5097 2.66/2.75 c INPROCESSING 2.66/2.75 c GARBAGE COLLECT 2.66/2.75 c rational objective 50 3.15/3.24 c #Conflicts: 10000 | #Constraints: 3773 3.15/3.24 c bounds 56 >= 50 @ 2.65911 3.15/3.24 c #Conflicts: 11000 | #Constraints: 4822 3.15/3.24 c bounds 55 >= 50 @ 2.82921 3.15/3.24 c #Conflicts: 12000 | #Constraints: 5866 3.15/3.24 c INPROCESSING 3.15/3.24 c GARBAGE COLLECT 3.15/3.24 c rational objective 50 3.75/3.83 c #Conflicts: 13000 | #Constraints: 4272 3.75/3.83 c #Conflicts: 14000 | #Constraints: 5315 3.75/3.83 c #Conflicts: 15000 | #Constraints: 6353 3.75/3.83 c INPROCESSING 3.75/3.83 c GARBAGE COLLECT 3.75/3.83 c rational objective 50 4.85/4.97 c #Conflicts: 16000 | #Constraints: 4487 4.85/4.97 c #Conflicts: 17000 | #Constraints: 5487 4.85/4.97 c #Conflicts: 18000 | #Constraints: 6487 4.85/4.97 c INPROCESSING 4.85/4.97 c GARBAGE COLLECT 4.85/4.97 c rational objective 50 6.05/6.15 c #Conflicts: 19000 | #Constraints: 4473 6.05/6.15 c #Conflicts: 20000 | #Constraints: 5497 6.05/6.15 c #Conflicts: 21000 | #Constraints: 6529 6.05/6.15 c INPROCESSING 6.05/6.15 c GARBAGE COLLECT 6.05/6.15 c rational objective 50 7.53/7.64 c #Conflicts: 22000 | #Constraints: 4294 7.53/7.64 c #Conflicts: 23000 | #Constraints: 5294 7.53/7.64 c #Conflicts: 24000 | #Constraints: 6294 7.53/7.64 c #Conflicts: 25000 | #Constraints: 7294 7.53/7.64 c INPROCESSING 7.53/7.64 c GARBAGE COLLECT 7.53/7.64 c rational objective 50 8.23/8.34 c #Conflicts: 26000 | #Constraints: 4885 8.23/8.34 c #Conflicts: 27000 | #Constraints: 5910 8.23/8.34 c #Conflicts: 28000 | #Constraints: 6957 8.23/8.34 c #Conflicts: 29000 | #Constraints: 7994 8.23/8.34 c INPROCESSING 8.23/8.34 c GARBAGE COLLECT 8.23/8.34 c rational objective 50 9.13/9.23 c #Conflicts: 30000 | #Constraints: 5361 9.13/9.23 c #Conflicts: 31000 | #Constraints: 6407 9.13/9.23 c #Conflicts: 32000 | #Constraints: 7444 9.13/9.23 c #Conflicts: 33000 | #Constraints: 8478 9.13/9.23 c INPROCESSING 9.13/9.23 c GARBAGE COLLECT 9.13/9.23 c rational objective 50 10.13/10.23 c #Conflicts: 34000 | #Constraints: 5579 10.13/10.23 c #Conflicts: 35000 | #Constraints: 6618 10.13/10.23 c #Conflicts: 36000 | #Constraints: 7665 10.13/10.23 c #Conflicts: 37000 | #Constraints: 8710 10.13/10.23 c INPROCESSING 10.13/10.23 c GARBAGE COLLECT 10.13/10.23 c rational objective 50 11.52/11.67 c #Conflicts: 38000 | #Constraints: 5574 11.52/11.67 c #Conflicts: 39000 | #Constraints: 6574 11.52/11.67 c bounds 55 >= 51 @ 10.4568 11.52/11.67 c #Conflicts: 40000 | #Constraints: 7651 11.52/11.67 c #Conflicts: 41000 | #Constraints: 8678 11.52/11.67 c INPROCESSING 11.52/11.67 c GARBAGE COLLECT 11.52/11.67 c rational objective 51 13.81/13.98 c #Conflicts: 42000 | #Constraints: 5391 13.81/13.98 c #Conflicts: 43000 | #Constraints: 6391 13.81/13.98 c #Conflicts: 44000 | #Constraints: 7391 13.81/13.98 c #Conflicts: 45000 | #Constraints: 8391 13.81/13.98 c #Conflicts: 46000 | #Constraints: 9391 13.81/13.98 c INPROCESSING 13.81/13.98 c GARBAGE COLLECT 13.81/13.98 c rational objective 51 15.03/15.13 c #Conflicts: 47000 | #Constraints: 5983 15.03/15.13 c #Conflicts: 48000 | #Constraints: 7013 15.03/15.13 c #Conflicts: 49000 | #Constraints: 8044 15.03/15.13 c #Conflicts: 50000 | #Constraints: 9077 15.03/15.13 c #Conflicts: 51000 | #Constraints: 10111 15.03/15.13 c INPROCESSING 15.03/15.13 c GARBAGE COLLECT 15.03/15.13 c rational objective 51 16.21/16.36 c #Conflicts: 52000 | #Constraints: 6443 16.21/16.36 c #Conflicts: 53000 | #Constraints: 7486 16.21/16.36 c #Conflicts: 54000 | #Constraints: 8521 16.21/16.36 c #Conflicts: 55000 | #Constraints: 9553 16.21/16.36 c #Conflicts: 56000 | #Constraints: 10587 16.21/16.36 c INPROCESSING 16.21/16.36 c GARBAGE COLLECT 16.21/16.36 c rational objective 51 17.60/17.72 c #Conflicts: 57000 | #Constraints: 6669 17.60/17.72 c #Conflicts: 58000 | #Constraints: 7698 17.60/17.72 c #Conflicts: 59000 | #Constraints: 8728 17.60/17.72 c #Conflicts: 60000 | #Constraints: 9760 17.60/17.72 c #Conflicts: 61000 | #Constraints: 10786 17.60/17.72 c INPROCESSING 17.60/17.72 c GARBAGE COLLECT 17.60/17.72 c rational objective 51 20.80/20.93 c #Conflicts: 62000 | #Constraints: 6631 20.80/20.93 c #Conflicts: 63000 | #Constraints: 7632 20.80/20.93 c #Conflicts: 64000 | #Constraints: 8632 20.80/20.93 c #Conflicts: 65000 | #Constraints: 9632 20.80/20.93 c #Conflicts: 66000 | #Constraints: 10632 20.80/20.93 c INPROCESSING 20.80/20.93 c GARBAGE COLLECT 20.80/20.93 c rational objective 51 32.55/32.74 c #Conflicts: 67000 | #Constraints: 6393 32.55/32.74 c #Conflicts: 68000 | #Constraints: 7419 32.55/32.74 c #Conflicts: 69000 | #Constraints: 8455 32.55/32.74 c #Conflicts: 70000 | #Constraints: 9493 32.55/32.74 c #Conflicts: 71000 | #Constraints: 10525 32.55/32.74 c #Conflicts: 72000 | #Constraints: 11559 32.55/32.74 c #Conflicts: 73000 | #Constraints: 12586 32.55/32.74 c #Conflicts: 74000 | #Constraints: 13617 32.55/32.74 c #Conflicts: 75000 | #Constraints: 14655 32.55/32.74 c #Conflicts: 76000 | #Constraints: 15686 32.55/32.74 c #Conflicts: 77000 | #Constraints: 16713 32.55/32.74 c #Conflicts: 78000 | #Constraints: 17749 32.55/32.74 c #Conflicts: 79000 | #Constraints: 18789 32.55/32.74 c #Conflicts: 80000 | #Constraints: 19822 32.55/32.74 c #Conflicts: 81000 | #Constraints: 20853 32.55/32.74 c #Conflicts: 82000 | #Constraints: 21893 32.55/32.74 c #Conflicts: 83000 | #Constraints: 22924 32.55/32.74 c #Conflicts: 84000 | #Constraints: 23957 32.55/32.74 c #Conflicts: 85000 | #Constraints: 24996 32.55/32.74 c #Conflicts: 86000 | #Constraints: 26029 32.55/32.74 c #Conflicts: 87000 | #Constraints: 27061 32.55/32.74 c #Conflicts: 88000 | #Constraints: 28103 32.55/32.74 c #Conflicts: 89000 | #Constraints: 29132 32.55/32.74 c INPROCESSING 32.55/32.74 c GARBAGE COLLECT 32.55/32.74 c rational objective 51 39.03/39.30 c #Conflicts: 90000 | #Constraints: 15774 39.03/39.30 c #Conflicts: 91000 | #Constraints: 16774 39.03/39.30 c #Conflicts: 92000 | #Constraints: 17774 39.03/39.30 c #Conflicts: 93000 | #Constraints: 18774 39.03/39.30 c #Conflicts: 94000 | #Constraints: 19774 39.03/39.30 c #Conflicts: 95000 | #Constraints: 20774 39.03/39.30 c #Conflicts: 96000 | #Constraints: 21774 39.03/39.30 c INPROCESSING 39.03/39.30 c GARBAGE COLLECT 39.03/39.30 c rational objective 51 46.51/46.72 c #Conflicts: 97000 | #Constraints: 12267 46.51/46.72 c #Conflicts: 98000 | #Constraints: 13267 46.51/46.72 c #Conflicts: 99000 | #Constraints: 14267 46.51/46.72 c #Conflicts: 100000 | #Constraints: 15267 46.51/46.72 c #Conflicts: 101000 | #Constraints: 16267 46.51/46.72 c #Conflicts: 102000 | #Constraints: 17267 46.51/46.72 c INPROCESSING 46.51/46.72 c GARBAGE COLLECT 46.51/46.72 c rational objective 51 48.81/49.05 c #Conflicts: 103000 | #Constraints: 9570 48.81/49.05 c #Conflicts: 104000 | #Constraints: 10595 48.81/49.05 c #Conflicts: 105000 | #Constraints: 11636 48.81/49.05 c #Conflicts: 106000 | #Constraints: 12676 48.81/49.05 c #Conflicts: 107000 | #Constraints: 13710 48.81/49.05 c #Conflicts: 108000 | #Constraints: 14745 48.81/49.05 c #Conflicts: 109000 | #Constraints: 15779 48.81/49.05 c #Conflicts: 110000 | #Constraints: 16817 48.81/49.05 c INPROCESSING 48.81/49.05 c GARBAGE COLLECT 48.81/49.05 c rational objective 51 51.29/51.59 c #Conflicts: 111000 | #Constraints: 9790 51.29/51.59 c #Conflicts: 112000 | #Constraints: 10823 51.29/51.59 c #Conflicts: 113000 | #Constraints: 11864 51.29/51.59 c #Conflicts: 114000 | #Constraints: 12903 51.29/51.59 c #Conflicts: 115000 | #Constraints: 13934 51.29/51.59 c #Conflicts: 116000 | #Constraints: 14961 51.29/51.59 c #Conflicts: 117000 | #Constraints: 15994 51.29/51.59 c INPROCESSING 51.29/51.59 c GARBAGE COLLECT 51.29/51.59 c rational objective 51 53.89/54.13 c #Conflicts: 118000 | #Constraints: 9220 53.89/54.13 c #Conflicts: 119000 | #Constraints: 10265 53.89/54.13 c #Conflicts: 120000 | #Constraints: 11305 53.89/54.13 c #Conflicts: 121000 | #Constraints: 12343 53.89/54.13 c #Conflicts: 122000 | #Constraints: 13380 53.89/54.13 c #Conflicts: 123000 | #Constraints: 14430 53.89/54.13 c #Conflicts: 124000 | #Constraints: 15473 53.89/54.13 c INPROCESSING 53.89/54.13 c GARBAGE COLLECT 53.89/54.13 c rational objective 51 60.96/61.20 c #Conflicts: 125000 | #Constraints: 8697 60.96/61.20 c #Conflicts: 126000 | #Constraints: 9697 60.96/61.20 c #Conflicts: 127000 | #Constraints: 10697 60.96/61.20 c #Conflicts: 128000 | #Constraints: 11697 60.96/61.20 c #Conflicts: 129000 | #Constraints: 12697 60.96/61.20 c #Conflicts: 130000 | #Constraints: 13697 60.96/61.20 c #Conflicts: 131000 | #Constraints: 14697 60.96/61.20 c #Conflicts: 132000 | #Constraints: 15697 60.96/61.20 c INPROCESSING 60.96/61.20 c GARBAGE COLLECT 60.96/61.20 c rational objective 51 83.19/83.59 c #Conflicts: 133000 | #Constraints: 8989 83.19/83.59 c #Conflicts: 134000 | #Constraints: 10029 83.19/83.59 c #Conflicts: 135000 | #Constraints: 11060 83.19/83.59 c #Conflicts: 136000 | #Constraints: 12099 83.19/83.59 c #Conflicts: 137000 | #Constraints: 13136 83.19/83.59 c #Conflicts: 138000 | #Constraints: 14181 83.19/83.59 c #Conflicts: 139000 | #Constraints: 15219 83.19/83.59 c #Conflicts: 140000 | #Constraints: 16252 83.19/83.59 c #Conflicts: 141000 | #Constraints: 17283 83.19/83.59 c #Conflicts: 142000 | #Constraints: 18325 83.19/83.59 c #Conflicts: 143000 | #Constraints: 19359 83.19/83.59 c #Conflicts: 144000 | #Constraints: 20395 83.19/83.59 c #Conflicts: 145000 | #Constraints: 21424 83.19/83.59 c #Conflicts: 146000 | #Constraints: 22462 83.19/83.59 c #Conflicts: 147000 | #Constraints: 23488 83.19/83.59 c #Conflicts: 148000 | #Constraints: 24526 83.19/83.59 c #Conflicts: 149000 | #Constraints: 25554 83.19/83.59 c #Conflicts: 150000 | #Constraints: 26585 83.19/83.59 c #Conflicts: 151000 | #Constraints: 27621 83.19/83.59 c #Conflicts: 152000 | #Constraints: 28644 83.19/83.59 c #Conflicts: 153000 | #Constraints: 29676 83.19/83.59 c #Conflicts: 154000 | #Constraints: 30706 83.19/83.59 c #Conflicts: 155000 | #Constraints: 31743 83.19/83.59 c #Conflicts: 156000 | #Constraints: 32768 83.19/83.59 c #Conflicts: 157000 | #Constraints: 33796 83.19/83.59 c #Conflicts: 158000 | #Constraints: 34829 83.19/83.59 c #Conflicts: 159000 | #Constraints: 35866 83.19/83.59 c #Conflicts: 160000 | #Constraints: 36890 83.19/83.59 c #Conflicts: 161000 | #Constraints: 37914 83.19/83.59 c #Conflicts: 162000 | #Constraints: 38950 83.19/83.59 c #Conflicts: 163000 | #Constraints: 39985 83.19/83.59 c INPROCESSING 83.19/83.59 c GARBAGE COLLECT 83.19/83.59 c rational objective 51 97.34/97.75 c #Conflicts: 164000 | #Constraints: 20959 97.34/97.75 c #Conflicts: 165000 | #Constraints: 21959 97.34/97.75 c #Conflicts: 166000 | #Constraints: 22959 97.34/97.75 c #Conflicts: 167000 | #Constraints: 23959 97.34/97.75 c #Conflicts: 168000 | #Constraints: 24959 97.34/97.75 c #Conflicts: 169000 | #Constraints: 25959 97.34/97.75 c #Conflicts: 170000 | #Constraints: 26959 97.34/97.75 c #Conflicts: 171000 | #Constraints: 27959 97.34/97.75 c #Conflicts: 172000 | #Constraints: 28959 97.34/97.75 c INPROCESSING 97.34/97.75 c GARBAGE COLLECT 97.34/97.75 c rational objective 51 112.98/113.49 c #Conflicts: 173000 | #Constraints: 15462 112.98/113.49 c #Conflicts: 174000 | #Constraints: 16462 112.98/113.49 c #Conflicts: 175000 | #Constraints: 17462 112.98/113.49 c #Conflicts: 176000 | #Constraints: 18462 112.98/113.49 c #Conflicts: 177000 | #Constraints: 19462 112.98/113.49 c #Conflicts: 178000 | #Constraints: 20462 112.98/113.49 c #Conflicts: 179000 | #Constraints: 21462 112.98/113.49 c #Conflicts: 180000 | #Constraints: 22462 112.98/113.49 c #Conflicts: 181000 | #Constraints: 23462 112.98/113.49 c #Conflicts: 182000 | #Constraints: 24462 112.98/113.49 c INPROCESSING 112.98/113.49 c GARBAGE COLLECT 112.98/113.49 c rational objective 51 117.28/117.74 c #Conflicts: 183000 | #Constraints: 13639 117.28/117.74 c #Conflicts: 184000 | #Constraints: 14677 117.28/117.74 c #Conflicts: 185000 | #Constraints: 15710 117.28/117.74 c #Conflicts: 186000 | #Constraints: 16743 117.28/117.74 c #Conflicts: 187000 | #Constraints: 17791 117.28/117.74 c #Conflicts: 188000 | #Constraints: 18827 117.28/117.74 c #Conflicts: 189000 | #Constraints: 19854 117.28/117.74 c #Conflicts: 190000 | #Constraints: 20882 117.28/117.74 c #Conflicts: 191000 | #Constraints: 21910 117.28/117.74 c INPROCESSING 117.28/117.74 c GARBAGE COLLECT 117.28/117.74 c rational objective 51 121.57/122.08 c #Conflicts: 192000 | #Constraints: 12132 121.57/122.08 c #Conflicts: 193000 | #Constraints: 13174 121.57/122.08 c #Conflicts: 194000 | #Constraints: 14205 121.57/122.08 c #Conflicts: 195000 | #Constraints: 15241 121.57/122.08 c #Conflicts: 196000 | #Constraints: 16270 121.57/122.08 c #Conflicts: 197000 | #Constraints: 17304 121.57/122.08 c #Conflicts: 198000 | #Constraints: 18342 121.57/122.08 c #Conflicts: 199000 | #Constraints: 19368 121.57/122.08 c #Conflicts: 200000 | #Constraints: 20393 121.57/122.08 c #Conflicts: 201000 | #Constraints: 21409 121.57/122.08 c INPROCESSING 121.57/122.08 c GARBAGE COLLECT 121.57/122.08 c rational objective 51 125.74/126.29 c #Conflicts: 202000 | #Constraints: 12092 125.74/126.29 c #Conflicts: 203000 | #Constraints: 13135 125.74/126.29 c #Conflicts: 204000 | #Constraints: 14166 125.74/126.29 c #Conflicts: 205000 | #Constraints: 15205 125.74/126.29 c #Conflicts: 206000 | #Constraints: 16245 125.74/126.29 c #Conflicts: 207000 | #Constraints: 17289 125.74/126.29 c #Conflicts: 208000 | #Constraints: 18335 125.74/126.29 c #Conflicts: 209000 | #Constraints: 19376 125.74/126.29 c #Conflicts: 210000 | #Constraints: 20400 125.74/126.29 c INPROCESSING 125.74/126.29 c GARBAGE COLLECT 125.74/126.29 c rational objective 51 129.73/130.28 c #Conflicts: 211000 | #Constraints: 11161 129.73/130.28 c #Conflicts: 212000 | #Constraints: 12208 129.73/130.28 c #Conflicts: 213000 | #Constraints: 13244 129.73/130.28 c #Conflicts: 214000 | #Constraints: 14284 129.73/130.28 c #Conflicts: 215000 | #Constraints: 15305 129.73/130.28 c #Conflicts: 216000 | #Constraints: 16333 129.73/130.28 c #Conflicts: 217000 | #Constraints: 17363 129.73/130.28 c #Conflicts: 218000 | #Constraints: 18414 129.73/130.28 c #Conflicts: 219000 | #Constraints: 19446 129.73/130.28 c #Conflicts: 220000 | #Constraints: 20478 129.73/130.28 c INPROCESSING 129.73/130.28 c GARBAGE COLLECT 129.73/130.28 c rational objective 51 143.78/144.35 c #Conflicts: 221000 | #Constraints: 11201 143.78/144.35 c #Conflicts: 222000 | #Constraints: 12201 143.78/144.35 c #Conflicts: 223000 | #Constraints: 13201 143.78/144.35 c #Conflicts: 224000 | #Constraints: 14201 143.78/144.35 c #Conflicts: 225000 | #Constraints: 15201 143.78/144.35 c #Conflicts: 226000 | #Constraints: 16201 143.78/144.35 c #Conflicts: 227000 | #Constraints: 17201 143.78/144.35 c #Conflicts: 228000 | #Constraints: 18201 143.78/144.35 c #Conflicts: 229000 | #Constraints: 19201 143.78/144.35 c #Conflicts: 230000 | #Constraints: 20201 143.78/144.35 c #Conflicts: 231000 | #Constraints: 21201 143.78/144.35 c INPROCESSING 143.78/144.35 c GARBAGE COLLECT 143.78/144.35 c rational objective 51 184.46/185.13 c #Conflicts: 232000 | #Constraints: 12017 184.46/185.13 c #Conflicts: 233000 | #Constraints: 13059 184.46/185.13 c #Conflicts: 234000 | #Constraints: 14100 184.46/185.13 c #Conflicts: 235000 | #Constraints: 15141 184.46/185.13 c #Conflicts: 236000 | #Constraints: 16178 184.46/185.13 c bounds 54 >= 51 @ 142.355 184.46/185.13 c #Conflicts: 237000 | #Constraints: 17223 184.46/185.13 c #Conflicts: 238000 | #Constraints: 18260 184.46/185.13 c #Conflicts: 239000 | #Constraints: 19295 184.46/185.13 c #Conflicts: 240000 | #Constraints: 20334 184.46/185.13 c #Conflicts: 241000 | #Constraints: 21369 184.46/185.13 c #Conflicts: 242000 | #Constraints: 22405 184.46/185.13 c #Conflicts: 243000 | #Constraints: 23431 184.46/185.13 c #Conflicts: 244000 | #Constraints: 24466 184.46/185.13 c #Conflicts: 245000 | #Constraints: 25499 184.46/185.13 c #Conflicts: 246000 | #Constraints: 26533 184.46/185.13 c #Conflicts: 247000 | #Constraints: 27564 184.46/185.13 c #Conflicts: 248000 | #Constraints: 28598 184.46/185.13 c #Conflicts: 249000 | #Constraints: 29631 184.46/185.13 c #Conflicts: 250000 | #Constraints: 30652 184.46/185.13 c #Conflicts: 251000 | #Constraints: 31676 184.46/185.13 c #Conflicts: 252000 | #Constraints: 32702 184.46/185.13 c #Conflicts: 253000 | #Constraints: 33733 184.46/185.13 c #Conflicts: 254000 | #Constraints: 34760 184.46/185.13 c #Conflicts: 255000 | #Constraints: 35785 184.46/185.13 c #Conflicts: 256000 | #Constraints: 36811 184.46/185.13 c #Conflicts: 257000 | #Constraints: 37843 184.46/185.13 c #Conflicts: 258000 | #Constraints: 38879 184.46/185.13 c #Conflicts: 259000 | #Constraints: 39899 184.46/185.13 c #Conflicts: 260000 | #Constraints: 40924 184.46/185.13 c #Conflicts: 261000 | #Constraints: 41959 184.46/185.13 c #Conflicts: 262000 | #Constraints: 42982 184.46/185.13 c #Conflicts: 263000 | #Constraints: 44003 184.46/185.13 c #Conflicts: 264000 | #Constraints: 45031 184.46/185.13 c #Conflicts: 265000 | #Constraints: 46058 184.46/185.13 c #Conflicts: 266000 | #Constraints: 47089 184.46/185.13 c #Conflicts: 267000 | #Constraints: 48122 184.46/185.13 c #Conflicts: 268000 | #Constraints: 49150 184.46/185.13 c #Conflicts: 269000 | #Constraints: 50181 184.46/185.13 c #Conflicts: 270000 | #Constraints: 51216 184.46/185.13 c #Conflicts: 271000 | #Constraints: 52253 184.46/185.13 c #Conflicts: 272000 | #Constraints: 53286 184.46/185.13 c INPROCESSING 184.46/185.13 c GARBAGE COLLECT 184.46/185.13 c rational objective 51 210.46/211.21 c #Conflicts: 273000 | #Constraints: 27998 210.46/211.21 c #Conflicts: 274000 | #Constraints: 28998 210.46/211.21 c #Conflicts: 275000 | #Constraints: 29999 210.46/211.21 c #Conflicts: 276000 | #Constraints: 30999 210.46/211.21 c #Conflicts: 277000 | #Constraints: 31999 210.46/211.21 c #Conflicts: 278000 | #Constraints: 32999 210.46/211.21 c #Conflicts: 279000 | #Constraints: 33999 210.46/211.21 c #Conflicts: 280000 | #Constraints: 34999 210.46/211.21 c #Conflicts: 281000 | #Constraints: 35999 210.46/211.21 c #Conflicts: 282000 | #Constraints: 36999 210.46/211.21 c #Conflicts: 283000 | #Constraints: 37999 210.46/211.21 c INPROCESSING 210.46/211.21 c GARBAGE COLLECT 210.46/211.21 c rational objective 51 215.93/216.80 c #Conflicts: 284000 | #Constraints: 20139 215.93/216.80 c #Conflicts: 285000 | #Constraints: 21167 215.93/216.80 c #Conflicts: 286000 | #Constraints: 22194 215.93/216.80 c #Conflicts: 287000 | #Constraints: 23222 215.93/216.80 c #Conflicts: 288000 | #Constraints: 24244 215.93/216.80 c #Conflicts: 289000 | #Constraints: 25268 215.93/216.80 c #Conflicts: 290000 | #Constraints: 26301 215.93/216.80 c #Conflicts: 291000 | #Constraints: 27334 215.93/216.80 c #Conflicts: 292000 | #Constraints: 28362 215.93/216.80 c #Conflicts: 293000 | #Constraints: 29388 215.93/216.80 c #Conflicts: 294000 | #Constraints: 30424 215.93/216.80 c #Conflicts: 295000 | #Constraints: 31447 215.93/216.80 c INPROCESSING 215.93/216.80 c GARBAGE COLLECT 215.93/216.80 c rational objective 51 224.40/225.29 c #Conflicts: 296000 | #Constraints: 16977 224.40/225.29 c #Conflicts: 297000 | #Constraints: 17977 224.40/225.29 c bounds 54 >= 52 @ 215.712 224.40/225.29 c #Conflicts: 298000 | #Constraints: 19039 224.40/225.29 c #Conflicts: 299000 | #Constraints: 20070 224.40/225.29 c #Conflicts: 300000 | #Constraints: 21094 224.40/225.29 c #Conflicts: 301000 | #Constraints: 22133 224.40/225.29 c #Conflicts: 302000 | #Constraints: 23164 224.40/225.29 c #Conflicts: 303000 | #Constraints: 24194 224.40/225.29 c #Conflicts: 304000 | #Constraints: 25216 224.40/225.29 c #Conflicts: 305000 | #Constraints: 26242 224.40/225.29 c #Conflicts: 306000 | #Constraints: 27272 224.40/225.29 c #Conflicts: 307000 | #Constraints: 28302 224.40/225.29 c INPROCESSING 224.40/225.29 c GARBAGE COLLECT 224.40/225.29 c rational objective 52 244.63/245.50 c #Conflicts: 308000 | #Constraints: 15480 244.63/245.50 c #Conflicts: 309000 | #Constraints: 16480 244.63/245.50 c #Conflicts: 310000 | #Constraints: 17481 244.63/245.50 c #Conflicts: 311000 | #Constraints: 18481 244.63/245.50 c #Conflicts: 312000 | #Constraints: 19482 244.63/245.50 c #Conflicts: 313000 | #Constraints: 20482 244.63/245.50 c #Conflicts: 314000 | #Constraints: 21482 244.63/245.50 c #Conflicts: 315000 | #Constraints: 22482 244.63/245.50 c #Conflicts: 316000 | #Constraints: 23482 244.63/245.50 c #Conflicts: 317000 | #Constraints: 24482 244.63/245.50 c #Conflicts: 318000 | #Constraints: 25482 244.63/245.50 c #Conflicts: 319000 | #Constraints: 26484 244.63/245.50 c INPROCESSING 244.63/245.50 c GARBAGE COLLECT 244.63/245.50 c rational objective 52 296.35/297.45 c #Conflicts: 320000 | #Constraints: 14577 296.35/297.45 c #Conflicts: 321000 | #Constraints: 15625 296.35/297.45 c #Conflicts: 322000 | #Constraints: 16661 296.35/297.45 c #Conflicts: 323000 | #Constraints: 17698 296.35/297.45 c #Conflicts: 324000 | #Constraints: 18732 296.35/297.45 c #Conflicts: 325000 | #Constraints: 19770 296.35/297.45 c #Conflicts: 326000 | #Constraints: 20801 296.35/297.45 c #Conflicts: 327000 | #Constraints: 21833 296.35/297.45 c #Conflicts: 328000 | #Constraints: 22864 296.35/297.45 c #Conflicts: 329000 | #Constraints: 23902 296.35/297.45 c #Conflicts: 330000 | #Constraints: 24943 296.35/297.45 c #Conflicts: 331000 | #Constraints: 25978 296.35/297.45 c #Conflicts: 332000 | #Constraints: 27011 296.35/297.45 c #Conflicts: 333000 | #Constraints: 28043 296.35/297.45 c #Conflicts: 334000 | #Constraints: 29077 296.35/297.45 c #Conflicts: 335000 | #Constraints: 30106 296.35/297.45 c #Conflicts: 336000 | #Constraints: 31135 296.35/297.45 c #Conflicts: 337000 | #Constraints: 32161 296.35/297.45 c #Conflicts: 338000 | #Constraints: 33190 296.35/297.45 c #Conflicts: 339000 | #Constraints: 34215 296.35/297.45 c #Conflicts: 340000 | #Constraints: 35251 296.35/297.45 c #Conflicts: 341000 | #Constraints: 36277 296.35/297.45 c #Conflicts: 342000 | #Constraints: 37301 296.35/297.45 c #Conflicts: 343000 | #Constraints: 38325 296.35/297.45 c #Conflicts: 344000 | #Constraints: 39355 296.35/297.45 c #Conflicts: 345000 | #Constraints: 40374 296.35/297.45 c #Conflicts: 346000 | #Constraints: 41389 296.35/297.45 c #Conflicts: 347000 | #Constraints: 42414 296.35/297.45 c #Conflicts: 348000 | #Constraints: 43434 296.35/297.45 c #Conflicts: 349000 | #Constraints: 44466 296.35/297.45 c #Conflicts: 350000 | #Constraints: 45497 296.35/297.45 c #Conflicts: 351000 | #Constraints: 46535 296.35/297.45 c #Conflicts: 352000 | #Constraints: 47567 296.35/297.45 c #Conflicts: 353000 | #Constraints: 48588 296.35/297.45 c #Conflicts: 354000 | #Constraints: 49608 296.35/297.45 c #Conflicts: 355000 | #Constraints: 50630 296.35/297.45 c #Conflicts: 356000 | #Constraints: 51648 296.35/297.45 c #Conflicts: 357000 | #Constraints: 52661 296.35/297.45 c #Conflicts: 358000 | #Constraints: 53674 296.35/297.45 c #Conflicts: 359000 | #Constraints: 54701 296.35/297.45 c #Conflicts: 360000 | #Constraints: 55726 296.35/297.45 c #Conflicts: 361000 | #Constraints: 56748 296.35/297.45 c #Conflicts: 362000 | #Constraints: 57770 296.35/297.45 c #Conflicts: 363000 | #Constraints: 58792 296.35/297.45 c #Conflicts: 364000 | #Constraints: 59817 296.35/297.45 c #Conflicts: 365000 | #Constraints: 60837 296.35/297.45 c #Conflicts: 366000 | #Constraints: 61853 296.35/297.45 c INPROCESSING 296.35/297.45 c GARBAGE COLLECT 296.35/297.45 c rational objective 52 333.82/335.06 c #Conflicts: 367000 | #Constraints: 32023 333.82/335.06 c #Conflicts: 368000 | #Constraints: 33023 333.82/335.06 c #Conflicts: 369000 | #Constraints: 34025 333.82/335.06 c #Conflicts: 370000 | #Constraints: 35025 333.82/335.06 c #Conflicts: 371000 | #Constraints: 36025 333.82/335.06 c #Conflicts: 372000 | #Constraints: 37026 333.82/335.06 c #Conflicts: 373000 | #Constraints: 38027 333.82/335.06 c #Conflicts: 374000 | #Constraints: 39028 333.82/335.06 c #Conflicts: 375000 | #Constraints: 40029 333.82/335.06 c #Conflicts: 376000 | #Constraints: 41030 333.82/335.06 c #Conflicts: 377000 | #Constraints: 42030 333.82/335.06 c #Conflicts: 378000 | #Constraints: 43030 333.82/335.06 c #Conflicts: 379000 | #Constraints: 44031 333.82/335.06 c #Conflicts: 380000 | #Constraints: 45031 333.82/335.06 c INPROCESSING 333.82/335.06 c GARBAGE COLLECT 333.82/335.06 c rational objective 52 341.18/342.48 c #Conflicts: 381000 | #Constraints: 23950 341.18/342.48 c #Conflicts: 382000 | #Constraints: 24974 341.18/342.48 c #Conflicts: 383000 | #Constraints: 25997 341.18/342.48 c #Conflicts: 384000 | #Constraints: 27027 341.18/342.48 c #Conflicts: 385000 | #Constraints: 28063 341.18/342.48 c #Conflicts: 386000 | #Constraints: 29095 341.18/342.48 c #Conflicts: 387000 | #Constraints: 30121 341.18/342.48 c #Conflicts: 388000 | #Constraints: 31140 341.18/342.48 c #Conflicts: 389000 | #Constraints: 32169 341.18/342.48 c #Conflicts: 390000 | #Constraints: 33197 341.18/342.48 c #Conflicts: 391000 | #Constraints: 34218 341.18/342.48 c #Conflicts: 392000 | #Constraints: 35237 341.18/342.48 c #Conflicts: 393000 | #Constraints: 36258 341.18/342.48 c INPROCESSING 341.18/342.48 c GARBAGE COLLECT 341.18/342.48 c rational objective 52 349.76/351.04 c #Conflicts: 394000 | #Constraints: 19232 349.76/351.04 c #Conflicts: 395000 | #Constraints: 20284 349.76/351.04 c #Conflicts: 396000 | #Constraints: 21322 349.76/351.04 c #Conflicts: 397000 | #Constraints: 22364 349.76/351.04 c #Conflicts: 398000 | #Constraints: 23392 349.76/351.04 c #Conflicts: 399000 | #Constraints: 24429 349.76/351.04 c #Conflicts: 400000 | #Constraints: 25461 349.76/351.04 c #Conflicts: 401000 | #Constraints: 26486 349.76/351.04 c #Conflicts: 402000 | #Constraints: 27510 349.76/351.04 c #Conflicts: 403000 | #Constraints: 28534 349.76/351.04 c #Conflicts: 404000 | #Constraints: 29570 349.76/351.04 c #Conflicts: 405000 | #Constraints: 30602 349.76/351.04 c #Conflicts: 406000 | #Constraints: 31634 349.76/351.04 c #Conflicts: 407000 | #Constraints: 32655 349.76/351.04 c INPROCESSING 349.76/351.04 c GARBAGE COLLECT 349.76/351.04 c rational objective 52 381.85/383.25 c #Conflicts: 408000 | #Constraints: 17509 381.85/383.25 c #Conflicts: 409000 | #Constraints: 18510 381.85/383.25 c #Conflicts: 410000 | #Constraints: 19510 381.85/383.25 c #Conflicts: 411000 | #Constraints: 20510 381.85/383.25 c #Conflicts: 412000 | #Constraints: 21510 381.85/383.25 c #Conflicts: 413000 | #Constraints: 22510 381.85/383.25 c #Conflicts: 414000 | #Constraints: 23510 381.85/383.25 c #Conflicts: 415000 | #Constraints: 24510 381.85/383.25 c #Conflicts: 416000 | #Constraints: 25510 381.85/383.25 c #Conflicts: 417000 | #Constraints: 26510 381.85/383.25 c #Conflicts: 418000 | #Constraints: 27510 381.85/383.25 c #Conflicts: 419000 | #Constraints: 28510 381.85/383.25 c #Conflicts: 420000 | #Constraints: 29510 381.85/383.25 c #Conflicts: 421000 | #Constraints: 30511 381.85/383.25 c INPROCESSING 381.85/383.25 c GARBAGE COLLECT 381.85/383.25 c rational objective 52 440.63/442.29 c #Conflicts: 422000 | #Constraints: 16493 440.63/442.29 c #Conflicts: 423000 | #Constraints: 17522 440.63/442.29 c #Conflicts: 424000 | #Constraints: 18564 440.63/442.29 c #Conflicts: 425000 | #Constraints: 19607 440.63/442.29 c #Conflicts: 426000 | #Constraints: 20643 440.63/442.29 c #Conflicts: 427000 | #Constraints: 21681 440.63/442.29 c #Conflicts: 428000 | #Constraints: 22724 440.63/442.29 c #Conflicts: 429000 | #Constraints: 23762 440.63/442.29 c #Conflicts: 430000 | #Constraints: 24797 440.63/442.29 c #Conflicts: 431000 | #Constraints: 25827 440.63/442.29 c #Conflicts: 432000 | #Constraints: 26857 440.63/442.29 c #Conflicts: 433000 | #Constraints: 27887 440.63/442.29 c #Conflicts: 434000 | #Constraints: 28906 440.63/442.29 c #Conflicts: 435000 | #Constraints: 29936 440.63/442.29 c #Conflicts: 436000 | #Constraints: 30969 440.63/442.29 c #Conflicts: 437000 | #Constraints: 32001 440.63/442.29 c #Conflicts: 438000 | #Constraints: 33036 440.63/442.29 c #Conflicts: 439000 | #Constraints: 34076 440.63/442.29 c #Conflicts: 440000 | #Constraints: 35112 440.63/442.29 c #Conflicts: 441000 | #Constraints: 36162 440.63/442.29 c #Conflicts: 442000 | #Constraints: 37207 440.63/442.29 c #Conflicts: 443000 | #Constraints: 38244 440.63/442.29 c #Conflicts: 444000 | #Constraints: 39282 440.63/442.29 c #Conflicts: 445000 | #Constraints: 40313 440.63/442.29 c #Conflicts: 446000 | #Constraints: 41342 440.63/442.29 c #Conflicts: 447000 | #Constraints: 42371 440.63/442.29 c #Conflicts: 448000 | #Constraints: 43395 440.63/442.29 c #Conflicts: 449000 | #Constraints: 44423 440.63/442.29 c #Conflicts: 450000 | #Constraints: 45455 440.63/442.29 c #Conflicts: 451000 | #Constraints: 46482 440.63/442.29 c #Conflicts: 452000 | #Constraints: 47512 440.63/442.29 c #Conflicts: 453000 | #Constraints: 48541 440.63/442.29 c #Conflicts: 454000 | #Constraints: 49571 440.63/442.29 c #Conflicts: 455000 | #Constraints: 50600 440.63/442.29 c #Conflicts: 456000 | #Constraints: 51630 440.63/442.29 c #Conflicts: 457000 | #Constraints: 52663 440.63/442.29 c #Conflicts: 458000 | #Constraints: 53696 440.63/442.29 c #Conflicts: 459000 | #Constraints: 54733 440.63/442.29 c #Conflicts: 460000 | #Constraints: 55757 440.63/442.29 c #Conflicts: 461000 | #Constraints: 56781 440.63/442.29 c #Conflicts: 462000 | #Constraints: 57813 440.63/442.29 c #Conflicts: 463000 | #Constraints: 58850 440.63/442.29 c #Conflicts: 464000 | #Constraints: 59891 440.63/442.29 c #Conflicts: 465000 | #Constraints: 60929 440.63/442.29 c #Conflicts: 466000 | #Constraints: 61960 440.63/442.29 c #Conflicts: 467000 | #Constraints: 63000 440.63/442.29 c #Conflicts: 468000 | #Constraints: 64024 440.63/442.29 c #Conflicts: 469000 | #Constraints: 65059 440.63/442.29 c #Conflicts: 470000 | #Constraints: 66087 440.63/442.29 c #Conflicts: 471000 | #Constraints: 67114 440.63/442.29 c #Conflicts: 472000 | #Constraints: 68152 440.63/442.29 c #Conflicts: 473000 | #Constraints: 69190 440.63/442.29 c #Conflicts: 474000 | #Constraints: 70217 440.63/442.29 c #Conflicts: 475000 | #Constraints: 71245 440.63/442.29 c INPROCESSING 440.63/442.29 c GARBAGE COLLECT 440.63/442.29 c rational objective 52 497.83/499.65 c #Conflicts: 476000 | #Constraints: 36917 497.83/499.65 c #Conflicts: 477000 | #Constraints: 37917 497.83/499.65 c #Conflicts: 478000 | #Constraints: 38918 497.83/499.65 c #Conflicts: 479000 | #Constraints: 39919 497.83/499.65 c #Conflicts: 480000 | #Constraints: 40919 497.83/499.65 c #Conflicts: 481000 | #Constraints: 41919 497.83/499.65 c #Conflicts: 482000 | #Constraints: 42920 497.83/499.65 c #Conflicts: 483000 | #Constraints: 43920 497.83/499.65 c #Conflicts: 484000 | #Constraints: 44920 497.83/499.65 c #Conflicts: 485000 | #Constraints: 45920 497.83/499.65 c #Conflicts: 486000 | #Constraints: 46921 497.83/499.65 c #Conflicts: 487000 | #Constraints: 47921 497.83/499.65 c #Conflicts: 488000 | #Constraints: 48921 497.83/499.65 c #Conflicts: 489000 | #Constraints: 49921 497.83/499.65 c #Conflicts: 490000 | #Constraints: 50922 497.83/499.65 c INPROCESSING 497.83/499.65 c GARBAGE COLLECT 497.83/499.65 c rational objective 52 509.79/511.63 c #Conflicts: 491000 | #Constraints: 26643 509.79/511.63 c #Conflicts: 492000 | #Constraints: 27677 509.79/511.63 c #Conflicts: 493000 | #Constraints: 28723 509.79/511.63 c #Conflicts: 494000 | #Constraints: 29765 509.79/511.63 c #Conflicts: 495000 | #Constraints: 30808 509.79/511.63 c #Conflicts: 496000 | #Constraints: 31834 509.79/511.63 c #Conflicts: 497000 | #Constraints: 32859 509.79/511.63 c #Conflicts: 498000 | #Constraints: 33884 509.79/511.63 c #Conflicts: 499000 | #Constraints: 34924 509.79/511.63 c #Conflicts: 500000 | #Constraints: 35948 509.79/511.63 c #Conflicts: 501000 | #Constraints: 36983 509.79/511.63 c #Conflicts: 502000 | #Constraints: 38011 509.79/511.63 c #Conflicts: 503000 | #Constraints: 39047 509.79/511.63 c #Conflicts: 504000 | #Constraints: 40074 509.79/511.63 c #Conflicts: 505000 | #Constraints: 41100 509.79/511.63 c #Conflicts: 506000 | #Constraints: 42127 509.79/511.63 c INPROCESSING 509.79/511.63 c GARBAGE COLLECT 509.79/511.63 c rational objective 52 521.55/523.45 c #Conflicts: 507000 | #Constraints: 22488 521.55/523.45 c #Conflicts: 508000 | #Constraints: 23521 521.55/523.45 c #Conflicts: 509000 | #Constraints: 24555 521.55/523.45 c #Conflicts: 510000 | #Constraints: 25591 521.55/523.45 c #Conflicts: 511000 | #Constraints: 26624 521.55/523.45 c #Conflicts: 512000 | #Constraints: 27667 521.55/523.45 c #Conflicts: 513000 | #Constraints: 28692 521.55/523.45 c #Conflicts: 514000 | #Constraints: 29735 521.55/523.45 c #Conflicts: 515000 | #Constraints: 30763 521.55/523.45 c #Conflicts: 516000 | #Constraints: 31794 521.55/523.45 c #Conflicts: 517000 | #Constraints: 32829 521.55/523.45 c #Conflicts: 518000 | #Constraints: 33856 521.55/523.45 c #Conflicts: 519000 | #Constraints: 34884 521.55/523.45 c #Conflicts: 520000 | #Constraints: 35924 521.55/523.45 c #Conflicts: 521000 | #Constraints: 36955 521.55/523.45 c INPROCESSING 521.55/523.45 c GARBAGE COLLECT 521.55/523.45 c rational objective 52 571.09/573.16 c #Conflicts: 522000 | #Constraints: 19518 571.09/573.16 c #Conflicts: 523000 | #Constraints: 20518 571.09/573.16 c #Conflicts: 524000 | #Constraints: 21519 571.09/573.16 c #Conflicts: 525000 | #Constraints: 22519 571.09/573.16 c #Conflicts: 526000 | #Constraints: 23520 571.09/573.16 c #Conflicts: 527000 | #Constraints: 24520 571.09/573.16 c #Conflicts: 528000 | #Constraints: 25520 571.09/573.16 c #Conflicts: 529000 | #Constraints: 26520 571.09/573.16 c #Conflicts: 530000 | #Constraints: 27520 571.09/573.16 c #Conflicts: 531000 | #Constraints: 28520 571.09/573.16 c #Conflicts: 532000 | #Constraints: 29521 571.09/573.16 c #Conflicts: 533000 | #Constraints: 30522 571.09/573.16 c #Conflicts: 534000 | #Constraints: 31522 571.09/573.16 c #Conflicts: 535000 | #Constraints: 32523 571.09/573.16 c #Conflicts: 536000 | #Constraints: 33523 571.09/573.16 c #Conflicts: 537000 | #Constraints: 34523 571.09/573.16 c INPROCESSING 571.09/573.16 c GARBAGE COLLECT 571.09/573.16 c rational objective 52 651.09/653.49 c #Conflicts: 538000 | #Constraints: 19833 651.09/653.49 c #Conflicts: 539000 | #Constraints: 20871 651.09/653.49 c #Conflicts: 540000 | #Constraints: 21912 651.09/653.49 c #Conflicts: 541000 | #Constraints: 22958 651.09/653.49 c #Conflicts: 542000 | #Constraints: 23991 651.09/653.49 c #Conflicts: 543000 | #Constraints: 25029 651.09/653.49 c #Conflicts: 544000 | #Constraints: 26067 651.09/653.49 c #Conflicts: 545000 | #Constraints: 27100 651.09/653.49 c #Conflicts: 546000 | #Constraints: 28137 651.09/653.49 c #Conflicts: 547000 | #Constraints: 29177 651.09/653.49 c #Conflicts: 548000 | #Constraints: 30215 651.09/653.49 c #Conflicts: 549000 | #Constraints: 31261 651.09/653.49 c #Conflicts: 550000 | #Constraints: 32298 651.09/653.49 c #Conflicts: 551000 | #Constraints: 33324 651.09/653.49 c #Conflicts: 552000 | #Constraints: 34361 651.09/653.49 c #Conflicts: 553000 | #Constraints: 35400 651.09/653.49 c #Conflicts: 554000 | #Constraints: 36433 651.09/653.49 c #Conflicts: 555000 | #Constraints: 37473 651.09/653.49 c #Conflicts: 556000 | #Constraints: 38502 651.09/653.49 c #Conflicts: 557000 | #Constraints: 39526 651.09/653.49 c #Conflicts: 558000 | #Constraints: 40549 651.09/653.49 c #Conflicts: 559000 | #Constraints: 41577 651.09/653.49 c #Conflicts: 560000 | #Constraints: 42606 651.09/653.49 c #Conflicts: 561000 | #Constraints: 43638 651.09/653.49 c #Conflicts: 562000 | #Constraints: 44667 651.09/653.49 c #Conflicts: 563000 | #Constraints: 45695 651.09/653.49 c #Conflicts: 564000 | #Constraints: 46721 651.09/653.49 c #Conflicts: 565000 | #Constraints: 47752 651.09/653.49 c #Conflicts: 566000 | #Constraints: 48778 651.09/653.49 c #Conflicts: 567000 | #Constraints: 49805 651.09/653.49 c #Conflicts: 568000 | #Constraints: 50829 651.09/653.49 c #Conflicts: 569000 | #Constraints: 51858 651.09/653.49 c #Conflicts: 570000 | #Constraints: 52882 651.09/653.49 c #Conflicts: 571000 | #Constraints: 53906 651.09/653.49 c #Conflicts: 572000 | #Constraints: 54930 651.09/653.49 c #Conflicts: 573000 | #Constraints: 55964 651.09/653.49 c #Conflicts: 574000 | #Constraints: 56996 651.09/653.49 c #Conflicts: 575000 | #Constraints: 58018 651.09/653.49 c #Conflicts: 576000 | #Constraints: 59054 651.09/653.49 c #Conflicts: 577000 | #Constraints: 60075 651.09/653.49 c #Conflicts: 578000 | #Constraints: 61097 651.09/653.49 c #Conflicts: 579000 | #Constraints: 62120 651.09/653.49 c #Conflicts: 580000 | #Constraints: 63138 651.09/653.49 c #Conflicts: 581000 | #Constraints: 64161 651.09/653.49 c #Conflicts: 582000 | #Constraints: 65182 651.09/653.49 c #Conflicts: 583000 | #Constraints: 66205 651.09/653.49 c #Conflicts: 584000 | #Constraints: 67233 651.09/653.49 c #Conflicts: 585000 | #Constraints: 68257 651.09/653.49 c #Conflicts: 586000 | #Constraints: 69275 651.09/653.49 c #Conflicts: 587000 | #Constraints: 70294 651.09/653.49 c #Conflicts: 588000 | #Constraints: 71323 651.09/653.49 c #Conflicts: 589000 | #Constraints: 72344 651.09/653.49 c #Conflicts: 590000 | #Constraints: 73368 651.09/653.49 c #Conflicts: 591000 | #Constraints: 74392 651.09/653.49 c #Conflicts: 592000 | #Constraints: 75422 651.09/653.49 c #Conflicts: 593000 | #Constraints: 76443 651.09/653.49 c #Conflicts: 594000 | #Constraints: 77473 651.09/653.49 c #Conflicts: 595000 | #Constraints: 78499 651.09/653.49 c #Conflicts: 596000 | #Constraints: 79526 651.09/653.49 c #Conflicts: 597000 | #Constraints: 80551 651.09/653.49 c INPROCESSING 651.09/653.49 c GARBAGE COLLECT 651.09/653.49 c rational objective 52 730.22/732.81 c #Conflicts: 598000 | #Constraints: 41269 730.22/732.81 c #Conflicts: 599000 | #Constraints: 42269 730.22/732.81 c #Conflicts: 600000 | #Constraints: 43270 730.22/732.81 c #Conflicts: 601000 | #Constraints: 44270 730.22/732.81 c #Conflicts: 602000 | #Constraints: 45271 730.22/732.81 c #Conflicts: 603000 | #Constraints: 46271 730.22/732.81 c #Conflicts: 604000 | #Constraints: 47272 730.22/732.81 c #Conflicts: 605000 | #Constraints: 48272 730.22/732.81 c #Conflicts: 606000 | #Constraints: 49272 730.22/732.81 c #Conflicts: 607000 | #Constraints: 50273 730.22/732.81 c #Conflicts: 608000 | #Constraints: 51273 730.22/732.81 c #Conflicts: 609000 | #Constraints: 52274 730.22/732.81 c #Conflicts: 610000 | #Constraints: 53274 730.22/732.81 c #Conflicts: 611000 | #Constraints: 54275 730.22/732.81 c #Conflicts: 612000 | #Constraints: 55275 730.22/732.81 c #Conflicts: 613000 | #Constraints: 56276 730.22/732.81 c #Conflicts: 614000 | #Constraints: 57276 730.22/732.81 c #Conflicts: 615000 | #Constraints: 58276 730.22/732.81 c INPROCESSING 730.22/732.81 c GARBAGE COLLECT 730.22/732.81 c rational objective 52 741.97/744.67 c #Conflicts: 616000 | #Constraints: 30582 741.97/744.67 c #Conflicts: 617000 | #Constraints: 31617 741.97/744.67 c #Conflicts: 618000 | #Constraints: 32656 741.97/744.67 c #Conflicts: 619000 | #Constraints: 33684 741.97/744.67 c #Conflicts: 620000 | #Constraints: 34710 741.97/744.67 c #Conflicts: 621000 | #Constraints: 35742 741.97/744.67 c #Conflicts: 622000 | #Constraints: 36776 741.97/744.67 c #Conflicts: 623000 | #Constraints: 37803 741.97/744.67 c #Conflicts: 624000 | #Constraints: 38829 741.97/744.67 c #Conflicts: 625000 | #Constraints: 39852 741.97/744.67 c #Conflicts: 626000 | #Constraints: 40885 741.97/744.67 c #Conflicts: 627000 | #Constraints: 41907 741.97/744.67 c #Conflicts: 628000 | #Constraints: 42926 741.97/744.67 c #Conflicts: 629000 | #Constraints: 43951 741.97/744.67 c #Conflicts: 630000 | #Constraints: 44981 741.97/744.67 c #Conflicts: 631000 | #Constraints: 46013 741.97/744.67 c #Conflicts: 632000 | #Constraints: 47043 741.97/744.67 c INPROCESSING 741.97/744.67 c GARBAGE COLLECT 741.97/744.67 c rational objective 52 753.94/756.64 c #Conflicts: 633000 | #Constraints: 24727 753.94/756.64 c #Conflicts: 634000 | #Constraints: 25768 753.94/756.64 c #Conflicts: 635000 | #Constraints: 26804 753.94/756.64 c #Conflicts: 636000 | #Constraints: 27841 753.94/756.64 c #Conflicts: 637000 | #Constraints: 28884 753.94/756.64 c #Conflicts: 638000 | #Constraints: 29910 753.94/756.64 c #Conflicts: 639000 | #Constraints: 30944 753.94/756.64 c #Conflicts: 640000 | #Constraints: 31973 753.94/756.64 c #Conflicts: 641000 | #Constraints: 33005 753.94/756.64 c #Conflicts: 642000 | #Constraints: 34043 753.94/756.64 c #Conflicts: 643000 | #Constraints: 35068 753.94/756.64 c #Conflicts: 644000 | #Constraints: 36093 753.94/756.64 c #Conflicts: 645000 | #Constraints: 37127 753.94/756.64 c #Conflicts: 646000 | #Constraints: 38151 753.94/756.64 c #Conflicts: 647000 | #Constraints: 39178 753.94/756.64 c #Conflicts: 648000 | #Constraints: 40207 753.94/756.64 c #Conflicts: 649000 | #Constraints: 41238 753.94/756.64 c #Conflicts: 650000 | #Constraints: 42269 753.94/756.64 c INPROCESSING 753.94/756.64 c GARBAGE COLLECT 753.94/756.64 c rational objective 52 837.35/840.30 c #Conflicts: 651000 | #Constraints: 22657 837.35/840.30 c #Conflicts: 652000 | #Constraints: 23685 837.35/840.30 c #Conflicts: 653000 | #Constraints: 24713 837.35/840.30 c #Conflicts: 654000 | #Constraints: 25745 837.35/840.30 c #Conflicts: 655000 | #Constraints: 26790 837.35/840.30 c #Conflicts: 656000 | #Constraints: 27814 837.35/840.30 c #Conflicts: 657000 | #Constraints: 28849 837.35/840.30 c #Conflicts: 658000 | #Constraints: 29871 837.35/840.30 c #Conflicts: 659000 | #Constraints: 30895 837.35/840.30 c #Conflicts: 660000 | #Constraints: 31918 837.35/840.30 c #Conflicts: 661000 | #Constraints: 32951 837.35/840.30 c #Conflicts: 662000 | #Constraints: 33981 837.35/840.30 c #Conflicts: 663000 | #Constraints: 35020 837.35/840.30 c #Conflicts: 664000 | #Constraints: 36047 837.35/840.30 c #Conflicts: 665000 | #Constraints: 37075 837.35/840.30 c #Conflicts: 666000 | #Constraints: 38101 837.35/840.30 c #Conflicts: 667000 | #Constraints: 39123 837.35/840.30 c #Conflicts: 668000 | #Constraints: 40153 837.35/840.30 c #Conflicts: 669000 | #Constraints: 41188 837.35/840.30 c #Conflicts: 670000 | #Constraints: 42215 837.35/840.30 c #Conflicts: 671000 | #Constraints: 43255 837.35/840.30 c #Conflicts: 672000 | #Constraints: 44279 837.35/840.30 c #Conflicts: 673000 | #Constraints: 45304 837.35/840.30 c #Conflicts: 674000 | #Constraints: 46330 837.35/840.30 c #Conflicts: 675000 | #Constraints: 47360 837.35/840.30 c #Conflicts: 676000 | #Constraints: 48391 837.35/840.30 c #Conflicts: 677000 | #Constraints: 49415 837.35/840.30 c #Conflicts: 678000 | #Constraints: 50444 837.35/840.30 c #Conflicts: 679000 | #Constraints: 51467 837.35/840.30 c #Conflicts: 680000 | #Constraints: 52485 837.35/840.30 c #Conflicts: 681000 | #Constraints: 53504 837.35/840.30 c #Conflicts: 682000 | #Constraints: 54534 837.35/840.30 c #Conflicts: 683000 | #Constraints: 55559 837.35/840.30 c #Conflicts: 684000 | #Constraints: 56580 837.35/840.30 c #Conflicts: 685000 | #Constraints: 57600 837.35/840.30 c #Conflicts: 686000 | #Constraints: 58628 837.35/840.30 c #Conflicts: 687000 | #Constraints: 59651 837.35/840.30 c #Conflicts: 688000 | #Constraints: 60667 837.35/840.30 c #Conflicts: 689000 | #Constraints: 61688 837.35/840.30 c #Conflicts: 690000 | #Constraints: 62722 837.35/840.30 c #Conflicts: 691000 | #Constraints: 63739 837.35/840.30 c #Conflicts: 692000 | #Constraints: 64758 837.35/840.30 c #Conflicts: 693000 | #Constraints: 65785 837.35/840.30 c #Conflicts: 694000 | #Constraints: 66813 837.35/840.30 c #Conflicts: 695000 | #Constraints: 67847 837.35/840.30 c #Conflicts: 696000 | #Constraints: 68882 837.35/840.30 c #Conflicts: 697000 | #Constraints: 69916 837.35/840.30 c #Conflicts: 698000 | #Constraints: 70947 837.35/840.30 c #Conflicts: 699000 | #Constraints: 71978 837.35/840.30 c #Conflicts: 700000 | #Constraints: 73007 837.35/840.30 c #Conflicts: 701000 | #Constraints: 74039 837.35/840.30 c #Conflicts: 702000 | #Constraints: 75066 837.35/840.30 c #Conflicts: 703000 | #Constraints: 76095 837.35/840.30 c #Conflicts: 704000 | #Constraints: 77125 837.35/840.30 c #Conflicts: 705000 | #Constraints: 78151 837.35/840.30 c #Conflicts: 706000 | #Constraints: 79179 837.35/840.30 c #Conflicts: 707000 | #Constraints: 80211 837.35/840.30 c #Conflicts: 708000 | #Constraints: 81247 837.35/840.30 c #Conflicts: 709000 | #Constraints: 82276 837.35/840.30 c #Conflicts: 710000 | #Constraints: 83303 837.35/840.30 c #Conflicts: 711000 | #Constraints: 84322 837.35/840.30 c #Conflicts: 712000 | #Constraints: 85345 837.35/840.30 c #Conflicts: 713000 | #Constraints: 86383 837.35/840.30 c #Conflicts: 714000 | #Constraints: 87417 837.35/840.30 c #Conflicts: 715000 | #Constraints: 88442 837.35/840.30 c INPROCESSING 837.35/840.30 c GARBAGE COLLECT 837.35/840.30 c rational objective 52 944.27/947.70 c #Conflicts: 716000 | #Constraints: 45366 944.27/947.70 c #Conflicts: 717000 | #Constraints: 46367 944.27/947.70 c #Conflicts: 718000 | #Constraints: 47369 944.27/947.70 c #Conflicts: 719000 | #Constraints: 48369 944.27/947.70 c #Conflicts: 720000 | #Constraints: 49370 944.27/947.70 c #Conflicts: 721000 | #Constraints: 50370 944.27/947.70 c #Conflicts: 722000 | #Constraints: 51370 944.27/947.70 c #Conflicts: 723000 | #Constraints: 52370 944.27/947.70 c #Conflicts: 724000 | #Constraints: 53370 944.27/947.70 c #Conflicts: 725000 | #Constraints: 54370 944.27/947.70 c #Conflicts: 726000 | #Constraints: 55370 944.27/947.70 c #Conflicts: 727000 | #Constraints: 56370 944.27/947.70 c #Conflicts: 728000 | #Constraints: 57371 944.27/947.70 c #Conflicts: 729000 | #Constraints: 58371 944.27/947.70 c #Conflicts: 730000 | #Constraints: 59371 944.27/947.70 c #Conflicts: 731000 | #Constraints: 60371 944.27/947.70 c #Conflicts: 732000 | #Constraints: 61371 944.27/947.70 c #Conflicts: 733000 | #Constraints: 62371 944.27/947.70 c #Conflicts: 734000 | #Constraints: 63371 944.27/947.70 c INPROCESSING 944.27/947.70 c GARBAGE COLLECT 944.27/947.70 c rational objective 52 960.01/963.40 c #Conflicts: 735000 | #Constraints: 32912 960.01/963.40 c #Conflicts: 736000 | #Constraints: 33946 960.01/963.40 c #Conflicts: 737000 | #Constraints: 34986 960.01/963.40 c #Conflicts: 738000 | #Constraints: 36017 960.01/963.40 c #Conflicts: 739000 | #Constraints: 37056 960.01/963.40 c #Conflicts: 740000 | #Constraints: 38087 960.01/963.40 c #Conflicts: 741000 | #Constraints: 39122 960.01/963.40 c #Conflicts: 742000 | #Constraints: 40146 960.01/963.40 c #Conflicts: 743000 | #Constraints: 41172 960.01/963.40 c #Conflicts: 744000 | #Constraints: 42196 960.01/963.40 c #Conflicts: 745000 | #Constraints: 43224 960.01/963.40 c #Conflicts: 746000 | #Constraints: 44253 960.01/963.40 c #Conflicts: 747000 | #Constraints: 45272 960.01/963.40 c #Conflicts: 748000 | #Constraints: 46299 960.01/963.40 c #Conflicts: 749000 | #Constraints: 47326 960.01/963.40 c #Conflicts: 750000 | #Constraints: 48356 960.01/963.40 c #Conflicts: 751000 | #Constraints: 49388 960.01/963.40 c #Conflicts: 752000 | #Constraints: 50411 960.01/963.40 c #Conflicts: 753000 | #Constraints: 51436 960.01/963.40 c INPROCESSING 960.01/963.40 c GARBAGE COLLECT 960.01/963.40 c rational objective 52 978.15/981.65 c #Conflicts: 754000 | #Constraints: 26866 978.15/981.65 c #Conflicts: 755000 | #Constraints: 27911 978.15/981.65 c #Conflicts: 756000 | #Constraints: 28949 978.15/981.65 c #Conflicts: 757000 | #Constraints: 29984 978.15/981.65 c #Conflicts: 758000 | #Constraints: 31024 978.15/981.65 c #Conflicts: 759000 | #Constraints: 32060 978.15/981.65 c #Conflicts: 760000 | #Constraints: 33089 978.15/981.65 c #Conflicts: 761000 | #Constraints: 34122 978.15/981.65 c #Conflicts: 762000 | #Constraints: 35158 978.15/981.65 c #Conflicts: 763000 | #Constraints: 36188 978.15/981.65 c #Conflicts: 764000 | #Constraints: 37218 978.15/981.65 c #Conflicts: 765000 | #Constraints: 38253 978.15/981.65 c #Conflicts: 766000 | #Constraints: 39292 978.15/981.65 c #Conflicts: 767000 | #Constraints: 40317 978.15/981.65 c #Conflicts: 768000 | #Constraints: 41344 978.15/981.65 c #Conflicts: 769000 | #Constraints: 42368 978.15/981.65 c #Conflicts: 770000 | #Constraints: 43396 978.15/981.65 c #Conflicts: 771000 | #Constraints: 44423 978.15/981.65 c #Conflicts: 772000 | #Constraints: 45449 978.15/981.65 c INPROCESSING 978.15/981.65 c GARBAGE COLLECT 978.15/981.65 c rational objective 52 1644.83/1650.62 c #Conflicts: 773000 | #Constraints: 24135 1644.83/1650.62 c #Conflicts: 774000 | #Constraints: 25136 1644.83/1650.62 c #Conflicts: 775000 | #Constraints: 26137 1644.83/1650.62 c #Conflicts: 776000 | #Constraints: 27137 1644.83/1650.62 c #Conflicts: 777000 | #Constraints: 28137 1644.83/1650.62 c #Conflicts: 778000 | #Constraints: 29137 1644.83/1650.62 c #Conflicts: 779000 | #Constraints: 30138 1644.83/1650.62 c #Conflicts: 780000 | #Constraints: 31138 1644.83/1650.62 c #Conflicts: 781000 | #Constraints: 32138 1644.83/1650.62 c #Conflicts: 782000 | #Constraints: 33138 1644.83/1650.62 c #Conflicts: 783000 | #Constraints: 34138 1644.83/1650.62 c #Conflicts: 784000 | #Constraints: 35139 1644.83/1650.62 c #Conflicts: 785000 | #Constraints: 36141 1644.83/1650.62 c #Conflicts: 786000 | #Constraints: 37141 1644.83/1650.62 c #Conflicts: 787000 | #Constraints: 38141 1644.83/1650.62 c #Conflicts: 788000 | #Constraints: 39141 1644.83/1650.62 c #Conflicts: 789000 | #Constraints: 40141 1644.83/1650.62 c #Conflicts: 790000 | #Constraints: 41142 1644.83/1650.62 c #Conflicts: 791000 | #Constraints: 42142 1644.83/1650.62 c #Conflicts: 792000 | #Constraints: 43143 1644.83/1650.62 c #Conflicts: 793000 | #Constraints: 44143 1644.83/1650.62 c #Conflicts: 794000 | #Constraints: 45143 1644.83/1650.62 c #Conflicts: 795000 | #Constraints: 46143 1644.83/1650.62 c #Conflicts: 796000 | #Constraints: 47143 1644.83/1650.62 c #Conflicts: 797000 | #Constraints: 48143 1644.83/1650.62 c #Conflicts: 798000 | #Constraints: 49143 1644.83/1650.62 c #Conflicts: 799000 | #Constraints: 50143 1644.83/1650.62 c #Conflicts: 800000 | #Constraints: 51144 1644.83/1650.62 c #Conflicts: 801000 | #Constraints: 52144 1644.83/1650.62 c #Conflicts: 802000 | #Constraints: 53145 1644.83/1650.62 c #Conflicts: 803000 | #Constraints: 54145 1644.83/1650.62 c #Conflicts: 804000 | #Constraints: 55145 1644.83/1650.62 c #Conflicts: 805000 | #Constraints: 56145 1644.83/1650.62 c #Conflicts: 806000 | #Constraints: 57146 1644.83/1650.62 c #Conflicts: 807000 | #Constraints: 58146 1644.83/1650.62 c #Conflicts: 808000 | #Constraints: 59147 1644.83/1650.62 c #Conflicts: 809000 | #Constraints: 60147 1644.83/1650.62 c #Conflicts: 810000 | #Constraints: 61147 1644.83/1650.62 c #Conflicts: 811000 | #Constraints: 62147 1644.83/1650.62 c #Conflicts: 812000 | #Constraints: 63147 1644.83/1650.62 c #Conflicts: 813000 | #Constraints: 64148 1644.83/1650.62 c #Conflicts: 814000 | #Constraints: 65148 1644.83/1650.62 c #Conflicts: 815000 | #Constraints: 66149 1644.83/1650.62 c #Conflicts: 816000 | #Constraints: 67150 1644.83/1650.62 c #Conflicts: 817000 | #Constraints: 68150 1644.83/1650.62 c #Conflicts: 818000 | #Constraints: 69150 1644.83/1650.62 c #Conflicts: 819000 | #Constraints: 70150 1644.83/1650.62 c #Conflicts: 820000 | #Constraints: 71151 1644.83/1650.62 c #Conflicts: 821000 | #Constraints: 72152 1644.83/1650.62 c #Conflicts: 822000 | #Constraints: 73152 1644.83/1650.62 c #Conflicts: 823000 | #Constraints: 74152 1644.83/1650.62 c #Conflicts: 824000 | #Constraints: 75152 1644.83/1650.62 c #Conflicts: 825000 | #Constraints: 76152 1644.83/1650.62 c #Conflicts: 826000 | #Constraints: 77152 1644.83/1650.62 c #Conflicts: 827000 | #Constraints: 78152 1644.83/1650.62 c #Conflicts: 828000 | #Constraints: 79152 1644.83/1650.62 c #Conflicts: 829000 | #Constraints: 80153 1644.83/1650.62 c #Conflicts: 830000 | #Constraints: 81153 1644.83/1650.62 c #Conflicts: 831000 | #Constraints: 82153 1644.83/1650.62 c #Conflicts: 832000 | #Constraints: 83153 1644.83/1650.62 c #Conflicts: 833000 | #Constraints: 84153 1644.83/1650.62 c #Conflicts: 834000 | #Constraints: 85153 1644.83/1650.62 c #Conflicts: 835000 | #Constraints: 86153 1644.83/1650.62 c #Conflicts: 836000 | #Constraints: 87153 1644.83/1650.62 c #Conflicts: 837000 | #Constraints: 88153 1644.83/1650.62 c #Conflicts: 838000 | #Constraints: 89153 1644.83/1650.62 c #Conflicts: 839000 | #Constraints: 90153 1644.83/1650.62 c #Conflicts: 840000 | #Constraints: 91153 1644.83/1650.62 c #Conflicts: 841000 | #Constraints: 92154 1644.83/1650.62 c #Conflicts: 842000 | #Constraints: 93154 1644.83/1650.62 c #Conflicts: 843000 | #Constraints: 94154 1644.83/1650.62 c INPROCESSING 1644.83/1650.62 c GARBAGE COLLECT 1644.83/1650.62 c rational objective 52 1669.25/1675.12 c #Conflicts: 844000 | #Constraints: 48217 1669.25/1675.12 c #Conflicts: 845000 | #Constraints: 49239 1669.25/1675.12 c #Conflicts: 846000 | #Constraints: 50281 1669.25/1675.12 c #Conflicts: 847000 | #Constraints: 51320 1669.25/1675.12 c #Conflicts: 848000 | #Constraints: 52366 1669.25/1675.12 c #Conflicts: 849000 | #Constraints: 53400 1669.25/1675.12 c #Conflicts: 850000 | #Constraints: 54437 1669.25/1675.12 c #Conflicts: 851000 | #Constraints: 55465 1669.25/1675.12 c #Conflicts: 852000 | #Constraints: 56500 1669.25/1675.12 c #Conflicts: 853000 | #Constraints: 57529 1669.25/1675.12 c #Conflicts: 854000 | #Constraints: 58562 1669.25/1675.12 c #Conflicts: 855000 | #Constraints: 59596 1669.25/1675.12 c #Conflicts: 856000 | #Constraints: 60624 1669.25/1675.12 c #Conflicts: 857000 | #Constraints: 61654 1669.25/1675.12 c #Conflicts: 858000 | #Constraints: 62677 1669.25/1675.12 c #Conflicts: 859000 | #Constraints: 63705 1669.25/1675.12 c #Conflicts: 860000 | #Constraints: 64737 1669.25/1675.12 c #Conflicts: 861000 | #Constraints: 65769 1669.25/1675.12 c #Conflicts: 862000 | #Constraints: 66797 1669.25/1675.12 c #Conflicts: 863000 | #Constraints: 67834 1669.25/1675.12 c #Conflicts: 864000 | #Constraints: 68864 1669.25/1675.12 c INPROCESSING 1669.25/1675.12 c GARBAGE COLLECT 1669.25/1675.12 c rational objective 52 1689.08/1695.05 c #Conflicts: 865000 | #Constraints: 35749 1689.08/1695.05 c #Conflicts: 866000 | #Constraints: 36786 1689.08/1695.05 c #Conflicts: 867000 | #Constraints: 37827 1689.08/1695.05 c #Conflicts: 868000 | #Constraints: 38863 1689.08/1695.05 c #Conflicts: 869000 | #Constraints: 39890 1689.08/1695.05 c #Conflicts: 870000 | #Constraints: 40917 1689.08/1695.05 c #Conflicts: 871000 | #Constraints: 41952 1689.08/1695.05 c #Conflicts: 872000 | #Constraints: 42991 1689.08/1695.05 c #Conflicts: 873000 | #Constraints: 44024 1689.08/1695.05 c #Conflicts: 874000 | #Constraints: 45056 1689.08/1695.05 c #Conflicts: 875000 | #Constraints: 46083 1689.08/1695.05 c #Conflicts: 876000 | #Constraints: 47116 1689.08/1695.05 c #Conflicts: 877000 | #Constraints: 48140 1689.08/1695.05 c #Conflicts: 878000 | #Constraints: 49163 1689.08/1695.05 c #Conflicts: 879000 | #Constraints: 50195 1689.08/1695.05 c #Conflicts: 880000 | #Constraints: 51225 1689.08/1695.05 c #Conflicts: 881000 | #Constraints: 52256 1689.08/1695.05 c #Conflicts: 882000 | #Constraints: 53289 1689.08/1695.05 c #Conflicts: 883000 | #Constraints: 54317 1689.08/1695.05 c #Conflicts: 884000 | #Constraints: 55341 1689.08/1695.05 c #Conflicts: 885000 | #Constraints: 56374 1689.08/1695.05 c INPROCESSING 1689.08/1695.05 c GARBAGE COLLECT 1689.08/1695.05 c rational objective 52 1805.25/1811.50 c #Conflicts: 886000 | #Constraints: 31720 1805.25/1811.50 c #Conflicts: 887000 | #Constraints: 32765 1805.25/1811.50 c #Conflicts: 888000 | #Constraints: 33797 1805.25/1811.50 c #Conflicts: 889000 | #Constraints: 34825 1805.25/1811.50 c #Conflicts: 890000 | #Constraints: 35850 1805.25/1811.50 c #Conflicts: 891000 | #Constraints: 36879 1805.25/1811.50 c #Conflicts: 892000 | #Constraints: 37916 1805.25/1811.50 c #Conflicts: 893000 | #Constraints: 38951 1805.25/1811.50 c #Conflicts: 894000 | #Constraints: 39992 1805.25/1811.50 c #Conflicts: 895000 | #Constraints: 41022 1805.25/1811.50 c #Conflicts: 896000 | #Constraints: 42053 1805.25/1811.50 c #Conflicts: 897000 | #Constraints: 43091 1805.25/1811.50 c #Conflicts: 898000 | #Constraints: 44132 1805.25/1811.50 c #Conflicts: 899000 | #Constraints: 45156 1805.25/1811.50 c #Conflicts: 900000 | #Constraints: 46183 1805.25/1811.50 c #Conflicts: 901000 | #Constraints: 47212 1805.25/1811.50 c #Conflicts: 902000 | #Constraints: 48237 1805.25/1811.50 c #Conflicts: 903000 | #Constraints: 49269 1805.25/1811.50 c #Conflicts: 904000 | #Constraints: 50299 1805.25/1811.50 c #Conflicts: 905000 | #Constraints: 51329 1805.25/1811.50 c #Conflicts: 906000 | #Constraints: 52359 1805.25/1811.50 c #Conflicts: 907000 | #Constraints: 53395 1805.25/1811.50 c #Conflicts: 908000 | #Constraints: 54431 1805.25/1811.50 c #Conflicts: 909000 | #Constraints: 55464 1805.25/1811.50 c #Conflicts: 910000 | #Constraints: 56487 1805.25/1811.50 c #Conflicts: 911000 | #Constraints: 57512 1805.25/1811.50 c #Conflicts: 912000 | #Constraints: 58539 1805.25/1811.50 c #Conflicts: 913000 | #Constraints: 59566 1805.25/1811.50 c #Conflicts: 914000 | #Constraints: 60586 1805.25/1811.50 c #Conflicts: 915000 | #Constraints: 61609 1805.25/1811.50 c #Conflicts: 916000 | #Constraints: 62638 1805.25/1811.50 c #Conflicts: 917000 | #Constraints: 63666 1805.25/1811.50 c #Conflicts: 918000 | #Constraints: 64698 1805.25/1811.50 c #Conflicts: 919000 | #Constraints: 65726 1805.25/1811.50 c #Conflicts: 920000 | #Constraints: 66753 1805.25/1811.50 c #Conflicts: 921000 | #Constraints: 67782 1805.25/1811.50 c #Conflicts: 922000 | #Constraints: 68811 1805.25/1811.50 c #Conflicts: 923000 | #Constraints: 69829 1805.25/1811.50 c #Conflicts: 924000 | #Constraints: 70855 1805.25/1811.50 c #Conflicts: 925000 | #Constraints: 71881 1805.25/1811.50 c #Conflicts: 926000 | #Constraints: 72911 1805.25/1811.50 c #Conflicts: 927000 | #Constraints: 73941 1805.25/1811.50 c #Conflicts: 928000 | #Constraints: 74966 1805.25/1811.50 c #Conflicts: 929000 | #Constraints: 75997 1805.25/1811.50 c #Conflicts: 930000 | #Constraints: 77034 1805.25/1811.50 c #Conflicts: 931000 | #Constraints: 78068 1805.25/1811.50 c #Conflicts: 932000 | #Constraints: 79087 1805.25/1811.50 c #Conflicts: 933000 | #Constraints: 80118 1805.25/1811.50 c #Conflicts: 934000 | #Constraints: 81147 1805.25/1811.50 c #Conflicts: 935000 | #Constraints: 82181 1805.25/1811.50 c #Conflicts: 936000 | #Constraints: 83208 1805.25/1811.50 c #Conflicts: 937000 | #Constraints: 84234 1805.25/1811.50 c #Conflicts: 938000 | #Constraints: 85252 1805.25/1811.50 c #Conflicts: 939000 | #Constraints: 86282 1805.25/1811.50 c #Conflicts: 940000 | #Constraints: 87304 1805.25/1811.50 c #Conflicts: 941000 | #Constraints: 88331 1805.25/1811.50 c #Conflicts: 942000 | #Constraints: 89366 1805.25/1811.50 c #Conflicts: 943000 | #Constraints: 90388 1805.25/1811.50 c #Conflicts: 944000 | #Constraints: 91409 1805.25/1811.50 c #Conflicts: 945000 | #Constraints: 92435 1805.25/1811.50 c #Conflicts: 946000 | #Constraints: 93458 1805.25/1811.50 c #Conflicts: 947000 | #Constraints: 94487 1805.25/1811.50 c #Conflicts: 948000 | #Constraints: 95505 1805.25/1811.50 c #Conflicts: 949000 | #Constraints: 96532 1805.25/1811.50 c #Conflicts: 950000 | #Constraints: 97559 1805.25/1811.50 c #Conflicts: 951000 | #Constraints: 98582 1805.25/1811.50 c #Conflicts: 952000 | #Constraints: 99608 1805.25/1811.50 c #Conflicts: 953000 | #Constraints: 100638 1805.25/1811.50 c #Conflicts: 954000 | #Constraints: 101666 1805.25/1811.50 c #Conflicts: 955000 | #Constraints: 102683 1805.25/1811.50 c #Conflicts: 956000 | #Constraints: 103704 1805.25/1811.50 c #Conflicts: 957000 | #Constraints: 104727 1805.25/1811.50 c #Conflicts: 958000 | #Constraints: 105758 1805.25/1811.50 c #Conflicts: 959000 | #Constraints: 106784 1805.25/1811.50 c #Conflicts: 960000 | #Constraints: 107810 1805.25/1811.50 c INPROCESSING 1805.25/1811.50 c GARBAGE COLLECT 1805.25/1811.50 c rational objective 52 1842.76/1849.19 c #Conflicts: 961000 | #Constraints: 55328 1842.76/1849.19 c #Conflicts: 962000 | #Constraints: 56362 1842.76/1849.19 c #Conflicts: 963000 | #Constraints: 57393 1842.76/1849.19 c #Conflicts: 964000 | #Constraints: 58421 1842.76/1849.19 c #Conflicts: 965000 | #Constraints: 59459 1842.76/1849.19 c #Conflicts: 966000 | #Constraints: 60494 1842.76/1849.19 c #Conflicts: 967000 | #Constraints: 61520 1842.76/1849.19 c #Conflicts: 968000 | #Constraints: 62543 1842.76/1849.19 c #Conflicts: 969000 | #Constraints: 63574 1842.76/1849.19 c #Conflicts: 970000 | #Constraints: 64602 1842.76/1849.19 c #Conflicts: 971000 | #Constraints: 65625 1842.76/1849.19 c #Conflicts: 972000 | #Constraints: 66651 1842.76/1849.19 c #Conflicts: 973000 | #Constraints: 67675 1842.76/1849.19 c #Conflicts: 974000 | #Constraints: 68703 1842.76/1849.19 c #Conflicts: 975000 | #Constraints: 69729 1842.76/1849.19 c #Conflicts: 976000 | #Constraints: 70750 1842.76/1849.19 c #Conflicts: 977000 | #Constraints: 71772 1842.76/1849.19 c #Conflicts: 978000 | #Constraints: 72791 1842.76/1849.19 c #Conflicts: 979000 | #Constraints: 73814 1842.76/1849.19 c #Conflicts: 980000 | #Constraints: 74841 1842.76/1849.19 c #Conflicts: 981000 | #Constraints: 75870 1842.76/1849.19 c #Conflicts: 982000 | #Constraints: 76904 1842.76/1849.19 c INPROCESSING 1842.76/1849.19 c GARBAGE COLLECT 1842.76/1849.19 c rational objective 52 1865.70/1872.15 c #Conflicts: 983000 | #Constraints: 39815 1865.70/1872.15 c #Conflicts: 984000 | #Constraints: 40848 1865.70/1872.15 c #Conflicts: 985000 | #Constraints: 41876 1865.70/1872.15 c #Conflicts: 986000 | #Constraints: 42909 1865.70/1872.15 c #Conflicts: 987000 | #Constraints: 43940 1865.70/1872.15 c #Conflicts: 988000 | #Constraints: 44971 1865.70/1872.15 c #Conflicts: 989000 | #Constraints: 45998 1865.70/1872.15 c #Conflicts: 990000 | #Constraints: 47030 1865.70/1872.15 c #Conflicts: 991000 | #Constraints: 48063 1865.70/1872.15 c #Conflicts: 992000 | #Constraints: 49083 1865.70/1872.15 c #Conflicts: 993000 | #Constraints: 50104 1865.70/1872.15 c #Conflicts: 994000 | #Constraints: 51120 1865.70/1872.15 c #Conflicts: 995000 | #Constraints: 52135 1865.70/1872.15 c #Conflicts: 996000 | #Constraints: 53158 1865.70/1872.15 c #Conflicts: 997000 | #Constraints: 54178 1865.70/1872.15 c #Conflicts: 998000 | #Constraints: 55201 1865.70/1872.15 c #Conflicts: 999000 | #Constraints: 56219 1865.70/1872.15 c #Conflicts: 1000000 | #Constraints: 57239 1865.70/1872.15 c #Conflicts: 1001000 | #Constraints: 58276 1865.70/1872.15 c #Conflicts: 1002000 | #Constraints: 59308 1865.70/1872.15 c #Conflicts: 1003000 | #Constraints: 60340 1865.70/1872.15 c #Conflicts: 1004000 | #Constraints: 61366 1865.70/1872.15 c INPROCESSING 1865.70/1872.15 c GARBAGE COLLECT 1865.70/1872.15 c rational objective 52 1887.82/1894.39 c #Conflicts: 1005000 | #Constraints: 31890 1887.82/1894.39 c #Conflicts: 1006000 | #Constraints: 32922 1887.82/1894.39 c #Conflicts: 1007000 | #Constraints: 33958 1887.82/1894.39 c #Conflicts: 1008000 | #Constraints: 34980 1887.82/1894.39 c #Conflicts: 1009000 | #Constraints: 36014 1887.82/1894.39 c #Conflicts: 1010000 | #Constraints: 37046 1887.82/1894.39 c #Conflicts: 1011000 | #Constraints: 38077 1887.82/1894.39 c #Conflicts: 1012000 | #Constraints: 39109 1887.82/1894.39 c #Conflicts: 1013000 | #Constraints: 40137 1887.82/1894.39 c #Conflicts: 1014000 | #Constraints: 41162 1887.82/1894.39 c #Conflicts: 1015000 | #Constraints: 42192 1887.82/1894.39 c #Conflicts: 1016000 | #Constraints: 43221 1887.82/1894.39 c #Conflicts: 1017000 | #Constraints: 44246 1887.82/1894.39 c #Conflicts: 1018000 | #Constraints: 45277 1887.82/1894.39 c #Conflicts: 1019000 | #Constraints: 46303 1887.82/1894.39 c #Conflicts: 1020000 | #Constraints: 47321 1887.82/1894.39 c #Conflicts: 1021000 | #Constraints: 48345 1887.82/1894.39 c #Conflicts: 1022000 | #Constraints: 49363 1887.82/1894.39 c #Conflicts: 1023000 | #Constraints: 50384 1887.82/1894.39 c #Conflicts: 1024000 | #Constraints: 51413 1887.82/1894.39 c #Conflicts: 1025000 | #Constraints: 52439 1887.82/1894.39 c #Conflicts: 1026000 | #Constraints: 53470 1887.82/1894.39 c INPROCESSING 1887.82/1894.39 c GARBAGE COLLECT 1887.82/1894.39 c rational objective 52 2029.88/2036.82 c #Conflicts: 1027000 | #Constraints: 30773 2029.88/2036.82 c #Conflicts: 1028000 | #Constraints: 31812 2029.88/2036.82 c #Conflicts: 1029000 | #Constraints: 32847 2029.88/2036.82 c #Conflicts: 1030000 | #Constraints: 33892 2029.88/2036.82 c #Conflicts: 1031000 | #Constraints: 34928 2029.88/2036.82 c #Conflicts: 1032000 | #Constraints: 35965 2029.88/2036.82 c #Conflicts: 1033000 | #Constraints: 36991 2029.88/2036.82 c #Conflicts: 1034000 | #Constraints: 38033 2029.88/2036.82 c #Conflicts: 1035000 | #Constraints: 39070 2029.88/2036.82 c #Conflicts: 1036000 | #Constraints: 40096 2029.88/2036.82 c #Conflicts: 1037000 | #Constraints: 41122 2029.88/2036.82 c #Conflicts: 1038000 | #Constraints: 42153 2029.88/2036.82 c #Conflicts: 1039000 | #Constraints: 43180 2029.88/2036.82 c #Conflicts: 1040000 | #Constraints: 44198 2029.88/2036.82 c #Conflicts: 1041000 | #Constraints: 45242 2029.88/2036.82 c #Conflicts: 1042000 | #Constraints: 46273 2029.88/2036.82 c #Conflicts: 1043000 | #Constraints: 47294 2029.88/2036.82 c #Conflicts: 1044000 | #Constraints: 48316 2029.88/2036.82 c #Conflicts: 1045000 | #Constraints: 49351 2029.88/2036.82 c #Conflicts: 1046000 | #Constraints: 50380 2029.88/2036.82 c #Conflicts: 1047000 | #Constraints: 51412 2029.88/2036.82 c #Conflicts: 1048000 | #Constraints: 52444 2029.88/2036.82 c #Conflicts: 1049000 | #Constraints: 53480 2029.88/2036.82 c #Conflicts: 1050000 | #Constraints: 54505 2029.88/2036.82 c #Conflicts: 1051000 | #Constraints: 55534 2029.88/2036.82 c #Conflicts: 1052000 | #Constraints: 56566 2029.88/2036.82 c #Conflicts: 1053000 | #Constraints: 57588 2029.88/2036.82 c #Conflicts: 1054000 | #Constraints: 58612 2029.88/2036.82 c #Conflicts: 1055000 | #Constraints: 59638 2029.88/2036.82 c #Conflicts: 1056000 | #Constraints: 60663 2029.88/2036.82 c #Conflicts: 1057000 | #Constraints: 61690 2029.88/2036.82 c #Conflicts: 1058000 | #Constraints: 62715 2029.88/2036.82 c #Conflicts: 1059000 | #Constraints: 63739 2029.88/2036.82 c #Conflicts: 1060000 | #Constraints: 64770 2029.88/2036.82 c #Conflicts: 1061000 | #Constraints: 65795 2029.88/2036.82 c #Conflicts: 1062000 | #Constraints: 66815 2029.88/2036.82 c #Conflicts: 1063000 | #Constraints: 67835 2029.88/2036.82 c #Conflicts: 1064000 | #Constraints: 68855 2029.88/2036.82 c #Conflicts: 1065000 | #Constraints: 69875 2029.88/2036.82 c #Conflicts: 1066000 | #Constraints: 70895 2029.88/2036.82 c #Conflicts: 1067000 | #Constraints: 71910 2029.88/2036.82 c #Conflicts: 1068000 | #Constraints: 72930 2029.88/2036.82 c #Conflicts: 1069000 | #Constraints: 73947 2029.88/2036.82 c #Conflicts: 1070000 | #Constraints: 74964 2029.88/2036.82 c #Conflicts: 1071000 | #Constraints: 75980 2029.88/2036.82 c #Conflicts: 1072000 | #Constraints: 76997 2029.88/2036.82 c #Conflicts: 1073000 | #Constraints: 78020 2029.88/2036.82 c #Conflicts: 1074000 | #Constraints: 79046 2029.88/2036.82 c #Conflicts: 1075000 | #Constraints: 80068 2029.88/2036.82 c #Conflicts: 1076000 | #Constraints: 81088 2029.88/2036.82 c #Conflicts: 1077000 | #Constraints: 82113 2029.88/2036.82 c #Conflicts: 1078000 | #Constraints: 83131 2029.88/2036.82 c #Conflicts: 1079000 | #Constraints: 84144 2029.88/2036.82 c #Conflicts: 1080000 | #Constraints: 85159 2029.88/2036.82 c #Conflicts: 1081000 | #Constraints: 86173 2029.88/2036.82 c #Conflicts: 1082000 | #Constraints: 87193 2029.88/2036.82 c #Conflicts: 1083000 | #Constraints: 88212 2029.88/2036.82 c #Conflicts: 1084000 | #Constraints: 89231 2029.88/2036.82 c #Conflicts: 1085000 | #Constraints: 90250 2029.88/2036.82 c #Conflicts: 1086000 | #Constraints: 91281 2029.88/2036.82 c #Conflicts: 1087000 | #Constraints: 92310 2029.88/2036.82 c #Conflicts: 1088000 | #Constraints: 93338 2029.88/2036.82 c #Conflicts: 1089000 | #Constraints: 94373 2029.88/2036.82 c #Conflicts: 1090000 | #Constraints: 95396 2029.88/2036.82 c #Conflicts: 1091000 | #Constraints: 96423 2029.88/2036.82 c #Conflicts: 1092000 | #Constraints: 97439 2029.88/2036.82 c #Conflicts: 1093000 | #Constraints: 98464 2029.88/2036.82 c #Conflicts: 1094000 | #Constraints: 99487 2029.88/2036.82 c #Conflicts: 1095000 | #Constraints: 100507 2029.88/2036.82 c #Conflicts: 1096000 | #Constraints: 101533 2029.88/2036.82 c #Conflicts: 1097000 | #Constraints: 102559 2029.88/2036.82 c #Conflicts: 1098000 | #Constraints: 103585 2029.88/2036.82 c #Conflicts: 1099000 | #Constraints: 104611 2029.88/2036.82 c #Conflicts: 1100000 | #Constraints: 105629 2029.88/2036.82 c #Conflicts: 1101000 | #Constraints: 106657 2029.88/2036.82 c #Conflicts: 1102000 | #Constraints: 107682 2029.88/2036.82 c #Conflicts: 1103000 | #Constraints: 108707 2029.88/2036.82 c #Conflicts: 1104000 | #Constraints: 109734 2029.88/2036.82 c #Conflicts: 1105000 | #Constraints: 110760 2035.95/2042.99 c #Conflicts: 1106000 | #Constraints: 111780 2035.95/2042.99 c #Conflicts: 1107000 | #Constraints: 112806 2035.95/2042.99 c INPROCESSING 2035.95/2042.99 c GARBAGE COLLECT 2035.95/2042.99 c rational objective 52 2074.62/2081.72 c #Conflicts: 1108000 | #Constraints: 57727 2074.62/2081.72 c #Conflicts: 1109000 | #Constraints: 58764 2074.62/2081.72 c #Conflicts: 1110000 | #Constraints: 59792 2074.62/2081.72 c #Conflicts: 1111000 | #Constraints: 60831 2074.62/2081.72 c #Conflicts: 1112000 | #Constraints: 61856 2074.62/2081.72 c #Conflicts: 1113000 | #Constraints: 62879 2074.62/2081.72 c #Conflicts: 1114000 | #Constraints: 63904 2074.62/2081.72 c #Conflicts: 1115000 | #Constraints: 64937 2074.62/2081.72 c #Conflicts: 1116000 | #Constraints: 65966 2074.62/2081.72 c #Conflicts: 1117000 | #Constraints: 66997 2074.62/2081.72 c #Conflicts: 1118000 | #Constraints: 68023 2074.62/2081.72 c #Conflicts: 1119000 | #Constraints: 69042 2074.62/2081.72 c #Conflicts: 1120000 | #Constraints: 70066 2074.62/2081.72 c #Conflicts: 1121000 | #Constraints: 71086 2074.62/2081.72 c #Conflicts: 1122000 | #Constraints: 72109 2074.62/2081.72 c #Conflicts: 1123000 | #Constraints: 73140 2074.62/2081.72 c #Conflicts: 1124000 | #Constraints: 74176 2074.62/2081.72 c #Conflicts: 1125000 | #Constraints: 75208 2074.62/2081.72 c #Conflicts: 1126000 | #Constraints: 76236 2074.62/2081.72 c #Conflicts: 1127000 | #Constraints: 77263 2074.62/2081.72 c #Conflicts: 1128000 | #Constraints: 78291 2074.62/2081.72 c #Conflicts: 1129000 | #Constraints: 79309 2074.62/2081.72 c #Conflicts: 1130000 | #Constraints: 80335 2074.62/2081.72 c #Conflicts: 1131000 | #Constraints: 81360 2074.62/2081.72 c INPROCESSING 2074.62/2081.72 c GARBAGE COLLECT 2074.62/2081.72 c rational objective 52 2101.54/2108.79 c #Conflicts: 1132000 | #Constraints: 42095 2101.54/2108.79 c #Conflicts: 1133000 | #Constraints: 43121 2101.54/2108.79 c #Conflicts: 1134000 | #Constraints: 44141 2101.54/2108.79 c #Conflicts: 1135000 | #Constraints: 45172 2101.54/2108.79 c #Conflicts: 1136000 | #Constraints: 46197 2101.54/2108.79 c #Conflicts: 1137000 | #Constraints: 47218 2101.54/2108.79 c #Conflicts: 1138000 | #Constraints: 48241 2101.54/2108.79 c #Conflicts: 1139000 | #Constraints: 49265 2101.54/2108.79 c #Conflicts: 1140000 | #Constraints: 50282 2101.54/2108.79 c #Conflicts: 1141000 | #Constraints: 51304 2101.54/2108.79 c #Conflicts: 1142000 | #Constraints: 52329 2101.54/2108.79 c #Conflicts: 1143000 | #Constraints: 53360 2101.54/2108.79 c #Conflicts: 1144000 | #Constraints: 54379 2101.54/2108.79 c #Conflicts: 1145000 | #Constraints: 55408 2101.54/2108.79 c #Conflicts: 1146000 | #Constraints: 56438 2101.54/2108.79 c #Conflicts: 1147000 | #Constraints: 57457 2101.54/2108.79 c #Conflicts: 1148000 | #Constraints: 58482 2101.54/2108.79 c #Conflicts: 1149000 | #Constraints: 59504 2101.54/2108.79 c #Conflicts: 1150000 | #Constraints: 60528 2101.54/2108.79 c #Conflicts: 1151000 | #Constraints: 61548 2101.54/2108.79 c #Conflicts: 1152000 | #Constraints: 62565 2101.54/2108.79 c #Conflicts: 1153000 | #Constraints: 63594 2101.54/2108.79 c #Conflicts: 1154000 | #Constraints: 64631 2101.54/2108.79 c #Conflicts: 1155000 | #Constraints: 65655 2101.54/2108.79 c INPROCESSING 2101.54/2108.79 c GARBAGE COLLECT 2101.54/2108.79 c rational objective 52 2121.97/2129.28 c #Conflicts: 1156000 | #Constraints: 34240 2121.97/2129.28 c #Conflicts: 1157000 | #Constraints: 35258 2121.97/2129.28 c #Conflicts: 1158000 | #Constraints: 36294 2121.97/2129.28 c #Conflicts: 1159000 | #Constraints: 37322 2121.97/2129.28 c #Conflicts: 1160000 | #Constraints: 38342 2121.97/2129.28 c #Conflicts: 1161000 | #Constraints: 39370 2121.97/2129.28 c #Conflicts: 1162000 | #Constraints: 40406 2121.97/2129.28 c #Conflicts: 1163000 | #Constraints: 41444 2121.97/2129.28 c #Conflicts: 1164000 | #Constraints: 42481 2121.97/2129.28 c #Conflicts: 1165000 | #Constraints: 43505 2121.97/2129.28 c #Conflicts: 1166000 | #Constraints: 44536 2121.97/2129.28 c #Conflicts: 1167000 | #Constraints: 45566 2121.97/2129.28 c #Conflicts: 1168000 | #Constraints: 46587 2121.97/2129.28 c #Conflicts: 1169000 | #Constraints: 47626 2121.97/2129.28 c #Conflicts: 1170000 | #Constraints: 48662 2121.97/2129.28 c #Conflicts: 1171000 | #Constraints: 49685 2121.97/2129.28 c #Conflicts: 1172000 | #Constraints: 50712 2121.97/2129.28 c #Conflicts: 1173000 | #Constraints: 51728 2121.97/2129.28 c #Conflicts: 1174000 | #Constraints: 52751 2121.97/2129.28 c #Conflicts: 1175000 | #Constraints: 53776 2121.97/2129.28 c #Conflicts: 1176000 | #Constraints: 54795 2121.97/2129.28 c #Conflicts: 1177000 | #Constraints: 55822 2121.97/2129.28 c #Conflicts: 1178000 | #Constraints: 56841 2121.97/2129.28 c #Conflicts: 1179000 | #Constraints: 57866 2121.97/2129.28 c INPROCESSING 2121.97/2129.28 c GARBAGE COLLECT 2121.97/2129.28 c rational objective 52 3040.81/3051.01 c #Conflicts: 1180000 | #Constraints: 31493 3040.81/3051.01 c #Conflicts: 1181000 | #Constraints: 32493 3040.81/3051.01 c #Conflicts: 1182000 | #Constraints: 33493 3040.81/3051.01 c #Conflicts: 1183000 | #Constraints: 34493 3040.81/3051.01 c #Conflicts: 1184000 | #Constraints: 35494 3040.81/3051.01 c #Conflicts: 1185000 | #Constraints: 36495 3040.81/3051.01 c #Conflicts: 1186000 | #Constraints: 37495 3040.81/3051.01 c #Conflicts: 1187000 | #Constraints: 38495 3040.81/3051.01 c #Conflicts: 1188000 | #Constraints: 39495 3040.81/3051.01 c #Conflicts: 1189000 | #Constraints: 40496 3040.81/3051.01 c #Conflicts: 1190000 | #Constraints: 41496 3040.81/3051.01 c #Conflicts: 1191000 | #Constraints: 42496 3040.81/3051.01 c #Conflicts: 1192000 | #Constraints: 43496 3040.81/3051.01 c #Conflicts: 1193000 | #Constraints: 44496 3040.81/3051.01 c #Conflicts: 1194000 | #Constraints: 45496 3040.81/3051.01 c #Conflicts: 1195000 | #Constraints: 46496 3040.81/3051.01 c #Conflicts: 1196000 | #Constraints: 47496 3040.81/3051.01 c #Conflicts: 1197000 | #Constraints: 48497 3040.81/3051.01 c #Conflicts: 1198000 | #Constraints: 49497 3040.81/3051.01 c #Conflicts: 1199000 | #Constraints: 50497 3040.81/3051.01 c #Conflicts: 1200000 | #Constraints: 51497 3040.81/3051.01 c #Conflicts: 1201000 | #Constraints: 52498 3040.81/3051.01 c #Conflicts: 1202000 | #Constraints: 53498 3040.81/3051.01 c #Conflicts: 1203000 | #Constraints: 54498 3040.81/3051.01 c #Conflicts: 1204000 | #Constraints: 55498 3040.81/3051.01 c #Conflicts: 1205000 | #Constraints: 56499 3040.81/3051.01 c #Conflicts: 1206000 | #Constraints: 57500 3040.81/3051.01 c #Conflicts: 1207000 | #Constraints: 58500 3040.81/3051.01 c #Conflicts: 1208000 | #Constraints: 59500 3040.81/3051.01 c #Conflicts: 1209000 | #Constraints: 60500 3040.81/3051.01 c #Conflicts: 1210000 | #Constraints: 61501 3040.81/3051.01 c #Conflicts: 1211000 | #Constraints: 62501 3040.81/3051.01 c #Conflicts: 1212000 | #Constraints: 63501 3040.81/3051.01 c #Conflicts: 1213000 | #Constraints: 64501 3040.81/3051.01 c #Conflicts: 1214000 | #Constraints: 65501 3040.81/3051.01 c #Conflicts: 1215000 | #Constraints: 66501 3040.81/3051.01 c #Conflicts: 1216000 | #Constraints: 67501 3040.81/3051.01 c #Conflicts: 1217000 | #Constraints: 68501 3040.81/3051.01 c #Conflicts: 1218000 | #Constraints: 69501 3040.81/3051.01 c #Conflicts: 1219000 | #Constraints: 70501 3040.81/3051.01 c #Conflicts: 1220000 | #Constraints: 71501 3040.81/3051.01 c #Conflicts: 1221000 | #Constraints: 72501 3040.81/3051.01 c #Conflicts: 1222000 | #Constraints: 73502 3040.81/3051.01 c #Conflicts: 1223000 | #Constraints: 74502 3040.81/3051.01 c #Conflicts: 1224000 | #Constraints: 75502 3040.81/3051.01 c #Conflicts: 1225000 | #Constraints: 76502 3040.81/3051.01 c #Conflicts: 1226000 | #Constraints: 77502 3040.81/3051.01 c #Conflicts: 1227000 | #Constraints: 78502 3040.81/3051.01 c #Conflicts: 1228000 | #Constraints: 79502 3040.81/3051.01 c #Conflicts: 1229000 | #Constraints: 80502 3040.81/3051.01 c #Conflicts: 1230000 | #Constraints: 81502 3040.81/3051.01 c #Conflicts: 1231000 | #Constraints: 82502 3040.81/3051.01 c #Conflicts: 1232000 | #Constraints: 83502 3040.81/3051.01 c #Conflicts: 1233000 | #Constraints: 84502 3040.81/3051.01 c #Conflicts: 1234000 | #Constraints: 85502 3040.81/3051.01 c #Conflicts: 1235000 | #Constraints: 86502 3040.81/3051.01 c #Conflicts: 1236000 | #Constraints: 87502 3040.81/3051.01 c #Conflicts: 1237000 | #Constraints: 88502 3040.81/3051.01 c #Conflicts: 1238000 | #Constraints: 89502 3040.81/3051.01 c #Conflicts: 1239000 | #Constraints: 90502 3040.81/3051.01 c #Conflicts: 1240000 | #Constraints: 91503 3040.81/3051.01 c #Conflicts: 1241000 | #Constraints: 92503 3040.81/3051.01 c #Conflicts: 1242000 | #Constraints: 93503 3040.81/3051.01 c #Conflicts: 1243000 | #Constraints: 94503 3040.81/3051.01 c #Conflicts: 1244000 | #Constraints: 95504 3040.81/3051.01 c #Conflicts: 1245000 | #Constraints: 96504 3040.81/3051.01 c #Conflicts: 1246000 | #Constraints: 97505 3040.81/3051.01 c #Conflicts: 1247000 | #Constraints: 98505 3040.81/3051.01 c #Conflicts: 1248000 | #Constraints: 99506 3040.81/3051.01 c #Conflicts: 1249000 | #Constraints: 100506 3040.81/3051.01 c #Conflicts: 1250000 | #Constraints: 101506 3040.81/3051.01 c #Conflicts: 1251000 | #Constraints: 102506 3040.81/3051.01 c #Conflicts: 1252000 | #Constraints: 103506 3040.81/3051.01 c #Conflicts: 1253000 | #Constraints: 104507 3040.81/3051.01 c #Conflicts: 1254000 | #Constraints: 105507 3040.81/3051.01 c #Conflicts: 1255000 | #Constraints: 106507 3040.81/3051.01 c #Conflicts: 1256000 | #Constraints: 107507 3040.81/3051.01 c #Conflicts: 1257000 | #Constraints: 108507 3040.81/3051.01 c #Conflicts: 1258000 | #Constraints: 109508 3157.11/3167.77 c #Conflicts: 1259000 | #Constraints: 110508 3157.11/3167.77 c #Conflicts: 1260000 | #Constraints: 111508 3157.11/3167.77 c #Conflicts: 1261000 | #Constraints: 112508 3157.11/3167.77 c #Conflicts: 1262000 | #Constraints: 113508 3157.11/3167.77 c #Conflicts: 1263000 | #Constraints: 114508 3157.11/3167.77 c #Conflicts: 1264000 | #Constraints: 115508 3157.11/3167.77 c INPROCESSING 3157.11/3167.77 c GARBAGE COLLECT 3157.11/3167.77 c rational objective 52 3193.59/3204.30 c #Conflicts: 1265000 | #Constraints: 58787 3193.59/3204.30 c #Conflicts: 1266000 | #Constraints: 59840 3193.59/3204.30 c #Conflicts: 1267000 | #Constraints: 60890 3193.59/3204.30 c #Conflicts: 1268000 | #Constraints: 61929 3193.59/3204.30 c #Conflicts: 1269000 | #Constraints: 62969 3193.59/3204.30 c #Conflicts: 1270000 | #Constraints: 64015 3193.59/3204.30 c #Conflicts: 1271000 | #Constraints: 65059 3193.59/3204.30 c #Conflicts: 1272000 | #Constraints: 66088 3193.59/3204.30 c #Conflicts: 1273000 | #Constraints: 67125 3193.59/3204.30 c #Conflicts: 1274000 | #Constraints: 68167 3193.59/3204.30 c #Conflicts: 1275000 | #Constraints: 69201 3193.59/3204.30 c #Conflicts: 1276000 | #Constraints: 70239 3193.59/3204.30 c #Conflicts: 1277000 | #Constraints: 71274 3193.59/3204.30 c #Conflicts: 1278000 | #Constraints: 72313 3193.59/3204.30 c #Conflicts: 1279000 | #Constraints: 73347 3193.59/3204.30 c #Conflicts: 1280000 | #Constraints: 74376 3193.59/3204.30 c #Conflicts: 1281000 | #Constraints: 75410 3193.59/3204.30 c #Conflicts: 1282000 | #Constraints: 76449 3193.59/3204.30 c #Conflicts: 1283000 | #Constraints: 77474 3193.59/3204.30 c #Conflicts: 1284000 | #Constraints: 78505 3193.59/3204.30 c #Conflicts: 1285000 | #Constraints: 79532 3193.59/3204.30 c #Conflicts: 1286000 | #Constraints: 80565 3193.59/3204.30 c #Conflicts: 1287000 | #Constraints: 81591 3193.59/3204.30 c #Conflicts: 1288000 | #Constraints: 82616 3193.59/3204.30 c #Conflicts: 1289000 | #Constraints: 83646 3193.59/3204.30 c #Conflicts: 1290000 | #Constraints: 84679 3193.59/3204.30 c INPROCESSING 3193.59/3204.30 c GARBAGE COLLECT 3193.59/3204.30 c rational objective 52 3224.99/3235.83 c #Conflicts: 1291000 | #Constraints: 43609 3224.99/3235.83 c #Conflicts: 1292000 | #Constraints: 44649 3224.99/3235.83 c #Conflicts: 1293000 | #Constraints: 45686 3224.99/3235.83 c #Conflicts: 1294000 | #Constraints: 46719 3224.99/3235.83 c #Conflicts: 1295000 | #Constraints: 47746 3224.99/3235.83 c #Conflicts: 1296000 | #Constraints: 48775 3224.99/3235.83 c #Conflicts: 1297000 | #Constraints: 49811 3224.99/3235.83 c #Conflicts: 1298000 | #Constraints: 50840 3224.99/3235.83 c #Conflicts: 1299000 | #Constraints: 51872 3224.99/3235.83 c #Conflicts: 1300000 | #Constraints: 52898 3224.99/3235.83 c #Conflicts: 1301000 | #Constraints: 53931 3224.99/3235.83 c #Conflicts: 1302000 | #Constraints: 54958 3224.99/3235.83 c #Conflicts: 1303000 | #Constraints: 55985 3224.99/3235.83 c #Conflicts: 1304000 | #Constraints: 57012 3224.99/3235.83 c #Conflicts: 1305000 | #Constraints: 58041 3224.99/3235.83 c #Conflicts: 1306000 | #Constraints: 59066 3224.99/3235.83 c #Conflicts: 1307000 | #Constraints: 60091 3224.99/3235.83 c #Conflicts: 1308000 | #Constraints: 61114 3224.99/3235.83 c #Conflicts: 1309000 | #Constraints: 62147 3224.99/3235.83 c #Conflicts: 1310000 | #Constraints: 63180 3224.99/3235.83 c #Conflicts: 1311000 | #Constraints: 64204 3224.99/3235.83 c #Conflicts: 1312000 | #Constraints: 65223 3224.99/3235.83 c #Conflicts: 1313000 | #Constraints: 66248 3224.99/3235.83 c #Conflicts: 1314000 | #Constraints: 67274 3224.99/3235.83 c #Conflicts: 1315000 | #Constraints: 68301 3224.99/3235.83 c #Conflicts: 1316000 | #Constraints: 69322 3224.99/3235.83 c INPROCESSING 3224.99/3235.83 c GARBAGE COLLECT 3224.99/3235.83 c rational objective 52 3371.51/3382.88 c #Conflicts: 1317000 | #Constraints: 39658 3371.51/3382.88 c #Conflicts: 1318000 | #Constraints: 40693 3371.51/3382.88 c #Conflicts: 1319000 | #Constraints: 41730 3371.51/3382.88 c #Conflicts: 1320000 | #Constraints: 42768 3371.51/3382.88 c #Conflicts: 1321000 | #Constraints: 43795 3371.51/3382.88 c #Conflicts: 1322000 | #Constraints: 44822 3371.51/3382.88 c #Conflicts: 1323000 | #Constraints: 45853 3371.51/3382.88 c #Conflicts: 1324000 | #Constraints: 46891 3371.51/3382.88 c #Conflicts: 1325000 | #Constraints: 47915 3371.51/3382.88 c #Conflicts: 1326000 | #Constraints: 48953 3371.51/3382.88 c #Conflicts: 1327000 | #Constraints: 49986 3371.51/3382.88 c #Conflicts: 1328000 | #Constraints: 51016 3371.51/3382.88 c #Conflicts: 1329000 | #Constraints: 52046 3371.51/3382.88 c #Conflicts: 1330000 | #Constraints: 53063 3371.51/3382.88 c #Conflicts: 1331000 | #Constraints: 54091 3371.51/3382.88 c #Conflicts: 1332000 | #Constraints: 55118 3371.51/3382.88 c #Conflicts: 1333000 | #Constraints: 56154 3371.51/3382.88 c #Conflicts: 1334000 | #Constraints: 57185 3371.51/3382.88 c #Conflicts: 1335000 | #Constraints: 58221 3371.51/3382.88 c #Conflicts: 1336000 | #Constraints: 59254 3371.51/3382.88 c #Conflicts: 1337000 | #Constraints: 60279 3371.51/3382.88 c #Conflicts: 1338000 | #Constraints: 61314 3371.51/3382.88 c #Conflicts: 1339000 | #Constraints: 62343 3371.51/3382.88 c #Conflicts: 1340000 | #Constraints: 63369 3371.51/3382.88 c #Conflicts: 1341000 | #Constraints: 64392 3371.51/3382.88 c #Conflicts: 1342000 | #Constraints: 65419 3371.51/3382.88 c #Conflicts: 1343000 | #Constraints: 66445 3371.51/3382.88 c #Conflicts: 1344000 | #Constraints: 67470 3371.51/3382.88 c #Conflicts: 1345000 | #Constraints: 68494 3371.51/3382.88 c #Conflicts: 1346000 | #Constraints: 69523 3371.51/3382.88 c #Conflicts: 1347000 | #Constraints: 70546 3371.51/3382.88 c #Conflicts: 1348000 | #Constraints: 71567 3371.51/3382.88 c #Conflicts: 1349000 | #Constraints: 72590 3371.51/3382.88 c #Conflicts: 1350000 | #Constraints: 73610 3371.51/3382.88 c #Conflicts: 1351000 | #Constraints: 74641 3371.51/3382.88 c #Conflicts: 1352000 | #Constraints: 75668 3371.51/3382.88 c #Conflicts: 1353000 | #Constraints: 76684 3371.51/3382.88 c #Conflicts: 1354000 | #Constraints: 77700 3371.51/3382.88 c #Conflicts: 1355000 | #Constraints: 78728 3371.51/3382.88 c #Conflicts: 1356000 | #Constraints: 79749 3371.51/3382.88 c #Conflicts: 1357000 | #Constraints: 80772 3371.51/3382.88 c #Conflicts: 1358000 | #Constraints: 81794 3371.51/3382.88 c #Conflicts: 1359000 | #Constraints: 82822 3371.51/3382.88 c #Conflicts: 1360000 | #Constraints: 83851 3371.51/3382.88 c #Conflicts: 1361000 | #Constraints: 84883 3371.51/3382.88 c #Conflicts: 1362000 | #Constraints: 85909 3371.51/3382.88 c #Conflicts: 1363000 | #Constraints: 86936 3371.51/3382.88 c #Conflicts: 1364000 | #Constraints: 87967 3371.51/3382.88 c #Conflicts: 1365000 | #Constraints: 89001 3371.51/3382.88 c #Conflicts: 1366000 | #Constraints: 90034 3371.51/3382.88 c #Conflicts: 1367000 | #Constraints: 91062 3371.51/3382.88 c #Conflicts: 1368000 | #Constraints: 92083 3371.51/3382.88 c #Conflicts: 1369000 | #Constraints: 93113 3371.51/3382.88 c #Conflicts: 1370000 | #Constraints: 94134 3371.51/3382.88 c #Conflicts: 1371000 | #Constraints: 95157 3371.51/3382.88 c #Conflicts: 1372000 | #Constraints: 96183 3371.51/3382.88 c #Conflicts: 1373000 | #Constraints: 97213 3371.51/3382.88 c #Conflicts: 1374000 | #Constraints: 98243 3371.51/3382.88 c #Conflicts: 1375000 | #Constraints: 99281 3371.51/3382.88 c #Conflicts: 1376000 | #Constraints: 100316 3371.51/3382.88 c #Conflicts: 1377000 | #Constraints: 101347 3371.51/3382.88 c #Conflicts: 1378000 | #Constraints: 102370 3371.51/3382.88 c #Conflicts: 1379000 | #Constraints: 103392 3371.51/3382.88 c #Conflicts: 1380000 | #Constraints: 104421 3371.51/3382.88 c #Conflicts: 1381000 | #Constraints: 105444 3371.51/3382.88 c #Conflicts: 1382000 | #Constraints: 106466 3371.51/3382.88 c #Conflicts: 1383000 | #Constraints: 107498 3371.51/3382.88 c #Conflicts: 1384000 | #Constraints: 108535 3371.51/3382.88 c #Conflicts: 1385000 | #Constraints: 109562 3371.51/3382.88 c #Conflicts: 1386000 | #Constraints: 110587 3371.51/3382.88 c #Conflicts: 1387000 | #Constraints: 111610 3371.51/3382.88 c #Conflicts: 1388000 | #Constraints: 112634 3371.51/3382.88 c #Conflicts: 1389000 | #Constraints: 113652 3371.51/3382.88 c #Conflicts: 1390000 | #Constraints: 114675 3371.51/3382.88 c #Conflicts: 1391000 | #Constraints: 115697 3371.51/3382.88 c #Conflicts: 1392000 | #Constraints: 116722 3371.51/3382.88 c #Conflicts: 1393000 | #Constraints: 117747 3371.51/3382.88 c #Conflicts: 1394000 | #Constraints: 118776 3371.51/3382.88 c #Conflicts: 1395000 | #Constraints: 119800 3406.00/3417.49 c #Conflicts: 1396000 | #Constraints: 120823 3406.00/3417.49 c #Conflicts: 1397000 | #Constraints: 121847 3406.00/3417.49 c #Conflicts: 1398000 | #Constraints: 122879 3406.00/3417.49 c #Conflicts: 1399000 | #Constraints: 123899 3406.00/3417.49 c #Conflicts: 1400000 | #Constraints: 124923 3406.00/3417.49 c #Conflicts: 1401000 | #Constraints: 125949 3406.00/3417.49 c #Conflicts: 1402000 | #Constraints: 126974 3406.00/3417.49 c #Conflicts: 1403000 | #Constraints: 127997 3406.00/3417.49 c #Conflicts: 1404000 | #Constraints: 129015 3406.00/3417.49 c #Conflicts: 1405000 | #Constraints: 130037 3406.00/3417.49 c INPROCESSING 3406.00/3417.49 c GARBAGE COLLECT 3406.00/3417.49 c rational objective 52 3454.83/3466.42 c #Conflicts: 1406000 | #Constraints: 66019 3454.83/3466.42 c #Conflicts: 1407000 | #Constraints: 67040 3454.83/3466.42 c #Conflicts: 1408000 | #Constraints: 68054 3454.83/3466.42 c #Conflicts: 1409000 | #Constraints: 69083 3454.83/3466.42 c #Conflicts: 1410000 | #Constraints: 70103 3454.83/3466.42 c #Conflicts: 1411000 | #Constraints: 71118 3454.83/3466.42 c #Conflicts: 1412000 | #Constraints: 72132 3454.83/3466.42 c #Conflicts: 1413000 | #Constraints: 73153 3454.83/3466.42 c #Conflicts: 1414000 | #Constraints: 74185 3454.83/3466.42 c #Conflicts: 1415000 | #Constraints: 75207 3454.83/3466.42 c #Conflicts: 1416000 | #Constraints: 76225 3454.83/3466.42 c #Conflicts: 1417000 | #Constraints: 77254 3454.83/3466.42 c #Conflicts: 1418000 | #Constraints: 78278 3454.83/3466.42 c #Conflicts: 1419000 | #Constraints: 79304 3454.83/3466.42 c #Conflicts: 1420000 | #Constraints: 80331 3454.83/3466.42 c #Conflicts: 1421000 | #Constraints: 81356 3454.83/3466.42 c #Conflicts: 1422000 | #Constraints: 82379 3454.83/3466.42 c #Conflicts: 1423000 | #Constraints: 83396 3454.83/3466.42 c #Conflicts: 1424000 | #Constraints: 84411 3454.83/3466.42 c #Conflicts: 1425000 | #Constraints: 85429 3454.83/3466.42 c #Conflicts: 1426000 | #Constraints: 86446 3454.83/3466.42 c #Conflicts: 1427000 | #Constraints: 87467 3454.83/3466.42 c #Conflicts: 1428000 | #Constraints: 88487 3454.83/3466.42 c #Conflicts: 1429000 | #Constraints: 89509 3454.83/3466.42 c #Conflicts: 1430000 | #Constraints: 90534 3454.83/3466.42 c #Conflicts: 1431000 | #Constraints: 91553 3454.83/3466.42 c #Conflicts: 1432000 | #Constraints: 92565 3454.83/3466.42 c INPROCESSING 3454.83/3466.42 c GARBAGE COLLECT 3454.83/3466.42 c rational objective 52 3488.72/3500.48 c #Conflicts: 1433000 | #Constraints: 47280 3488.72/3500.48 c #Conflicts: 1434000 | #Constraints: 48294 3488.72/3500.48 c #Conflicts: 1435000 | #Constraints: 49308 3488.72/3500.48 c #Conflicts: 1436000 | #Constraints: 50331 3488.72/3500.48 c #Conflicts: 1437000 | #Constraints: 51359 3488.72/3500.48 c #Conflicts: 1438000 | #Constraints: 52387 3488.72/3500.48 c #Conflicts: 1439000 | #Constraints: 53412 3488.72/3500.48 c #Conflicts: 1440000 | #Constraints: 54437 3488.72/3500.48 c #Conflicts: 1441000 | #Constraints: 55470 3488.72/3500.48 c #Conflicts: 1442000 | #Constraints: 56498 3488.72/3500.48 c #Conflicts: 1443000 | #Constraints: 57525 3488.72/3500.48 c #Conflicts: 1444000 | #Constraints: 58555 3488.72/3500.48 c #Conflicts: 1445000 | #Constraints: 59590 3488.72/3500.48 c #Conflicts: 1446000 | #Constraints: 60621 3488.72/3500.48 c #Conflicts: 1447000 | #Constraints: 61652 3488.72/3500.48 c #Conflicts: 1448000 | #Constraints: 62680 3488.72/3500.48 c #Conflicts: 1449000 | #Constraints: 63710 3488.72/3500.48 c #Conflicts: 1450000 | #Constraints: 64747 3488.72/3500.48 c #Conflicts: 1451000 | #Constraints: 65776 3488.72/3500.48 c #Conflicts: 1452000 | #Constraints: 66804 3488.72/3500.48 c #Conflicts: 1453000 | #Constraints: 67826 3488.72/3500.48 c #Conflicts: 1454000 | #Constraints: 68850 3488.72/3500.48 c #Conflicts: 1455000 | #Constraints: 69883 3488.72/3500.48 c #Conflicts: 1456000 | #Constraints: 70917 3488.72/3500.48 c #Conflicts: 1457000 | #Constraints: 71946 3488.72/3500.48 c #Conflicts: 1458000 | #Constraints: 72973 3488.72/3500.48 c #Conflicts: 1459000 | #Constraints: 74002 3488.72/3500.48 c #Conflicts: 1460000 | #Constraints: 75030 3488.72/3500.48 c INPROCESSING 3488.72/3500.48 c GARBAGE COLLECT 3488.72/3500.48 c rational objective 52 3600.06/3612.11 c #Conflicts: 1461000 | #Constraints: 39674 3600.06/3612.11 c #Conflicts: 1462000 | #Constraints: 40708 3600.06/3612.11 c #Conflicts: 1463000 | #Constraints: 41737 3600.06/3612.11 c #Conflicts: 1464000 | #Constraints: 42772 3600.06/3612.11 c #Conflicts: 1465000 | #Constraints: 43804 3600.06/3612.11 c #Conflicts: 1466000 | #Constraints: 44835 3600.06/3612.11 c #Conflicts: 1467000 | #Constraints: 45871 3600.06/3612.11 c #Conflicts: 1468000 | #Constraints: 46903 3600.06/3612.11 c #Conflicts: 1469000 | #Constraints: 47934 3600.06/3612.11 c #Conflicts: 1470000 | #Constraints: 48959 3600.06/3612.11 c #Conflicts: 1471000 | #Constraints: 49989 3600.06/3612.11 c #Conflicts: 1472000 | #Constraints: 51012 3600.06/3612.11 c #Conflicts: 1473000 | #Constraints: 52032 3600.06/3612.11 c #Conflicts: 1474000 | #Constraints: 53061 3600.06/3612.11 c #Conflicts: 1475000 | #Constraints: 54097 3600.06/3612.11 c #Conflicts: 1476000 | #Constraints: 55126 3600.06/3612.11 c #Conflicts: 1477000 | #Constraints: 56156 3600.06/3612.11 c #Conflicts: 1478000 | #Constraints: 57192 3600.06/3612.11 c #Conflicts: 1479000 | #Constraints: 58222 3600.06/3612.11 c #Conflicts: 1480000 | #Constraints: 59242 3600.06/3612.11 c #Conflicts: 1481000 | #Constraints: 60265 3600.06/3612.11 c #Conflicts: 1482000 | #Constraints: 61290 3600.06/3612.11 c #Conflicts: 1483000 | #Constraints: 62311 3600.06/3612.11 c #Conflicts: 1484000 | #Constraints: 63335 3600.06/3612.11 c #Conflicts: 1485000 | #Constraints: 64355 3600.06/3612.11 c #Conflicts: 1486000 | #Constraints: 65383 3600.06/3612.11 c #Conflicts: 1487000 | #Constraints: 66412 3600.06/3612.11 c #Conflicts: 1488000 | #Constraints: 67440 3600.06/3612.11 c #Conflicts: 1489000 | #Constraints: 68460 3600.06/3612.11 c #Conflicts: 1490000 | #Constraints: 69484 3600.06/3612.11 c #Conflicts: 1491000 | #Constraints: 70510 3600.06/3612.11 c #Conflicts: 1492000 | #Constraints: 71526 3600.06/3612.11 c #Conflicts: 1493000 | #Constraints: 72550 3600.06/3612.11 c #Conflicts: 1494000 | #Constraints: 73575 3600.06/3612.11 c #Conflicts: 1495000 | #Constraints: 74603 3600.06/3612.11 c #Conflicts: 1496000 | #Constraints: 75633 3600.06/3612.11 c #Conflicts: 1497000 | #Constraints: 76661 3600.06/3612.11 c #Conflicts: 1498000 | #Constraints: 77689 3600.06/3612.11 c #Conflicts: 1499000 | #Constraints: 78729 3600.06/3612.11 c #Conflicts: 1500000 | #Constraints: 79760 3600.06/3612.11 c #Conflicts: 1501000 | #Constraints: 80779 3600.06/3612.11 c #Conflicts: 1502000 | #Constraints: 81806 3600.06/3612.11 c #Conflicts: 1503000 | #Constraints: 82831 3600.06/3612.11 c #Conflicts: 1504000 | #Constraints: 83854 3600.06/3612.11 c #Conflicts: 1505000 | #Constraints: 84882 3600.06/3612.11 c #Conflicts: 1506000 | #Constraints: 85896 3600.06/3612.11 c #Conflicts: 1507000 | #Constraints: 86913 3600.06/3612.11 c #Conflicts: 1508000 | #Constraints: 87935 3600.06/3612.11 c #Conflicts: 1509000 | #Constraints: 88953 3600.06/3612.11 c #Conflicts: 1510000 | #Constraints: 89973 3600.06/3612.11 c #Conflicts: 1511000 | #Constraints: 90994 3600.06/3612.11 c #Conflicts: 1512000 | #Constraints: 92017 3600.06/3612.11 c #Conflicts: 1513000 | #Constraints: 93045 3600.06/3612.11 c #Conflicts: 1514000 | #Constraints: 94064 3600.06/3612.11 c #Conflicts: 1515000 | #Constraints: 95088 3600.06/3612.11 c #Conflicts: 1516000 | #Constraints: 96106 3600.06/3612.11 c #Conflicts: 1517000 | #Constraints: 97127 3600.06/3612.11 c #Conflicts: 1518000 | #Constraints: 98147 3600.06/3612.11 c #Conflicts: 1519000 | #Constraints: 99168 3600.06/3612.11 c #Conflicts: 1520000 | #Constraints: 100185 3600.06/3612.11 c #Conflicts: 1521000 | #Constraints: 101214 3600.06/3612.11 c #Conflicts: 1522000 | #Constraints: 102242 3600.06/3612.11 c #Conflicts: 1523000 | #Constraints: 103267 3600.06/3612.11 c #Conflicts: 1524000 | #Constraints: 104292 3600.06/3612.11 c #Conflicts: 1525000 | #Constraints: 105315 3600.06/3612.11 c #Conflicts: 1526000 | #Constraints: 106330 3600.06/3612.11 c #Conflicts: 1527000 | #Constraints: 107345 3600.06/3612.11 c #Conflicts: 1528000 | #Constraints: 108364 3600.06/3612.11 c #Conflicts: 1529000 | #Constraints: 109381 3600.06/3612.11 c #Conflicts: 1530000 | #Constraints: 110396 3600.06/3612.11 c Program interrupted by user.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (42762 MiB free)
memory of node 1: 64510 MiB (54846 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460157-1722064837/watcher-4460157-1722064837 -o /tmp/evaluation-result-4460157-1722064837/solver-4460157-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722064837-314283 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460157-1722064837 --lp-cut-gomory=0 HOME/instance-4460157-1722064837.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=314333, runsolver pid=314327
[startup+0.100645 s]*
/proc/loadavg: 0.07 0.08 0.09 3/241 314346
/proc/meminfo: memFree=99945088/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=38340 memory=8084 CPUtime=0.08 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 472 0 0 0 8 0 0 0 20 0 1 0 42472769 39260160 2021 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 9585 2021 1779 992 0 1443 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38340 KiB
Current children cumulated memory: 8084 KiB
[startup+0.215023 s]*
/proc/loadavg: 0.07 0.08 0.09 4/239 314354
/proc/meminfo: memFree=99946336/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=38728 memory=9072 CPUtime=0.19 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 634 0 0 0 16 3 0 0 20 0 1 0 42472769 39657472 2268 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 9682 2268 1826 992 0 1540 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 38728 KiB
Current children cumulated memory: 9072 KiB
[startup+0.312817 s]*
/proc/loadavg: 0.07 0.08 0.09 5/239 314354
/proc/meminfo: memFree=99934092/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=38988 memory=9504 CPUtime=0.29 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 760 0 0 0 25 4 0 0 20 0 1 0 42472769 39923712 2376 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 9747 2376 1826 992 0 1605 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 38988 KiB
Current children cumulated memory: 9504 KiB
[startup+0.700279 s]
/proc/loadavg: 0.07 0.08 0.09 3/235 314362
/proc/meminfo: memFree=99944776/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=40064 memory=13428 CPUtime=0.66 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 1130 0 0 0 58 8 0 0 20 0 1 0 42472769 41025536 3357 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 10016 3357 1905 992 0 1874 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 40064 KiB
Current children cumulated memory: 13428 KiB
[startup+1.50025 s]
/proc/loadavg: 0.07 0.08 0.09 2/231 314371
/proc/meminfo: memFree=99942032/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=40704 memory=14052 CPUtime=1.46 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 1280 0 0 0 133 13 0 0 20 0 1 0 42472769 41680896 3513 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 10176 3513 1905 992 0 2034 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 40704 KiB
Current children cumulated memory: 14052 KiB
[startup+3.11291 s]
/proc/loadavg: 0.39 0.15 0.11 5/241 314515
/proc/meminfo: memFree=99886368/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=42200 memory=15380 CPUtime=3.06 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 1626 0 0 0 284 22 0 0 20 0 1 0 42472769 43212800 3845 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 10550 3845 1905 992 0 2408 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 42200 KiB
Current children cumulated memory: 15380 KiB
[startup+6.30028 s]
/proc/loadavg: 0.39 0.15 0.11 5/246 314535
/proc/meminfo: memFree=99488748/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=45492 memory=19160 CPUtime=6.24 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 2562 0 0 0 584 40 0 0 20 0 1 0 42472769 46583808 4790 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 11373 4790 1905 992 0 3231 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 45492 KiB
Current children cumulated memory: 19160 KiB
[startup+12.7003 s]
/proc/loadavg: 0.68 0.21 0.13 6/246 314584
/proc/meminfo: memFree=99202952/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=46528 memory=20352 CPUtime=12.61 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 2865 0 0 0 1194 67 0 0 20 0 1 0 42472769 47644672 5088 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 11632 5088 1905 992 0 3490 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 46528 KiB
Current children cumulated memory: 20352 KiB
[startup+25.5003 s]
/proc/loadavg: 1.41 0.40 0.19 7/248 314587
/proc/meminfo: memFree=98397404/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=60220 memory=32904 CPUtime=25.37 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 5183 0 0 0 2429 108 0 0 20 0 1 0 42472769 61665280 8226 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 15055 8226 1905 992 0 6913 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 60220 KiB
Current children cumulated memory: 32904 KiB
[startup+51.113 s]
/proc/loadavg: 2.37 0.70 0.30 7/248 314593
/proc/meminfo: memFree=97546716/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=73092 memory=43052 CPUtime=50.91 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 7060 0 0 0 4928 163 0 0 20 0 1 0 42472769 74846208 10763 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 18273 10763 1905 992 0 10131 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 73092 KiB
Current children cumulated memory: 43052 KiB
[startup+102.3 s]
/proc/loadavg: 3.35 1.23 0.50 5/249 314649
/proc/meminfo: memFree=95445664/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=94280 memory=57976 CPUtime=101.92 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 9669 0 0 0 9932 260 0 0 20 0 1 0 42472769 96542720 14494 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 23570 14494 1905 992 0 15428 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 94280 KiB
Current children cumulated memory: 57976 KiB
[startup+162.3 s]
/proc/loadavg: 3.81 1.75 0.73 5/250 314660
/proc/meminfo: memFree=92496340/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=97848 memory=61076 CPUtime=161.72 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 10465 0 0 0 15790 382 0 0 20 0 1 0 42472769 100196352 15269 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 24462 15269 1905 992 0 16320 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 97848 KiB
Current children cumulated memory: 61076 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.19 0.95 5/271 314692
/proc/meminfo: memFree=90194068/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=101764 memory=68204 CPUtime=221.52 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 11642 0 0 0 21690 462 0 0 20 0 1 0 42472769 104206336 17051 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 25441 17051 1905 992 0 17299 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 101764 KiB
Current children cumulated memory: 68204 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 2.59 1.16 5/271 315087
/proc/meminfo: memFree=87729884/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=107532 memory=72152 CPUtime=281.29 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 12956 0 0 0 27577 552 0 0 20 0 1 0 42472769 110112768 18038 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 26883 18038 1905 992 0 18741 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 107532 KiB
Current children cumulated memory: 72152 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.87 1.35 5/270 315097
/proc/meminfo: memFree=86197900/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=109436 memory=76348 CPUtime=341.09 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 13742 0 0 0 33493 616 0 0 20 0 1 0 42472769 112062464 19087 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 27359 19087 1905 992 0 19217 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 109436 KiB
Current children cumulated memory: 76348 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.11 1.53 5/270 315108
/proc/meminfo: memFree=84702816/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=112076 memory=77976 CPUtime=400.87 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 14264 0 0 0 39374 713 0 0 20 0 1 0 42472769 114765824 19494 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 28019 19494 1905 992 0 19877 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 112076 KiB
Current children cumulated memory: 77976 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.28 1.69 5/271 315287
/proc/meminfo: memFree=83807040/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=136304 memory=90516 CPUtime=460.67 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 16255 0 0 0 45285 782 0 0 20 0 1 0 42472769 139575296 22629 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 34076 22629 1905 992 0 25934 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.11 4.22 4.11 5/261 316845
/proc/meminfo: memFree=3093592/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=227136 memory=173984 CPUtime=3151.73 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 35631 0 0 0 312921 2252 0 0 20 0 1 0 42472769 232587264 43496 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 56784 43496 1905 992 0 48642 0
Current children cumulated CPU time: 3151.73 s
Current children cumulated vsize: 227136 KiB
Current children cumulated memory: 173984 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.19 4.10 5/261 316855
/proc/meminfo: memFree=1099276/131655788 swapFree=131062644/131071996
[pid=314333] ppid=314327 vsize=227136 memory=174148 CPUtime=3211.54 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 36864 0 0 0 318844 2310 0 0 20 0 1 0 42472769 232587264 43537 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 56784 43537 1905 992 0 48642 0
Current children cumulated CPU time: 3211.54 s
Current children cumulated vsize: 227136 KiB
Current children cumulated memory: 174148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.17 4.10 5/267 316873
/proc/meminfo: memFree=637804/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=227136 memory=174148 CPUtime=3271.33 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 37173 0 0 0 324765 2368 0 0 20 0 1 0 42472769 232587264 43537 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 56784 43537 1905 992 0 48642 0
Current children cumulated CPU time: 3271.33 s
Current children cumulated vsize: 227136 KiB
Current children cumulated memory: 174148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.15 4.09 5/268 316888
/proc/meminfo: memFree=582624/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=227992 memory=174432 CPUtime=3331.14 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 37684 0 0 0 330702 2412 0 0 20 0 1 0 42472769 233463808 43608 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 56998 43608 1905 992 0 48856 0
Current children cumulated CPU time: 3331.14 s
Current children cumulated vsize: 227992 KiB
Current children cumulated memory: 174432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/268 316899
/proc/meminfo: memFree=641364/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=229272 memory=179580 CPUtime=3390.95 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 38326 0 0 0 336645 2450 0 0 20 0 1 0 42472769 234774528 44895 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57318 44895 1905 992 0 49176 0
Current children cumulated CPU time: 3390.95 s
Current children cumulated vsize: 229272 KiB
Current children cumulated memory: 179580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/268 316909
/proc/meminfo: memFree=573896/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=231544 memory=183220 CPUtime=3450.75 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 39450 0 0 0 342580 2495 0 0 20 0 1 0 42472769 237101056 45805 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57886 45805 1905 992 0 49744 0
Current children cumulated CPU time: 3450.75 s
Current children cumulated vsize: 231544 KiB
Current children cumulated memory: 183220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/271 316923
/proc/meminfo: memFree=617048/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=231396 memory=183220 CPUtime=3510.55 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 40200 0 0 0 348490 2565 0 0 20 0 1 0 42472769 236949504 45805 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57849 45805 1905 992 0 49707 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 231396 KiB
Current children cumulated memory: 183220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/283 316980
/proc/meminfo: memFree=2358188/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=231396 memory=183220 CPUtime=3570.35 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 40443 0 0 0 354416 2619 0 0 20 0 1 0 42472769 236949504 45805 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57849 45805 1905 992 0 49707 0
Current children cumulated CPU time: 3570.35 s
Current children cumulated vsize: 231396 KiB
Current children cumulated memory: 183220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.12 s]
/proc/loadavg: 4.11 4.13 4.09 5/283 316986
/proc/meminfo: memFree=730504/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=231396 memory=183236 CPUtime=3600.06 cores=4,6
/proc/314333/stat : 314333 (roundingsat) R 314327 314333 314272 0 -1 4194304 40482 0 0 0 357369 2637 0 0 20 0 1 0 42472769 236949504 45809 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57849 45809 1905 992 0 49707 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 231396 KiB
Current children cumulated memory: 183236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.18 4.15 4.10 3/283 316986
/proc/meminfo: memFree=643792/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=231396 memory=183236 CPUtime=3600.07 cores=4,6
/proc/314333/stat : 314333 (roundingsat) D 314327 314333 314272 0 -1 4194304 40490 0 0 0 357369 2638 0 0 20 0 1 0 42472769 236949504 45809 134679101440 4194304 8254357 140726158244400 0 0 256 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57849 45809 1905 992 0 49707 0
??? kill 314333 sig 9
??? end of watcher thread
[startup+3646.33 s]
# the end of solver process 314333 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.7 s, system=26.3931 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.11 4.13 4.09 5/283 316986
/proc/meminfo: memFree=730504/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=231396 memory=183236 CPUtime=3600.07 cores=4,6
/proc/314333/stat : 314333 (roundingsat) D 314327 314333 314272 0 -1 4194304 40490 0 0 0 357369 2638 0 0 20 0 1 0 42472769 236949504 45809 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57849 45809 1905 992 0 49707 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 231396 KiB
Current children cumulated memory: 183236 KiB
[startup+3613.6 s]
/proc/loadavg: 4.18 4.15 4.10 4/283 316986
/proc/meminfo: memFree=669576/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=231396 memory=183236 CPUtime=3600.07 cores=4,6
/proc/314333/stat : 314333 (roundingsat) D 314327 314333 314272 0 -1 4194304 40490 0 0 0 357369 2638 0 0 20 0 1 0 42472769 236949504 45809 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57849 45809 1905 992 0 49707 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 231396 KiB
Current children cumulated memory: 183236 KiB
[startup+3614 s]*
/proc/loadavg: 4.18 4.15 4.10 3/283 316986
/proc/meminfo: memFree=646384/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=231396 memory=183236 CPUtime=3600.07 cores=4,6
/proc/314333/stat : 314333 (roundingsat) D 314327 314333 314272 0 -1 4194304 40490 0 0 0 357369 2638 0 0 20 0 1 0 42472769 236949504 45809 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57849 45809 1905 992 0 49707 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 231396 KiB
Current children cumulated memory: 183236 KiB
[startup+3614.12 s]
/proc/loadavg: 4.18 4.15 4.10 3/283 316986
/proc/meminfo: memFree=646384/131655788 swapFree=131057508/131071996
[pid=314333] ppid=314327 vsize=231396 memory=183236 CPUtime=3600.07 cores=4,6
/proc/314333/stat : 314333 (roundingsat) D 314327 314333 314272 0 -1 4194304 40490 0 0 0 357369 2638 0 0 20 0 1 0 42472769 236949504 45809 134679101440 4194304 8254357 140726158244400 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41615360 140726158250843 140726158251105 140726158251105 140726158258121 0
/proc/314333/statm: 57849 45809 1905 992 0 49707 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 231396 KiB
Current children cumulated memory: 183236 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3646.33
CPU time (s): 3600.09
CPU user time (s): 3573.7
CPU system time (s): 26.3931
CPU usage (%): 98.7317
Max. virtual memory (cumulated for all children) (KiB): 232904
Max. memory (cumulated for all children) (KiB): 184236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.7
system time used= 26.3931
maximum resident set size= 184556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40490
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9538584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1225
involuntary context switches= 4849
# summary of solver processes directly reported to runsolver:
# pid: 314333
# total CPU time (s): 3600.09
# total CPU user time (s): 3573.7
# total CPU system time (s): 26.3931
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4697 second user time and 39.1058 second system time
The end
Begin job on nodeC003 at 2024-07-27 09:20:37 IDJOB=4460157 IDBENCH=147228 IDSOLVER=3086 FILE ID=nodeC003/4460157-1722064837 RUNJOBID= nodeC003-1722064837-314283 SLURM_JOB_ID= 8248105 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.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-4460157-1722064837/watcher-4460157-1722064837 -o /tmp/evaluation-result-4460157-1722064837/solver-4460157-1722064837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722064837-314283 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460157-1722064837 --lp-cut-gomory=0 HOME/instance-4460157-1722064837.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0 RANDOM SEED=1191205797 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.351 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.286 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.299 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.276 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.277 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.284 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.285 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.275 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 99952912 kB MemAvailable: 129791836 kB Buffers: 372696 kB Cached: 30009640 kB SwapCached: 968 kB Active: 2589516 kB Inactive: 28111872 kB Active(anon): 2468 kB Inactive(anon): 370032 kB Active(file): 2587048 kB Inactive(file): 27741840 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131062644 kB Dirty: 22744 kB Writeback: 0 kB AnonPages: 318208 kB Mapped: 110880 kB Shmem: 53440 kB KReclaimable: 571780 kB Slab: 687224 kB SReclaimable: 571780 kB SUnreclaim: 115444 kB KernelStack: 3648 kB PageTables: 9332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 680356 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14752 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 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: 394056 kB DirectMap2M: 40404992 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723740 MiB End job on nodeC003 at 2024-07-27 10:21:24