| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 85 | 3600.07 | 3609.21 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-go19.opb |
| MD5SUM | 51fa3ae0158cc49e421df545accb4e20 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 84 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 441 |
| Total number of constraints | 441 |
| Number of constraints which are clauses | 361 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 361 |
| 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 | 361 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 361 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 441 #constraints 441 0.79/0.88 c bounds 362 >= 0 @ 0.004702 0.79/0.88 c bounds 121 >= 0 @ 0.204836 0.79/0.88 c bounds 121 >= 1 @ 0.205074 0.79/0.88 c bounds 121 >= 2 @ 0.205242 0.79/0.88 c bounds 121 >= 3 @ 0.205393 0.79/0.88 c bounds 121 >= 4 @ 0.205553 0.79/0.88 c bounds 121 >= 5 @ 0.205699 0.79/0.88 c bounds 121 >= 6 @ 0.205846 0.79/0.88 c bounds 121 >= 7 @ 0.205996 0.79/0.88 c bounds 121 >= 8 @ 0.206198 0.79/0.88 c bounds 121 >= 9 @ 0.206395 0.79/0.88 c bounds 121 >= 10 @ 0.206582 0.79/0.88 c bounds 121 >= 11 @ 0.206768 0.79/0.88 c bounds 121 >= 12 @ 0.206951 0.79/0.88 c bounds 121 >= 13 @ 0.207126 0.79/0.88 c bounds 121 >= 14 @ 0.207345 0.79/0.88 c bounds 121 >= 15 @ 0.207555 0.79/0.88 c bounds 121 >= 16 @ 0.207764 0.79/0.88 c bounds 121 >= 17 @ 0.207964 0.79/0.88 c bounds 121 >= 18 @ 0.208157 0.79/0.88 c bounds 121 >= 19 @ 0.208352 0.79/0.88 c bounds 121 >= 20 @ 0.208542 0.79/0.88 c bounds 121 >= 21 @ 0.208776 0.79/0.88 c bounds 121 >= 22 @ 0.208999 0.79/0.88 c bounds 121 >= 23 @ 0.209215 0.79/0.88 c bounds 121 >= 24 @ 0.209439 0.79/0.88 c bounds 121 >= 25 @ 0.209649 0.79/0.88 c bounds 121 >= 26 @ 0.209855 0.79/0.88 c bounds 121 >= 27 @ 0.210106 0.79/0.88 c bounds 121 >= 28 @ 0.210343 0.79/0.88 c bounds 121 >= 29 @ 0.210585 0.79/0.88 c bounds 121 >= 30 @ 0.210818 0.79/0.88 c bounds 121 >= 31 @ 0.211051 0.79/0.88 c bounds 121 >= 32 @ 0.211278 0.79/0.88 c bounds 121 >= 33 @ 0.211505 0.79/0.88 c bounds 121 >= 34 @ 0.211776 0.79/0.88 c bounds 121 >= 35 @ 0.212034 0.79/0.88 c bounds 119 >= 35 @ 0.212332 0.79/0.88 c bounds 119 >= 36 @ 0.212332 0.79/0.88 c bounds 119 >= 37 @ 0.212332 0.79/0.88 c bounds 119 >= 38 @ 0.212332 0.79/0.88 c bounds 119 >= 39 @ 0.212332 0.79/0.88 c bounds 119 >= 40 @ 0.212332 0.79/0.88 c bounds 119 >= 41 @ 0.212332 0.79/0.88 c bounds 119 >= 42 @ 0.21242 0.79/0.88 c bounds 119 >= 43 @ 0.212685 0.79/0.88 c bounds 119 >= 44 @ 0.212954 0.79/0.88 c bounds 119 >= 45 @ 0.213212 0.79/0.88 c bounds 119 >= 46 @ 0.213465 0.79/0.88 c bounds 119 >= 47 @ 0.213765 0.79/0.88 c bounds 119 >= 48 @ 0.214055 0.79/0.88 c bounds 119 >= 49 @ 0.214347 0.79/0.88 c bounds 119 >= 50 @ 0.214631 0.79/0.88 c bounds 119 >= 51 @ 0.214906 0.79/0.88 c bounds 119 >= 52 @ 0.215182 0.79/0.88 c bounds 119 >= 53 @ 0.21531 0.79/0.88 c bounds 119 >= 54 @ 0.21531 0.79/0.88 c bounds 119 >= 55 @ 0.21531 0.79/0.88 c bounds 119 >= 56 @ 0.215443 0.79/0.88 c bounds 119 >= 57 @ 0.215741 0.79/0.88 c bounds 119 >= 58 @ 0.21604 0.79/0.88 c bounds 119 >= 59 @ 0.216262 0.79/0.88 c bounds 119 >= 60 @ 0.216262 0.79/0.88 c bounds 119 >= 61 @ 0.216262 0.79/0.88 c bounds 119 >= 62 @ 0.216291 0.79/0.88 c bounds 119 >= 63 @ 0.216631 0.79/0.88 c bounds 119 >= 64 @ 0.216971 0.79/0.88 c bounds 119 >= 65 @ 0.217318 0.79/0.88 c bounds 119 >= 66 @ 0.217962 0.79/0.88 c bounds 118 >= 66 @ 0.21843 0.79/0.88 c bounds 118 >= 67 @ 0.220926 0.79/0.88 c bounds 117 >= 67 @ 0.222242 0.79/0.88 c bounds 117 >= 68 @ 0.222272 0.79/0.88 c bounds 117 >= 69 @ 0.224219 0.79/0.88 c bounds 116 >= 69 @ 0.228411 0.79/0.88 c bounds 116 >= 70 @ 0.236553 0.79/0.88 c bounds 115 >= 70 @ 0.237924 0.79/0.88 c bounds 114 >= 70 @ 0.242925 0.79/0.88 c bounds 114 >= 71 @ 0.245307 0.79/0.88 c bounds 113 >= 71 @ 0.247519 0.79/0.88 c bounds 113 >= 72 @ 0.254867 0.79/0.88 c bounds 112 >= 72 @ 0.256573 0.79/0.88 c bounds 111 >= 72 @ 0.261005 0.79/0.88 c bounds 110 >= 72 @ 0.262862 0.79/0.88 c bounds 110 >= 73 @ 0.264787 0.79/0.88 c bounds 109 >= 73 @ 0.278667 0.79/0.88 c bounds 109 >= 74 @ 0.318414 0.79/0.88 c bounds 108 >= 74 @ 0.322849 0.79/0.88 c bounds 107 >= 74 @ 0.32388 0.79/0.88 c bounds 106 >= 74 @ 0.326964 0.79/0.88 c bounds 105 >= 74 @ 0.33203 0.79/0.88 c bounds 104 >= 74 @ 0.340184 0.79/0.88 c #Conflicts: 1000 | #Constraints: 1896 0.79/0.88 c bounds 103 >= 74 @ 0.372829 0.79/0.88 c bounds 103 >= 75 @ 0.457736 0.79/0.88 c bounds 102 >= 75 @ 0.537817 0.79/0.88 c #Conflicts: 2000 | #Constraints: 2929 0.79/0.88 c INPROCESSING 0.79/0.88 c GARBAGE COLLECT 0.79/0.88 c rational objective 76.5302 1.48/1.55 c #Conflicts: 3000 | #Constraints: 2802 1.48/1.55 c #Conflicts: 4000 | #Constraints: 3802 1.48/1.55 c INPROCESSING 1.48/1.55 c GARBAGE COLLECT 1.48/1.55 c rational objective 76.6234 2.09/2.12 c bounds 101 >= 75 @ 1.49921 2.09/2.12 c bounds 100 >= 75 @ 1.50184 2.09/2.12 c bounds 99 >= 75 @ 1.53249 2.09/2.12 c #Conflicts: 5000 | #Constraints: 3287 2.09/2.12 c #Conflicts: 6000 | #Constraints: 4349 2.09/2.12 c INPROCESSING 2.09/2.12 c GARBAGE COLLECT 2.09/2.12 c rational objective 76.6242 2.68/2.75 c #Conflicts: 7000 | #Constraints: 3302 2.68/2.75 c #Conflicts: 8000 | #Constraints: 4350 2.68/2.75 c bounds 98 >= 75 @ 2.33218 2.68/2.75 c #Conflicts: 9000 | #Constraints: 5365 2.68/2.75 c INPROCESSING 2.68/2.75 c GARBAGE COLLECT 2.68/2.75 c rational objective 76.6243 3.57/3.65 c bounds 98 >= 76 @ 2.71519 3.57/3.65 c #Conflicts: 10000 | #Constraints: 4112 3.57/3.65 c #Conflicts: 11000 | #Constraints: 5496 3.57/3.65 c bounds 97 >= 76 @ 3.22542 3.57/3.65 c #Conflicts: 12000 | #Constraints: 6821 3.57/3.65 c INPROCESSING 3.57/3.65 c GARBAGE COLLECT 3.57/3.65 c rational objective 76.6244 4.87/4.96 c #Conflicts: 13000 | #Constraints: 4864 4.87/4.96 c #Conflicts: 14000 | #Constraints: 5864 4.87/4.96 c #Conflicts: 15000 | #Constraints: 6864 4.87/4.96 c INPROCESSING 4.87/4.96 c GARBAGE COLLECT 4.87/4.96 c rational objective 76.6274 5.67/5.74 c bounds 96 >= 76 @ 4.73159 5.67/5.74 c bounds 95 >= 76 @ 4.73316 5.67/5.74 c bounds 94 >= 76 @ 4.75484 5.67/5.74 c #Conflicts: 16000 | #Constraints: 5050 5.67/5.74 c #Conflicts: 17000 | #Constraints: 6103 5.67/5.74 c bounds 93 >= 76 @ 5.09788 5.67/5.74 c #Conflicts: 18000 | #Constraints: 7154 5.67/5.74 c INPROCESSING 5.67/5.74 c GARBAGE COLLECT 5.67/5.74 c rational objective 76.6244 6.47/6.57 c #Conflicts: 19000 | #Constraints: 4934 6.47/6.57 c #Conflicts: 20000 | #Constraints: 5962 6.47/6.57 c #Conflicts: 21000 | #Constraints: 6999 6.47/6.57 c bounds 92 >= 76 @ 6.04421 6.47/6.57 c bounds 91 >= 76 @ 6.08816 6.47/6.57 c INPROCESSING 6.47/6.57 c GARBAGE COLLECT 6.47/6.57 c rational objective 76.6254 7.37/7.49 c #Conflicts: 22000 | #Constraints: 4680 7.37/7.49 c bounds 90 >= 76 @ 6.39078 7.37/7.49 c #Conflicts: 23000 | #Constraints: 5741 7.37/7.49 c #Conflicts: 24000 | #Constraints: 6777 7.37/7.49 c #Conflicts: 25000 | #Constraints: 7803 7.37/7.49 c INPROCESSING 7.37/7.49 c GARBAGE COLLECT 7.37/7.49 c rational objective 76.6257 9.36/9.44 c #Conflicts: 26000 | #Constraints: 5238 9.36/9.44 c #Conflicts: 27000 | #Constraints: 6238 9.36/9.44 c #Conflicts: 28000 | #Constraints: 7238 9.36/9.44 c #Conflicts: 29000 | #Constraints: 8238 9.36/9.44 c INPROCESSING 9.36/9.44 c GARBAGE COLLECT 9.36/9.44 c rational objective 76.6993 10.46/10.53 c #Conflicts: 30000 | #Constraints: 5591 10.46/10.53 c #Conflicts: 31000 | #Constraints: 6640 10.46/10.53 c #Conflicts: 32000 | #Constraints: 7678 10.46/10.53 c #Conflicts: 33000 | #Constraints: 8715 10.46/10.53 c INPROCESSING 10.46/10.53 c GARBAGE COLLECT 10.46/10.53 c rational objective 76.6257 11.96/12.05 c #Conflicts: 34000 | #Constraints: 5829 11.96/12.05 c #Conflicts: 35000 | #Constraints: 6897 11.96/12.05 c #Conflicts: 36000 | #Constraints: 7947 11.96/12.05 c #Conflicts: 37000 | #Constraints: 8983 11.96/12.05 c INPROCESSING 11.96/12.05 c GARBAGE COLLECT 11.96/12.05 c rational objective 76.6257 14.75/14.84 c #Conflicts: 38000 | #Constraints: 5846 14.75/14.84 c #Conflicts: 39000 | #Constraints: 6848 14.75/14.84 c #Conflicts: 40000 | #Constraints: 7848 14.75/14.84 c #Conflicts: 41000 | #Constraints: 8848 14.75/14.84 c INPROCESSING 14.75/14.84 c GARBAGE COLLECT 14.75/14.84 c rational objective 76.6258 15.84/15.92 c #Conflicts: 42000 | #Constraints: 5609 15.84/15.92 c #Conflicts: 43000 | #Constraints: 6609 15.84/15.92 c #Conflicts: 44000 | #Constraints: 7609 15.84/15.92 c #Conflicts: 45000 | #Constraints: 8622 15.84/15.92 c #Conflicts: 46000 | #Constraints: 9654 15.84/15.92 c INPROCESSING 15.84/15.92 c GARBAGE COLLECT 15.84/15.92 c rational objective 76.6258 17.14/17.28 c #Conflicts: 47000 | #Constraints: 6189 17.14/17.28 c bounds 89 >= 76 @ 15.6014 17.14/17.28 c #Conflicts: 48000 | #Constraints: 7231 17.14/17.28 c #Conflicts: 49000 | #Constraints: 8277 17.14/17.28 c #Conflicts: 50000 | #Constraints: 9307 17.14/17.28 c #Conflicts: 51000 | #Constraints: 10337 17.14/17.28 c INPROCESSING 17.14/17.28 c GARBAGE COLLECT 17.14/17.28 c rational objective 76.6259 21.05/21.15 c #Conflicts: 52000 | #Constraints: 6612 21.05/21.15 c #Conflicts: 53000 | #Constraints: 7612 21.05/21.15 c #Conflicts: 54000 | #Constraints: 8612 21.05/21.15 c #Conflicts: 55000 | #Constraints: 9612 21.05/21.15 c #Conflicts: 56000 | #Constraints: 10612 21.05/21.15 c INPROCESSING 21.05/21.15 c GARBAGE COLLECT 21.05/21.15 c rational objective 76.6259 22.52/22.66 c #Conflicts: 57000 | #Constraints: 6788 22.52/22.66 c #Conflicts: 58000 | #Constraints: 7788 22.52/22.66 c #Conflicts: 59000 | #Constraints: 8809 22.52/22.66 c #Conflicts: 60000 | #Constraints: 9853 22.52/22.66 c #Conflicts: 61000 | #Constraints: 10892 22.52/22.66 c INPROCESSING 22.52/22.66 c GARBAGE COLLECT 22.52/22.66 c rational objective 76.6259 24.32/24.44 c #Conflicts: 62000 | #Constraints: 6801 24.32/24.44 c #Conflicts: 63000 | #Constraints: 7838 24.32/24.44 c #Conflicts: 64000 | #Constraints: 8884 24.32/24.44 c #Conflicts: 65000 | #Constraints: 9912 24.32/24.44 c #Conflicts: 66000 | #Constraints: 10944 24.32/24.44 c INPROCESSING 24.32/24.44 c GARBAGE COLLECT 24.32/24.44 c rational objective 76.6259 26.21/26.32 c #Conflicts: 67000 | #Constraints: 6627 26.21/26.32 c #Conflicts: 68000 | #Constraints: 7658 26.21/26.32 c #Conflicts: 69000 | #Constraints: 8703 26.21/26.32 c #Conflicts: 70000 | #Constraints: 9729 26.21/26.32 c #Conflicts: 71000 | #Constraints: 10758 26.21/26.32 c #Conflicts: 72000 | #Constraints: 11791 26.21/26.32 c INPROCESSING 26.21/26.32 c GARBAGE COLLECT 26.21/26.32 c rational objective 76.6259 30.80/31.01 c #Conflicts: 73000 | #Constraints: 7244 30.80/31.01 c #Conflicts: 74000 | #Constraints: 8247 30.80/31.01 c #Conflicts: 75000 | #Constraints: 9250 30.80/31.01 c #Conflicts: 76000 | #Constraints: 10256 30.80/31.01 c #Conflicts: 77000 | #Constraints: 11258 30.80/31.01 c #Conflicts: 78000 | #Constraints: 12260 30.80/31.01 c INPROCESSING 30.80/31.01 c GARBAGE COLLECT 30.80/31.01 c rational objective 76.6339 32.90/33.03 c #Conflicts: 79000 | #Constraints: 7642 32.90/33.03 c #Conflicts: 80000 | #Constraints: 8675 32.90/33.03 c #Conflicts: 81000 | #Constraints: 9707 32.90/33.03 c #Conflicts: 82000 | #Constraints: 10738 32.90/33.03 c #Conflicts: 83000 | #Constraints: 11769 32.90/33.03 c #Conflicts: 84000 | #Constraints: 12808 32.90/33.03 c INPROCESSING 32.90/33.03 c GARBAGE COLLECT 32.90/33.03 c rational objective 76.6259 35.08/35.24 c #Conflicts: 85000 | #Constraints: 7858 35.08/35.24 c #Conflicts: 86000 | #Constraints: 8885 35.08/35.24 c #Conflicts: 87000 | #Constraints: 9914 35.08/35.24 c #Conflicts: 88000 | #Constraints: 10944 35.08/35.24 c #Conflicts: 89000 | #Constraints: 11980 35.08/35.24 c #Conflicts: 90000 | #Constraints: 13010 35.08/35.24 c INPROCESSING 35.08/35.24 c GARBAGE COLLECT 35.08/35.24 c rational objective 76.6259 44.37/44.58 c #Conflicts: 91000 | #Constraints: 7848 44.37/44.58 c #Conflicts: 92000 | #Constraints: 8848 44.37/44.58 c #Conflicts: 93000 | #Constraints: 9848 44.37/44.58 c #Conflicts: 94000 | #Constraints: 10848 44.37/44.58 c #Conflicts: 95000 | #Constraints: 11848 44.37/44.58 c #Conflicts: 96000 | #Constraints: 12854 44.37/44.58 c bounds 89 >= 77 @ 39.6816 44.37/44.58 c INPROCESSING 44.37/44.58 c GARBAGE COLLECT 44.37/44.58 c #Conflicts: 97000 | #Constraints: 7607 44.37/44.58 c #Conflicts: 98000 | #Constraints: 8607 44.37/44.58 c #Conflicts: 99000 | #Constraints: 9607 44.37/44.58 c #Conflicts: 100000 | #Constraints: 10607 44.37/44.58 c #Conflicts: 101000 | #Constraints: 11609 44.37/44.58 c #Conflicts: 102000 | #Constraints: 12657 44.37/44.58 c #Conflicts: 103000 | #Constraints: 13697 44.37/44.58 c INPROCESSING 44.37/44.58 c GARBAGE COLLECT 44.37/44.58 c rational objective 77 49.45/49.68 c #Conflicts: 104000 | #Constraints: 8215 49.45/49.68 c #Conflicts: 105000 | #Constraints: 9218 49.45/49.68 c #Conflicts: 106000 | #Constraints: 10219 49.45/49.68 c #Conflicts: 107000 | #Constraints: 11223 49.45/49.68 c #Conflicts: 108000 | #Constraints: 12226 49.45/49.68 c #Conflicts: 109000 | #Constraints: 13226 49.45/49.68 c #Conflicts: 110000 | #Constraints: 14232 49.45/49.68 c INPROCESSING 49.45/49.68 c GARBAGE COLLECT 49.45/49.68 c rational objective 77 53.35/53.54 c #Conflicts: 111000 | #Constraints: 8669 53.35/53.54 c #Conflicts: 112000 | #Constraints: 10109 53.35/53.54 c #Conflicts: 113000 | #Constraints: 11688 53.35/53.54 c #Conflicts: 114000 | #Constraints: 12737 53.35/53.54 c #Conflicts: 115000 | #Constraints: 13777 53.35/53.54 c #Conflicts: 116000 | #Constraints: 14803 53.35/53.54 c #Conflicts: 117000 | #Constraints: 15840 53.35/53.54 c INPROCESSING 53.35/53.54 c GARBAGE COLLECT 53.35/53.54 c rational objective 77 56.04/56.30 c #Conflicts: 118000 | #Constraints: 9383 56.04/56.30 c #Conflicts: 119000 | #Constraints: 10425 56.04/56.30 c bounds 88 >= 77 @ 52.7579 56.04/56.30 c #Conflicts: 120000 | #Constraints: 11466 56.04/56.30 c #Conflicts: 121000 | #Constraints: 12512 56.04/56.30 c #Conflicts: 122000 | #Constraints: 13558 56.04/56.30 c #Conflicts: 123000 | #Constraints: 14593 56.04/56.30 c #Conflicts: 124000 | #Constraints: 15622 56.04/56.30 c INPROCESSING 56.04/56.30 c GARBAGE COLLECT 56.04/56.30 c rational objective 77 62.02/62.28 c #Conflicts: 125000 | #Constraints: 9175 62.02/62.28 c #Conflicts: 126000 | #Constraints: 10175 62.02/62.28 c #Conflicts: 127000 | #Constraints: 11175 62.02/62.28 c #Conflicts: 128000 | #Constraints: 12175 62.02/62.28 c #Conflicts: 129000 | #Constraints: 13175 62.02/62.28 c #Conflicts: 130000 | #Constraints: 14175 62.02/62.28 c #Conflicts: 131000 | #Constraints: 15175 62.02/62.28 c INPROCESSING 62.02/62.28 c GARBAGE COLLECT 62.02/62.28 c rational objective 77 65.02/65.20 c #Conflicts: 132000 | #Constraints: 8804 65.02/65.20 c #Conflicts: 133000 | #Constraints: 9808 65.02/65.20 c #Conflicts: 134000 | #Constraints: 10842 65.02/65.20 c #Conflicts: 135000 | #Constraints: 11878 65.02/65.20 c #Conflicts: 136000 | #Constraints: 12912 65.02/65.20 c #Conflicts: 137000 | #Constraints: 13951 65.02/65.20 c #Conflicts: 138000 | #Constraints: 14985 65.02/65.20 c #Conflicts: 139000 | #Constraints: 16021 65.02/65.20 c INPROCESSING 65.02/65.20 c GARBAGE COLLECT 65.02/65.20 c rational objective 77 67.82/68.05 c #Conflicts: 140000 | #Constraints: 9390 67.82/68.05 c #Conflicts: 141000 | #Constraints: 10426 67.82/68.05 c #Conflicts: 142000 | #Constraints: 11459 67.82/68.05 c #Conflicts: 143000 | #Constraints: 12495 67.82/68.05 c #Conflicts: 144000 | #Constraints: 13526 67.82/68.05 c #Conflicts: 145000 | #Constraints: 14560 67.82/68.05 c #Conflicts: 146000 | #Constraints: 15586 67.82/68.05 c #Conflicts: 147000 | #Constraints: 16611 67.82/68.05 c INPROCESSING 67.82/68.05 c GARBAGE COLLECT 67.82/68.05 c rational objective 77 74.50/74.77 c #Conflicts: 148000 | #Constraints: 9772 74.50/74.77 c #Conflicts: 149000 | #Constraints: 10772 74.50/74.77 c #Conflicts: 150000 | #Constraints: 11772 74.50/74.77 c #Conflicts: 151000 | #Constraints: 12772 74.50/74.77 c #Conflicts: 152000 | #Constraints: 13772 74.50/74.77 c #Conflicts: 153000 | #Constraints: 14772 74.50/74.77 c #Conflicts: 154000 | #Constraints: 15772 74.50/74.77 c #Conflicts: 155000 | #Constraints: 16772 74.50/74.77 c INPROCESSING 74.50/74.77 c GARBAGE COLLECT 74.50/74.77 c rational objective 77 77.81/78.08 c #Conflicts: 156000 | #Constraints: 9925 77.81/78.08 c #Conflicts: 157000 | #Constraints: 10959 77.81/78.08 c #Conflicts: 158000 | #Constraints: 11993 77.81/78.08 c #Conflicts: 159000 | #Constraints: 13022 77.81/78.08 c #Conflicts: 160000 | #Constraints: 14053 77.81/78.08 c #Conflicts: 161000 | #Constraints: 15087 77.81/78.08 c #Conflicts: 162000 | #Constraints: 16118 77.81/78.08 c #Conflicts: 163000 | #Constraints: 17141 77.81/78.08 c INPROCESSING 77.81/78.08 c GARBAGE COLLECT 77.81/78.08 c rational objective 77 81.18/81.43 c #Conflicts: 164000 | #Constraints: 9939 81.18/81.43 c #Conflicts: 165000 | #Constraints: 10964 81.18/81.43 c #Conflicts: 166000 | #Constraints: 11998 81.18/81.43 c #Conflicts: 167000 | #Constraints: 13018 81.18/81.43 c #Conflicts: 168000 | #Constraints: 14038 81.18/81.43 c #Conflicts: 169000 | #Constraints: 15065 81.18/81.43 c #Conflicts: 170000 | #Constraints: 16091 81.18/81.43 c #Conflicts: 171000 | #Constraints: 17116 81.18/81.43 c INPROCESSING 81.18/81.43 c GARBAGE COLLECT 81.18/81.43 c rational objective 77 88.67/89.00 c #Conflicts: 172000 | #Constraints: 9730 88.67/89.00 c #Conflicts: 173000 | #Constraints: 10730 88.67/89.00 c #Conflicts: 174000 | #Constraints: 11730 88.67/89.00 c #Conflicts: 175000 | #Constraints: 12730 88.67/89.00 c #Conflicts: 176000 | #Constraints: 13730 88.67/89.00 c #Conflicts: 177000 | #Constraints: 14730 88.67/89.00 c #Conflicts: 178000 | #Constraints: 15730 88.67/89.00 c #Conflicts: 179000 | #Constraints: 16730 88.67/89.00 c #Conflicts: 180000 | #Constraints: 17730 88.67/89.00 c INPROCESSING 88.67/89.00 c GARBAGE COLLECT 88.67/89.00 c rational objective 77 92.16/92.44 c #Conflicts: 181000 | #Constraints: 10298 92.16/92.44 c #Conflicts: 182000 | #Constraints: 11319 92.16/92.44 c bounds 87 >= 77 @ 87.0099 92.16/92.44 c #Conflicts: 183000 | #Constraints: 12376 92.16/92.44 c #Conflicts: 184000 | #Constraints: 13410 92.16/92.44 c #Conflicts: 185000 | #Constraints: 14437 92.16/92.44 c #Conflicts: 186000 | #Constraints: 15464 92.16/92.44 c #Conflicts: 187000 | #Constraints: 16494 92.16/92.44 c #Conflicts: 188000 | #Constraints: 17521 92.16/92.44 c #Conflicts: 189000 | #Constraints: 18541 92.16/92.44 c INPROCESSING 92.16/92.44 c GARBAGE COLLECT 92.16/92.44 c rational objective 77 95.95/96.20 c #Conflicts: 190000 | #Constraints: 10749 95.95/96.20 c #Conflicts: 191000 | #Constraints: 11783 95.95/96.20 c #Conflicts: 192000 | #Constraints: 12817 95.95/96.20 c #Conflicts: 193000 | #Constraints: 13852 95.95/96.20 c #Conflicts: 194000 | #Constraints: 14885 95.95/96.20 c #Conflicts: 195000 | #Constraints: 15910 95.95/96.20 c #Conflicts: 196000 | #Constraints: 16943 95.95/96.20 c #Conflicts: 197000 | #Constraints: 17969 95.95/96.20 c #Conflicts: 198000 | #Constraints: 18996 95.95/96.20 c INPROCESSING 95.95/96.20 c GARBAGE COLLECT 95.95/96.20 c rational objective 77 100.04/100.33 c #Conflicts: 199000 | #Constraints: 10987 100.04/100.33 c #Conflicts: 200000 | #Constraints: 12015 100.04/100.33 c #Conflicts: 201000 | #Constraints: 13047 100.04/100.33 c #Conflicts: 202000 | #Constraints: 14069 100.04/100.33 c #Conflicts: 203000 | #Constraints: 15093 100.04/100.33 c #Conflicts: 204000 | #Constraints: 16121 100.04/100.33 c #Conflicts: 205000 | #Constraints: 17143 100.04/100.33 c #Conflicts: 206000 | #Constraints: 18166 100.04/100.33 c #Conflicts: 207000 | #Constraints: 19189 100.04/100.33 c INPROCESSING 100.04/100.33 c GARBAGE COLLECT 100.04/100.33 c rational objective 77 108.74/109.03 c #Conflicts: 208000 | #Constraints: 10957 108.74/109.03 c #Conflicts: 209000 | #Constraints: 11957 108.74/109.03 c #Conflicts: 210000 | #Constraints: 12957 108.74/109.03 c #Conflicts: 211000 | #Constraints: 13957 108.74/109.03 c #Conflicts: 212000 | #Constraints: 14957 108.74/109.03 c #Conflicts: 213000 | #Constraints: 15957 108.74/109.03 c #Conflicts: 214000 | #Constraints: 16957 108.74/109.03 c #Conflicts: 215000 | #Constraints: 17957 108.74/109.03 c #Conflicts: 216000 | #Constraints: 18957 108.74/109.03 c INPROCESSING 108.74/109.03 c GARBAGE COLLECT 108.74/109.03 c rational objective 77 112.01/112.31 c #Conflicts: 217000 | #Constraints: 10697 112.01/112.31 c #Conflicts: 218000 | #Constraints: 11699 112.01/112.31 c #Conflicts: 219000 | #Constraints: 12735 112.01/112.31 c #Conflicts: 220000 | #Constraints: 13773 112.01/112.31 c #Conflicts: 221000 | #Constraints: 14817 112.01/112.31 c #Conflicts: 222000 | #Constraints: 15852 112.01/112.31 c #Conflicts: 223000 | #Constraints: 16874 112.01/112.31 c #Conflicts: 224000 | #Constraints: 17911 112.01/112.31 c #Conflicts: 225000 | #Constraints: 18938 112.01/112.31 c #Conflicts: 226000 | #Constraints: 19974 112.01/112.31 c INPROCESSING 112.01/112.31 c GARBAGE COLLECT 112.01/112.31 c rational objective 77 117.01/117.35 c #Conflicts: 227000 | #Constraints: 11371 117.01/117.35 c #Conflicts: 228000 | #Constraints: 12427 117.01/117.35 c #Conflicts: 229000 | #Constraints: 13466 117.01/117.35 c #Conflicts: 230000 | #Constraints: 14509 117.01/117.35 c #Conflicts: 231000 | #Constraints: 15546 117.01/117.35 c #Conflicts: 232000 | #Constraints: 16576 117.01/117.35 c #Conflicts: 233000 | #Constraints: 17615 117.01/117.35 c #Conflicts: 234000 | #Constraints: 18654 117.01/117.35 c #Conflicts: 235000 | #Constraints: 19684 117.01/117.35 c #Conflicts: 236000 | #Constraints: 20713 117.01/117.35 c INPROCESSING 117.01/117.35 c GARBAGE COLLECT 117.01/117.35 c rational objective 77 126.89/127.26 c #Conflicts: 237000 | #Constraints: 11817 126.89/127.26 c #Conflicts: 238000 | #Constraints: 12817 126.89/127.26 c #Conflicts: 239000 | #Constraints: 13817 126.89/127.26 c #Conflicts: 240000 | #Constraints: 14817 126.89/127.26 c #Conflicts: 241000 | #Constraints: 15817 126.89/127.26 c #Conflicts: 242000 | #Constraints: 16817 126.89/127.26 c #Conflicts: 243000 | #Constraints: 17817 126.89/127.26 c #Conflicts: 244000 | #Constraints: 18817 126.89/127.26 c #Conflicts: 245000 | #Constraints: 19817 126.89/127.26 c #Conflicts: 246000 | #Constraints: 20817 126.89/127.26 c INPROCESSING 126.89/127.26 c GARBAGE COLLECT 126.89/127.26 c rational objective 77 131.68/132.09 c #Conflicts: 247000 | #Constraints: 11937 131.68/132.09 c #Conflicts: 248000 | #Constraints: 12965 131.68/132.09 c #Conflicts: 249000 | #Constraints: 14001 131.68/132.09 c bounds 86 >= 77 @ 125.13 131.68/132.09 c #Conflicts: 250000 | #Constraints: 15037 131.68/132.09 c #Conflicts: 251000 | #Constraints: 16070 131.68/132.09 c #Conflicts: 252000 | #Constraints: 17094 131.68/132.09 c #Conflicts: 253000 | #Constraints: 18118 131.68/132.09 c #Conflicts: 254000 | #Constraints: 19134 131.68/132.09 c #Conflicts: 255000 | #Constraints: 20161 131.68/132.09 c #Conflicts: 256000 | #Constraints: 21186 131.68/132.09 c INPROCESSING 131.68/132.09 c GARBAGE COLLECT 131.68/132.09 c rational objective 77 136.26/136.68 c #Conflicts: 257000 | #Constraints: 11965 136.26/136.68 c #Conflicts: 258000 | #Constraints: 12994 136.26/136.68 c #Conflicts: 259000 | #Constraints: 14024 136.26/136.68 c #Conflicts: 260000 | #Constraints: 15046 136.26/136.68 c #Conflicts: 261000 | #Constraints: 16079 136.26/136.68 c #Conflicts: 262000 | #Constraints: 17097 136.26/136.68 c #Conflicts: 263000 | #Constraints: 18120 136.26/136.68 c #Conflicts: 264000 | #Constraints: 19150 136.26/136.68 c #Conflicts: 265000 | #Constraints: 20191 136.26/136.68 c #Conflicts: 266000 | #Constraints: 21231 136.26/136.68 c INPROCESSING 136.26/136.68 c GARBAGE COLLECT 136.26/136.68 c rational objective 77 146.76/147.14 c #Conflicts: 267000 | #Constraints: 11794 146.76/147.14 c #Conflicts: 268000 | #Constraints: 12794 146.76/147.14 c #Conflicts: 269000 | #Constraints: 13794 146.76/147.14 c #Conflicts: 270000 | #Constraints: 14794 146.76/147.14 c #Conflicts: 271000 | #Constraints: 15794 146.76/147.14 c #Conflicts: 272000 | #Constraints: 16794 146.76/147.14 c #Conflicts: 273000 | #Constraints: 17794 146.76/147.14 c #Conflicts: 274000 | #Constraints: 18794 146.76/147.14 c #Conflicts: 275000 | #Constraints: 19794 146.76/147.14 c #Conflicts: 276000 | #Constraints: 20794 146.76/147.14 c bounds 86 >= 78 @ 143.115 146.76/147.14 c #Conflicts: 277000 | #Constraints: 21879 146.76/147.14 c INPROCESSING 146.76/147.14 c GARBAGE COLLECT 146.76/147.14 c rational objective 78 152.03/152.46 c #Conflicts: 278000 | #Constraints: 12344 152.03/152.46 c #Conflicts: 279000 | #Constraints: 13373 152.03/152.46 c #Conflicts: 280000 | #Constraints: 14400 152.03/152.46 c #Conflicts: 281000 | #Constraints: 15433 152.03/152.46 c #Conflicts: 282000 | #Constraints: 16457 152.03/152.46 c #Conflicts: 283000 | #Constraints: 17488 152.03/152.46 c #Conflicts: 284000 | #Constraints: 18514 152.03/152.46 c #Conflicts: 285000 | #Constraints: 19537 152.03/152.46 c #Conflicts: 286000 | #Constraints: 20562 152.03/152.46 c #Conflicts: 287000 | #Constraints: 21583 152.03/152.46 c #Conflicts: 288000 | #Constraints: 22610 152.03/152.46 c INPROCESSING 152.03/152.46 c GARBAGE COLLECT 152.03/152.46 c rational objective 78 156.92/157.36 c #Conflicts: 289000 | #Constraints: 12816 156.92/157.36 c #Conflicts: 290000 | #Constraints: 13850 156.92/157.36 c #Conflicts: 291000 | #Constraints: 14887 156.92/157.36 c #Conflicts: 292000 | #Constraints: 15921 156.92/157.36 c #Conflicts: 293000 | #Constraints: 16952 156.92/157.36 c #Conflicts: 294000 | #Constraints: 17985 156.92/157.36 c #Conflicts: 295000 | #Constraints: 19021 156.92/157.36 c #Conflicts: 296000 | #Constraints: 20051 156.92/157.36 c #Conflicts: 297000 | #Constraints: 21070 156.92/157.36 c #Conflicts: 298000 | #Constraints: 22090 156.92/157.36 c #Conflicts: 299000 | #Constraints: 23121 156.92/157.36 c INPROCESSING 156.92/157.36 c GARBAGE COLLECT 156.92/157.36 c rational objective 78 169.20/169.64 c #Conflicts: 300000 | #Constraints: 13063 169.20/169.64 c #Conflicts: 301000 | #Constraints: 14063 169.20/169.64 c #Conflicts: 302000 | #Constraints: 15063 169.20/169.64 c #Conflicts: 303000 | #Constraints: 16063 169.20/169.64 c #Conflicts: 304000 | #Constraints: 17063 169.20/169.64 c #Conflicts: 305000 | #Constraints: 18063 169.20/169.64 c #Conflicts: 306000 | #Constraints: 19063 169.20/169.64 c #Conflicts: 307000 | #Constraints: 20063 169.20/169.64 c #Conflicts: 308000 | #Constraints: 21063 169.20/169.64 c #Conflicts: 309000 | #Constraints: 22063 169.20/169.64 c #Conflicts: 310000 | #Constraints: 23063 169.20/169.64 c INPROCESSING 169.20/169.64 c GARBAGE COLLECT 169.20/169.64 c rational objective 78 174.59/175.02 c #Conflicts: 311000 | #Constraints: 13024 174.59/175.02 c #Conflicts: 312000 | #Constraints: 14064 174.59/175.02 c #Conflicts: 313000 | #Constraints: 15102 174.59/175.02 c #Conflicts: 314000 | #Constraints: 16133 174.59/175.02 c #Conflicts: 315000 | #Constraints: 17175 174.59/175.02 c #Conflicts: 316000 | #Constraints: 18197 174.59/175.02 c #Conflicts: 317000 | #Constraints: 19233 174.59/175.02 c #Conflicts: 318000 | #Constraints: 20266 174.59/175.02 c #Conflicts: 319000 | #Constraints: 21298 174.59/175.02 c bounds 85 >= 78 @ 169.522 174.59/175.02 c #Conflicts: 320000 | #Constraints: 22335 174.59/175.02 c #Conflicts: 321000 | #Constraints: 23375 174.59/175.02 c INPROCESSING 174.59/175.02 c GARBAGE COLLECT 174.59/175.02 c rational objective 78 180.67/181.17 c #Conflicts: 322000 | #Constraints: 12909 180.67/181.17 c #Conflicts: 323000 | #Constraints: 13937 180.67/181.17 c #Conflicts: 324000 | #Constraints: 14964 180.67/181.17 c #Conflicts: 325000 | #Constraints: 15988 180.67/181.17 c #Conflicts: 326000 | #Constraints: 17012 180.67/181.17 c #Conflicts: 327000 | #Constraints: 18031 180.67/181.17 c #Conflicts: 328000 | #Constraints: 19060 180.67/181.17 c #Conflicts: 329000 | #Constraints: 20085 180.67/181.17 c #Conflicts: 330000 | #Constraints: 21104 180.67/181.17 c #Conflicts: 331000 | #Constraints: 22134 180.67/181.17 c #Conflicts: 332000 | #Constraints: 23160 180.67/181.17 c #Conflicts: 333000 | #Constraints: 24182 180.67/181.17 c INPROCESSING 180.67/181.17 c GARBAGE COLLECT 180.67/181.17 c rational objective 78 196.13/196.64 c #Conflicts: 334000 | #Constraints: 13501 196.13/196.64 c #Conflicts: 335000 | #Constraints: 14501 196.13/196.64 c #Conflicts: 336000 | #Constraints: 15501 196.13/196.64 c #Conflicts: 337000 | #Constraints: 16501 196.13/196.64 c #Conflicts: 338000 | #Constraints: 17501 196.13/196.64 c #Conflicts: 339000 | #Constraints: 18501 196.13/196.64 c #Conflicts: 340000 | #Constraints: 19501 196.13/196.64 c #Conflicts: 341000 | #Constraints: 20501 196.13/196.64 c #Conflicts: 342000 | #Constraints: 21501 196.13/196.64 c #Conflicts: 343000 | #Constraints: 22501 196.13/196.64 c #Conflicts: 344000 | #Constraints: 23501 196.13/196.64 c #Conflicts: 345000 | #Constraints: 24501 196.13/196.64 c INPROCESSING 196.13/196.64 c GARBAGE COLLECT 196.13/196.64 c rational objective 78 312.73/313.54 c #Conflicts: 346000 | #Constraints: 13843 312.73/313.54 c #Conflicts: 347000 | #Constraints: 14881 312.73/313.54 c #Conflicts: 348000 | #Constraints: 15924 312.73/313.54 c #Conflicts: 349000 | #Constraints: 16959 312.73/313.54 c #Conflicts: 350000 | #Constraints: 17988 312.73/313.54 c #Conflicts: 351000 | #Constraints: 19015 312.73/313.54 c #Conflicts: 352000 | #Constraints: 20040 312.73/313.54 c #Conflicts: 353000 | #Constraints: 21072 312.73/313.54 c #Conflicts: 354000 | #Constraints: 22103 312.73/313.54 c #Conflicts: 355000 | #Constraints: 23131 312.73/313.54 c #Conflicts: 356000 | #Constraints: 24154 312.73/313.54 c #Conflicts: 357000 | #Constraints: 25177 312.73/313.54 c #Conflicts: 358000 | #Constraints: 26208 312.73/313.54 c #Conflicts: 359000 | #Constraints: 27249 312.73/313.54 c #Conflicts: 360000 | #Constraints: 28277 312.73/313.54 c #Conflicts: 361000 | #Constraints: 29310 312.73/313.54 c #Conflicts: 362000 | #Constraints: 30336 312.73/313.54 c #Conflicts: 363000 | #Constraints: 31365 312.73/313.54 c #Conflicts: 364000 | #Constraints: 32396 312.73/313.54 c #Conflicts: 365000 | #Constraints: 33421 312.73/313.54 c #Conflicts: 366000 | #Constraints: 34448 312.73/313.54 c #Conflicts: 367000 | #Constraints: 35472 312.73/313.54 c #Conflicts: 368000 | #Constraints: 36504 312.73/313.54 c #Conflicts: 369000 | #Constraints: 37531 312.73/313.54 c #Conflicts: 370000 | #Constraints: 38557 312.73/313.54 c #Conflicts: 371000 | #Constraints: 39587 312.73/313.54 c #Conflicts: 372000 | #Constraints: 40613 312.73/313.54 c #Conflicts: 373000 | #Constraints: 41649 312.73/313.54 c #Conflicts: 374000 | #Constraints: 42682 312.73/313.54 c #Conflicts: 375000 | #Constraints: 43708 312.73/313.54 c #Conflicts: 376000 | #Constraints: 44736 312.73/313.54 c #Conflicts: 377000 | #Constraints: 45761 312.73/313.54 c #Conflicts: 378000 | #Constraints: 46791 312.73/313.54 c #Conflicts: 379000 | #Constraints: 47817 312.73/313.54 c #Conflicts: 380000 | #Constraints: 48838 312.73/313.54 c #Conflicts: 381000 | #Constraints: 49866 312.73/313.54 c #Conflicts: 382000 | #Constraints: 50885 312.73/313.54 c #Conflicts: 383000 | #Constraints: 51908 312.73/313.54 c #Conflicts: 384000 | #Constraints: 52934 312.73/313.54 c #Conflicts: 385000 | #Constraints: 53958 312.73/313.54 c #Conflicts: 386000 | #Constraints: 54984 312.73/313.54 c #Conflicts: 387000 | #Constraints: 56006 312.73/313.54 c #Conflicts: 388000 | #Constraints: 57025 312.73/313.54 c #Conflicts: 389000 | #Constraints: 58057 312.73/313.54 c #Conflicts: 390000 | #Constraints: 59082 312.73/313.54 c #Conflicts: 391000 | #Constraints: 60104 312.73/313.54 c #Conflicts: 392000 | #Constraints: 61135 312.73/313.54 c #Conflicts: 393000 | #Constraints: 62167 312.73/313.54 c #Conflicts: 394000 | #Constraints: 63197 312.73/313.54 c #Conflicts: 395000 | #Constraints: 64226 312.73/313.54 c #Conflicts: 396000 | #Constraints: 65253 312.73/313.54 c #Conflicts: 397000 | #Constraints: 66277 312.73/313.54 c #Conflicts: 398000 | #Constraints: 67309 312.73/313.54 c #Conflicts: 399000 | #Constraints: 68331 312.73/313.54 c #Conflicts: 400000 | #Constraints: 69357 312.73/313.54 c #Conflicts: 401000 | #Constraints: 70383 312.73/313.54 c #Conflicts: 402000 | #Constraints: 71408 312.73/313.54 c INPROCESSING 312.73/313.54 c GARBAGE COLLECT 312.73/313.54 c rational objective 78 345.16/346.07 c #Conflicts: 403000 | #Constraints: 36769 345.16/346.07 c #Conflicts: 404000 | #Constraints: 37769 345.16/346.07 c #Conflicts: 405000 | #Constraints: 38769 345.16/346.07 c #Conflicts: 406000 | #Constraints: 39769 345.16/346.07 c #Conflicts: 407000 | #Constraints: 40769 345.16/346.07 c #Conflicts: 408000 | #Constraints: 41769 345.16/346.07 c #Conflicts: 409000 | #Constraints: 42769 345.16/346.07 c #Conflicts: 410000 | #Constraints: 43769 345.16/346.07 c #Conflicts: 411000 | #Constraints: 44769 345.16/346.07 c #Conflicts: 412000 | #Constraints: 45769 345.16/346.07 c #Conflicts: 413000 | #Constraints: 46769 345.16/346.07 c #Conflicts: 414000 | #Constraints: 47769 345.16/346.07 c #Conflicts: 415000 | #Constraints: 48769 345.16/346.07 c #Conflicts: 416000 | #Constraints: 49769 345.16/346.07 c INPROCESSING 345.16/346.07 c GARBAGE COLLECT 345.16/346.07 c rational objective 78 384.66/385.61 c #Conflicts: 417000 | #Constraints: 26468 384.66/385.61 c #Conflicts: 418000 | #Constraints: 27468 384.66/385.61 c #Conflicts: 419000 | #Constraints: 28468 384.66/385.61 c #Conflicts: 420000 | #Constraints: 29468 384.66/385.61 c #Conflicts: 421000 | #Constraints: 30468 384.66/385.61 c #Conflicts: 422000 | #Constraints: 31468 384.66/385.61 c #Conflicts: 423000 | #Constraints: 32468 384.66/385.61 c #Conflicts: 424000 | #Constraints: 33468 384.66/385.61 c #Conflicts: 425000 | #Constraints: 34468 384.66/385.61 c bounds 85 >= 79 @ 368.421 384.66/385.61 c #Conflicts: 426000 | #Constraints: 35525 384.66/385.61 c #Conflicts: 427000 | #Constraints: 36525 384.66/385.61 c #Conflicts: 428000 | #Constraints: 37525 384.66/385.61 c #Conflicts: 429000 | #Constraints: 38525 384.66/385.61 c INPROCESSING 384.66/385.61 c GARBAGE COLLECT 384.66/385.61 c rational objective 79 410.50/411.53 c #Conflicts: 430000 | #Constraints: 20708 410.50/411.53 c #Conflicts: 431000 | #Constraints: 21708 410.50/411.53 c #Conflicts: 432000 | #Constraints: 22708 410.50/411.53 c #Conflicts: 433000 | #Constraints: 23708 410.50/411.53 c #Conflicts: 434000 | #Constraints: 24708 410.50/411.53 c #Conflicts: 435000 | #Constraints: 25708 410.50/411.53 c #Conflicts: 436000 | #Constraints: 26708 410.50/411.53 c #Conflicts: 437000 | #Constraints: 27708 410.50/411.53 c #Conflicts: 438000 | #Constraints: 28708 410.50/411.53 c #Conflicts: 439000 | #Constraints: 29708 410.50/411.53 c #Conflicts: 440000 | #Constraints: 30708 410.50/411.53 c #Conflicts: 441000 | #Constraints: 31708 410.50/411.53 c #Conflicts: 442000 | #Constraints: 32708 410.50/411.53 c INPROCESSING 410.50/411.53 c GARBAGE COLLECT 410.50/411.53 c rational objective 79 420.77/421.88 c #Conflicts: 443000 | #Constraints: 17554 420.77/421.88 c #Conflicts: 444000 | #Constraints: 18566 420.77/421.88 c #Conflicts: 445000 | #Constraints: 19605 420.77/421.88 c #Conflicts: 446000 | #Constraints: 20637 420.77/421.88 c #Conflicts: 447000 | #Constraints: 21663 420.77/421.88 c #Conflicts: 448000 | #Constraints: 22697 420.77/421.88 c #Conflicts: 449000 | #Constraints: 23729 420.77/421.88 c #Conflicts: 450000 | #Constraints: 24764 420.77/421.88 c #Conflicts: 451000 | #Constraints: 25800 420.77/421.88 c #Conflicts: 452000 | #Constraints: 26825 420.77/421.88 c #Conflicts: 453000 | #Constraints: 27853 420.77/421.88 c #Conflicts: 454000 | #Constraints: 28877 420.77/421.88 c #Conflicts: 455000 | #Constraints: 29906 420.77/421.88 c #Conflicts: 456000 | #Constraints: 30928 420.77/421.88 c INPROCESSING 420.77/421.88 c GARBAGE COLLECT 420.77/421.88 c rational objective 79 667.36/669.02 c #Conflicts: 457000 | #Constraints: 16767 667.36/669.02 c #Conflicts: 458000 | #Constraints: 17767 667.36/669.02 c #Conflicts: 459000 | #Constraints: 18767 667.36/669.02 c #Conflicts: 460000 | #Constraints: 19767 667.36/669.02 c #Conflicts: 461000 | #Constraints: 20767 667.36/669.02 c #Conflicts: 462000 | #Constraints: 21767 667.36/669.02 c #Conflicts: 463000 | #Constraints: 22767 667.36/669.02 c #Conflicts: 464000 | #Constraints: 23767 667.36/669.02 c #Conflicts: 465000 | #Constraints: 24767 667.36/669.02 c #Conflicts: 466000 | #Constraints: 25767 667.36/669.02 c #Conflicts: 467000 | #Constraints: 26767 667.36/669.02 c #Conflicts: 468000 | #Constraints: 27767 667.36/669.02 c #Conflicts: 469000 | #Constraints: 28767 667.36/669.02 c #Conflicts: 470000 | #Constraints: 29767 667.36/669.02 c #Conflicts: 471000 | #Constraints: 30767 667.36/669.02 c #Conflicts: 472000 | #Constraints: 31767 667.36/669.02 c #Conflicts: 473000 | #Constraints: 32767 667.36/669.02 c #Conflicts: 474000 | #Constraints: 33767 667.36/669.02 c #Conflicts: 475000 | #Constraints: 34767 667.36/669.02 c #Conflicts: 476000 | #Constraints: 35767 667.36/669.02 c #Conflicts: 477000 | #Constraints: 36767 667.36/669.02 c #Conflicts: 478000 | #Constraints: 37767 667.36/669.02 c #Conflicts: 479000 | #Constraints: 38767 667.36/669.02 c #Conflicts: 480000 | #Constraints: 39767 667.36/669.02 c #Conflicts: 481000 | #Constraints: 40767 667.36/669.02 c #Conflicts: 482000 | #Constraints: 41767 667.36/669.02 c #Conflicts: 483000 | #Constraints: 42767 667.36/669.02 c #Conflicts: 484000 | #Constraints: 43767 667.36/669.02 c #Conflicts: 485000 | #Constraints: 44767 667.36/669.02 c #Conflicts: 486000 | #Constraints: 45767 667.36/669.02 c #Conflicts: 487000 | #Constraints: 46767 667.36/669.02 c #Conflicts: 488000 | #Constraints: 47767 667.36/669.02 c #Conflicts: 489000 | #Constraints: 48767 667.36/669.02 c #Conflicts: 490000 | #Constraints: 49767 667.36/669.02 c #Conflicts: 491000 | #Constraints: 50767 667.36/669.02 c #Conflicts: 492000 | #Constraints: 51767 667.36/669.02 c #Conflicts: 493000 | #Constraints: 52767 667.36/669.02 c #Conflicts: 494000 | #Constraints: 53767 667.36/669.02 c #Conflicts: 495000 | #Constraints: 54767 667.36/669.02 c #Conflicts: 496000 | #Constraints: 55767 667.36/669.02 c #Conflicts: 497000 | #Constraints: 56767 667.36/669.02 c #Conflicts: 498000 | #Constraints: 57767 667.36/669.02 c #Conflicts: 499000 | #Constraints: 58767 667.36/669.02 c #Conflicts: 500000 | #Constraints: 59767 667.36/669.02 c #Conflicts: 501000 | #Constraints: 60767 667.36/669.02 c #Conflicts: 502000 | #Constraints: 61767 667.36/669.02 c #Conflicts: 503000 | #Constraints: 62767 667.36/669.02 c #Conflicts: 504000 | #Constraints: 63767 667.36/669.02 c #Conflicts: 505000 | #Constraints: 64767 667.36/669.02 c #Conflicts: 506000 | #Constraints: 65767 667.36/669.02 c #Conflicts: 507000 | #Constraints: 66767 667.36/669.02 c #Conflicts: 508000 | #Constraints: 67767 667.36/669.02 c #Conflicts: 509000 | #Constraints: 68767 667.36/669.02 c #Conflicts: 510000 | #Constraints: 69767 667.36/669.02 c #Conflicts: 511000 | #Constraints: 70767 667.36/669.02 c #Conflicts: 512000 | #Constraints: 71767 667.36/669.02 c #Conflicts: 513000 | #Constraints: 72767 667.36/669.02 c #Conflicts: 514000 | #Constraints: 73767 667.36/669.02 c #Conflicts: 515000 | #Constraints: 74767 667.36/669.02 c #Conflicts: 516000 | #Constraints: 75767 667.36/669.02 c #Conflicts: 517000 | #Constraints: 76767 667.36/669.02 c #Conflicts: 518000 | #Constraints: 77767 667.36/669.02 c #Conflicts: 519000 | #Constraints: 78767 667.36/669.02 c #Conflicts: 520000 | #Constraints: 79767 667.36/669.02 c INPROCESSING 667.36/669.02 c GARBAGE COLLECT 667.36/669.02 c rational objective 79 682.71/684.43 c #Conflicts: 521000 | #Constraints: 41104 682.71/684.43 c #Conflicts: 522000 | #Constraints: 42120 682.71/684.43 c #Conflicts: 523000 | #Constraints: 43152 682.71/684.43 c #Conflicts: 524000 | #Constraints: 44188 682.71/684.43 c #Conflicts: 525000 | #Constraints: 45209 682.71/684.43 c #Conflicts: 526000 | #Constraints: 46233 682.71/684.43 c #Conflicts: 527000 | #Constraints: 47262 682.71/684.43 c #Conflicts: 528000 | #Constraints: 48291 682.71/684.43 c #Conflicts: 529000 | #Constraints: 49314 682.71/684.43 c #Conflicts: 530000 | #Constraints: 50348 682.71/684.43 c #Conflicts: 531000 | #Constraints: 51375 682.71/684.43 c #Conflicts: 532000 | #Constraints: 52397 682.71/684.43 c #Conflicts: 533000 | #Constraints: 53424 682.71/684.43 c #Conflicts: 534000 | #Constraints: 54450 682.71/684.43 c #Conflicts: 535000 | #Constraints: 55484 682.71/684.43 c INPROCESSING 682.71/684.43 c GARBAGE COLLECT 682.71/684.43 c rational objective 79 694.58/696.36 c #Conflicts: 536000 | #Constraints: 28889 694.58/696.36 c #Conflicts: 537000 | #Constraints: 29912 694.58/696.36 c #Conflicts: 538000 | #Constraints: 30942 694.58/696.36 c #Conflicts: 539000 | #Constraints: 31973 694.58/696.36 c #Conflicts: 540000 | #Constraints: 32998 694.58/696.36 c #Conflicts: 541000 | #Constraints: 34029 694.58/696.36 c #Conflicts: 542000 | #Constraints: 35053 694.58/696.36 c #Conflicts: 543000 | #Constraints: 36079 694.58/696.36 c #Conflicts: 544000 | #Constraints: 37098 694.58/696.36 c #Conflicts: 545000 | #Constraints: 38122 694.58/696.36 c #Conflicts: 546000 | #Constraints: 39144 694.58/696.36 c #Conflicts: 547000 | #Constraints: 40170 694.58/696.36 c #Conflicts: 548000 | #Constraints: 41212 694.58/696.36 c #Conflicts: 549000 | #Constraints: 42240 694.58/696.36 c #Conflicts: 550000 | #Constraints: 43266 694.58/696.36 c #Conflicts: 551000 | #Constraints: 44291 694.58/696.36 c INPROCESSING 694.58/696.36 c GARBAGE COLLECT 694.58/696.36 c rational objective 79 709.94/711.79 c #Conflicts: 552000 | #Constraints: 23698 709.94/711.79 c #Conflicts: 553000 | #Constraints: 24732 709.94/711.79 c #Conflicts: 554000 | #Constraints: 25760 709.94/711.79 c #Conflicts: 555000 | #Constraints: 26786 709.94/711.79 c #Conflicts: 556000 | #Constraints: 27817 709.94/711.79 c #Conflicts: 557000 | #Constraints: 28840 709.94/711.79 c #Conflicts: 558000 | #Constraints: 29861 709.94/711.79 c #Conflicts: 559000 | #Constraints: 30888 709.94/711.79 c #Conflicts: 560000 | #Constraints: 31919 709.94/711.79 c #Conflicts: 561000 | #Constraints: 32941 709.94/711.79 c #Conflicts: 562000 | #Constraints: 33963 709.94/711.79 c #Conflicts: 563000 | #Constraints: 34991 709.94/711.79 c #Conflicts: 564000 | #Constraints: 36026 709.94/711.79 c #Conflicts: 565000 | #Constraints: 37056 709.94/711.79 c #Conflicts: 566000 | #Constraints: 38080 709.94/711.79 c INPROCESSING 709.94/711.79 c GARBAGE COLLECT 709.94/711.79 c rational objective 79 870.13/872.35 c #Conflicts: 567000 | #Constraints: 20391 870.13/872.35 c #Conflicts: 568000 | #Constraints: 21421 870.13/872.35 c #Conflicts: 569000 | #Constraints: 22454 870.13/872.35 c #Conflicts: 570000 | #Constraints: 23483 870.13/872.35 c #Conflicts: 571000 | #Constraints: 24516 870.13/872.35 c #Conflicts: 572000 | #Constraints: 25546 870.13/872.35 c #Conflicts: 573000 | #Constraints: 26575 870.13/872.35 c #Conflicts: 574000 | #Constraints: 27605 870.13/872.35 c #Conflicts: 575000 | #Constraints: 28631 870.13/872.35 c #Conflicts: 576000 | #Constraints: 29660 870.13/872.35 c #Conflicts: 577000 | #Constraints: 30684 870.13/872.35 c #Conflicts: 578000 | #Constraints: 31705 870.13/872.35 c #Conflicts: 579000 | #Constraints: 32731 870.13/872.35 c #Conflicts: 580000 | #Constraints: 33757 870.13/872.35 c #Conflicts: 581000 | #Constraints: 34778 870.13/872.35 c #Conflicts: 582000 | #Constraints: 35800 870.13/872.35 c #Conflicts: 583000 | #Constraints: 36827 870.13/872.35 c #Conflicts: 584000 | #Constraints: 37854 870.13/872.35 c #Conflicts: 585000 | #Constraints: 38875 870.13/872.35 c #Conflicts: 586000 | #Constraints: 39898 870.13/872.35 c #Conflicts: 587000 | #Constraints: 40924 870.13/872.35 c #Conflicts: 588000 | #Constraints: 41958 870.13/872.35 c #Conflicts: 589000 | #Constraints: 42974 870.13/872.35 c #Conflicts: 590000 | #Constraints: 43996 870.13/872.35 c #Conflicts: 591000 | #Constraints: 45023 870.13/872.35 c #Conflicts: 592000 | #Constraints: 46049 870.13/872.35 c #Conflicts: 593000 | #Constraints: 47075 870.13/872.35 c #Conflicts: 594000 | #Constraints: 48105 870.13/872.35 c #Conflicts: 595000 | #Constraints: 49130 870.13/872.35 c #Conflicts: 596000 | #Constraints: 50154 870.13/872.35 c #Conflicts: 597000 | #Constraints: 51194 870.13/872.35 c #Conflicts: 598000 | #Constraints: 52225 870.13/872.35 c #Conflicts: 599000 | #Constraints: 53254 870.13/872.35 c #Conflicts: 600000 | #Constraints: 54285 870.13/872.35 c #Conflicts: 601000 | #Constraints: 55314 870.13/872.35 c #Conflicts: 602000 | #Constraints: 56343 870.13/872.35 c #Conflicts: 603000 | #Constraints: 57372 870.13/872.35 c #Conflicts: 604000 | #Constraints: 58401 870.13/872.35 c #Conflicts: 605000 | #Constraints: 59433 870.13/872.35 c #Conflicts: 606000 | #Constraints: 60461 870.13/872.35 c #Conflicts: 607000 | #Constraints: 61492 870.13/872.35 c #Conflicts: 608000 | #Constraints: 62523 870.13/872.35 c #Conflicts: 609000 | #Constraints: 63551 870.13/872.35 c #Conflicts: 610000 | #Constraints: 64579 870.13/872.35 c #Conflicts: 611000 | #Constraints: 65607 870.13/872.35 c #Conflicts: 612000 | #Constraints: 66630 870.13/872.35 c #Conflicts: 613000 | #Constraints: 67652 870.13/872.35 c #Conflicts: 614000 | #Constraints: 68688 870.13/872.35 c #Conflicts: 615000 | #Constraints: 69719 870.13/872.35 c #Conflicts: 616000 | #Constraints: 70739 870.13/872.35 c #Conflicts: 617000 | #Constraints: 71762 870.13/872.35 c #Conflicts: 618000 | #Constraints: 72787 870.13/872.35 c #Conflicts: 619000 | #Constraints: 73806 870.13/872.35 c #Conflicts: 620000 | #Constraints: 74829 870.13/872.35 c #Conflicts: 621000 | #Constraints: 75856 870.13/872.35 c #Conflicts: 622000 | #Constraints: 76887 870.13/872.35 c #Conflicts: 623000 | #Constraints: 77919 870.13/872.35 c #Conflicts: 624000 | #Constraints: 78938 870.13/872.35 c #Conflicts: 625000 | #Constraints: 79966 870.13/872.35 c #Conflicts: 626000 | #Constraints: 80995 870.13/872.35 c #Conflicts: 627000 | #Constraints: 82018 870.13/872.35 c #Conflicts: 628000 | #Constraints: 83043 870.13/872.35 c #Conflicts: 629000 | #Constraints: 84067 870.13/872.35 c #Conflicts: 630000 | #Constraints: 85090 870.13/872.35 c #Conflicts: 631000 | #Constraints: 86113 870.13/872.35 c #Conflicts: 632000 | #Constraints: 87144 870.13/872.35 c #Conflicts: 633000 | #Constraints: 88177 870.13/872.35 c #Conflicts: 634000 | #Constraints: 89207 870.13/872.35 c #Conflicts: 635000 | #Constraints: 90229 870.13/872.35 c #Conflicts: 636000 | #Constraints: 91246 870.13/872.35 c INPROCESSING 870.13/872.35 c GARBAGE COLLECT 870.13/872.35 c rational objective 79 912.42/914.73 c #Conflicts: 637000 | #Constraints: 47177 912.42/914.73 c #Conflicts: 638000 | #Constraints: 48197 912.42/914.73 c #Conflicts: 639000 | #Constraints: 49217 912.42/914.73 c #Conflicts: 640000 | #Constraints: 50243 912.42/914.73 c #Conflicts: 641000 | #Constraints: 51271 912.42/914.73 c #Conflicts: 642000 | #Constraints: 52296 912.42/914.73 c #Conflicts: 643000 | #Constraints: 53312 912.42/914.73 c #Conflicts: 644000 | #Constraints: 54332 912.42/914.73 c #Conflicts: 645000 | #Constraints: 55357 912.42/914.73 c #Conflicts: 646000 | #Constraints: 56376 912.42/914.73 c #Conflicts: 647000 | #Constraints: 57395 912.42/914.73 c #Conflicts: 648000 | #Constraints: 58413 912.42/914.73 c #Conflicts: 649000 | #Constraints: 59438 912.42/914.73 c #Conflicts: 650000 | #Constraints: 60456 912.42/914.73 c #Conflicts: 651000 | #Constraints: 61480 912.42/914.73 c #Conflicts: 652000 | #Constraints: 62505 912.42/914.73 c INPROCESSING 912.42/914.73 c GARBAGE COLLECT 912.42/914.73 c rational objective 79 956.20/958.64 c #Conflicts: 653000 | #Constraints: 32449 956.20/958.64 c #Conflicts: 654000 | #Constraints: 33449 956.20/958.64 c #Conflicts: 655000 | #Constraints: 34449 956.20/958.64 c #Conflicts: 656000 | #Constraints: 35449 956.20/958.64 c #Conflicts: 657000 | #Constraints: 36449 956.20/958.64 c #Conflicts: 658000 | #Constraints: 37449 956.20/958.64 c #Conflicts: 659000 | #Constraints: 38449 956.20/958.64 c #Conflicts: 660000 | #Constraints: 39449 956.20/958.64 c #Conflicts: 661000 | #Constraints: 40449 956.20/958.64 c #Conflicts: 662000 | #Constraints: 41449 956.20/958.64 c #Conflicts: 663000 | #Constraints: 42449 956.20/958.64 c #Conflicts: 664000 | #Constraints: 43449 956.20/958.64 c #Conflicts: 665000 | #Constraints: 44449 956.20/958.64 c #Conflicts: 666000 | #Constraints: 45449 956.20/958.64 c #Conflicts: 667000 | #Constraints: 46449 956.20/958.64 c #Conflicts: 668000 | #Constraints: 47450 956.20/958.64 c #Conflicts: 669000 | #Constraints: 48450 956.20/958.64 c INPROCESSING 956.20/958.64 c GARBAGE COLLECT 956.20/958.64 c rational objective 79 974.46/976.91 c #Conflicts: 670000 | #Constraints: 25525 974.46/976.91 c #Conflicts: 671000 | #Constraints: 26547 974.46/976.91 c #Conflicts: 672000 | #Constraints: 27589 974.46/976.91 c #Conflicts: 673000 | #Constraints: 28621 974.46/976.91 c #Conflicts: 674000 | #Constraints: 29661 974.46/976.91 c #Conflicts: 675000 | #Constraints: 30698 974.46/976.91 c #Conflicts: 676000 | #Constraints: 31732 974.46/976.91 c #Conflicts: 677000 | #Constraints: 32764 974.46/976.91 c #Conflicts: 678000 | #Constraints: 33792 974.46/976.91 c #Conflicts: 679000 | #Constraints: 34815 974.46/976.91 c #Conflicts: 680000 | #Constraints: 35842 974.46/976.91 c #Conflicts: 681000 | #Constraints: 36865 974.46/976.91 c #Conflicts: 682000 | #Constraints: 37888 974.46/976.91 c #Conflicts: 683000 | #Constraints: 38912 974.46/976.91 c #Conflicts: 684000 | #Constraints: 39935 974.46/976.91 c #Conflicts: 685000 | #Constraints: 40961 974.46/976.91 c #Conflicts: 686000 | #Constraints: 41990 974.46/976.91 c INPROCESSING 974.46/976.91 c GARBAGE COLLECT 974.46/976.91 c rational objective 79 989.83/992.33 c #Conflicts: 687000 | #Constraints: 22199 989.83/992.33 c #Conflicts: 688000 | #Constraints: 23233 989.83/992.33 c #Conflicts: 689000 | #Constraints: 24261 989.83/992.33 c #Conflicts: 690000 | #Constraints: 25292 989.83/992.33 c #Conflicts: 691000 | #Constraints: 26318 989.83/992.33 c #Conflicts: 692000 | #Constraints: 27350 989.83/992.33 c #Conflicts: 693000 | #Constraints: 28380 989.83/992.33 c #Conflicts: 694000 | #Constraints: 29403 989.83/992.33 c #Conflicts: 695000 | #Constraints: 30429 989.83/992.33 c #Conflicts: 696000 | #Constraints: 31464 989.83/992.33 c #Conflicts: 697000 | #Constraints: 32497 989.83/992.33 c #Conflicts: 698000 | #Constraints: 33521 989.83/992.33 c #Conflicts: 699000 | #Constraints: 34557 989.83/992.33 c #Conflicts: 700000 | #Constraints: 35591 989.83/992.33 c #Conflicts: 701000 | #Constraints: 36611 989.83/992.33 c #Conflicts: 702000 | #Constraints: 37644 989.83/992.33 c #Conflicts: 703000 | #Constraints: 38678 989.83/992.33 c #Conflicts: 704000 | #Constraints: 39705 989.83/992.33 c INPROCESSING 989.83/992.33 c GARBAGE COLLECT 989.83/992.33 c rational objective 79 1371.68/1375.16 c #Conflicts: 705000 | #Constraints: 21395 1371.68/1375.16 c #Conflicts: 706000 | #Constraints: 22395 1371.68/1375.16 c #Conflicts: 707000 | #Constraints: 23395 1371.68/1375.16 c #Conflicts: 708000 | #Constraints: 24395 1371.68/1375.16 c #Conflicts: 709000 | #Constraints: 25395 1371.68/1375.16 c #Conflicts: 710000 | #Constraints: 26395 1371.68/1375.16 c #Conflicts: 711000 | #Constraints: 27395 1371.68/1375.16 c #Conflicts: 712000 | #Constraints: 28395 1371.68/1375.16 c #Conflicts: 713000 | #Constraints: 29395 1371.68/1375.16 c #Conflicts: 714000 | #Constraints: 30395 1371.68/1375.16 c #Conflicts: 715000 | #Constraints: 31395 1371.68/1375.16 c #Conflicts: 716000 | #Constraints: 32395 1371.68/1375.16 c #Conflicts: 717000 | #Constraints: 33395 1371.68/1375.16 c #Conflicts: 718000 | #Constraints: 34395 1371.68/1375.16 c #Conflicts: 719000 | #Constraints: 35395 1371.68/1375.16 c #Conflicts: 720000 | #Constraints: 36395 1371.68/1375.16 c #Conflicts: 721000 | #Constraints: 37395 1371.68/1375.16 c #Conflicts: 722000 | #Constraints: 38395 1371.68/1375.16 c #Conflicts: 723000 | #Constraints: 39395 1371.68/1375.16 c #Conflicts: 724000 | #Constraints: 40395 1371.68/1375.16 c #Conflicts: 725000 | #Constraints: 41395 1371.68/1375.16 c #Conflicts: 726000 | #Constraints: 42395 1371.68/1375.16 c #Conflicts: 727000 | #Constraints: 43395 1371.68/1375.16 c #Conflicts: 728000 | #Constraints: 44395 1371.68/1375.16 c #Conflicts: 729000 | #Constraints: 45395 1371.68/1375.16 c #Conflicts: 730000 | #Constraints: 46395 1371.68/1375.16 c #Conflicts: 731000 | #Constraints: 47395 1371.68/1375.16 c #Conflicts: 732000 | #Constraints: 48395 1371.68/1375.16 c #Conflicts: 733000 | #Constraints: 49395 1371.68/1375.16 c #Conflicts: 734000 | #Constraints: 50395 1371.68/1375.16 c #Conflicts: 735000 | #Constraints: 51395 1371.68/1375.16 c #Conflicts: 736000 | #Constraints: 52395 1371.68/1375.16 c #Conflicts: 737000 | #Constraints: 53395 1371.68/1375.16 c #Conflicts: 738000 | #Constraints: 54395 1371.68/1375.16 c #Conflicts: 739000 | #Constraints: 55395 1371.68/1375.16 c #Conflicts: 740000 | #Constraints: 56395 1371.68/1375.16 c #Conflicts: 741000 | #Constraints: 57395 1371.68/1375.16 c #Conflicts: 742000 | #Constraints: 58395 1371.68/1375.16 c #Conflicts: 743000 | #Constraints: 59395 1371.68/1375.16 c #Conflicts: 744000 | #Constraints: 60395 1371.68/1375.16 c #Conflicts: 745000 | #Constraints: 61395 1371.68/1375.16 c #Conflicts: 746000 | #Constraints: 62395 1371.68/1375.16 c #Conflicts: 747000 | #Constraints: 63395 1371.68/1375.16 c #Conflicts: 748000 | #Constraints: 64395 1371.68/1375.16 c #Conflicts: 749000 | #Constraints: 65395 1371.68/1375.16 c #Conflicts: 750000 | #Constraints: 66395 1371.68/1375.16 c #Conflicts: 751000 | #Constraints: 67395 1371.68/1375.16 c #Conflicts: 752000 | #Constraints: 68395 1371.68/1375.16 c #Conflicts: 753000 | #Constraints: 69395 1371.68/1375.16 c #Conflicts: 754000 | #Constraints: 70395 1371.68/1375.16 c #Conflicts: 755000 | #Constraints: 71395 1371.68/1375.16 c #Conflicts: 756000 | #Constraints: 72395 1371.68/1375.16 c #Conflicts: 757000 | #Constraints: 73395 1371.68/1375.16 c #Conflicts: 758000 | #Constraints: 74395 1371.68/1375.16 c #Conflicts: 759000 | #Constraints: 75395 1371.68/1375.16 c #Conflicts: 760000 | #Constraints: 76395 1371.68/1375.16 c #Conflicts: 761000 | #Constraints: 77395 1371.68/1375.16 c #Conflicts: 762000 | #Constraints: 78395 1371.68/1375.16 c #Conflicts: 763000 | #Constraints: 79395 1371.68/1375.16 c #Conflicts: 764000 | #Constraints: 80395 1371.68/1375.16 c #Conflicts: 765000 | #Constraints: 81395 1371.68/1375.16 c #Conflicts: 766000 | #Constraints: 82395 1371.68/1375.16 c #Conflicts: 767000 | #Constraints: 83395 1371.68/1375.16 c #Conflicts: 768000 | #Constraints: 84395 1371.68/1375.16 c #Conflicts: 769000 | #Constraints: 85395 1371.68/1375.16 c #Conflicts: 770000 | #Constraints: 86395 1371.68/1375.16 c #Conflicts: 771000 | #Constraints: 87395 1371.68/1375.16 c #Conflicts: 772000 | #Constraints: 88395 1371.68/1375.16 c #Conflicts: 773000 | #Constraints: 89395 1371.68/1375.16 c #Conflicts: 774000 | #Constraints: 90395 1371.68/1375.16 c #Conflicts: 775000 | #Constraints: 91395 1371.68/1375.16 c #Conflicts: 776000 | #Constraints: 92395 1371.68/1375.16 c #Conflicts: 777000 | #Constraints: 93395 1371.68/1375.16 c #Conflicts: 778000 | #Constraints: 94395 1371.68/1375.16 c #Conflicts: 779000 | #Constraints: 95395 1371.68/1375.16 c #Conflicts: 780000 | #Constraints: 96395 1371.68/1375.16 c INPROCESSING 1371.68/1375.16 c GARBAGE COLLECT 1371.68/1375.16 c rational objective 79 1397.50/1401.10 c #Conflicts: 781000 | #Constraints: 49818 1397.50/1401.10 c #Conflicts: 782000 | #Constraints: 50836 1397.50/1401.10 c #Conflicts: 783000 | #Constraints: 51868 1397.50/1401.10 c #Conflicts: 784000 | #Constraints: 52895 1397.50/1401.10 c #Conflicts: 785000 | #Constraints: 53920 1397.50/1401.10 c #Conflicts: 786000 | #Constraints: 54946 1397.50/1401.10 c #Conflicts: 787000 | #Constraints: 55976 1397.50/1401.10 c #Conflicts: 788000 | #Constraints: 56999 1397.50/1401.10 c #Conflicts: 789000 | #Constraints: 58029 1397.50/1401.10 c #Conflicts: 790000 | #Constraints: 59056 1397.50/1401.10 c #Conflicts: 791000 | #Constraints: 60084 1397.50/1401.10 c #Conflicts: 792000 | #Constraints: 61111 1397.50/1401.10 c #Conflicts: 793000 | #Constraints: 62131 1397.50/1401.10 c #Conflicts: 794000 | #Constraints: 63160 1397.50/1401.10 c #Conflicts: 795000 | #Constraints: 64193 1397.50/1401.10 c #Conflicts: 796000 | #Constraints: 65227 1397.50/1401.10 c #Conflicts: 797000 | #Constraints: 66253 1397.50/1401.10 c #Conflicts: 798000 | #Constraints: 67274 1397.50/1401.10 c INPROCESSING 1397.50/1401.10 c GARBAGE COLLECT 1397.50/1401.10 c rational objective 79 1418.03/1421.69 c #Conflicts: 799000 | #Constraints: 34890 1418.03/1421.69 c #Conflicts: 800000 | #Constraints: 35918 1418.03/1421.69 c #Conflicts: 801000 | #Constraints: 36956 1418.03/1421.69 c #Conflicts: 802000 | #Constraints: 37994 1418.03/1421.69 c #Conflicts: 803000 | #Constraints: 39030 1418.03/1421.69 c #Conflicts: 804000 | #Constraints: 40060 1418.03/1421.69 c #Conflicts: 805000 | #Constraints: 41087 1418.03/1421.69 c #Conflicts: 806000 | #Constraints: 42122 1418.03/1421.69 c #Conflicts: 807000 | #Constraints: 43147 1418.03/1421.69 c #Conflicts: 808000 | #Constraints: 44180 1418.03/1421.69 c #Conflicts: 809000 | #Constraints: 45220 1418.03/1421.69 c #Conflicts: 810000 | #Constraints: 46253 1418.03/1421.69 c #Conflicts: 811000 | #Constraints: 47291 1418.03/1421.69 c #Conflicts: 812000 | #Constraints: 48316 1418.03/1421.69 c #Conflicts: 813000 | #Constraints: 49346 1418.03/1421.69 c #Conflicts: 814000 | #Constraints: 50386 1418.03/1421.69 c #Conflicts: 815000 | #Constraints: 51419 1418.03/1421.69 c #Conflicts: 816000 | #Constraints: 52446 1418.03/1421.69 c #Conflicts: 817000 | #Constraints: 53469 1418.03/1421.69 c INPROCESSING 1418.03/1421.69 c GARBAGE COLLECT 1418.03/1421.69 c rational objective 79 1435.78/1439.44 c #Conflicts: 818000 | #Constraints: 28087 1435.78/1439.44 c #Conflicts: 819000 | #Constraints: 29114 1435.78/1439.44 c #Conflicts: 820000 | #Constraints: 30151 1435.78/1439.44 c #Conflicts: 821000 | #Constraints: 31181 1435.78/1439.44 c #Conflicts: 822000 | #Constraints: 32210 1435.78/1439.44 c #Conflicts: 823000 | #Constraints: 33234 1435.78/1439.44 c #Conflicts: 824000 | #Constraints: 34272 1435.78/1439.44 c #Conflicts: 825000 | #Constraints: 35301 1435.78/1439.44 c #Conflicts: 826000 | #Constraints: 36334 1435.78/1439.44 c #Conflicts: 827000 | #Constraints: 37363 1435.78/1439.44 c #Conflicts: 828000 | #Constraints: 38388 1435.78/1439.44 c #Conflicts: 829000 | #Constraints: 39419 1435.78/1439.44 c #Conflicts: 830000 | #Constraints: 40446 1435.78/1439.44 c #Conflicts: 831000 | #Constraints: 41471 1435.78/1439.44 c #Conflicts: 832000 | #Constraints: 42495 1435.78/1439.44 c #Conflicts: 833000 | #Constraints: 43523 1435.78/1439.44 c #Conflicts: 834000 | #Constraints: 44553 1435.78/1439.44 c #Conflicts: 835000 | #Constraints: 45580 1435.78/1439.44 c #Conflicts: 836000 | #Constraints: 46610 1435.78/1439.44 c INPROCESSING 1435.78/1439.44 c GARBAGE COLLECT 1435.78/1439.44 c rational objective 79 1454.34/1458.01 c #Conflicts: 837000 | #Constraints: 24670 1454.34/1458.01 c #Conflicts: 838000 | #Constraints: 25704 1454.34/1458.01 c #Conflicts: 839000 | #Constraints: 26731 1454.34/1458.01 c #Conflicts: 840000 | #Constraints: 27757 1454.34/1458.01 c #Conflicts: 841000 | #Constraints: 28783 1454.34/1458.01 c #Conflicts: 842000 | #Constraints: 29800 1454.34/1458.01 c #Conflicts: 843000 | #Constraints: 30823 1454.34/1458.01 c #Conflicts: 844000 | #Constraints: 31844 1454.34/1458.01 c #Conflicts: 845000 | #Constraints: 32856 1454.34/1458.01 c #Conflicts: 846000 | #Constraints: 33871 1454.34/1458.01 c #Conflicts: 847000 | #Constraints: 34904 1454.34/1458.01 c #Conflicts: 848000 | #Constraints: 35933 1454.34/1458.01 c #Conflicts: 849000 | #Constraints: 36965 1454.34/1458.01 c #Conflicts: 850000 | #Constraints: 37989 1454.34/1458.01 c #Conflicts: 851000 | #Constraints: 39010 1454.34/1458.01 c #Conflicts: 852000 | #Constraints: 40036 1454.34/1458.01 c #Conflicts: 853000 | #Constraints: 41070 1454.34/1458.01 c #Conflicts: 854000 | #Constraints: 42092 1454.34/1458.01 c #Conflicts: 855000 | #Constraints: 43116 1454.34/1458.01 c INPROCESSING 1454.34/1458.01 c GARBAGE COLLECT 1454.34/1458.01 c rational objective 79 1644.89/1649.10 c #Conflicts: 856000 | #Constraints: 22811 1644.89/1649.10 c #Conflicts: 857000 | #Constraints: 23856 1644.89/1649.10 c #Conflicts: 858000 | #Constraints: 24895 1644.89/1649.10 c #Conflicts: 859000 | #Constraints: 25927 1644.89/1649.10 c #Conflicts: 860000 | #Constraints: 26965 1644.89/1649.10 c #Conflicts: 861000 | #Constraints: 27999 1644.89/1649.10 c #Conflicts: 862000 | #Constraints: 29027 1644.89/1649.10 c #Conflicts: 863000 | #Constraints: 30056 1644.89/1649.10 c #Conflicts: 864000 | #Constraints: 31082 1644.89/1649.10 c #Conflicts: 865000 | #Constraints: 32107 1644.89/1649.10 c #Conflicts: 866000 | #Constraints: 33128 1644.89/1649.10 c #Conflicts: 867000 | #Constraints: 34152 1644.89/1649.10 c #Conflicts: 868000 | #Constraints: 35184 1644.89/1649.10 c #Conflicts: 869000 | #Constraints: 36213 1644.89/1649.10 c #Conflicts: 870000 | #Constraints: 37230 1644.89/1649.10 c #Conflicts: 871000 | #Constraints: 38258 1644.89/1649.10 c #Conflicts: 872000 | #Constraints: 39278 1644.89/1649.10 c #Conflicts: 873000 | #Constraints: 40309 1644.89/1649.10 c #Conflicts: 874000 | #Constraints: 41333 1644.89/1649.10 c #Conflicts: 875000 | #Constraints: 42359 1644.89/1649.10 c #Conflicts: 876000 | #Constraints: 43388 1644.89/1649.10 c #Conflicts: 877000 | #Constraints: 44410 1644.89/1649.10 c #Conflicts: 878000 | #Constraints: 45429 1644.89/1649.10 c #Conflicts: 879000 | #Constraints: 46466 1644.89/1649.10 c #Conflicts: 880000 | #Constraints: 47491 1644.89/1649.10 c #Conflicts: 881000 | #Constraints: 48516 1644.89/1649.10 c #Conflicts: 882000 | #Constraints: 49540 1644.89/1649.10 c #Conflicts: 883000 | #Constraints: 50560 1644.89/1649.10 c #Conflicts: 884000 | #Constraints: 51585 1644.89/1649.10 c #Conflicts: 885000 | #Constraints: 52617 1644.89/1649.10 c #Conflicts: 886000 | #Constraints: 53651 1644.89/1649.10 c #Conflicts: 887000 | #Constraints: 54679 1644.89/1649.10 c #Conflicts: 888000 | #Constraints: 55709 1644.89/1649.10 c #Conflicts: 889000 | #Constraints: 56729 1644.89/1649.10 c #Conflicts: 890000 | #Constraints: 57763 1644.89/1649.10 c #Conflicts: 891000 | #Constraints: 58789 1644.89/1649.10 c #Conflicts: 892000 | #Constraints: 59817 1644.89/1649.10 c #Conflicts: 893000 | #Constraints: 60845 1644.89/1649.10 c #Conflicts: 894000 | #Constraints: 61867 1644.89/1649.10 c #Conflicts: 895000 | #Constraints: 62885 1644.89/1649.10 c #Conflicts: 896000 | #Constraints: 63906 1644.89/1649.10 c #Conflicts: 897000 | #Constraints: 64929 1644.89/1649.10 c #Conflicts: 898000 | #Constraints: 65955 1644.89/1649.10 c #Conflicts: 899000 | #Constraints: 66987 1644.89/1649.10 c #Conflicts: 900000 | #Constraints: 68006 1644.89/1649.10 c #Conflicts: 901000 | #Constraints: 69032 1644.89/1649.10 c #Conflicts: 902000 | #Constraints: 70057 1644.89/1649.10 c #Conflicts: 903000 | #Constraints: 71079 1644.89/1649.10 c #Conflicts: 904000 | #Constraints: 72101 1644.89/1649.10 c #Conflicts: 905000 | #Constraints: 73127 1644.89/1649.10 c #Conflicts: 906000 | #Constraints: 74156 1644.89/1649.10 c #Conflicts: 907000 | #Constraints: 75187 1644.89/1649.10 c #Conflicts: 908000 | #Constraints: 76219 1644.89/1649.10 c #Conflicts: 909000 | #Constraints: 77250 1644.89/1649.10 c #Conflicts: 910000 | #Constraints: 78273 1644.89/1649.10 c #Conflicts: 911000 | #Constraints: 79296 1644.89/1649.10 c #Conflicts: 912000 | #Constraints: 80322 1644.89/1649.10 c #Conflicts: 913000 | #Constraints: 81345 1644.89/1649.10 c #Conflicts: 914000 | #Constraints: 82365 1644.89/1649.10 c #Conflicts: 915000 | #Constraints: 83393 1644.89/1649.10 c #Conflicts: 916000 | #Constraints: 84420 1644.89/1649.10 c #Conflicts: 917000 | #Constraints: 85456 1644.89/1649.10 c #Conflicts: 918000 | #Constraints: 86489 1644.89/1649.10 c #Conflicts: 919000 | #Constraints: 87508 1644.89/1649.10 c #Conflicts: 920000 | #Constraints: 88529 1644.89/1649.10 c #Conflicts: 921000 | #Constraints: 89555 1644.89/1649.10 c #Conflicts: 922000 | #Constraints: 90579 1644.89/1649.10 c #Conflicts: 923000 | #Constraints: 91599 1644.89/1649.10 c #Conflicts: 924000 | #Constraints: 92630 1644.89/1649.10 c #Conflicts: 925000 | #Constraints: 93659 1644.89/1649.10 c #Conflicts: 926000 | #Constraints: 94685 1644.89/1649.10 c #Conflicts: 927000 | #Constraints: 95719 1644.89/1649.10 c #Conflicts: 928000 | #Constraints: 96746 1644.89/1649.10 c #Conflicts: 929000 | #Constraints: 97769 1644.89/1649.10 c #Conflicts: 930000 | #Constraints: 98792 1644.89/1649.10 c #Conflicts: 931000 | #Constraints: 99822 1644.89/1649.10 c #Conflicts: 932000 | #Constraints: 100844 1644.89/1649.10 c #Conflicts: 933000 | #Constraints: 101866 1644.89/1649.10 c #Conflicts: 934000 | #Constraints: 102890 1661.24/1665.43 c #Conflicts: 935000 | #Constraints: 103913 1661.24/1665.43 c #Conflicts: 936000 | #Constraints: 104940 1661.24/1665.43 c #Conflicts: 937000 | #Constraints: 105966 1661.24/1665.43 c #Conflicts: 938000 | #Constraints: 106994 1661.24/1665.43 c INPROCESSING 1661.24/1665.43 c GARBAGE COLLECT 1661.24/1665.43 c rational objective 79 1721.38/1725.71 c #Conflicts: 939000 | #Constraints: 55058 1721.38/1725.71 c #Conflicts: 940000 | #Constraints: 56086 1721.38/1725.71 c #Conflicts: 941000 | #Constraints: 57113 1721.38/1725.71 c #Conflicts: 942000 | #Constraints: 58146 1721.38/1725.71 c #Conflicts: 943000 | #Constraints: 59171 1721.38/1725.71 c #Conflicts: 944000 | #Constraints: 60198 1721.38/1725.71 c #Conflicts: 945000 | #Constraints: 61225 1721.38/1725.71 c #Conflicts: 946000 | #Constraints: 62251 1721.38/1725.71 c #Conflicts: 947000 | #Constraints: 63277 1721.38/1725.71 c #Conflicts: 948000 | #Constraints: 64305 1721.38/1725.71 c #Conflicts: 949000 | #Constraints: 65327 1721.38/1725.71 c #Conflicts: 950000 | #Constraints: 66359 1721.38/1725.71 c #Conflicts: 951000 | #Constraints: 67384 1721.38/1725.71 c #Conflicts: 952000 | #Constraints: 68409 1721.38/1725.71 c #Conflicts: 953000 | #Constraints: 69435 1721.38/1725.71 c #Conflicts: 954000 | #Constraints: 70454 1721.38/1725.71 c #Conflicts: 955000 | #Constraints: 71486 1721.38/1725.71 c #Conflicts: 956000 | #Constraints: 72517 1721.38/1725.71 c #Conflicts: 957000 | #Constraints: 73544 1721.38/1725.71 c #Conflicts: 958000 | #Constraints: 74565 1721.38/1725.71 c INPROCESSING 1721.38/1725.71 c GARBAGE COLLECT 1721.38/1725.71 c rational objective 79 1793.11/1797.66 c #Conflicts: 959000 | #Constraints: 38587 1793.11/1797.66 c #Conflicts: 960000 | #Constraints: 39587 1793.11/1797.66 c #Conflicts: 961000 | #Constraints: 40587 1793.11/1797.66 c #Conflicts: 962000 | #Constraints: 41587 1793.11/1797.66 c #Conflicts: 963000 | #Constraints: 42587 1793.11/1797.66 c #Conflicts: 964000 | #Constraints: 43587 1793.11/1797.66 c #Conflicts: 965000 | #Constraints: 44587 1793.11/1797.66 c #Conflicts: 966000 | #Constraints: 45587 1793.11/1797.66 c #Conflicts: 967000 | #Constraints: 46587 1793.11/1797.66 c #Conflicts: 968000 | #Constraints: 47587 1793.11/1797.66 c #Conflicts: 969000 | #Constraints: 48587 1793.11/1797.66 c #Conflicts: 970000 | #Constraints: 49587 1793.11/1797.66 c #Conflicts: 971000 | #Constraints: 50587 1793.11/1797.66 c #Conflicts: 972000 | #Constraints: 51587 1793.11/1797.66 c #Conflicts: 973000 | #Constraints: 52587 1793.11/1797.66 c #Conflicts: 974000 | #Constraints: 53587 1793.11/1797.66 c #Conflicts: 975000 | #Constraints: 54587 1793.11/1797.66 c #Conflicts: 976000 | #Constraints: 55587 1793.11/1797.66 c #Conflicts: 977000 | #Constraints: 56587 1793.11/1797.66 c #Conflicts: 978000 | #Constraints: 57587 1793.11/1797.67 c #Conflicts: 979000 | #Constraints: 58587 1793.11/1797.67 c INPROCESSING 1793.11/1797.67 c GARBAGE COLLECT 1793.11/1797.67 c rational objective 79 1816.75/1821.33 c #Conflicts: 980000 | #Constraints: 30808 1816.75/1821.33 c #Conflicts: 981000 | #Constraints: 31837 1816.75/1821.33 c #Conflicts: 982000 | #Constraints: 32874 1816.75/1821.33 c #Conflicts: 983000 | #Constraints: 33912 1816.75/1821.33 c #Conflicts: 984000 | #Constraints: 34940 1816.75/1821.33 c #Conflicts: 985000 | #Constraints: 35970 1816.75/1821.33 c #Conflicts: 986000 | #Constraints: 37002 1816.75/1821.33 c #Conflicts: 987000 | #Constraints: 38035 1816.75/1821.33 c #Conflicts: 988000 | #Constraints: 39064 1816.75/1821.33 c #Conflicts: 989000 | #Constraints: 40096 1816.75/1821.33 c #Conflicts: 990000 | #Constraints: 41129 1816.75/1821.33 c #Conflicts: 991000 | #Constraints: 42162 1816.75/1821.33 c #Conflicts: 992000 | #Constraints: 43190 1816.75/1821.33 c #Conflicts: 993000 | #Constraints: 44220 1816.75/1821.33 c #Conflicts: 994000 | #Constraints: 45249 1816.75/1821.33 c #Conflicts: 995000 | #Constraints: 46276 1816.75/1821.33 c #Conflicts: 996000 | #Constraints: 47311 1816.75/1821.33 c #Conflicts: 997000 | #Constraints: 48342 1816.75/1821.33 c #Conflicts: 998000 | #Constraints: 49365 1816.75/1821.33 c #Conflicts: 999000 | #Constraints: 50387 1816.75/1821.33 c #Conflicts: 1000000 | #Constraints: 51420 1816.75/1821.33 c INPROCESSING 1816.75/1821.33 c GARBAGE COLLECT 1816.75/1821.33 c rational objective 79 1845.78/1850.48 c #Conflicts: 1001000 | #Constraints: 27242 1845.78/1850.48 c #Conflicts: 1002000 | #Constraints: 28275 1845.78/1850.48 c #Conflicts: 1003000 | #Constraints: 29301 1845.78/1850.48 c #Conflicts: 1004000 | #Constraints: 30337 1845.78/1850.48 c #Conflicts: 1005000 | #Constraints: 31369 1845.78/1850.48 c #Conflicts: 1006000 | #Constraints: 32399 1845.78/1850.48 c #Conflicts: 1007000 | #Constraints: 33429 1845.78/1850.48 c #Conflicts: 1008000 | #Constraints: 34457 1845.78/1850.48 c #Conflicts: 1009000 | #Constraints: 35488 1845.78/1850.48 c #Conflicts: 1010000 | #Constraints: 36518 1845.78/1850.48 c #Conflicts: 1011000 | #Constraints: 37539 1845.78/1850.48 c #Conflicts: 1012000 | #Constraints: 38568 1845.78/1850.48 c #Conflicts: 1013000 | #Constraints: 39602 1845.78/1850.48 c #Conflicts: 1014000 | #Constraints: 40626 1845.78/1850.48 c #Conflicts: 1015000 | #Constraints: 41649 1845.78/1850.48 c #Conflicts: 1016000 | #Constraints: 42670 1845.78/1850.48 c #Conflicts: 1017000 | #Constraints: 43685 1845.78/1850.48 c #Conflicts: 1018000 | #Constraints: 44712 1845.78/1850.48 c #Conflicts: 1019000 | #Constraints: 45724 1845.78/1850.48 c #Conflicts: 1020000 | #Constraints: 46738 1845.78/1850.48 c #Conflicts: 1021000 | #Constraints: 47777 1845.78/1850.48 c INPROCESSING 1845.78/1850.48 c GARBAGE COLLECT 1845.78/1850.48 c rational objective 79 1907.24/1912.04 c #Conflicts: 1022000 | #Constraints: 25348 1907.24/1912.04 c #Conflicts: 1023000 | #Constraints: 26348 1907.24/1912.04 c #Conflicts: 1024000 | #Constraints: 27348 1907.24/1912.04 c #Conflicts: 1025000 | #Constraints: 28348 1907.24/1912.04 c #Conflicts: 1026000 | #Constraints: 29348 1907.24/1912.04 c #Conflicts: 1027000 | #Constraints: 30348 1907.24/1912.04 c #Conflicts: 1028000 | #Constraints: 31348 1907.24/1912.04 c #Conflicts: 1029000 | #Constraints: 32348 1907.24/1912.04 c #Conflicts: 1030000 | #Constraints: 33348 1907.24/1912.04 c #Conflicts: 1031000 | #Constraints: 34348 1907.24/1912.04 c #Conflicts: 1032000 | #Constraints: 35348 1907.24/1912.04 c #Conflicts: 1033000 | #Constraints: 36348 1907.24/1912.04 c #Conflicts: 1034000 | #Constraints: 37348 1907.24/1912.04 c #Conflicts: 1035000 | #Constraints: 38348 1907.24/1912.04 c #Conflicts: 1036000 | #Constraints: 39348 1907.24/1912.04 c #Conflicts: 1037000 | #Constraints: 40348 1907.24/1912.04 c #Conflicts: 1038000 | #Constraints: 41348 1907.24/1912.04 c #Conflicts: 1039000 | #Constraints: 42348 1907.24/1912.04 c #Conflicts: 1040000 | #Constraints: 43348 1907.24/1912.04 c #Conflicts: 1041000 | #Constraints: 44348 1907.24/1912.04 c #Conflicts: 1042000 | #Constraints: 45348 1907.24/1912.04 c INPROCESSING 1907.24/1912.04 c GARBAGE COLLECT 1907.24/1912.04 c rational objective 79 2175.53/2181.10 c #Conflicts: 1043000 | #Constraints: 24053 2175.53/2181.10 c #Conflicts: 1044000 | #Constraints: 25104 2175.53/2181.10 c #Conflicts: 1045000 | #Constraints: 26145 2175.53/2181.10 c #Conflicts: 1046000 | #Constraints: 27180 2175.53/2181.10 c #Conflicts: 1047000 | #Constraints: 28219 2175.53/2181.10 c #Conflicts: 1048000 | #Constraints: 29249 2175.53/2181.10 c #Conflicts: 1049000 | #Constraints: 30283 2175.53/2181.10 c #Conflicts: 1050000 | #Constraints: 31317 2175.53/2181.10 c #Conflicts: 1051000 | #Constraints: 32341 2175.53/2181.10 c #Conflicts: 1052000 | #Constraints: 33364 2175.53/2181.10 c #Conflicts: 1053000 | #Constraints: 34404 2175.53/2181.10 c #Conflicts: 1054000 | #Constraints: 35430 2175.53/2181.10 c #Conflicts: 1055000 | #Constraints: 36452 2175.53/2181.10 c #Conflicts: 1056000 | #Constraints: 37477 2175.53/2181.10 c #Conflicts: 1057000 | #Constraints: 38496 2175.53/2181.10 c #Conflicts: 1058000 | #Constraints: 39511 2175.53/2181.10 c #Conflicts: 1059000 | #Constraints: 40533 2175.53/2181.10 c #Conflicts: 1060000 | #Constraints: 41555 2175.53/2181.10 c #Conflicts: 1061000 | #Constraints: 42571 2175.53/2181.10 c #Conflicts: 1062000 | #Constraints: 43593 2175.53/2181.10 c #Conflicts: 1063000 | #Constraints: 44612 2175.53/2181.10 c #Conflicts: 1064000 | #Constraints: 45619 2175.53/2181.10 c #Conflicts: 1065000 | #Constraints: 46641 2175.53/2181.10 c #Conflicts: 1066000 | #Constraints: 47664 2175.53/2181.10 c #Conflicts: 1067000 | #Constraints: 48684 2175.53/2181.10 c #Conflicts: 1068000 | #Constraints: 49701 2175.53/2181.10 c #Conflicts: 1069000 | #Constraints: 50725 2175.53/2181.10 c #Conflicts: 1070000 | #Constraints: 51750 2175.53/2181.10 c #Conflicts: 1071000 | #Constraints: 52770 2175.53/2181.10 c #Conflicts: 1072000 | #Constraints: 53790 2175.53/2181.10 c #Conflicts: 1073000 | #Constraints: 54809 2175.53/2181.10 c #Conflicts: 1074000 | #Constraints: 55831 2175.53/2181.10 c #Conflicts: 1075000 | #Constraints: 56847 2175.53/2181.10 c #Conflicts: 1076000 | #Constraints: 57872 2175.53/2181.10 c #Conflicts: 1077000 | #Constraints: 58894 2175.53/2181.10 c #Conflicts: 1078000 | #Constraints: 59910 2175.53/2181.10 c #Conflicts: 1079000 | #Constraints: 60920 2175.53/2181.10 c #Conflicts: 1080000 | #Constraints: 61929 2175.53/2181.10 c #Conflicts: 1081000 | #Constraints: 62937 2175.53/2181.10 c #Conflicts: 1082000 | #Constraints: 63955 2175.53/2181.10 c #Conflicts: 1083000 | #Constraints: 64981 2175.53/2181.10 c #Conflicts: 1084000 | #Constraints: 66009 2175.53/2181.10 c #Conflicts: 1085000 | #Constraints: 67023 2175.53/2181.10 c #Conflicts: 1086000 | #Constraints: 68043 2175.53/2181.10 c #Conflicts: 1087000 | #Constraints: 69064 2175.53/2181.10 c #Conflicts: 1088000 | #Constraints: 70086 2175.53/2181.10 c #Conflicts: 1089000 | #Constraints: 71106 2175.53/2181.10 c #Conflicts: 1090000 | #Constraints: 72122 2175.53/2181.10 c #Conflicts: 1091000 | #Constraints: 73137 2175.53/2181.10 c #Conflicts: 1092000 | #Constraints: 74162 2175.53/2181.10 c #Conflicts: 1093000 | #Constraints: 75190 2175.53/2181.10 c #Conflicts: 1094000 | #Constraints: 76209 2175.53/2181.10 c #Conflicts: 1095000 | #Constraints: 77225 2175.53/2181.10 c #Conflicts: 1096000 | #Constraints: 78238 2175.53/2181.10 c #Conflicts: 1097000 | #Constraints: 79247 2175.53/2181.10 c #Conflicts: 1098000 | #Constraints: 80271 2175.53/2181.10 c #Conflicts: 1099000 | #Constraints: 81294 2175.53/2181.10 c #Conflicts: 1100000 | #Constraints: 82322 2175.53/2181.10 c #Conflicts: 1101000 | #Constraints: 83333 2175.53/2181.10 c #Conflicts: 1102000 | #Constraints: 84345 2175.53/2181.10 c #Conflicts: 1103000 | #Constraints: 85362 2175.53/2181.10 c #Conflicts: 1104000 | #Constraints: 86378 2175.53/2181.10 c #Conflicts: 1105000 | #Constraints: 87399 2175.53/2181.10 c #Conflicts: 1106000 | #Constraints: 88412 2175.53/2181.10 c #Conflicts: 1107000 | #Constraints: 89423 2175.53/2181.10 c #Conflicts: 1108000 | #Constraints: 90438 2175.53/2181.10 c #Conflicts: 1109000 | #Constraints: 91454 2175.53/2181.10 c #Conflicts: 1110000 | #Constraints: 92471 2175.53/2181.10 c #Conflicts: 1111000 | #Constraints: 93483 2175.53/2181.10 c #Conflicts: 1112000 | #Constraints: 94496 2175.53/2181.10 c #Conflicts: 1113000 | #Constraints: 95515 2175.53/2181.10 c #Conflicts: 1114000 | #Constraints: 96532 2175.53/2181.10 c #Conflicts: 1115000 | #Constraints: 97541 2175.53/2181.10 c #Conflicts: 1116000 | #Constraints: 98549 2175.53/2181.10 c #Conflicts: 1117000 | #Constraints: 99557 2175.53/2181.10 c #Conflicts: 1118000 | #Constraints: 100569 2175.53/2181.10 c #Conflicts: 1119000 | #Constraints: 101579 2175.53/2181.10 c #Conflicts: 1120000 | #Constraints: 102588 2175.53/2181.10 c #Conflicts: 1121000 | #Constraints: 103601 2245.52/2251.24 c #Conflicts: 1122000 | #Constraints: 104612 2245.52/2251.24 c #Conflicts: 1123000 | #Constraints: 105621 2245.52/2251.24 c #Conflicts: 1124000 | #Constraints: 106642 2245.52/2251.24 c #Conflicts: 1125000 | #Constraints: 107654 2245.52/2251.24 c #Conflicts: 1126000 | #Constraints: 108670 2245.52/2251.24 c #Conflicts: 1127000 | #Constraints: 109680 2245.52/2251.24 c #Conflicts: 1128000 | #Constraints: 110704 2245.52/2251.24 c #Conflicts: 1129000 | #Constraints: 111722 2245.52/2251.24 c #Conflicts: 1130000 | #Constraints: 112754 2245.52/2251.24 c #Conflicts: 1131000 | #Constraints: 113786 2245.52/2251.24 c #Conflicts: 1132000 | #Constraints: 114813 2245.52/2251.24 c INPROCESSING 2245.52/2251.24 c GARBAGE COLLECT 2245.52/2251.24 c rational objective 79 2348.75/2354.72 c #Conflicts: 1133000 | #Constraints: 58753 2348.75/2354.72 c #Conflicts: 1134000 | #Constraints: 59753 2348.75/2354.72 c #Conflicts: 1135000 | #Constraints: 60753 2348.75/2354.72 c #Conflicts: 1136000 | #Constraints: 61753 2348.75/2354.72 c #Conflicts: 1137000 | #Constraints: 62753 2348.75/2354.72 c #Conflicts: 1138000 | #Constraints: 63753 2348.75/2354.72 c #Conflicts: 1139000 | #Constraints: 64753 2348.75/2354.72 c #Conflicts: 1140000 | #Constraints: 65753 2348.75/2354.72 c #Conflicts: 1141000 | #Constraints: 66753 2348.75/2354.72 c #Conflicts: 1142000 | #Constraints: 67753 2348.75/2354.72 c #Conflicts: 1143000 | #Constraints: 68753 2348.75/2354.72 c #Conflicts: 1144000 | #Constraints: 69753 2348.75/2354.72 c #Conflicts: 1145000 | #Constraints: 70753 2348.75/2354.72 c #Conflicts: 1146000 | #Constraints: 71753 2348.75/2354.72 c #Conflicts: 1147000 | #Constraints: 72753 2348.75/2354.72 c #Conflicts: 1148000 | #Constraints: 73753 2348.75/2354.72 c #Conflicts: 1149000 | #Constraints: 74753 2348.75/2354.72 c #Conflicts: 1150000 | #Constraints: 75753 2348.75/2354.72 c #Conflicts: 1151000 | #Constraints: 76753 2348.75/2354.72 c #Conflicts: 1152000 | #Constraints: 77753 2348.75/2354.73 c #Conflicts: 1153000 | #Constraints: 78753 2348.75/2354.73 c #Conflicts: 1154000 | #Constraints: 79753 2348.75/2354.73 c #Conflicts: 1155000 | #Constraints: 80753 2348.75/2354.73 c INPROCESSING 2348.75/2354.73 c GARBAGE COLLECT 2348.75/2354.73 c rational objective 79 2451.98/2458.26 c #Conflicts: 1156000 | #Constraints: 41986 2451.98/2458.26 c #Conflicts: 1157000 | #Constraints: 42989 2451.98/2458.26 c #Conflicts: 1158000 | #Constraints: 43993 2451.98/2458.26 c #Conflicts: 1159000 | #Constraints: 44996 2451.98/2458.26 c #Conflicts: 1160000 | #Constraints: 45998 2451.98/2458.26 c #Conflicts: 1161000 | #Constraints: 47001 2451.98/2458.26 c #Conflicts: 1162000 | #Constraints: 48003 2451.98/2458.26 c #Conflicts: 1163000 | #Constraints: 49006 2451.98/2458.26 c #Conflicts: 1164000 | #Constraints: 50010 2451.98/2458.26 c #Conflicts: 1165000 | #Constraints: 51027 2451.98/2458.26 c #Conflicts: 1166000 | #Constraints: 52029 2451.98/2458.26 c #Conflicts: 1167000 | #Constraints: 53031 2451.98/2458.26 c #Conflicts: 1168000 | #Constraints: 54032 2451.98/2458.26 c #Conflicts: 1169000 | #Constraints: 55034 2451.98/2458.26 c #Conflicts: 1170000 | #Constraints: 56038 2451.98/2458.26 c #Conflicts: 1171000 | #Constraints: 57040 2451.98/2458.26 c #Conflicts: 1172000 | #Constraints: 58041 2451.98/2458.26 c #Conflicts: 1173000 | #Constraints: 59043 2451.98/2458.26 c #Conflicts: 1174000 | #Constraints: 60045 2451.98/2458.26 c #Conflicts: 1175000 | #Constraints: 61050 2451.98/2458.26 c #Conflicts: 1176000 | #Constraints: 62051 2451.98/2458.26 c #Conflicts: 1177000 | #Constraints: 63054 2451.98/2458.26 c INPROCESSING 2451.98/2458.26 c GARBAGE COLLECT 2451.98/2458.26 c rational objective 79 2539.85/2546.31 c #Conflicts: 1178000 | #Constraints: 32746 2539.85/2546.31 c #Conflicts: 1179000 | #Constraints: 33746 2539.85/2546.31 c #Conflicts: 1180000 | #Constraints: 34746 2539.85/2546.31 c #Conflicts: 1181000 | #Constraints: 35746 2539.85/2546.31 c #Conflicts: 1182000 | #Constraints: 36749 2539.85/2546.31 c #Conflicts: 1183000 | #Constraints: 37755 2539.85/2546.31 c #Conflicts: 1184000 | #Constraints: 38758 2539.85/2546.31 c #Conflicts: 1185000 | #Constraints: 39760 2539.85/2546.31 c #Conflicts: 1186000 | #Constraints: 40764 2539.85/2546.31 c #Conflicts: 1187000 | #Constraints: 41768 2539.85/2546.31 c #Conflicts: 1188000 | #Constraints: 42780 2539.85/2546.31 c #Conflicts: 1189000 | #Constraints: 43795 2539.85/2546.31 c #Conflicts: 1190000 | #Constraints: 44801 2539.85/2546.31 c #Conflicts: 1191000 | #Constraints: 45807 2539.85/2546.31 c #Conflicts: 1192000 | #Constraints: 46814 2539.85/2546.31 c #Conflicts: 1193000 | #Constraints: 47835 2539.85/2546.31 c #Conflicts: 1194000 | #Constraints: 48837 2539.85/2546.31 c #Conflicts: 1195000 | #Constraints: 49842 2539.85/2546.31 c #Conflicts: 1196000 | #Constraints: 50906 2539.85/2546.31 c #Conflicts: 1197000 | #Constraints: 51914 2539.85/2546.31 c #Conflicts: 1198000 | #Constraints: 52920 2539.85/2546.31 c #Conflicts: 1199000 | #Constraints: 53932 2539.85/2546.31 c #Conflicts: 1200000 | #Constraints: 54942 2539.85/2546.31 c INPROCESSING 2539.85/2546.31 c GARBAGE COLLECT 2539.85/2546.31 c rational objective 79 2615.56/2622.29 c #Conflicts: 1201000 | #Constraints: 28691 2615.56/2622.29 c #Conflicts: 1202000 | #Constraints: 29697 2615.56/2622.29 c #Conflicts: 1203000 | #Constraints: 30704 2615.56/2622.29 c #Conflicts: 1204000 | #Constraints: 31710 2615.56/2622.29 c #Conflicts: 1205000 | #Constraints: 32716 2615.56/2622.29 c #Conflicts: 1206000 | #Constraints: 33725 2615.56/2622.29 c #Conflicts: 1207000 | #Constraints: 34733 2615.56/2622.29 c #Conflicts: 1208000 | #Constraints: 35733 2615.56/2622.29 c #Conflicts: 1209000 | #Constraints: 36733 2615.56/2622.29 c #Conflicts: 1210000 | #Constraints: 37733 2615.56/2622.29 c #Conflicts: 1211000 | #Constraints: 38753 2615.56/2622.29 c #Conflicts: 1212000 | #Constraints: 39766 2615.56/2622.29 c #Conflicts: 1213000 | #Constraints: 40766 2615.56/2622.29 c #Conflicts: 1214000 | #Constraints: 41766 2615.56/2622.29 c #Conflicts: 1215000 | #Constraints: 42767 2615.56/2622.29 c #Conflicts: 1216000 | #Constraints: 43772 2615.56/2622.29 c #Conflicts: 1217000 | #Constraints: 44796 2615.56/2622.29 c #Conflicts: 1218000 | #Constraints: 45804 2615.56/2622.29 c #Conflicts: 1219000 | #Constraints: 46807 2615.56/2622.29 c #Conflicts: 1220000 | #Constraints: 47812 2615.56/2622.29 c #Conflicts: 1221000 | #Constraints: 48813 2615.56/2622.29 c #Conflicts: 1222000 | #Constraints: 49894 2615.56/2622.29 c #Conflicts: 1223000 | #Constraints: 50894 2615.56/2622.29 c #Conflicts: 1224000 | #Constraints: 51894 2615.56/2622.29 c INPROCESSING 2615.56/2622.29 c GARBAGE COLLECT 2615.56/2622.29 c rational objective 79 2874.00/2881.37 c #Conflicts: 1225000 | #Constraints: 27568 2874.00/2881.37 c #Conflicts: 1226000 | #Constraints: 28572 2874.00/2881.37 c #Conflicts: 1227000 | #Constraints: 29574 2874.00/2881.37 c #Conflicts: 1228000 | #Constraints: 30578 2874.00/2881.37 c #Conflicts: 1229000 | #Constraints: 31583 2874.00/2881.37 c #Conflicts: 1230000 | #Constraints: 32584 2874.00/2881.37 c #Conflicts: 1231000 | #Constraints: 33589 2874.00/2881.37 c #Conflicts: 1232000 | #Constraints: 34590 2874.00/2881.37 c #Conflicts: 1233000 | #Constraints: 35590 2874.00/2881.37 c #Conflicts: 1234000 | #Constraints: 36590 2874.00/2881.37 c #Conflicts: 1235000 | #Constraints: 37597 2874.00/2881.37 c #Conflicts: 1236000 | #Constraints: 38597 2874.00/2881.37 c #Conflicts: 1237000 | #Constraints: 39597 2874.00/2881.37 c #Conflicts: 1238000 | #Constraints: 40597 2874.00/2881.37 c #Conflicts: 1239000 | #Constraints: 41603 2874.00/2881.37 c #Conflicts: 1240000 | #Constraints: 42603 2874.00/2881.37 c #Conflicts: 1241000 | #Constraints: 43603 2874.00/2881.37 c #Conflicts: 1242000 | #Constraints: 44603 2874.00/2881.37 c #Conflicts: 1243000 | #Constraints: 45604 2874.00/2881.37 c #Conflicts: 1244000 | #Constraints: 46605 2874.00/2881.37 c #Conflicts: 1245000 | #Constraints: 47618 2874.00/2881.37 c #Conflicts: 1246000 | #Constraints: 48622 2874.00/2881.37 c #Conflicts: 1247000 | #Constraints: 49627 2874.00/2881.37 c #Conflicts: 1248000 | #Constraints: 50627 2874.00/2881.37 c #Conflicts: 1249000 | #Constraints: 51627 2874.00/2881.37 c #Conflicts: 1250000 | #Constraints: 52628 2874.00/2881.37 c #Conflicts: 1251000 | #Constraints: 53628 2874.00/2881.37 c #Conflicts: 1252000 | #Constraints: 54628 2874.00/2881.37 c #Conflicts: 1253000 | #Constraints: 55629 2874.00/2881.37 c #Conflicts: 1254000 | #Constraints: 56631 2874.00/2881.37 c #Conflicts: 1255000 | #Constraints: 57635 2874.00/2881.37 c #Conflicts: 1256000 | #Constraints: 58638 2874.00/2881.37 c #Conflicts: 1257000 | #Constraints: 59638 2874.00/2881.37 c #Conflicts: 1258000 | #Constraints: 60639 2874.00/2881.37 c #Conflicts: 1259000 | #Constraints: 61639 2874.00/2881.37 c #Conflicts: 1260000 | #Constraints: 62645 2874.00/2881.37 c #Conflicts: 1261000 | #Constraints: 63654 2874.00/2881.37 c #Conflicts: 1262000 | #Constraints: 64654 2874.00/2881.37 c #Conflicts: 1263000 | #Constraints: 65654 2874.00/2881.37 c #Conflicts: 1264000 | #Constraints: 66655 2874.00/2881.37 c #Conflicts: 1265000 | #Constraints: 67658 2874.00/2881.37 c #Conflicts: 1266000 | #Constraints: 68660 2874.00/2881.37 c #Conflicts: 1267000 | #Constraints: 69663 2874.00/2881.37 c #Conflicts: 1268000 | #Constraints: 70670 2874.00/2881.37 c #Conflicts: 1269000 | #Constraints: 71676 2874.00/2881.37 c #Conflicts: 1270000 | #Constraints: 72677 2874.00/2881.37 c bounds 85 >= 80 @ 2788.5 2874.00/2881.37 c #Conflicts: 1271000 | #Constraints: 73746 2874.00/2881.37 c #Conflicts: 1272000 | #Constraints: 74746 2874.00/2881.37 c #Conflicts: 1273000 | #Constraints: 75746 2874.00/2881.37 c #Conflicts: 1274000 | #Constraints: 76746 2874.00/2881.37 c #Conflicts: 1275000 | #Constraints: 77749 2874.00/2881.37 c #Conflicts: 1276000 | #Constraints: 78851 2874.00/2881.37 c #Conflicts: 1277000 | #Constraints: 79886 2874.00/2881.37 c #Conflicts: 1278000 | #Constraints: 80917 2874.00/2881.37 c #Conflicts: 1279000 | #Constraints: 81933 2874.00/2881.37 c #Conflicts: 1280000 | #Constraints: 82961 2874.00/2881.37 c #Conflicts: 1281000 | #Constraints: 83987 2874.00/2881.37 c #Conflicts: 1282000 | #Constraints: 85010 2874.00/2881.37 c #Conflicts: 1283000 | #Constraints: 86035 2874.00/2881.37 c #Conflicts: 1284000 | #Constraints: 87055 2874.00/2881.37 c #Conflicts: 1285000 | #Constraints: 88077 2874.00/2881.37 c #Conflicts: 1286000 | #Constraints: 89103 2874.00/2881.37 c #Conflicts: 1287000 | #Constraints: 90122 2874.00/2881.37 c #Conflicts: 1288000 | #Constraints: 91146 2874.00/2881.37 c #Conflicts: 1289000 | #Constraints: 92179 2874.00/2881.37 c #Conflicts: 1290000 | #Constraints: 93208 2874.00/2881.37 c #Conflicts: 1291000 | #Constraints: 94239 2874.00/2881.37 c #Conflicts: 1292000 | #Constraints: 95262 2874.00/2881.37 c #Conflicts: 1293000 | #Constraints: 96288 2874.00/2881.37 c #Conflicts: 1294000 | #Constraints: 97319 2874.00/2881.37 c #Conflicts: 1295000 | #Constraints: 98336 2874.00/2881.37 c #Conflicts: 1296000 | #Constraints: 99357 2874.00/2881.37 c #Conflicts: 1297000 | #Constraints: 100378 2874.00/2881.37 c #Conflicts: 1298000 | #Constraints: 101404 2874.00/2881.37 c #Conflicts: 1299000 | #Constraints: 102426 2874.00/2881.37 c #Conflicts: 1300000 | #Constraints: 103452 2874.00/2881.37 c #Conflicts: 1301000 | #Constraints: 104480 2874.00/2881.37 c #Conflicts: 1302000 | #Constraints: 105507 2874.00/2881.37 c #Conflicts: 1303000 | #Constraints: 106532 2932.06/2939.58 c #Conflicts: 1304000 | #Constraints: 107552 2932.06/2939.58 c #Conflicts: 1305000 | #Constraints: 108576 2932.06/2939.58 c #Conflicts: 1306000 | #Constraints: 109596 2932.06/2939.58 c #Conflicts: 1307000 | #Constraints: 110614 2932.06/2939.58 c #Conflicts: 1308000 | #Constraints: 111638 2932.06/2939.58 c #Conflicts: 1309000 | #Constraints: 112674 2932.06/2939.58 c #Conflicts: 1310000 | #Constraints: 113700 2932.06/2939.58 c #Conflicts: 1311000 | #Constraints: 114730 2932.06/2939.58 c #Conflicts: 1312000 | #Constraints: 115762 2932.06/2939.58 c #Conflicts: 1313000 | #Constraints: 116786 2932.06/2939.58 c #Conflicts: 1314000 | #Constraints: 117814 2932.06/2939.58 c #Conflicts: 1315000 | #Constraints: 118841 2932.06/2939.58 c #Conflicts: 1316000 | #Constraints: 119875 2932.06/2939.58 c #Conflicts: 1317000 | #Constraints: 120906 2932.06/2939.58 c #Conflicts: 1318000 | #Constraints: 121936 2932.06/2939.58 c #Conflicts: 1319000 | #Constraints: 122965 2932.06/2939.58 c #Conflicts: 1320000 | #Constraints: 124001 2932.06/2939.58 c INPROCESSING 2932.06/2939.58 c GARBAGE COLLECT 2932.06/2939.58 c rational objective 80 2958.98/2966.56 c #Conflicts: 1321000 | #Constraints: 63452 2958.98/2966.56 c #Conflicts: 1322000 | #Constraints: 64488 2958.98/2966.56 c #Conflicts: 1323000 | #Constraints: 65511 2958.98/2966.56 c #Conflicts: 1324000 | #Constraints: 66537 2958.98/2966.56 c #Conflicts: 1325000 | #Constraints: 67568 2958.98/2966.56 c #Conflicts: 1326000 | #Constraints: 68589 2958.98/2966.56 c #Conflicts: 1327000 | #Constraints: 69613 2958.98/2966.56 c #Conflicts: 1328000 | #Constraints: 70633 2958.98/2966.56 c #Conflicts: 1329000 | #Constraints: 71660 2958.98/2966.56 c #Conflicts: 1330000 | #Constraints: 72688 2958.98/2966.56 c #Conflicts: 1331000 | #Constraints: 73712 2958.98/2966.56 c #Conflicts: 1332000 | #Constraints: 74738 2958.98/2966.56 c #Conflicts: 1333000 | #Constraints: 75769 2958.98/2966.56 c #Conflicts: 1334000 | #Constraints: 76806 2958.98/2966.56 c #Conflicts: 1335000 | #Constraints: 77838 2958.98/2966.56 c #Conflicts: 1336000 | #Constraints: 78864 2958.98/2966.56 c #Conflicts: 1337000 | #Constraints: 79902 2958.98/2966.56 c #Conflicts: 1338000 | #Constraints: 80938 2958.98/2966.56 c #Conflicts: 1339000 | #Constraints: 81970 2958.98/2966.56 c #Conflicts: 1340000 | #Constraints: 82996 2958.98/2966.56 c #Conflicts: 1341000 | #Constraints: 84030 2958.98/2966.56 c #Conflicts: 1342000 | #Constraints: 85062 2958.98/2966.56 c #Conflicts: 1343000 | #Constraints: 86087 2958.98/2966.56 c #Conflicts: 1344000 | #Constraints: 87116 2958.98/2966.56 c INPROCESSING 2958.98/2966.56 c GARBAGE COLLECT 2958.98/2966.56 c rational objective 80 2989.51/2997.17 c #Conflicts: 1345000 | #Constraints: 44751 2989.51/2997.17 c #Conflicts: 1346000 | #Constraints: 45788 2989.51/2997.17 c #Conflicts: 1347000 | #Constraints: 46834 2989.51/2997.17 c #Conflicts: 1348000 | #Constraints: 47865 2989.51/2997.17 c #Conflicts: 1349000 | #Constraints: 48900 2989.51/2997.17 c #Conflicts: 1350000 | #Constraints: 49929 2989.51/2997.17 c #Conflicts: 1351000 | #Constraints: 50975 2989.51/2997.17 c #Conflicts: 1352000 | #Constraints: 52007 2989.51/2997.17 c #Conflicts: 1353000 | #Constraints: 53053 2989.51/2997.17 c #Conflicts: 1354000 | #Constraints: 54082 2989.51/2997.17 c #Conflicts: 1355000 | #Constraints: 55101 2989.51/2997.17 c #Conflicts: 1356000 | #Constraints: 56123 2989.51/2997.17 c #Conflicts: 1357000 | #Constraints: 57150 2989.51/2997.17 c #Conflicts: 1358000 | #Constraints: 58174 2989.51/2997.17 c #Conflicts: 1359000 | #Constraints: 59201 2989.51/2997.17 c #Conflicts: 1360000 | #Constraints: 60226 2989.51/2997.17 c #Conflicts: 1361000 | #Constraints: 61263 2989.51/2997.17 c #Conflicts: 1362000 | #Constraints: 62288 2989.51/2997.17 c #Conflicts: 1363000 | #Constraints: 63310 2989.51/2997.17 c #Conflicts: 1364000 | #Constraints: 64344 2989.51/2997.17 c #Conflicts: 1365000 | #Constraints: 65380 2989.51/2997.17 c #Conflicts: 1366000 | #Constraints: 66411 2989.51/2997.17 c #Conflicts: 1367000 | #Constraints: 67429 2989.51/2997.17 c #Conflicts: 1368000 | #Constraints: 68460 2989.51/2997.17 c #Conflicts: 1369000 | #Constraints: 69493 2989.51/2997.17 c INPROCESSING 2989.51/2997.17 c GARBAGE COLLECT 2989.51/2997.17 c rational objective 80 3093.84/3101.76 c #Conflicts: 1370000 | #Constraints: 36081 3093.84/3101.76 c #Conflicts: 1371000 | #Constraints: 37081 3093.84/3101.76 c #Conflicts: 1372000 | #Constraints: 38081 3093.84/3101.76 c #Conflicts: 1373000 | #Constraints: 39081 3093.84/3101.76 c #Conflicts: 1374000 | #Constraints: 40081 3093.84/3101.76 c #Conflicts: 1375000 | #Constraints: 41081 3093.84/3101.76 c #Conflicts: 1376000 | #Constraints: 42081 3093.84/3101.76 c #Conflicts: 1377000 | #Constraints: 43081 3093.84/3101.76 c #Conflicts: 1378000 | #Constraints: 44081 3093.84/3101.76 c #Conflicts: 1379000 | #Constraints: 45081 3093.84/3101.76 c #Conflicts: 1380000 | #Constraints: 46081 3093.84/3101.76 c #Conflicts: 1381000 | #Constraints: 47081 3093.84/3101.76 c #Conflicts: 1382000 | #Constraints: 48081 3093.84/3101.76 c #Conflicts: 1383000 | #Constraints: 49081 3093.84/3101.76 c #Conflicts: 1384000 | #Constraints: 50081 3093.84/3101.76 c #Conflicts: 1385000 | #Constraints: 51081 3093.84/3101.76 c #Conflicts: 1386000 | #Constraints: 52081 3093.84/3101.76 c #Conflicts: 1387000 | #Constraints: 53081 3093.84/3101.76 c #Conflicts: 1388000 | #Constraints: 54081 3093.84/3101.76 c #Conflicts: 1389000 | #Constraints: 55081 3093.84/3101.76 c #Conflicts: 1390000 | #Constraints: 56081 3093.84/3101.76 c #Conflicts: 1391000 | #Constraints: 57081 3093.84/3101.76 c #Conflicts: 1392000 | #Constraints: 58081 3093.84/3101.76 c #Conflicts: 1393000 | #Constraints: 59081 3093.84/3101.76 c #Conflicts: 1394000 | #Constraints: 60081 3093.84/3101.76 c INPROCESSING 3093.84/3101.76 c GARBAGE COLLECT 3093.84/3101.76 c rational objective 80 3353.07/3361.62 c #Conflicts: 1395000 | #Constraints: 31490 3353.07/3361.62 c #Conflicts: 1396000 | #Constraints: 32534 3353.07/3361.62 c #Conflicts: 1397000 | #Constraints: 33565 3353.07/3361.62 c #Conflicts: 1398000 | #Constraints: 34595 3353.07/3361.62 c #Conflicts: 1399000 | #Constraints: 35623 3353.07/3361.62 c #Conflicts: 1400000 | #Constraints: 36655 3353.07/3361.62 c #Conflicts: 1401000 | #Constraints: 37671 3353.07/3361.62 c #Conflicts: 1402000 | #Constraints: 38697 3353.07/3361.62 c #Conflicts: 1403000 | #Constraints: 39735 3353.07/3361.62 c #Conflicts: 1404000 | #Constraints: 40768 3353.07/3361.62 c #Conflicts: 1405000 | #Constraints: 41800 3353.07/3361.62 c #Conflicts: 1406000 | #Constraints: 42825 3353.07/3361.62 c #Conflicts: 1407000 | #Constraints: 43852 3353.07/3361.62 c #Conflicts: 1408000 | #Constraints: 44875 3353.07/3361.62 c #Conflicts: 1409000 | #Constraints: 45909 3353.07/3361.62 c #Conflicts: 1410000 | #Constraints: 46936 3353.07/3361.62 c #Conflicts: 1411000 | #Constraints: 47960 3353.07/3361.62 c #Conflicts: 1412000 | #Constraints: 48989 3353.07/3361.62 c #Conflicts: 1413000 | #Constraints: 50019 3353.07/3361.62 c #Conflicts: 1414000 | #Constraints: 51048 3353.07/3361.62 c #Conflicts: 1415000 | #Constraints: 52070 3353.07/3361.62 c #Conflicts: 1416000 | #Constraints: 53093 3353.07/3361.62 c #Conflicts: 1417000 | #Constraints: 54119 3353.07/3361.62 c #Conflicts: 1418000 | #Constraints: 55153 3353.07/3361.62 c #Conflicts: 1419000 | #Constraints: 56188 3353.07/3361.62 c #Conflicts: 1420000 | #Constraints: 57219 3353.07/3361.62 c #Conflicts: 1421000 | #Constraints: 58240 3353.07/3361.62 c #Conflicts: 1422000 | #Constraints: 59266 3353.07/3361.62 c #Conflicts: 1423000 | #Constraints: 60288 3353.07/3361.62 c #Conflicts: 1424000 | #Constraints: 61313 3353.07/3361.62 c #Conflicts: 1425000 | #Constraints: 62345 3353.07/3361.62 c #Conflicts: 1426000 | #Constraints: 63365 3353.07/3361.62 c #Conflicts: 1427000 | #Constraints: 64385 3353.07/3361.62 c #Conflicts: 1428000 | #Constraints: 65418 3353.07/3361.62 c #Conflicts: 1429000 | #Constraints: 66443 3353.07/3361.62 c #Conflicts: 1430000 | #Constraints: 67473 3353.07/3361.62 c #Conflicts: 1431000 | #Constraints: 68495 3353.07/3361.62 c #Conflicts: 1432000 | #Constraints: 69513 3353.07/3361.62 c #Conflicts: 1433000 | #Constraints: 70535 3353.07/3361.62 c #Conflicts: 1434000 | #Constraints: 71552 3353.07/3361.62 c #Conflicts: 1435000 | #Constraints: 72570 3353.07/3361.62 c #Conflicts: 1436000 | #Constraints: 73600 3353.07/3361.62 c #Conflicts: 1437000 | #Constraints: 74626 3353.07/3361.62 c #Conflicts: 1438000 | #Constraints: 75654 3353.07/3361.62 c #Conflicts: 1439000 | #Constraints: 76690 3353.07/3361.62 c #Conflicts: 1440000 | #Constraints: 77721 3353.07/3361.62 c #Conflicts: 1441000 | #Constraints: 78754 3353.07/3361.62 c #Conflicts: 1442000 | #Constraints: 79787 3353.07/3361.62 c #Conflicts: 1443000 | #Constraints: 80827 3353.07/3361.62 c #Conflicts: 1444000 | #Constraints: 81853 3353.07/3361.62 c #Conflicts: 1445000 | #Constraints: 82879 3353.07/3361.62 c #Conflicts: 1446000 | #Constraints: 83909 3353.07/3361.62 c #Conflicts: 1447000 | #Constraints: 84930 3353.07/3361.62 c #Conflicts: 1448000 | #Constraints: 85954 3353.07/3361.62 c #Conflicts: 1449000 | #Constraints: 86983 3353.07/3361.62 c #Conflicts: 1450000 | #Constraints: 88016 3353.07/3361.62 c #Conflicts: 1451000 | #Constraints: 89044 3353.07/3361.62 c #Conflicts: 1452000 | #Constraints: 90063 3353.07/3361.62 c #Conflicts: 1453000 | #Constraints: 91090 3353.07/3361.62 c #Conflicts: 1454000 | #Constraints: 92119 3353.07/3361.62 c #Conflicts: 1455000 | #Constraints: 93151 3353.07/3361.62 c #Conflicts: 1456000 | #Constraints: 94171 3353.07/3361.62 c #Conflicts: 1457000 | #Constraints: 95190 3353.07/3361.62 c #Conflicts: 1458000 | #Constraints: 96208 3353.07/3361.62 c #Conflicts: 1459000 | #Constraints: 97225 3353.07/3361.62 c #Conflicts: 1460000 | #Constraints: 98250 3353.07/3361.62 c #Conflicts: 1461000 | #Constraints: 99271 3353.07/3361.62 c #Conflicts: 1462000 | #Constraints: 100291 3353.07/3361.62 c #Conflicts: 1463000 | #Constraints: 101312 3353.07/3361.62 c #Conflicts: 1464000 | #Constraints: 102333 3353.07/3361.62 c #Conflicts: 1465000 | #Constraints: 103352 3353.07/3361.62 c #Conflicts: 1466000 | #Constraints: 104376 3353.07/3361.62 c #Conflicts: 1467000 | #Constraints: 105403 3353.07/3361.62 c #Conflicts: 1468000 | #Constraints: 106435 3353.07/3361.62 c #Conflicts: 1469000 | #Constraints: 107455 3353.07/3361.62 c #Conflicts: 1470000 | #Constraints: 108473 3353.07/3361.62 c #Conflicts: 1471000 | #Constraints: 109496 3353.07/3361.62 c #Conflicts: 1472000 | #Constraints: 110518 3353.07/3361.62 c #Conflicts: 1473000 | #Constraints: 111538 3509.09/3518.02 c #Conflicts: 1474000 | #Constraints: 112563 3509.09/3518.02 c #Conflicts: 1475000 | #Constraints: 113590 3509.09/3518.02 c #Conflicts: 1476000 | #Constraints: 114626 3509.09/3518.02 c #Conflicts: 1477000 | #Constraints: 115649 3509.09/3518.02 c #Conflicts: 1478000 | #Constraints: 116672 3509.09/3518.02 c #Conflicts: 1479000 | #Constraints: 117700 3509.09/3518.02 c #Conflicts: 1480000 | #Constraints: 118719 3509.09/3518.02 c #Conflicts: 1481000 | #Constraints: 119736 3509.09/3518.02 c #Conflicts: 1482000 | #Constraints: 120752 3509.09/3518.02 c #Conflicts: 1483000 | #Constraints: 121785 3509.09/3518.02 c #Conflicts: 1484000 | #Constraints: 122798 3509.09/3518.02 c #Conflicts: 1485000 | #Constraints: 123817 3509.09/3518.02 c #Conflicts: 1486000 | #Constraints: 124836 3509.09/3518.02 c #Conflicts: 1487000 | #Constraints: 125862 3509.09/3518.02 c #Conflicts: 1488000 | #Constraints: 126876 3509.09/3518.02 c #Conflicts: 1489000 | #Constraints: 127894 3509.09/3518.02 c #Conflicts: 1490000 | #Constraints: 128916 3509.09/3518.02 c #Conflicts: 1491000 | #Constraints: 129942 3509.09/3518.02 c #Conflicts: 1492000 | #Constraints: 130958 3509.09/3518.02 c #Conflicts: 1493000 | #Constraints: 131970 3509.09/3518.02 c #Conflicts: 1494000 | #Constraints: 132990 3509.09/3518.02 c #Conflicts: 1495000 | #Constraints: 134022 3509.09/3518.02 c #Conflicts: 1496000 | #Constraints: 135056 3509.09/3518.02 c INPROCESSING 3509.09/3518.02 c GARBAGE COLLECT 3509.09/3518.02 c rational objective 80 3600.05/3609.20 c 3600.05/3609.20 s SATISFIABLE 3600.05/3609.20 v ~x1 ~x2 x3 ~x4 ~x5 ~x6 x7 ~x8 ~x9 ~x10 x11 ~x12 ~x13 x14 ~x15 ~x16 x17 ~x18 ~x19 x20 ~x21 ~x22 ~x23 x24 ~x25 ~x26 ~x27 x28 ~x29 ~x30 ~x31 ~x32 x33 ~x34 ~x35 ~x36 ~x37 x38 ~x39 ~x40 x41 ~x42 ~x43 ~x44 ~x45 x46 ~x47 ~x48 ~x49 x50 ~x51 ~x52 ~x53 x54 ~x55 ~x56 ~x57 x58 ~x59 ~x60 ~x61 ~x62 x63 ~x64 ~x65 ~x66 x67 ~x68 ~x69 ~x70 ~x71 ~x72 x73 ~x74 x75 ~x76 ~x77 ~x78 ~x79 x80 ~x81 ~x82 ~x83 x84 ~x85 ~x86 ~x87 ~x88 x89 x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 x97 ~x98 ~x99 ~x100 x101 ~x102 ~x103 ~x104 ~x105 x106 ~x107 ~x108 ~x109 ~x110 ~x111 x112 ~x113 x114 ~x115 ~x116 ~x117 x118 ~x119 ~x120 ~x121 ~x122 x123 ~x124 ~x125 ~x126 ~x127 ~x128 x129 ~x130 ~x131 ~x132 ~x133 x134 ~x135 ~x136 ~x137 ~x138 ~x139 x140 ~x141 ~x142 ~x143 ~x144 x145 x146 ~x147 ~x148 ~x149 ~x150 x151 ~x152 ~x153 ~x154 x155 ~x156 x157 ~x158 ~x159 ~x160 ~x161 x162 ~x163 ~x164 ~x165 ~x166 ~x167 x168 ~x169 ~x170 ~x171 ~x172 ~x173 x174 ~x175 ~x176 ~x177 ~x178 x179 ~x180 ~x181 ~x182 ~x183 ~x184 x185 ~x186 ~x187 ~x188 ~x189 x190 x191 ~x192 ~x193 ~x194 ~x195 x196 ~x197 ~x198 ~x199 ~x200 x201 x202 ~x203 ~x204 ~x205 ~x206 x207 ~x208 ~x209 ~x210 ~x211 ~x212 x213 ~x214 ~x215 ~x216 ~x217 x218 ~x219 ~x220 ~x221 ~x222 ~x223 x224 ~x225 ~x226 ~x227 ~x228 ~x229 x230 ~x231 ~x232 ~x233 ~x234 x235 ~x236 ~x237 ~x238 ~x239 ~x240 x241 ~x242 ~x243 ~x244 ~x245 x246 x247 ~x248 ~x249 ~x250 x251 x252 ~x253 ~x254 ~x255 ~x256 x257 x258 ~x259 ~x260 ~x261 ~x262 x263 ~x264 ~x265 ~x266 x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 x274 ~x275 ~x276 ~x277 ~x278 ~x279 x280 ~x281 ~x282 ~x283 x284 ~x285 ~x286 ~x287 x288 ~x289 ~x290 x291 ~x292 ~x293 ~x294 x295 ~x296 x297 ~x298 ~x299 ~x300 x301 ~x302 ~x303 ~x304 x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 x312 ~x313 ~x314 ~x315 ~x316 ~x317 x318 ~x319 ~x320 ~x321 ~x322 x323 ~x324 ~x325 ~x326 x327 ~x328 ~x329 x330 ~x331 x332 ~x333 ~x334 ~x335 ~x336 x337 ~x338 ~x339 ~x340 x341 ~x342 ~x343 x344 ~x345 ~x346 ~x347 ~x348 x349 ~x350 ~x351 ~x352 x353 ~x354 ~x355 x356 ~x357 ~x358 ~x359 ~x360 x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 3600.05/3609.20 c #Conflicts: 1497000 | #Constraints: 69104 3600.05/3609.20 c #Conflicts: 1498000 | #Constraints: 70104 3600.05/3609.20 c #Conflicts: 1499000 | #Constraints: 71104 3600.05/3609.20 c #Conflicts: 1500000 | #Constraints: 72104 3600.05/3609.20 c #Conflicts: 1501000 | #Constraints: 73104 3600.05/3609.20 c #Conflicts: 1502000 | #Constraints: 74104 3600.05/3609.20 c #Conflicts: 1503000 | #Constraints: 75104 3600.05/3609.20 c #Conflicts: 1504000 | #Constraints: 76104 3600.05/3609.20 c #Conflicts: 1505000 | #Constraints: 77104 3600.05/3609.20 c #Conflicts: 1506000 | #Constraints: 78104 3600.05/3609.20 c #Conflicts: 1507000 | #Constraints: 79104 3600.05/3609.20 c #Conflicts: 1508000 | #Constraints: 80104 3600.05/3609.20 c #Conflicts: 1509000 | #Constraints: 81104 3600.05/3609.20 c #Conflicts: 1510000 | #Constraints: 82104 3600.05/3609.20 c #Conflicts: 1511000 | #Constraints: 83104 3600.05/3609.20 c #Conflicts: 1512000 | #Constraints: 84104
OK 85
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 (60984 MiB free)
memory of node 1: 64510 MiB (62343 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429603-1721050186/watcher-4429603-1721050186 -o /tmp/evaluation-result-4429603-1721050186/solver-4429603-1721050186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721050191-803291 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429603-1721050186.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=804132, runsolver pid=804127
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 3.88 4.06 4.07 4/242 804137
/proc/meminfo: memFree=126269172/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=38228 memory=8540 CPUtime=0.1 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 549 0 0 0 9 1 0 0 20 0 1 0 157177404 39145472 2135 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 9557 2135 1771 922 0 1509 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38228 KiB
Current children cumulated memory: 8540 KiB
[startup+0.213966 s]*
/proc/loadavg: 3.88 4.06 4.07 4/239 804154
/proc/meminfo: memFree=126255948/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=38364 memory=8540 CPUtime=0.21 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 583 0 0 0 20 1 0 0 20 0 1 0 157177404 39284736 2135 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 9591 2135 1771 922 0 1543 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38364 KiB
Current children cumulated memory: 8540 KiB
[startup+0.3131 s]*
/proc/loadavg: 3.89 4.06 4.07 6/242 804163
/proc/meminfo: memFree=126229024/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=39156 memory=9924 CPUtime=0.31 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 875 0 0 0 27 4 0 0 20 0 1 0 157177404 40095744 2481 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 9789 2481 1801 922 0 1741 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39156 KiB
Current children cumulated memory: 9924 KiB
[startup+0.700292 s]
/proc/loadavg: 3.89 4.06 4.07 5/245 804169
/proc/meminfo: memFree=126164152/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=41168 memory=13380 CPUtime=0.69 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 1689 0 0 0 59 10 0 0 20 0 1 0 157177404 42156032 3345 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 10292 3345 1870 922 0 2244 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41168 KiB
Current children cumulated memory: 13380 KiB
[startup+1.5003 s]
/proc/loadavg: 3.89 4.06 4.07 5/243 804169
/proc/meminfo: memFree=126034788/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=42740 memory=15080 CPUtime=1.48 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 2104 0 0 0 133 15 0 0 20 0 1 0 157177404 43765760 3770 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 10685 3770 1870 922 0 2637 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42740 KiB
Current children cumulated memory: 15080 KiB
[startup+3.11304 s]
/proc/loadavg: 3.89 4.06 4.07 5/249 804182
/proc/meminfo: memFree=125935356/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=45112 memory=19396 CPUtime=3.09 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 2764 0 0 0 287 22 0 0 20 0 1 0 157177404 46194688 4849 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 11278 4849 1870 922 0 3230 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45112 KiB
Current children cumulated memory: 19396 KiB
[startup+6.30027 s]
/proc/loadavg: 3.90 4.06 4.07 5/249 804182
/proc/meminfo: memFree=125789376/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=52608 memory=26788 CPUtime=6.27 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 4159 0 0 0 592 35 0 0 20 0 1 0 157177404 53870592 6697 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 13152 6697 1870 922 0 5104 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52608 KiB
Current children cumulated memory: 26788 KiB
[startup+12.7002 s]
/proc/loadavg: 3.99 4.08 4.08 6/249 804229
/proc/meminfo: memFree=124077780/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=54652 memory=28616 CPUtime=12.65 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 4677 0 0 0 1208 57 0 0 20 0 1 0 157177404 55963648 7154 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 13663 7154 1870 922 0 5615 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 54652 KiB
Current children cumulated memory: 28616 KiB
[startup+25.5003 s]
/proc/loadavg: 3.99 4.07 4.08 5/249 804231
/proc/meminfo: memFree=123808048/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=61936 memory=32152 CPUtime=25.42 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 5697 0 0 0 2445 97 0 0 20 0 1 0 157177404 63422464 8038 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 15484 8038 1870 922 0 7436 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 61936 KiB
Current children cumulated memory: 32152 KiB
[startup+51.1135 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 804291
/proc/meminfo: memFree=123767340/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=75520 memory=42080 CPUtime=50.97 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 7496 0 0 0 4938 159 0 0 20 0 1 0 157177404 77332480 10520 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 18880 10520 1870 922 0 10832 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 75520 KiB
Current children cumulated memory: 42080 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/248 804316
/proc/meminfo: memFree=125799192/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=83556 memory=53148 CPUtime=102.04 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 9273 0 0 0 9939 265 0 0 20 0 1 0 157177404 85561344 13287 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 20889 13287 1870 922 0 12841 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 83556 KiB
Current children cumulated memory: 53148 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/244 804358
/proc/meminfo: memFree=125668172/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=87220 memory=56568 CPUtime=161.91 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 10598 0 0 0 15820 371 0 0 20 0 1 0 157177404 89313280 14142 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 21805 14142 1870 922 0 13757 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 87220 KiB
Current children cumulated memory: 56568 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/244 804368
/proc/meminfo: memFree=125611656/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=132124 memory=84136 CPUtime=221.77 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 14654 0 0 0 21724 453 0 0 20 0 1 0 157177404 135294976 21034 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 33031 21034 1870 922 0 24983 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 132124 KiB
Current children cumulated memory: 84136 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/244 804379
/proc/meminfo: memFree=125552584/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=178420 memory=120304 CPUtime=281.61 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 18290 0 0 0 27678 483 0 0 20 0 1 0 157177404 182702080 30076 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 44605 30076 1870 922 0 36557 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 178420 KiB
Current children cumulated memory: 120304 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/241 804389
/proc/meminfo: memFree=125530088/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=186280 memory=134236 CPUtime=341.46 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 20277 0 0 0 33622 524 0 0 20 0 1 0 157177404 190750720 33559 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 46570 33559 1870 922 0 38522 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 186280 KiB
Current children cumulated memory: 134236 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/242 804401
/proc/meminfo: memFree=125524208/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=190816 memory=137476 CPUtime=401.32 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 21252 0 0 0 39556 576 0 0 20 0 1 0 157177404 195395584 34369 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 47704 34369 1870 922 0 39656 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 190816 KiB
Current children cumulated memory: 137476 KiB
[startup+462.3 s]
/proc/loadavg: 4.60 4.22 4.13 5/242 804411
/proc/meminfo: memFree=125209856/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=191172 memory=138004 CPUtime=461.17 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 21347 0 0 0 45478 639 0 0 20 0 1 0 157177404 195760128 34501 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 47793 34501 1870 922 0 39745 0
################
# More data... #
################
Current children cumulated memory: 276204 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.19 4.19 5/241 805417
/proc/meminfo: memFree=122099896/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=345052 memory=276724 CPUtime=2855.05 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 46183 0 0 0 283675 1830 0 0 20 0 1 0 157177404 353333248 69181 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 86263 69181 2000 922 0 78215 0
Current children cumulated CPU time: 2855.05 s
Current children cumulated vsize: 345052 KiB
Current children cumulated memory: 276724 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/241 805427
/proc/meminfo: memFree=122098612/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=346368 memory=277432 CPUtime=2914.9 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 46492 0 0 0 289631 1859 0 0 20 0 1 0 157177404 354680832 69358 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 86592 69358 2000 922 0 78544 0
Current children cumulated CPU time: 2914.9 s
Current children cumulated vsize: 346368 KiB
Current children cumulated memory: 277432 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.18 4.19 5/241 805438
/proc/meminfo: memFree=122097100/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=347008 memory=278012 CPUtime=2974.74 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 47342 0 0 0 295560 1914 0 0 20 0 1 0 157177404 355336192 69503 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 86752 69503 2000 922 0 78704 0
Current children cumulated CPU time: 2974.74 s
Current children cumulated vsize: 347008 KiB
Current children cumulated memory: 278012 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/243 805452
/proc/meminfo: memFree=122096060/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=347612 memory=278404 CPUtime=3034.58 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 47549 0 0 0 301507 1951 0 0 20 0 1 0 157177404 355954688 69601 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 86903 69601 2000 922 0 78855 0
Current children cumulated CPU time: 3034.58 s
Current children cumulated vsize: 347612 KiB
Current children cumulated memory: 278404 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/244 805463
/proc/meminfo: memFree=122095508/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=347612 memory=278460 CPUtime=3094.43 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 47676 0 0 0 307463 1980 0 0 20 0 1 0 157177404 355954688 69615 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 86903 69615 2000 922 0 78855 0
Current children cumulated CPU time: 3094.43 s
Current children cumulated vsize: 347612 KiB
Current children cumulated memory: 278460 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/244 805475
/proc/meminfo: memFree=122093828/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=347612 memory=278488 CPUtime=3154.28 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 47808 0 0 0 313403 2025 0 0 20 0 1 0 157177404 355954688 69622 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 86903 69622 2000 922 0 78855 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 347612 KiB
Current children cumulated memory: 278488 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.14 4.17 5/244 805485
/proc/meminfo: memFree=122055948/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=349696 memory=279680 CPUtime=3214.13 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 48266 0 0 0 319365 2048 0 0 20 0 1 0 157177404 358088704 69920 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 87424 69920 2000 922 0 79376 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 349696 KiB
Current children cumulated memory: 279680 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/244 805496
/proc/meminfo: memFree=122027192/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=351744 memory=281020 CPUtime=3273.98 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 48749 0 0 0 325329 2069 0 0 20 0 1 0 157177404 360185856 70255 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 87936 70255 2000 922 0 79888 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 351744 KiB
Current children cumulated memory: 281020 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/245 805889
/proc/meminfo: memFree=122010116/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=356792 memory=284488 CPUtime=3333.83 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 49833 0 0 0 331300 2083 0 0 20 0 1 0 157177404 365355008 71122 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 89198 71122 2000 922 0 81150 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 356792 KiB
Current children cumulated memory: 284488 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 805900
/proc/meminfo: memFree=121961228/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=359976 memory=287036 CPUtime=3393.67 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 50588 0 0 0 337270 2097 0 0 20 0 1 0 157177404 368615424 71759 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 89994 71759 2000 922 0 81946 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 359976 KiB
Current children cumulated memory: 287036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/244 805911
/proc/meminfo: memFree=121903788/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=362920 memory=293456 CPUtime=3453.53 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 51250 0 0 0 343241 2112 0 0 20 0 1 0 157177404 371630080 73364 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 90730 73364 2000 922 0 82682 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 362920 KiB
Current children cumulated memory: 293456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.15 6/246 806091
/proc/meminfo: memFree=121833128/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=368564 memory=303272 CPUtime=3513.37 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 52909 0 0 0 349211 2126 0 0 20 0 1 0 157177404 377409536 75818 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 92141 75818 2000 922 0 84093 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 368564 KiB
Current children cumulated memory: 303272 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/246 806102
/proc/meminfo: memFree=121762368/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=368564 memory=303272 CPUtime=3573.22 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 52960 0 0 0 355171 2151 0 0 20 0 1 0 157177404 377409536 75818 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 92141 75818 2000 922 0 84093 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 368564 KiB
Current children cumulated memory: 303272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.19 4.14 4.16 5/246 806106
/proc/meminfo: memFree=121754576/131655788 swapFree=131071996/131071996
[pid=804132] ppid=804127 vsize=368564 memory=303272 CPUtime=3600.05 cores=5,7
/proc/804132/stat : 804132 (roundingsat) R 804127 804132 803278 0 -1 4194304 53011 0 0 0 357845 2160 0 0 20 0 1 0 157177404 377409536 75818 134679101440 4194304 7968869 140737373082368 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 11071488 140737373090750 140737373090914 140737373090914 140737373097929 0
/proc/804132/statm: 92141 75818 2000 922 0 84093 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 368564 KiB
Current children cumulated memory: 303272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 804132 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3578.46 s, system=21.6138 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3609.21
CPU time (s): 3600.07
CPU user time (s): 3578.46
CPU system time (s): 21.6138
CPU usage (%): 99.7469
Max. virtual memory (cumulated for all children) (KiB): 369356
Max. memory (cumulated for all children) (KiB): 303596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.46
system time used= 21.6138
maximum resident set size= 304652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53019
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 2895
# summary of solver processes directly reported to runsolver:
# pid: 804132
# total CPU time (s): 3600.07
# total CPU user time (s): 3578.46
# total CPU system time (s): 21.6138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7264 second user time and 33.6981 second system time
The end
Begin job on nodeC006 at 2024-07-15 15:29:59 IDJOB=4429603 IDBENCH=155338 IDSOLVER=3051 FILE ID=nodeC006/4429603-1721050186 RUNJOBID= nodeC006-1721050191-803291 SLURM_JOB_ID= 7505479 Free space on /tmp= 723760 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429603-1721050186/watcher-4429603-1721050186 -o /tmp/evaluation-result-4429603-1721050186/solver-4429603-1721050186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721050191-803291 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429603-1721050186.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20 RANDOM SEED=1504769233 nodeC006.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 : 1628.483 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 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 : 3381.354 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.26 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.264 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 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.259 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.26 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 : 3666.695 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 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 : 1215.474 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.26 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.419 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 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.264 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.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126296168 kB MemAvailable: 129746132 kB Buffers: 365516 kB Cached: 3882980 kB SwapCached: 0 kB Active: 612360 kB Inactive: 4129624 kB Active(anon): 1444 kB Inactive(anon): 529428 kB Active(file): 610916 kB Inactive(file): 3600196 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 28632 kB Writeback: 20 kB AnonPages: 493276 kB Mapped: 105984 kB Shmem: 37704 kB KReclaimable: 157764 kB Slab: 261788 kB SReclaimable: 157764 kB SUnreclaim: 104024 kB KernelStack: 3888 kB PageTables: 10060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 887160 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51520 kB HardwareCorrupted: 0 kB AnonHugePages: 210944 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: 219976 kB DirectMap2M: 27996160 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723736 MiB End job on nodeC006 at 2024-07-15 16:30:08