| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 5 | 3600.1 | 3609.4 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
| MD5SUM | 8451009eff5aac10a49807ab684bf277 |
| 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 | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3600.07 |
| 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 | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1270 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4321 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.00 c #variables 146 #constraints 12 0.00/0.00 c bounds 3061 >= 0 @ 0.00075 0.00/0.00 c rational objective 0 0.21/0.24 c bounds 116 >= 0 @ 0.010856 0.21/0.24 c bounds 114 >= 0 @ 0.010891 0.21/0.24 c bounds 107 >= 0 @ 0.01104 0.21/0.24 c bounds 99 >= 0 @ 0.015572 0.21/0.24 c #Conflicts: 1000 | #Constraints: 1035 0.21/0.24 c #Conflicts: 2000 | #Constraints: 2042 0.21/0.24 c INPROCESSING 0.21/0.24 c GARBAGE COLLECT 0.21/0.24 c rational objective 0 0.60/0.61 c bounds 97 >= 0 @ 0.22747 0.60/0.61 c bounds 95 >= 0 @ 0.227985 0.60/0.61 c bounds 93 >= 0 @ 0.228978 0.60/0.61 c bounds 89 >= 0 @ 0.271049 0.60/0.61 c bounds 81 >= 0 @ 0.271442 0.60/0.61 c bounds 79 >= 0 @ 0.271904 0.60/0.61 c bounds 75 >= 0 @ 0.277672 0.60/0.61 c bounds 73 >= 0 @ 0.278419 0.60/0.61 c bounds 71 >= 0 @ 0.278989 0.60/0.61 c bounds 69 >= 0 @ 0.280066 0.60/0.61 c bounds 67 >= 0 @ 0.280993 0.60/0.61 c bounds 65 >= 0 @ 0.280993 0.60/0.61 c bounds 63 >= 0 @ 0.282292 0.60/0.61 c bounds 61 >= 0 @ 0.283741 0.60/0.61 c bounds 60 >= 0 @ 0.307934 0.60/0.61 c bounds 58 >= 0 @ 0.308931 0.60/0.61 c bounds 54 >= 0 @ 0.309544 0.60/0.61 c #Conflicts: 3000 | #Constraints: 2062 0.60/0.61 c bounds 50 >= 0 @ 0.38734 0.60/0.61 c #Conflicts: 4000 | #Constraints: 3074 0.60/0.61 c INPROCESSING 0.60/0.61 c GARBAGE COLLECT 0.60/0.61 c rational objective 0 0.99/1.07 c bounds 48 >= 0 @ 0.577076 0.99/1.07 c bounds 47 >= 0 @ 0.608069 0.99/1.07 c bounds 45 >= 0 @ 0.608128 0.99/1.07 c bounds 43 >= 0 @ 0.608697 0.99/1.07 c bounds 41 >= 0 @ 0.616535 0.99/1.07 c bounds 37 >= 0 @ 0.617346 0.99/1.07 c bounds 33 >= 0 @ 0.618143 0.99/1.07 c bounds 32 >= 0 @ 0.668971 0.99/1.07 c #Conflicts: 5000 | #Constraints: 2467 0.99/1.07 c bounds 30 >= 0 @ 0.748576 0.99/1.07 c #Conflicts: 6000 | #Constraints: 3473 0.99/1.07 c INPROCESSING 0.99/1.07 c GARBAGE COLLECT 0.99/1.07 c rational objective 0 1.49/1.58 c bounds 28 >= 0 @ 1.01554 1.49/1.58 c #Conflicts: 7000 | #Constraints: 2454 1.49/1.58 c bounds 26 >= 0 @ 1.09981 1.49/1.58 c bounds 24 >= 0 @ 1.10042 1.49/1.58 c bounds 22 >= 0 @ 1.10185 1.49/1.58 c #Conflicts: 8000 | #Constraints: 3463 1.49/1.58 c #Conflicts: 9000 | #Constraints: 4470 1.49/1.58 c INPROCESSING 1.49/1.58 c GARBAGE COLLECT 1.49/1.58 c rational objective 0 2.10/2.18 c #Conflicts: 10000 | #Constraints: 3158 2.10/2.18 c #Conflicts: 11000 | #Constraints: 4163 2.10/2.18 c #Conflicts: 12000 | #Constraints: 5167 2.10/2.18 c INPROCESSING 2.10/2.18 c GARBAGE COLLECT 2.10/2.18 c rational objective 0 2.88/2.98 c bounds 21 >= 0 @ 2.18999 2.88/2.98 c bounds 19 >= 0 @ 2.19006 2.88/2.98 c bounds 17 >= 0 @ 2.19006 2.88/2.98 c bounds 9 >= 0 @ 2.20376 2.88/2.98 c #Conflicts: 13000 | #Constraints: 3611 2.88/2.98 c #Conflicts: 14000 | #Constraints: 4621 2.88/2.98 c #Conflicts: 15000 | #Constraints: 5625 2.88/2.98 c INPROCESSING 2.88/2.98 c GARBAGE COLLECT 2.88/2.98 c rational objective 0 3.78/3.89 c #Conflicts: 16000 | #Constraints: 3816 3.78/3.89 c #Conflicts: 17000 | #Constraints: 4821 3.78/3.89 c #Conflicts: 18000 | #Constraints: 5822 3.78/3.89 c INPROCESSING 3.78/3.89 c GARBAGE COLLECT 3.78/3.89 c rational objective 0 4.99/5.03 c #Conflicts: 19000 | #Constraints: 3829 4.99/5.03 c #Conflicts: 20000 | #Constraints: 4832 4.99/5.03 c #Conflicts: 21000 | #Constraints: 5834 4.99/5.03 c INPROCESSING 4.99/5.03 c GARBAGE COLLECT 4.99/5.03 c rational objective 0 5.98/6.08 c #Conflicts: 22000 | #Constraints: 3635 5.98/6.08 c #Conflicts: 23000 | #Constraints: 4638 5.98/6.08 c #Conflicts: 24000 | #Constraints: 5643 5.98/6.08 c #Conflicts: 25000 | #Constraints: 6645 5.98/6.08 c INPROCESSING 5.98/6.08 c GARBAGE COLLECT 5.98/6.08 c rational objective 0 7.57/7.64 c #Conflicts: 26000 | #Constraints: 4240 7.57/7.64 c #Conflicts: 27000 | #Constraints: 5242 7.57/7.64 c #Conflicts: 28000 | #Constraints: 6246 7.57/7.64 c #Conflicts: 29000 | #Constraints: 7249 7.57/7.64 c INPROCESSING 7.57/7.64 c GARBAGE COLLECT 7.57/7.64 c rational objective 0 8.87/8.93 c #Conflicts: 30000 | #Constraints: 4642 8.87/8.93 c #Conflicts: 31000 | #Constraints: 5642 8.87/8.93 c #Conflicts: 32000 | #Constraints: 6643 8.87/8.93 c #Conflicts: 33000 | #Constraints: 7644 8.87/8.93 c INPROCESSING 8.87/8.93 c GARBAGE COLLECT 8.87/8.93 c rational objective 0 10.37/10.43 c #Conflicts: 34000 | #Constraints: 4836 10.37/10.43 c #Conflicts: 35000 | #Constraints: 5836 10.37/10.43 c #Conflicts: 36000 | #Constraints: 6836 10.37/10.43 c #Conflicts: 37000 | #Constraints: 7836 10.37/10.43 c INPROCESSING 10.37/10.43 c GARBAGE COLLECT 10.37/10.43 c rational objective 0 12.46/12.51 c #Conflicts: 38000 | #Constraints: 4835 12.46/12.51 c #Conflicts: 39000 | #Constraints: 5837 12.46/12.51 c #Conflicts: 40000 | #Constraints: 6839 12.46/12.51 c #Conflicts: 41000 | #Constraints: 7840 12.46/12.51 c INPROCESSING 12.46/12.51 c GARBAGE COLLECT 12.46/12.51 c rational objective 0 14.35/14.47 c #Conflicts: 42000 | #Constraints: 4643 14.35/14.47 c #Conflicts: 43000 | #Constraints: 5643 14.35/14.47 c #Conflicts: 44000 | #Constraints: 6643 14.35/14.47 c #Conflicts: 45000 | #Constraints: 7644 14.35/14.47 c #Conflicts: 46000 | #Constraints: 8644 14.35/14.47 c INPROCESSING 14.35/14.47 c GARBAGE COLLECT 14.35/14.47 c rational objective 0 16.96/17.04 c #Conflicts: 47000 | #Constraints: 5238 16.96/17.04 c #Conflicts: 48000 | #Constraints: 6239 16.96/17.04 c #Conflicts: 49000 | #Constraints: 7241 16.96/17.04 c #Conflicts: 50000 | #Constraints: 8243 16.96/17.04 c #Conflicts: 51000 | #Constraints: 9243 16.96/17.04 c INPROCESSING 16.96/17.04 c GARBAGE COLLECT 16.96/17.04 c rational objective 0 19.05/19.13 c #Conflicts: 52000 | #Constraints: 5643 19.05/19.13 c #Conflicts: 53000 | #Constraints: 6648 19.05/19.13 c #Conflicts: 54000 | #Constraints: 7650 19.05/19.13 c #Conflicts: 55000 | #Constraints: 8650 19.05/19.13 c #Conflicts: 56000 | #Constraints: 9651 19.05/19.13 c INPROCESSING 19.05/19.13 c GARBAGE COLLECT 19.05/19.13 c rational objective 0 21.24/21.38 c #Conflicts: 57000 | #Constraints: 5841 21.24/21.38 c #Conflicts: 58000 | #Constraints: 6842 21.24/21.38 c #Conflicts: 59000 | #Constraints: 7844 21.24/21.38 c #Conflicts: 60000 | #Constraints: 8845 21.24/21.38 c #Conflicts: 61000 | #Constraints: 9846 21.24/21.38 c INPROCESSING 21.24/21.38 c GARBAGE COLLECT 21.24/21.38 c rational objective 0 24.63/24.75 c #Conflicts: 62000 | #Constraints: 5838 24.63/24.75 c #Conflicts: 63000 | #Constraints: 6839 24.63/24.75 c #Conflicts: 64000 | #Constraints: 7839 24.63/24.75 c #Conflicts: 65000 | #Constraints: 8842 24.63/24.75 c #Conflicts: 66000 | #Constraints: 9843 24.63/24.75 c INPROCESSING 24.63/24.75 c GARBAGE COLLECT 24.63/24.75 c rational objective 0 27.32/27.47 c #Conflicts: 67000 | #Constraints: 5643 27.32/27.47 c #Conflicts: 68000 | #Constraints: 6643 27.32/27.47 c #Conflicts: 69000 | #Constraints: 7645 27.32/27.47 c #Conflicts: 70000 | #Constraints: 8645 27.32/27.47 c #Conflicts: 71000 | #Constraints: 9646 27.32/27.47 c #Conflicts: 72000 | #Constraints: 10648 27.32/27.47 c INPROCESSING 27.32/27.47 c GARBAGE COLLECT 27.32/27.47 c rational objective 0 31.22/31.35 c #Conflicts: 73000 | #Constraints: 6241 31.22/31.35 c #Conflicts: 74000 | #Constraints: 7244 31.22/31.35 c #Conflicts: 75000 | #Constraints: 8244 31.22/31.35 c #Conflicts: 76000 | #Constraints: 9246 31.22/31.35 c #Conflicts: 77000 | #Constraints: 10247 31.22/31.35 c #Conflicts: 78000 | #Constraints: 11247 31.22/31.35 c INPROCESSING 31.22/31.35 c GARBAGE COLLECT 31.22/31.35 c rational objective 0 34.30/34.46 c #Conflicts: 79000 | #Constraints: 6638 34.30/34.46 c #Conflicts: 80000 | #Constraints: 7639 34.30/34.46 c #Conflicts: 81000 | #Constraints: 8639 34.30/34.46 c #Conflicts: 82000 | #Constraints: 9639 34.30/34.46 c #Conflicts: 83000 | #Constraints: 10639 34.30/34.46 c #Conflicts: 84000 | #Constraints: 11639 34.30/34.46 c INPROCESSING 34.30/34.46 c GARBAGE COLLECT 34.30/34.46 c rational objective 0 37.79/37.93 c #Conflicts: 85000 | #Constraints: 6841 37.79/37.93 c #Conflicts: 86000 | #Constraints: 7841 37.79/37.93 c #Conflicts: 87000 | #Constraints: 8842 37.79/37.93 c #Conflicts: 88000 | #Constraints: 9843 37.79/37.93 c #Conflicts: 89000 | #Constraints: 10845 37.79/37.93 c #Conflicts: 90000 | #Constraints: 11845 37.79/37.93 c INPROCESSING 37.79/37.93 c GARBAGE COLLECT 37.79/37.93 c rational objective 0 42.28/42.44 c #Conflicts: 91000 | #Constraints: 6840 42.28/42.44 c #Conflicts: 92000 | #Constraints: 7840 42.28/42.44 c #Conflicts: 93000 | #Constraints: 8840 42.28/42.44 c #Conflicts: 94000 | #Constraints: 9840 42.28/42.44 c #Conflicts: 95000 | #Constraints: 10841 42.28/42.44 c #Conflicts: 96000 | #Constraints: 11842 42.28/42.44 c INPROCESSING 42.28/42.44 c GARBAGE COLLECT 42.28/42.44 c rational objective 0 46.47/46.62 c #Conflicts: 97000 | #Constraints: 6641 46.47/46.62 c #Conflicts: 98000 | #Constraints: 7642 46.47/46.62 c #Conflicts: 99000 | #Constraints: 8643 46.47/46.62 c #Conflicts: 100000 | #Constraints: 9643 46.47/46.62 c #Conflicts: 101000 | #Constraints: 10645 46.47/46.62 c #Conflicts: 102000 | #Constraints: 11646 46.47/46.62 c #Conflicts: 103000 | #Constraints: 12646 46.47/46.62 c INPROCESSING 46.47/46.62 c GARBAGE COLLECT 46.47/46.62 c rational objective 0 51.16/51.32 c bounds 7 >= 0 @ 46.1848 51.16/51.32 c #Conflicts: 104000 | #Constraints: 7239 51.16/51.32 c #Conflicts: 105000 | #Constraints: 8242 51.16/51.32 c #Conflicts: 106000 | #Constraints: 9243 51.16/51.32 c #Conflicts: 107000 | #Constraints: 10244 51.16/51.32 c #Conflicts: 108000 | #Constraints: 11245 51.16/51.32 c #Conflicts: 109000 | #Constraints: 12246 51.16/51.32 c #Conflicts: 110000 | #Constraints: 13246 51.16/51.32 c INPROCESSING 51.16/51.32 c GARBAGE COLLECT 51.16/51.32 c rational objective 0 55.05/55.29 c #Conflicts: 111000 | #Constraints: 7640 55.05/55.29 c #Conflicts: 112000 | #Constraints: 8640 55.05/55.29 c #Conflicts: 113000 | #Constraints: 9641 55.05/55.29 c #Conflicts: 114000 | #Constraints: 10641 55.05/55.29 c #Conflicts: 115000 | #Constraints: 11641 55.05/55.29 c #Conflicts: 116000 | #Constraints: 12641 55.05/55.29 c #Conflicts: 117000 | #Constraints: 13641 55.05/55.29 c INPROCESSING 55.05/55.29 c GARBAGE COLLECT 55.05/55.29 c rational objective 0 60.54/60.74 c #Conflicts: 118000 | #Constraints: 7839 60.54/60.74 c #Conflicts: 119000 | #Constraints: 8840 60.54/60.74 c #Conflicts: 120000 | #Constraints: 9842 60.54/60.74 c #Conflicts: 121000 | #Constraints: 10842 60.54/60.74 c #Conflicts: 122000 | #Constraints: 11843 60.54/60.74 c #Conflicts: 123000 | #Constraints: 12844 60.54/60.74 c #Conflicts: 124000 | #Constraints: 13844 60.54/60.74 c INPROCESSING 60.54/60.74 c GARBAGE COLLECT 60.54/60.74 c rational objective 0 64.94/65.13 c #Conflicts: 125000 | #Constraints: 7842 64.94/65.13 c #Conflicts: 126000 | #Constraints: 8843 64.94/65.13 c #Conflicts: 127000 | #Constraints: 9843 64.94/65.13 c #Conflicts: 128000 | #Constraints: 10843 64.94/65.13 c #Conflicts: 129000 | #Constraints: 11844 64.94/65.13 c #Conflicts: 130000 | #Constraints: 12844 64.94/65.13 c #Conflicts: 131000 | #Constraints: 13844 64.94/65.13 c INPROCESSING 64.94/65.13 c GARBAGE COLLECT 64.94/65.13 c rational objective 0 69.61/69.83 c #Conflicts: 132000 | #Constraints: 7641 69.61/69.83 c #Conflicts: 133000 | #Constraints: 8644 69.61/69.83 c #Conflicts: 134000 | #Constraints: 9645 69.61/69.83 c #Conflicts: 135000 | #Constraints: 10647 69.61/69.83 c #Conflicts: 136000 | #Constraints: 11647 69.61/69.83 c #Conflicts: 137000 | #Constraints: 12649 69.61/69.83 c #Conflicts: 138000 | #Constraints: 13649 69.61/69.83 c #Conflicts: 139000 | #Constraints: 14649 69.61/69.83 c INPROCESSING 69.61/69.83 c GARBAGE COLLECT 69.61/69.83 c rational objective 0 76.10/76.36 c #Conflicts: 140000 | #Constraints: 8243 76.10/76.36 c #Conflicts: 141000 | #Constraints: 9244 76.10/76.36 c #Conflicts: 142000 | #Constraints: 10245 76.10/76.36 c #Conflicts: 143000 | #Constraints: 11248 76.10/76.36 c #Conflicts: 144000 | #Constraints: 12249 76.10/76.36 c #Conflicts: 145000 | #Constraints: 13249 76.10/76.36 c #Conflicts: 146000 | #Constraints: 14249 76.10/76.36 c #Conflicts: 147000 | #Constraints: 15249 76.10/76.36 c INPROCESSING 76.10/76.36 c GARBAGE COLLECT 76.10/76.36 c rational objective 0 80.99/81.23 c #Conflicts: 148000 | #Constraints: 8646 80.99/81.23 c #Conflicts: 149000 | #Constraints: 9646 80.99/81.23 c #Conflicts: 150000 | #Constraints: 10649 80.99/81.23 c #Conflicts: 151000 | #Constraints: 11651 80.99/81.23 c #Conflicts: 152000 | #Constraints: 12651 80.99/81.23 c #Conflicts: 153000 | #Constraints: 13651 80.99/81.23 c #Conflicts: 154000 | #Constraints: 14651 80.99/81.23 c #Conflicts: 155000 | #Constraints: 15652 80.99/81.23 c INPROCESSING 80.99/81.23 c GARBAGE COLLECT 80.99/81.23 c rational objective 0 88.27/88.57 c #Conflicts: 156000 | #Constraints: 8845 88.27/88.57 c #Conflicts: 157000 | #Constraints: 9847 88.27/88.57 c #Conflicts: 158000 | #Constraints: 10849 88.27/88.57 c #Conflicts: 159000 | #Constraints: 11850 88.27/88.57 c #Conflicts: 160000 | #Constraints: 12850 88.27/88.57 c #Conflicts: 161000 | #Constraints: 13850 88.27/88.57 c #Conflicts: 162000 | #Constraints: 14851 88.27/88.57 c #Conflicts: 163000 | #Constraints: 15852 88.27/88.57 c INPROCESSING 88.27/88.57 c GARBAGE COLLECT 88.27/88.57 c rational objective 0 94.16/94.44 c #Conflicts: 164000 | #Constraints: 8847 94.16/94.44 c #Conflicts: 165000 | #Constraints: 9847 94.16/94.44 c #Conflicts: 166000 | #Constraints: 10847 94.16/94.44 c #Conflicts: 167000 | #Constraints: 11847 94.16/94.44 c #Conflicts: 168000 | #Constraints: 12848 94.16/94.44 c #Conflicts: 169000 | #Constraints: 13848 94.16/94.44 c #Conflicts: 170000 | #Constraints: 14850 94.16/94.44 c #Conflicts: 171000 | #Constraints: 15850 94.16/94.44 c INPROCESSING 94.16/94.44 c GARBAGE COLLECT 94.16/94.44 c rational objective 0 100.04/100.30 c #Conflicts: 172000 | #Constraints: 8643 100.04/100.30 c #Conflicts: 173000 | #Constraints: 9643 100.04/100.30 c #Conflicts: 174000 | #Constraints: 10643 100.04/100.30 c #Conflicts: 175000 | #Constraints: 11644 100.04/100.30 c #Conflicts: 176000 | #Constraints: 12644 100.04/100.30 c #Conflicts: 177000 | #Constraints: 13644 100.04/100.30 c #Conflicts: 178000 | #Constraints: 14644 100.04/100.30 c #Conflicts: 179000 | #Constraints: 15644 100.04/100.30 c #Conflicts: 180000 | #Constraints: 16646 100.04/100.30 c INPROCESSING 100.04/100.30 c GARBAGE COLLECT 100.04/100.30 c rational objective 0 108.22/108.52 c #Conflicts: 181000 | #Constraints: 9241 108.22/108.52 c #Conflicts: 182000 | #Constraints: 10242 108.22/108.52 c #Conflicts: 183000 | #Constraints: 11242 108.22/108.52 c #Conflicts: 184000 | #Constraints: 12243 108.22/108.52 c #Conflicts: 185000 | #Constraints: 13243 108.22/108.52 c #Conflicts: 186000 | #Constraints: 14243 108.22/108.52 c #Conflicts: 187000 | #Constraints: 15245 108.22/108.52 c #Conflicts: 188000 | #Constraints: 16246 108.22/108.52 c #Conflicts: 189000 | #Constraints: 17247 108.22/108.52 c INPROCESSING 108.22/108.52 c GARBAGE COLLECT 108.22/108.52 c rational objective 0 114.90/115.25 c #Conflicts: 190000 | #Constraints: 9642 114.90/115.25 c #Conflicts: 191000 | #Constraints: 10642 114.90/115.25 c #Conflicts: 192000 | #Constraints: 11643 114.90/115.25 c #Conflicts: 193000 | #Constraints: 12644 114.90/115.25 c #Conflicts: 194000 | #Constraints: 13644 114.90/115.25 c #Conflicts: 195000 | #Constraints: 14644 114.90/115.25 c #Conflicts: 196000 | #Constraints: 15644 114.90/115.25 c #Conflicts: 197000 | #Constraints: 16644 114.90/115.25 c #Conflicts: 198000 | #Constraints: 17644 114.90/115.25 c INPROCESSING 114.90/115.25 c GARBAGE COLLECT 114.90/115.25 c rational objective 0 123.69/124.05 c #Conflicts: 199000 | #Constraints: 9844 123.69/124.05 c #Conflicts: 200000 | #Constraints: 10844 123.69/124.05 c #Conflicts: 201000 | #Constraints: 11845 123.69/124.05 c #Conflicts: 202000 | #Constraints: 12845 123.69/124.05 c #Conflicts: 203000 | #Constraints: 13845 123.69/124.05 c #Conflicts: 204000 | #Constraints: 14846 123.69/124.05 c #Conflicts: 205000 | #Constraints: 15846 123.69/124.05 c #Conflicts: 206000 | #Constraints: 16846 123.69/124.05 c bounds 5 >= 0 @ 121.799 123.69/124.05 c #Conflicts: 207000 | #Constraints: 17848 123.69/124.05 c INPROCESSING 123.69/124.05 c GARBAGE COLLECT 123.69/124.05 c rational objective 0 132.36/132.72 c #Conflicts: 208000 | #Constraints: 9840 132.36/132.72 c #Conflicts: 209000 | #Constraints: 10840 132.36/132.72 c #Conflicts: 210000 | #Constraints: 11840 132.36/132.72 c #Conflicts: 211000 | #Constraints: 12840 132.36/132.72 c #Conflicts: 212000 | #Constraints: 13840 132.36/132.72 c #Conflicts: 213000 | #Constraints: 14840 132.36/132.72 c #Conflicts: 214000 | #Constraints: 15840 132.36/132.72 c #Conflicts: 215000 | #Constraints: 16840 132.36/132.72 c #Conflicts: 216000 | #Constraints: 17840 132.36/132.72 c INPROCESSING 132.36/132.72 c GARBAGE COLLECT 132.36/132.72 c rational objective 0 141.94/142.38 c #Conflicts: 217000 | #Constraints: 9641 141.94/142.38 c #Conflicts: 218000 | #Constraints: 10642 141.94/142.38 c #Conflicts: 219000 | #Constraints: 11644 141.94/142.38 c #Conflicts: 220000 | #Constraints: 12644 141.94/142.38 c #Conflicts: 221000 | #Constraints: 13645 141.94/142.38 c #Conflicts: 222000 | #Constraints: 14646 141.94/142.38 c #Conflicts: 223000 | #Constraints: 15646 141.94/142.38 c #Conflicts: 224000 | #Constraints: 16646 141.94/142.38 c #Conflicts: 225000 | #Constraints: 17646 141.94/142.38 c #Conflicts: 226000 | #Constraints: 18647 141.94/142.38 c INPROCESSING 141.94/142.38 c GARBAGE COLLECT 141.94/142.38 c rational objective 0 150.12/150.51 c #Conflicts: 227000 | #Constraints: 10242 150.12/150.51 c #Conflicts: 228000 | #Constraints: 11242 150.12/150.51 c #Conflicts: 229000 | #Constraints: 12242 150.12/150.51 c #Conflicts: 230000 | #Constraints: 13242 150.12/150.51 c #Conflicts: 231000 | #Constraints: 14242 150.12/150.51 c #Conflicts: 232000 | #Constraints: 15243 150.12/150.51 c #Conflicts: 233000 | #Constraints: 16243 150.12/150.51 c #Conflicts: 234000 | #Constraints: 17243 150.12/150.51 c #Conflicts: 235000 | #Constraints: 18243 150.12/150.51 c #Conflicts: 236000 | #Constraints: 19243 150.12/150.51 c INPROCESSING 150.12/150.51 c GARBAGE COLLECT 150.12/150.51 c rational objective 0 160.48/160.99 c #Conflicts: 237000 | #Constraints: 10637 160.48/160.99 c #Conflicts: 238000 | #Constraints: 11637 160.48/160.99 c #Conflicts: 239000 | #Constraints: 12637 160.48/160.99 c #Conflicts: 240000 | #Constraints: 13638 160.48/160.99 c #Conflicts: 241000 | #Constraints: 14638 160.48/160.99 c #Conflicts: 242000 | #Constraints: 15638 160.48/160.99 c #Conflicts: 243000 | #Constraints: 16640 160.48/160.99 c #Conflicts: 244000 | #Constraints: 17641 160.48/160.99 c #Conflicts: 245000 | #Constraints: 18641 160.48/160.99 c #Conflicts: 246000 | #Constraints: 19641 160.48/160.99 c INPROCESSING 160.48/160.99 c GARBAGE COLLECT 160.48/160.99 c rational objective 0 169.47/169.92 c #Conflicts: 247000 | #Constraints: 10843 169.47/169.92 c #Conflicts: 248000 | #Constraints: 11844 169.47/169.92 c #Conflicts: 249000 | #Constraints: 12844 169.47/169.92 c #Conflicts: 250000 | #Constraints: 13844 169.47/169.92 c #Conflicts: 251000 | #Constraints: 14844 169.47/169.92 c #Conflicts: 252000 | #Constraints: 15844 169.47/169.92 c #Conflicts: 253000 | #Constraints: 16845 169.47/169.92 c #Conflicts: 254000 | #Constraints: 17845 169.47/169.92 c #Conflicts: 255000 | #Constraints: 18846 169.47/169.92 c #Conflicts: 256000 | #Constraints: 19847 169.47/169.92 c INPROCESSING 169.47/169.92 c GARBAGE COLLECT 169.47/169.92 c rational objective 0 179.94/180.50 c #Conflicts: 257000 | #Constraints: 11059 179.94/180.50 c #Conflicts: 258000 | #Constraints: 12315 179.94/180.50 c #Conflicts: 259000 | #Constraints: 13315 179.94/180.50 c #Conflicts: 260000 | #Constraints: 14427 179.94/180.50 c #Conflicts: 261000 | #Constraints: 15428 179.94/180.50 c #Conflicts: 262000 | #Constraints: 16428 179.94/180.50 c #Conflicts: 263000 | #Constraints: 17428 179.94/180.50 c #Conflicts: 264000 | #Constraints: 18863 179.94/180.50 c #Conflicts: 265000 | #Constraints: 20200 179.94/180.50 c #Conflicts: 266000 | #Constraints: 21202 179.94/180.50 c INPROCESSING 179.94/180.50 c GARBAGE COLLECT 179.94/180.50 c rational objective 0 193.11/193.65 c #Conflicts: 267000 | #Constraints: 11327 193.11/193.65 c #Conflicts: 268000 | #Constraints: 12334 193.11/193.65 c #Conflicts: 269000 | #Constraints: 13335 193.11/193.65 c #Conflicts: 270000 | #Constraints: 14336 193.11/193.65 c #Conflicts: 271000 | #Constraints: 15337 193.11/193.65 c #Conflicts: 272000 | #Constraints: 16464 193.11/193.65 c #Conflicts: 273000 | #Constraints: 17540 193.11/193.65 c #Conflicts: 274000 | #Constraints: 18735 193.11/193.65 c #Conflicts: 275000 | #Constraints: 19735 193.11/193.65 c #Conflicts: 276000 | #Constraints: 20756 193.11/193.65 c #Conflicts: 277000 | #Constraints: 21846 193.11/193.65 c INPROCESSING 193.11/193.65 c GARBAGE COLLECT 193.11/193.65 c rational objective 0 209.26/209.85 c #Conflicts: 278000 | #Constraints: 12297 209.26/209.85 c #Conflicts: 279000 | #Constraints: 13883 209.26/209.85 c #Conflicts: 280000 | #Constraints: 15530 209.26/209.85 c #Conflicts: 281000 | #Constraints: 17197 209.26/209.85 c #Conflicts: 282000 | #Constraints: 18351 209.26/209.85 c #Conflicts: 283000 | #Constraints: 19778 209.26/209.85 c #Conflicts: 284000 | #Constraints: 21381 209.26/209.85 c #Conflicts: 285000 | #Constraints: 23014 209.26/209.85 c #Conflicts: 286000 | #Constraints: 24648 209.26/209.85 c #Conflicts: 287000 | #Constraints: 26251 209.26/209.85 c #Conflicts: 288000 | #Constraints: 27832 209.26/209.85 c INPROCESSING 209.26/209.85 c GARBAGE COLLECT 209.26/209.85 c rational objective 0 230.10/230.79 c #Conflicts: 289000 | #Constraints: 15212 230.10/230.79 c #Conflicts: 290000 | #Constraints: 16649 230.10/230.79 c #Conflicts: 291000 | #Constraints: 17924 230.10/230.79 c #Conflicts: 292000 | #Constraints: 19292 230.10/230.79 c #Conflicts: 293000 | #Constraints: 20894 230.10/230.79 c #Conflicts: 294000 | #Constraints: 22223 230.10/230.79 c #Conflicts: 295000 | #Constraints: 23483 230.10/230.79 c #Conflicts: 296000 | #Constraints: 24922 230.10/230.79 c #Conflicts: 297000 | #Constraints: 26211 230.10/230.79 c #Conflicts: 298000 | #Constraints: 27684 230.10/230.79 c #Conflicts: 299000 | #Constraints: 28992 230.10/230.79 c INPROCESSING 230.10/230.79 c GARBAGE COLLECT 230.10/230.79 c rational objective 0 242.18/242.82 c #Conflicts: 300000 | #Constraints: 15517 242.18/242.82 c #Conflicts: 301000 | #Constraints: 16517 242.18/242.82 c #Conflicts: 302000 | #Constraints: 17517 242.18/242.82 c #Conflicts: 303000 | #Constraints: 18517 242.18/242.82 c #Conflicts: 304000 | #Constraints: 19518 242.18/242.82 c #Conflicts: 305000 | #Constraints: 20519 242.18/242.82 c #Conflicts: 306000 | #Constraints: 21593 242.18/242.82 c #Conflicts: 307000 | #Constraints: 22593 242.18/242.82 c #Conflicts: 308000 | #Constraints: 23593 242.18/242.82 c #Conflicts: 309000 | #Constraints: 24593 242.18/242.82 c #Conflicts: 310000 | #Constraints: 25594 242.18/242.82 c INPROCESSING 242.18/242.82 c GARBAGE COLLECT 242.18/242.82 c rational objective 0 266.71/267.47 c #Conflicts: 311000 | #Constraints: 14200 266.71/267.47 c #Conflicts: 312000 | #Constraints: 15782 266.71/267.47 c #Conflicts: 313000 | #Constraints: 17385 266.71/267.47 c #Conflicts: 314000 | #Constraints: 18987 266.71/267.47 c #Conflicts: 315000 | #Constraints: 20664 266.71/267.47 c #Conflicts: 316000 | #Constraints: 22329 266.71/267.47 c #Conflicts: 317000 | #Constraints: 23994 266.71/267.47 c #Conflicts: 318000 | #Constraints: 25654 266.71/267.47 c #Conflicts: 319000 | #Constraints: 27366 266.71/267.47 c #Conflicts: 320000 | #Constraints: 29025 266.71/267.47 c #Conflicts: 321000 | #Constraints: 30653 266.71/267.47 c INPROCESSING 266.71/267.47 c GARBAGE COLLECT 266.71/267.47 c rational objective 0 287.54/288.33 c #Conflicts: 322000 | #Constraints: 16450 287.54/288.33 c #Conflicts: 323000 | #Constraints: 17609 287.54/288.33 c #Conflicts: 324000 | #Constraints: 18756 287.54/288.33 c #Conflicts: 325000 | #Constraints: 20337 287.54/288.33 c #Conflicts: 326000 | #Constraints: 21551 287.54/288.33 c #Conflicts: 327000 | #Constraints: 22967 287.54/288.33 c #Conflicts: 328000 | #Constraints: 24560 287.54/288.33 c #Conflicts: 329000 | #Constraints: 26148 287.54/288.33 c #Conflicts: 330000 | #Constraints: 27761 287.54/288.33 c #Conflicts: 331000 | #Constraints: 29380 287.54/288.33 c #Conflicts: 332000 | #Constraints: 30970 287.54/288.33 c #Conflicts: 333000 | #Constraints: 32604 287.54/288.33 c INPROCESSING 287.54/288.33 c GARBAGE COLLECT 287.54/288.33 c rational objective 0 311.38/312.25 c #Conflicts: 334000 | #Constraints: 17767 311.38/312.25 c #Conflicts: 335000 | #Constraints: 19396 311.38/312.25 c #Conflicts: 336000 | #Constraints: 21045 311.38/312.25 c #Conflicts: 337000 | #Constraints: 22700 311.38/312.25 c #Conflicts: 338000 | #Constraints: 24279 311.38/312.25 c #Conflicts: 339000 | #Constraints: 25877 311.38/312.25 c #Conflicts: 340000 | #Constraints: 27512 311.38/312.25 c #Conflicts: 341000 | #Constraints: 29170 311.38/312.25 c #Conflicts: 342000 | #Constraints: 30775 311.38/312.25 c #Conflicts: 343000 | #Constraints: 32420 311.38/312.25 c #Conflicts: 344000 | #Constraints: 34087 311.38/312.25 c #Conflicts: 345000 | #Constraints: 35734 311.38/312.25 c INPROCESSING 311.38/312.25 c GARBAGE COLLECT 311.38/312.25 c rational objective 0 338.71/339.65 c #Conflicts: 346000 | #Constraints: 19231 338.71/339.65 c #Conflicts: 347000 | #Constraints: 20390 338.71/339.65 c #Conflicts: 348000 | #Constraints: 21458 338.71/339.65 c #Conflicts: 349000 | #Constraints: 22790 338.71/339.65 c #Conflicts: 350000 | #Constraints: 23933 338.71/339.65 c #Conflicts: 351000 | #Constraints: 25574 338.71/339.65 c #Conflicts: 352000 | #Constraints: 26636 338.71/339.65 c #Conflicts: 353000 | #Constraints: 27718 338.71/339.65 c #Conflicts: 354000 | #Constraints: 28961 338.71/339.65 c #Conflicts: 355000 | #Constraints: 30144 338.71/339.65 c #Conflicts: 356000 | #Constraints: 31293 338.71/339.65 c #Conflicts: 357000 | #Constraints: 32492 338.71/339.65 c INPROCESSING 338.71/339.65 c GARBAGE COLLECT 338.71/339.65 c rational objective 0 356.66/357.64 c #Conflicts: 358000 | #Constraints: 17404 356.66/357.64 c #Conflicts: 359000 | #Constraints: 18404 356.66/357.64 c #Conflicts: 360000 | #Constraints: 19404 356.66/357.64 c #Conflicts: 361000 | #Constraints: 20404 356.66/357.64 c #Conflicts: 362000 | #Constraints: 21405 356.66/357.64 c #Conflicts: 363000 | #Constraints: 22405 356.66/357.64 c #Conflicts: 364000 | #Constraints: 23838 356.66/357.64 c #Conflicts: 365000 | #Constraints: 25317 356.66/357.64 c #Conflicts: 366000 | #Constraints: 26317 356.66/357.64 c #Conflicts: 367000 | #Constraints: 27337 356.66/357.64 c #Conflicts: 368000 | #Constraints: 28412 356.66/357.64 c #Conflicts: 369000 | #Constraints: 29521 356.66/357.64 c INPROCESSING 356.66/357.64 c GARBAGE COLLECT 356.66/357.64 c rational objective 0 386.09/387.13 c #Conflicts: 370000 | #Constraints: 16268 386.09/387.13 c #Conflicts: 371000 | #Constraints: 17815 386.09/387.13 c #Conflicts: 372000 | #Constraints: 18989 386.09/387.13 c #Conflicts: 373000 | #Constraints: 20217 386.09/387.13 c #Conflicts: 374000 | #Constraints: 21505 386.09/387.13 c #Conflicts: 375000 | #Constraints: 22552 386.09/387.13 c #Conflicts: 376000 | #Constraints: 23593 386.09/387.13 c #Conflicts: 377000 | #Constraints: 24989 386.09/387.13 c #Conflicts: 378000 | #Constraints: 26398 386.09/387.13 c #Conflicts: 379000 | #Constraints: 27761 386.09/387.13 c #Conflicts: 380000 | #Constraints: 29124 386.09/387.13 c #Conflicts: 381000 | #Constraints: 30643 386.09/387.13 c INPROCESSING 386.09/387.13 c GARBAGE COLLECT 386.09/387.13 c rational objective 0 402.73/403.86 c #Conflicts: 382000 | #Constraints: 16159 402.73/403.86 c #Conflicts: 383000 | #Constraints: 17164 402.73/403.86 c #Conflicts: 384000 | #Constraints: 18164 402.73/403.86 c #Conflicts: 385000 | #Constraints: 19164 402.73/403.86 c #Conflicts: 386000 | #Constraints: 20164 402.73/403.86 c #Conflicts: 387000 | #Constraints: 21164 402.73/403.86 c #Conflicts: 388000 | #Constraints: 22164 402.73/403.86 c #Conflicts: 389000 | #Constraints: 23247 402.73/403.86 c #Conflicts: 390000 | #Constraints: 24248 402.73/403.86 c #Conflicts: 391000 | #Constraints: 25443 402.73/403.86 c #Conflicts: 392000 | #Constraints: 26444 402.73/403.86 c #Conflicts: 393000 | #Constraints: 27444 402.73/403.86 c #Conflicts: 394000 | #Constraints: 28444 402.73/403.86 c INPROCESSING 402.73/403.86 c GARBAGE COLLECT 402.73/403.86 c rational objective 0 434.14/435.33 c #Conflicts: 395000 | #Constraints: 15641 434.14/435.33 c #Conflicts: 396000 | #Constraints: 17317 434.14/435.33 c #Conflicts: 397000 | #Constraints: 18978 434.14/435.33 c #Conflicts: 398000 | #Constraints: 20583 434.14/435.33 c #Conflicts: 399000 | #Constraints: 22214 434.14/435.33 c #Conflicts: 400000 | #Constraints: 23811 434.14/435.33 c #Conflicts: 401000 | #Constraints: 25427 434.14/435.33 c #Conflicts: 402000 | #Constraints: 27047 434.14/435.33 c #Conflicts: 403000 | #Constraints: 28698 434.14/435.33 c #Conflicts: 404000 | #Constraints: 30337 434.14/435.33 c #Conflicts: 405000 | #Constraints: 31937 434.14/435.33 c #Conflicts: 406000 | #Constraints: 33552 434.14/435.33 c #Conflicts: 407000 | #Constraints: 35179 434.14/435.33 c INPROCESSING 434.14/435.33 c GARBAGE COLLECT 434.14/435.33 c rational objective 0 484.41/485.74 c #Conflicts: 408000 | #Constraints: 19275 484.41/485.74 c #Conflicts: 409000 | #Constraints: 20917 484.41/485.74 c #Conflicts: 410000 | #Constraints: 22525 484.41/485.74 c #Conflicts: 411000 | #Constraints: 24175 484.41/485.74 c #Conflicts: 412000 | #Constraints: 25787 484.41/485.74 c #Conflicts: 413000 | #Constraints: 27451 484.41/485.74 c #Conflicts: 414000 | #Constraints: 29074 484.41/485.74 c #Conflicts: 415000 | #Constraints: 30700 484.41/485.74 c #Conflicts: 416000 | #Constraints: 32300 484.41/485.74 c #Conflicts: 417000 | #Constraints: 33912 484.41/485.74 c #Conflicts: 418000 | #Constraints: 35562 484.41/485.74 c #Conflicts: 419000 | #Constraints: 37216 484.41/485.74 c #Conflicts: 420000 | #Constraints: 38831 484.41/485.74 c INPROCESSING 484.41/485.74 c GARBAGE COLLECT 484.41/485.74 c rational objective 0 519.72/521.19 c #Conflicts: 421000 | #Constraints: 21006 519.72/521.19 c #Conflicts: 422000 | #Constraints: 22585 519.72/521.19 c #Conflicts: 423000 | #Constraints: 24188 519.72/521.19 c #Conflicts: 424000 | #Constraints: 25877 519.72/521.19 c #Conflicts: 425000 | #Constraints: 27189 519.72/521.19 c #Conflicts: 426000 | #Constraints: 28189 519.72/521.19 c #Conflicts: 427000 | #Constraints: 29410 519.72/521.19 c #Conflicts: 428000 | #Constraints: 30548 519.72/521.19 c #Conflicts: 429000 | #Constraints: 32195 519.72/521.19 c #Conflicts: 430000 | #Constraints: 33228 519.72/521.19 c #Conflicts: 431000 | #Constraints: 34721 519.72/521.19 c #Conflicts: 432000 | #Constraints: 36158 519.72/521.19 c #Conflicts: 433000 | #Constraints: 37573 519.72/521.19 c INPROCESSING 519.72/521.19 c GARBAGE COLLECT 519.72/521.19 c rational objective 0 555.52/557.11 c #Conflicts: 434000 | #Constraints: 20326 555.52/557.11 c #Conflicts: 435000 | #Constraints: 21480 555.52/557.11 c #Conflicts: 436000 | #Constraints: 22480 555.52/557.11 c #Conflicts: 437000 | #Constraints: 23480 555.52/557.11 c #Conflicts: 438000 | #Constraints: 25013 555.52/557.11 c #Conflicts: 439000 | #Constraints: 26144 555.52/557.11 c #Conflicts: 440000 | #Constraints: 27176 555.52/557.11 c #Conflicts: 441000 | #Constraints: 28584 555.52/557.11 c #Conflicts: 442000 | #Constraints: 29656 555.52/557.11 c #Conflicts: 443000 | #Constraints: 30784 555.52/557.11 c #Conflicts: 444000 | #Constraints: 32222 555.52/557.11 c #Conflicts: 445000 | #Constraints: 33329 555.52/557.11 c #Conflicts: 446000 | #Constraints: 34816 555.52/557.11 c INPROCESSING 555.52/557.11 c GARBAGE COLLECT 555.52/557.11 c rational objective 0 585.63/587.26 c #Conflicts: 447000 | #Constraints: 18237 585.63/587.26 c #Conflicts: 448000 | #Constraints: 19326 585.63/587.26 c #Conflicts: 449000 | #Constraints: 20353 585.63/587.26 c #Conflicts: 450000 | #Constraints: 21389 585.63/587.26 c #Conflicts: 451000 | #Constraints: 22512 585.63/587.26 c #Conflicts: 452000 | #Constraints: 23713 585.63/587.26 c #Conflicts: 453000 | #Constraints: 24852 585.63/587.26 c #Conflicts: 454000 | #Constraints: 26209 585.63/587.26 c #Conflicts: 455000 | #Constraints: 27527 585.63/587.26 c #Conflicts: 456000 | #Constraints: 28938 585.63/587.26 c #Conflicts: 457000 | #Constraints: 30011 585.63/587.26 c #Conflicts: 458000 | #Constraints: 31045 585.63/587.26 c #Conflicts: 459000 | #Constraints: 32456 585.63/587.26 c #Conflicts: 460000 | #Constraints: 33751 585.63/587.26 c INPROCESSING 585.63/587.26 c GARBAGE COLLECT 585.63/587.26 c rational objective 0 617.95/619.64 c #Conflicts: 461000 | #Constraints: 18016 617.95/619.64 c #Conflicts: 462000 | #Constraints: 19192 617.95/619.64 c #Conflicts: 463000 | #Constraints: 20289 617.95/619.64 c #Conflicts: 464000 | #Constraints: 21294 617.95/619.64 c #Conflicts: 465000 | #Constraints: 22294 617.95/619.64 c #Conflicts: 466000 | #Constraints: 23449 617.95/619.64 c #Conflicts: 467000 | #Constraints: 24449 617.95/619.64 c #Conflicts: 468000 | #Constraints: 25490 617.95/619.64 c #Conflicts: 469000 | #Constraints: 26491 617.95/619.64 c #Conflicts: 470000 | #Constraints: 27491 617.95/619.64 c #Conflicts: 471000 | #Constraints: 28491 617.95/619.64 c #Conflicts: 472000 | #Constraints: 29590 617.95/619.64 c #Conflicts: 473000 | #Constraints: 30660 617.95/619.64 c #Conflicts: 474000 | #Constraints: 31660 617.95/619.64 c INPROCESSING 617.95/619.64 c GARBAGE COLLECT 617.95/619.64 c rational objective 0 656.83/658.65 c #Conflicts: 475000 | #Constraints: 17405 656.83/658.65 c #Conflicts: 476000 | #Constraints: 19013 656.83/658.65 c #Conflicts: 477000 | #Constraints: 20637 656.83/658.65 c #Conflicts: 478000 | #Constraints: 22237 656.83/658.65 c #Conflicts: 479000 | #Constraints: 23823 656.83/658.65 c #Conflicts: 480000 | #Constraints: 25439 656.83/658.65 c #Conflicts: 481000 | #Constraints: 27028 656.83/658.65 c #Conflicts: 482000 | #Constraints: 28622 656.83/658.65 c #Conflicts: 483000 | #Constraints: 30247 656.83/658.65 c #Conflicts: 484000 | #Constraints: 31862 656.83/658.65 c #Conflicts: 485000 | #Constraints: 33506 656.83/658.65 c #Conflicts: 486000 | #Constraints: 35118 656.83/658.65 c #Conflicts: 487000 | #Constraints: 36768 656.83/658.65 c #Conflicts: 488000 | #Constraints: 38400 656.83/658.65 c INPROCESSING 656.83/658.65 c GARBAGE COLLECT 656.83/658.65 c rational objective 0 715.57/717.57 c #Conflicts: 489000 | #Constraints: 20739 715.57/717.57 c #Conflicts: 490000 | #Constraints: 22392 715.57/717.57 c #Conflicts: 491000 | #Constraints: 24024 715.57/717.57 c #Conflicts: 492000 | #Constraints: 25694 715.57/717.57 c #Conflicts: 493000 | #Constraints: 27266 715.57/717.57 c #Conflicts: 494000 | #Constraints: 28945 715.57/717.57 c #Conflicts: 495000 | #Constraints: 30591 715.57/717.57 c #Conflicts: 496000 | #Constraints: 32223 715.57/717.57 c #Conflicts: 497000 | #Constraints: 33874 715.57/717.57 c #Conflicts: 498000 | #Constraints: 35519 715.57/717.57 c #Conflicts: 499000 | #Constraints: 37164 715.57/717.57 c #Conflicts: 500000 | #Constraints: 38720 715.57/717.57 c #Conflicts: 501000 | #Constraints: 40134 715.57/717.57 c #Conflicts: 502000 | #Constraints: 41780 715.57/717.57 c INPROCESSING 715.57/717.57 c GARBAGE COLLECT 715.57/717.57 c rational objective 0 757.75/759.88 c #Conflicts: 503000 | #Constraints: 22353 757.75/759.88 c #Conflicts: 504000 | #Constraints: 23781 757.75/759.88 c #Conflicts: 505000 | #Constraints: 25067 757.75/759.88 c #Conflicts: 506000 | #Constraints: 26291 757.75/759.88 c #Conflicts: 507000 | #Constraints: 27407 757.75/759.88 c #Conflicts: 508000 | #Constraints: 28407 757.75/759.88 c #Conflicts: 509000 | #Constraints: 29408 757.75/759.88 c #Conflicts: 510000 | #Constraints: 30544 757.75/759.88 c #Conflicts: 511000 | #Constraints: 31544 757.75/759.88 c #Conflicts: 512000 | #Constraints: 32953 757.75/759.88 c #Conflicts: 513000 | #Constraints: 34440 757.75/759.88 c #Conflicts: 514000 | #Constraints: 35441 757.75/759.88 c #Conflicts: 515000 | #Constraints: 36682 757.75/759.88 c #Conflicts: 516000 | #Constraints: 37873 757.75/759.88 c INPROCESSING 757.75/759.88 c GARBAGE COLLECT 757.75/759.88 c rational objective 0 797.64/799.81 c #Conflicts: 517000 | #Constraints: 19876 797.64/799.81 c #Conflicts: 518000 | #Constraints: 21019 797.64/799.81 c #Conflicts: 519000 | #Constraints: 22657 797.64/799.81 c #Conflicts: 520000 | #Constraints: 24288 797.64/799.81 c #Conflicts: 521000 | #Constraints: 25887 797.64/799.81 c #Conflicts: 522000 | #Constraints: 27035 797.64/799.81 c #Conflicts: 523000 | #Constraints: 28036 797.64/799.81 c #Conflicts: 524000 | #Constraints: 29207 797.64/799.81 c #Conflicts: 525000 | #Constraints: 30839 797.64/799.81 c #Conflicts: 526000 | #Constraints: 32448 797.64/799.81 c #Conflicts: 527000 | #Constraints: 33996 797.64/799.81 c #Conflicts: 528000 | #Constraints: 35612 797.64/799.81 c #Conflicts: 529000 | #Constraints: 37223 797.64/799.81 c #Conflicts: 530000 | #Constraints: 38903 797.64/799.81 c #Conflicts: 531000 | #Constraints: 40555 797.64/799.81 c INPROCESSING 797.64/799.81 c GARBAGE COLLECT 797.64/799.81 c rational objective 0 854.80/857.17 c #Conflicts: 532000 | #Constraints: 21743 854.80/857.17 c #Conflicts: 533000 | #Constraints: 23345 854.80/857.17 c #Conflicts: 534000 | #Constraints: 24911 854.80/857.17 c #Conflicts: 535000 | #Constraints: 26498 854.80/857.17 c #Conflicts: 536000 | #Constraints: 28123 854.80/857.17 c #Conflicts: 537000 | #Constraints: 29249 854.80/857.17 c #Conflicts: 538000 | #Constraints: 30758 854.80/857.17 c #Conflicts: 539000 | #Constraints: 32404 854.80/857.17 c #Conflicts: 540000 | #Constraints: 33849 854.80/857.17 c #Conflicts: 541000 | #Constraints: 34850 854.80/857.17 c #Conflicts: 542000 | #Constraints: 36290 854.80/857.17 c #Conflicts: 543000 | #Constraints: 37291 854.80/857.17 c #Conflicts: 544000 | #Constraints: 38819 854.80/857.17 c #Conflicts: 545000 | #Constraints: 40463 854.80/857.17 c #Conflicts: 546000 | #Constraints: 42112 854.80/857.17 c INPROCESSING 854.80/857.17 c GARBAGE COLLECT 854.80/857.17 c rational objective 0 902.66/905.17 c #Conflicts: 547000 | #Constraints: 22610 902.66/905.17 c #Conflicts: 548000 | #Constraints: 24208 902.66/905.17 c #Conflicts: 549000 | #Constraints: 25898 902.66/905.17 c #Conflicts: 550000 | #Constraints: 27171 902.66/905.17 c #Conflicts: 551000 | #Constraints: 28443 902.66/905.17 c #Conflicts: 552000 | #Constraints: 30061 902.66/905.17 c #Conflicts: 553000 | #Constraints: 31688 902.66/905.17 c #Conflicts: 554000 | #Constraints: 33319 902.66/905.17 c #Conflicts: 555000 | #Constraints: 34959 902.66/905.17 c #Conflicts: 556000 | #Constraints: 36621 902.66/905.17 c #Conflicts: 557000 | #Constraints: 38268 902.66/905.17 c #Conflicts: 558000 | #Constraints: 39558 902.66/905.17 c #Conflicts: 559000 | #Constraints: 41180 902.66/905.17 c #Conflicts: 560000 | #Constraints: 42777 902.66/905.17 c #Conflicts: 561000 | #Constraints: 44349 902.66/905.17 c INPROCESSING 902.66/905.17 c GARBAGE COLLECT 902.66/905.17 c rational objective 0 957.30/959.91 c #Conflicts: 562000 | #Constraints: 23763 957.30/959.91 c #Conflicts: 563000 | #Constraints: 24850 957.30/959.91 c #Conflicts: 564000 | #Constraints: 26027 957.30/959.91 c #Conflicts: 565000 | #Constraints: 27408 957.30/959.91 c #Conflicts: 566000 | #Constraints: 28472 957.30/959.91 c #Conflicts: 567000 | #Constraints: 29511 957.30/959.91 c #Conflicts: 568000 | #Constraints: 30511 957.30/959.91 c #Conflicts: 569000 | #Constraints: 31809 957.30/959.91 c #Conflicts: 570000 | #Constraints: 33400 957.30/959.91 c #Conflicts: 571000 | #Constraints: 34400 957.30/959.91 c #Conflicts: 572000 | #Constraints: 35483 957.30/959.91 c #Conflicts: 573000 | #Constraints: 36706 957.30/959.91 c #Conflicts: 574000 | #Constraints: 37951 957.30/959.91 c #Conflicts: 575000 | #Constraints: 39630 957.30/959.91 c #Conflicts: 576000 | #Constraints: 40803 957.30/959.91 c INPROCESSING 957.30/959.91 c GARBAGE COLLECT 957.30/959.91 c rational objective 0 995.08/997.87 c #Conflicts: 577000 | #Constraints: 21389 995.08/997.87 c #Conflicts: 578000 | #Constraints: 22391 995.08/997.87 c #Conflicts: 579000 | #Constraints: 23542 995.08/997.87 c #Conflicts: 580000 | #Constraints: 25121 995.08/997.87 c #Conflicts: 581000 | #Constraints: 26780 995.08/997.87 c #Conflicts: 582000 | #Constraints: 28094 995.08/997.87 c #Conflicts: 583000 | #Constraints: 29398 995.08/997.87 c #Conflicts: 584000 | #Constraints: 30472 995.08/997.87 c #Conflicts: 585000 | #Constraints: 31472 995.08/997.87 c #Conflicts: 586000 | #Constraints: 32666 995.08/997.87 c #Conflicts: 587000 | #Constraints: 33678 995.08/997.87 c #Conflicts: 588000 | #Constraints: 34678 995.08/997.87 c #Conflicts: 589000 | #Constraints: 35678 995.08/997.87 c #Conflicts: 590000 | #Constraints: 37222 995.08/997.87 c #Conflicts: 591000 | #Constraints: 38455 995.08/997.87 c INPROCESSING 995.08/997.87 c GARBAGE COLLECT 995.08/997.87 c rational objective 0 1039.77/1042.68 c #Conflicts: 592000 | #Constraints: 20047 1039.77/1042.68 c #Conflicts: 593000 | #Constraints: 21433 1039.77/1042.68 c #Conflicts: 594000 | #Constraints: 22466 1039.77/1042.68 c #Conflicts: 595000 | #Constraints: 23466 1039.77/1042.68 c #Conflicts: 596000 | #Constraints: 24468 1039.77/1042.68 c #Conflicts: 597000 | #Constraints: 25468 1039.77/1042.68 c #Conflicts: 598000 | #Constraints: 26468 1039.77/1042.68 c #Conflicts: 599000 | #Constraints: 27468 1039.77/1042.68 c #Conflicts: 600000 | #Constraints: 28468 1039.77/1042.68 c #Conflicts: 601000 | #Constraints: 29469 1039.77/1042.68 c #Conflicts: 602000 | #Constraints: 30582 1039.77/1042.68 c #Conflicts: 603000 | #Constraints: 31604 1039.77/1042.68 c #Conflicts: 604000 | #Constraints: 32869 1039.77/1042.68 c #Conflicts: 605000 | #Constraints: 34115 1039.77/1042.68 c #Conflicts: 606000 | #Constraints: 35115 1039.77/1042.68 c #Conflicts: 607000 | #Constraints: 36116 1039.77/1042.68 c INPROCESSING 1039.77/1042.68 c GARBAGE COLLECT 1039.77/1042.68 c rational objective 0 1074.48/1077.42 c #Conflicts: 608000 | #Constraints: 19251 1074.48/1077.42 c #Conflicts: 609000 | #Constraints: 20311 1074.48/1077.42 c #Conflicts: 610000 | #Constraints: 21378 1074.48/1077.42 c #Conflicts: 611000 | #Constraints: 22959 1074.48/1077.42 c #Conflicts: 612000 | #Constraints: 24079 1074.48/1077.42 c #Conflicts: 613000 | #Constraints: 25079 1074.48/1077.42 c #Conflicts: 614000 | #Constraints: 26160 1074.48/1077.42 c #Conflicts: 615000 | #Constraints: 27160 1074.48/1077.42 c #Conflicts: 616000 | #Constraints: 28160 1074.48/1077.42 c #Conflicts: 617000 | #Constraints: 29161 1074.48/1077.42 c #Conflicts: 618000 | #Constraints: 30161 1074.48/1077.42 c #Conflicts: 619000 | #Constraints: 31161 1074.48/1077.42 c #Conflicts: 620000 | #Constraints: 32246 1074.48/1077.42 c #Conflicts: 621000 | #Constraints: 33246 1074.48/1077.42 c #Conflicts: 622000 | #Constraints: 34246 1074.48/1077.42 c #Conflicts: 623000 | #Constraints: 35247 1074.48/1077.42 c INPROCESSING 1074.48/1077.42 c GARBAGE COLLECT 1074.48/1077.42 c rational objective 0 1136.72/1139.82 c #Conflicts: 624000 | #Constraints: 19294 1136.72/1139.82 c #Conflicts: 625000 | #Constraints: 20890 1136.72/1139.82 c #Conflicts: 626000 | #Constraints: 22552 1136.72/1139.82 c #Conflicts: 627000 | #Constraints: 24149 1136.72/1139.82 c #Conflicts: 628000 | #Constraints: 25767 1136.72/1139.82 c #Conflicts: 629000 | #Constraints: 27410 1136.72/1139.82 c #Conflicts: 630000 | #Constraints: 29038 1136.72/1139.82 c #Conflicts: 631000 | #Constraints: 30662 1136.72/1139.82 c #Conflicts: 632000 | #Constraints: 32264 1136.72/1139.82 c #Conflicts: 633000 | #Constraints: 33848 1136.72/1139.82 c #Conflicts: 634000 | #Constraints: 35494 1136.72/1139.82 c #Conflicts: 635000 | #Constraints: 37126 1136.72/1139.82 c #Conflicts: 636000 | #Constraints: 38758 1136.72/1139.82 c #Conflicts: 637000 | #Constraints: 40381 1136.72/1139.82 c #Conflicts: 638000 | #Constraints: 42023 1136.72/1139.82 c #Conflicts: 639000 | #Constraints: 43643 1136.72/1139.82 c INPROCESSING 1136.72/1139.82 c GARBAGE COLLECT 1136.72/1139.82 c rational objective 0 1186.68/1189.99 c #Conflicts: 640000 | #Constraints: 23285 1186.68/1189.99 c #Conflicts: 641000 | #Constraints: 24285 1186.68/1189.99 c #Conflicts: 642000 | #Constraints: 25285 1186.68/1189.99 c #Conflicts: 643000 | #Constraints: 26905 1186.68/1189.99 c #Conflicts: 644000 | #Constraints: 28499 1186.68/1189.99 c #Conflicts: 645000 | #Constraints: 30128 1186.68/1189.99 c #Conflicts: 646000 | #Constraints: 31771 1186.68/1189.99 c #Conflicts: 647000 | #Constraints: 32981 1186.68/1189.99 c #Conflicts: 648000 | #Constraints: 34584 1186.68/1189.99 c #Conflicts: 649000 | #Constraints: 36241 1186.68/1189.99 c #Conflicts: 650000 | #Constraints: 37899 1186.68/1189.99 c #Conflicts: 651000 | #Constraints: 39526 1186.68/1189.99 c #Conflicts: 652000 | #Constraints: 41212 1186.68/1189.99 c #Conflicts: 653000 | #Constraints: 42858 1186.68/1189.99 c #Conflicts: 654000 | #Constraints: 44522 1186.68/1189.99 c #Conflicts: 655000 | #Constraints: 46173 1186.68/1189.99 c INPROCESSING 1186.68/1189.99 c GARBAGE COLLECT 1186.68/1189.99 c rational objective 0 1234.87/1238.27 c #Conflicts: 656000 | #Constraints: 24576 1234.87/1238.27 c #Conflicts: 657000 | #Constraints: 26052 1234.87/1238.27 c #Conflicts: 658000 | #Constraints: 27428 1234.87/1238.27 c #Conflicts: 659000 | #Constraints: 28919 1234.87/1238.27 c #Conflicts: 660000 | #Constraints: 30551 1234.87/1238.27 c #Conflicts: 661000 | #Constraints: 31988 1234.87/1238.27 c #Conflicts: 662000 | #Constraints: 33074 1234.87/1238.27 c #Conflicts: 663000 | #Constraints: 34588 1234.87/1238.27 c #Conflicts: 664000 | #Constraints: 35688 1234.87/1238.27 c #Conflicts: 665000 | #Constraints: 36697 1234.87/1238.27 c #Conflicts: 666000 | #Constraints: 37698 1234.87/1238.27 c #Conflicts: 667000 | #Constraints: 38699 1234.87/1238.27 c #Conflicts: 668000 | #Constraints: 39700 1234.87/1238.27 c #Conflicts: 669000 | #Constraints: 40700 1234.87/1238.27 c #Conflicts: 670000 | #Constraints: 41700 1234.87/1238.27 c #Conflicts: 671000 | #Constraints: 43118 1234.87/1238.27 c INPROCESSING 1234.87/1238.27 c GARBAGE COLLECT 1234.87/1238.27 c rational objective 0 1286.65/1290.11 c #Conflicts: 672000 | #Constraints: 22279 1286.65/1290.11 c #Conflicts: 673000 | #Constraints: 23294 1286.65/1290.11 c #Conflicts: 674000 | #Constraints: 24312 1286.65/1290.11 c #Conflicts: 675000 | #Constraints: 25312 1286.65/1290.11 c #Conflicts: 676000 | #Constraints: 26312 1286.65/1290.11 c #Conflicts: 677000 | #Constraints: 27519 1286.65/1290.11 c #Conflicts: 678000 | #Constraints: 28581 1286.65/1290.11 c #Conflicts: 679000 | #Constraints: 29582 1286.65/1290.11 c #Conflicts: 680000 | #Constraints: 30620 1286.65/1290.11 c #Conflicts: 681000 | #Constraints: 31697 1286.65/1290.11 c #Conflicts: 682000 | #Constraints: 32705 1286.65/1290.11 c #Conflicts: 683000 | #Constraints: 33793 1286.65/1290.11 c #Conflicts: 684000 | #Constraints: 34806 1286.65/1290.11 c #Conflicts: 685000 | #Constraints: 35878 1286.65/1290.11 c #Conflicts: 686000 | #Constraints: 36912 1286.65/1290.11 c #Conflicts: 687000 | #Constraints: 37912 1286.65/1290.11 c #Conflicts: 688000 | #Constraints: 38912 1286.65/1290.11 c INPROCESSING 1286.65/1290.11 c GARBAGE COLLECT 1286.65/1290.11 c rational objective 0 1325.25/1328.86 c #Conflicts: 689000 | #Constraints: 20616 1325.25/1328.86 c #Conflicts: 690000 | #Constraints: 21899 1325.25/1328.86 c #Conflicts: 691000 | #Constraints: 23427 1325.25/1328.86 c #Conflicts: 692000 | #Constraints: 24595 1325.25/1328.86 c #Conflicts: 693000 | #Constraints: 25595 1325.25/1328.86 c #Conflicts: 694000 | #Constraints: 26682 1325.25/1328.86 c #Conflicts: 695000 | #Constraints: 27682 1325.25/1328.86 c #Conflicts: 696000 | #Constraints: 28682 1325.25/1328.86 c #Conflicts: 697000 | #Constraints: 29683 1325.25/1328.86 c #Conflicts: 698000 | #Constraints: 30686 1325.25/1328.86 c #Conflicts: 699000 | #Constraints: 31687 1325.25/1328.86 c #Conflicts: 700000 | #Constraints: 32688 1325.25/1328.86 c #Conflicts: 701000 | #Constraints: 33689 1325.25/1328.86 c #Conflicts: 702000 | #Constraints: 34691 1325.25/1328.86 c #Conflicts: 703000 | #Constraints: 35691 1325.25/1328.86 c #Conflicts: 704000 | #Constraints: 36841 1325.25/1328.86 c #Conflicts: 705000 | #Constraints: 37841 1325.25/1328.86 c INPROCESSING 1325.25/1328.86 c GARBAGE COLLECT 1325.25/1328.86 c rational objective 0 1396.86/1400.61 c #Conflicts: 706000 | #Constraints: 20612 1396.86/1400.61 c #Conflicts: 707000 | #Constraints: 22272 1396.86/1400.61 c #Conflicts: 708000 | #Constraints: 23940 1396.86/1400.61 c #Conflicts: 709000 | #Constraints: 25608 1396.86/1400.61 c #Conflicts: 710000 | #Constraints: 27275 1396.86/1400.61 c #Conflicts: 711000 | #Constraints: 28914 1396.86/1400.61 c #Conflicts: 712000 | #Constraints: 30565 1396.86/1400.61 c #Conflicts: 713000 | #Constraints: 32226 1396.86/1400.61 c #Conflicts: 714000 | #Constraints: 33707 1396.86/1400.61 c #Conflicts: 715000 | #Constraints: 34852 1396.86/1400.61 c #Conflicts: 716000 | #Constraints: 36500 1396.86/1400.61 c #Conflicts: 717000 | #Constraints: 38160 1396.86/1400.61 c #Conflicts: 718000 | #Constraints: 39813 1396.86/1400.61 c #Conflicts: 719000 | #Constraints: 41414 1396.86/1400.61 c #Conflicts: 720000 | #Constraints: 43019 1396.86/1400.61 c #Conflicts: 721000 | #Constraints: 44619 1396.86/1400.61 c #Conflicts: 722000 | #Constraints: 46237 1396.86/1400.61 c INPROCESSING 1396.86/1400.61 c GARBAGE COLLECT 1396.86/1400.61 c rational objective 0 1436.06/1439.94 c #Conflicts: 723000 | #Constraints: 24139 1436.06/1439.94 c #Conflicts: 724000 | #Constraints: 25141 1436.06/1439.94 c #Conflicts: 725000 | #Constraints: 26145 1436.06/1439.94 c #Conflicts: 726000 | #Constraints: 27145 1436.06/1439.94 c #Conflicts: 727000 | #Constraints: 28145 1436.06/1439.94 c #Conflicts: 728000 | #Constraints: 29146 1436.06/1439.94 c #Conflicts: 729000 | #Constraints: 30147 1436.06/1439.94 c #Conflicts: 730000 | #Constraints: 31147 1436.06/1439.94 c #Conflicts: 731000 | #Constraints: 32147 1436.06/1439.94 c #Conflicts: 732000 | #Constraints: 33149 1436.06/1439.94 c #Conflicts: 733000 | #Constraints: 34150 1436.06/1439.94 c #Conflicts: 734000 | #Constraints: 35153 1436.06/1439.94 c #Conflicts: 735000 | #Constraints: 36154 1436.06/1439.94 c #Conflicts: 736000 | #Constraints: 37156 1436.06/1439.94 c #Conflicts: 737000 | #Constraints: 38156 1436.06/1439.94 c #Conflicts: 738000 | #Constraints: 39156 1436.06/1439.94 c #Conflicts: 739000 | #Constraints: 40156 1436.06/1439.94 c INPROCESSING 1436.06/1439.94 c GARBAGE COLLECT 1436.06/1439.94 c rational objective 0 1486.54/1490.53 c #Conflicts: 740000 | #Constraints: 20995 1486.54/1490.53 c #Conflicts: 741000 | #Constraints: 21996 1486.54/1490.53 c #Conflicts: 742000 | #Constraints: 22996 1486.54/1490.53 c #Conflicts: 743000 | #Constraints: 23996 1486.54/1490.53 c #Conflicts: 744000 | #Constraints: 24996 1486.54/1490.53 c #Conflicts: 745000 | #Constraints: 25998 1486.54/1490.53 c #Conflicts: 746000 | #Constraints: 26999 1486.54/1490.53 c #Conflicts: 747000 | #Constraints: 28000 1486.54/1490.53 c #Conflicts: 748000 | #Constraints: 29001 1486.54/1490.53 c #Conflicts: 749000 | #Constraints: 30001 1486.54/1490.53 c #Conflicts: 750000 | #Constraints: 31002 1486.54/1490.53 c #Conflicts: 751000 | #Constraints: 32002 1486.54/1490.53 c #Conflicts: 752000 | #Constraints: 33002 1486.54/1490.53 c #Conflicts: 753000 | #Constraints: 34002 1486.54/1490.53 c #Conflicts: 754000 | #Constraints: 35002 1486.54/1490.53 c #Conflicts: 755000 | #Constraints: 36002 1486.54/1490.53 c #Conflicts: 756000 | #Constraints: 37004 1486.54/1490.53 c INPROCESSING 1486.54/1490.53 c GARBAGE COLLECT 1486.54/1490.53 c rational objective 0 1528.73/1532.81 c #Conflicts: 757000 | #Constraints: 19254 1528.73/1532.81 c #Conflicts: 758000 | #Constraints: 20363 1528.73/1532.81 c #Conflicts: 759000 | #Constraints: 21885 1528.73/1532.81 c #Conflicts: 760000 | #Constraints: 23020 1528.73/1532.81 c #Conflicts: 761000 | #Constraints: 24058 1528.73/1532.81 c #Conflicts: 762000 | #Constraints: 25132 1528.73/1532.81 c #Conflicts: 763000 | #Constraints: 26218 1528.73/1532.81 c #Conflicts: 764000 | #Constraints: 27218 1528.73/1532.81 c #Conflicts: 765000 | #Constraints: 28218 1528.73/1532.81 c #Conflicts: 766000 | #Constraints: 29223 1528.73/1532.81 c #Conflicts: 767000 | #Constraints: 30252 1528.73/1532.81 c #Conflicts: 768000 | #Constraints: 31471 1528.73/1532.81 c #Conflicts: 769000 | #Constraints: 32479 1528.73/1532.81 c #Conflicts: 770000 | #Constraints: 33531 1528.73/1532.81 c #Conflicts: 771000 | #Constraints: 34575 1528.73/1532.81 c #Conflicts: 772000 | #Constraints: 35575 1528.73/1532.81 c #Conflicts: 773000 | #Constraints: 36895 1528.73/1532.81 c #Conflicts: 774000 | #Constraints: 37895 1528.73/1532.81 c INPROCESSING 1528.73/1532.81 c GARBAGE COLLECT 1528.73/1532.81 c rational objective 0 1590.79/1595.09 c #Conflicts: 775000 | #Constraints: 20314 1590.79/1595.09 c #Conflicts: 776000 | #Constraints: 21935 1590.79/1595.09 c #Conflicts: 777000 | #Constraints: 23576 1590.79/1595.09 c #Conflicts: 778000 | #Constraints: 25214 1590.79/1595.09 c #Conflicts: 779000 | #Constraints: 26819 1590.79/1595.09 c #Conflicts: 780000 | #Constraints: 28397 1590.79/1595.09 c #Conflicts: 781000 | #Constraints: 29995 1590.79/1595.09 c #Conflicts: 782000 | #Constraints: 31589 1590.79/1595.09 c #Conflicts: 783000 | #Constraints: 33237 1590.79/1595.09 c #Conflicts: 784000 | #Constraints: 34870 1590.79/1595.09 c #Conflicts: 785000 | #Constraints: 36483 1590.79/1595.09 c #Conflicts: 786000 | #Constraints: 38090 1590.79/1595.09 c #Conflicts: 787000 | #Constraints: 39721 1590.79/1595.09 c #Conflicts: 788000 | #Constraints: 41342 1590.79/1595.09 c #Conflicts: 789000 | #Constraints: 42963 1590.79/1595.09 c #Conflicts: 790000 | #Constraints: 44599 1590.79/1595.09 c #Conflicts: 791000 | #Constraints: 46257 1590.79/1595.09 c #Conflicts: 792000 | #Constraints: 47917 1590.79/1595.09 c INPROCESSING 1590.79/1595.09 c GARBAGE COLLECT 1590.79/1595.09 c rational objective 0 1654.91/1659.33 c #Conflicts: 793000 | #Constraints: 25181 1654.91/1659.33 c #Conflicts: 794000 | #Constraints: 26347 1654.91/1659.33 c #Conflicts: 795000 | #Constraints: 27347 1654.91/1659.33 c #Conflicts: 796000 | #Constraints: 28347 1654.91/1659.33 c #Conflicts: 797000 | #Constraints: 29638 1654.91/1659.33 c #Conflicts: 798000 | #Constraints: 30814 1654.91/1659.33 c #Conflicts: 799000 | #Constraints: 31815 1654.91/1659.33 c #Conflicts: 800000 | #Constraints: 32816 1654.91/1659.33 c #Conflicts: 801000 | #Constraints: 33819 1654.91/1659.33 c #Conflicts: 802000 | #Constraints: 34825 1654.91/1659.33 c #Conflicts: 803000 | #Constraints: 35825 1654.91/1659.33 c #Conflicts: 804000 | #Constraints: 37201 1654.91/1659.33 c #Conflicts: 805000 | #Constraints: 38361 1654.91/1659.33 c #Conflicts: 806000 | #Constraints: 39778 1654.91/1659.33 c #Conflicts: 807000 | #Constraints: 41338 1654.91/1659.33 c #Conflicts: 808000 | #Constraints: 42463 1654.91/1659.33 c #Conflicts: 809000 | #Constraints: 43527 1654.91/1659.33 c #Conflicts: 810000 | #Constraints: 44725 1654.91/1659.33 c INPROCESSING 1654.91/1659.33 c GARBAGE COLLECT 1654.91/1659.33 c rational objective 0 1701.69/1706.22 c #Conflicts: 811000 | #Constraints: 23951 1701.69/1706.22 c #Conflicts: 812000 | #Constraints: 25268 1701.69/1706.22 c #Conflicts: 813000 | #Constraints: 26268 1701.69/1706.22 c #Conflicts: 814000 | #Constraints: 27304 1701.69/1706.22 c #Conflicts: 815000 | #Constraints: 28467 1701.69/1706.22 c #Conflicts: 816000 | #Constraints: 29467 1701.69/1706.22 c #Conflicts: 817000 | #Constraints: 30480 1701.69/1706.22 c #Conflicts: 818000 | #Constraints: 31591 1701.69/1706.22 c #Conflicts: 819000 | #Constraints: 32591 1701.69/1706.22 c #Conflicts: 820000 | #Constraints: 33919 1701.69/1706.22 c #Conflicts: 821000 | #Constraints: 34919 1701.69/1706.22 c #Conflicts: 822000 | #Constraints: 35919 1701.69/1706.22 c #Conflicts: 823000 | #Constraints: 37361 1701.69/1706.22 c #Conflicts: 824000 | #Constraints: 38519 1701.69/1706.22 c #Conflicts: 825000 | #Constraints: 39785 1701.69/1706.22 c #Conflicts: 826000 | #Constraints: 40785 1701.69/1706.22 c #Conflicts: 827000 | #Constraints: 41786 1701.69/1706.22 c #Conflicts: 828000 | #Constraints: 42787 1701.69/1706.22 c INPROCESSING 1701.69/1706.22 c GARBAGE COLLECT 1701.69/1706.22 c rational objective 0 1783.08/1787.87 c #Conflicts: 829000 | #Constraints: 22811 1783.08/1787.87 c #Conflicts: 830000 | #Constraints: 24434 1783.08/1787.87 c #Conflicts: 831000 | #Constraints: 26066 1783.08/1787.87 c #Conflicts: 832000 | #Constraints: 27654 1783.08/1787.87 c #Conflicts: 833000 | #Constraints: 29287 1783.08/1787.87 c #Conflicts: 834000 | #Constraints: 30951 1783.08/1787.87 c #Conflicts: 835000 | #Constraints: 32588 1783.08/1787.87 c #Conflicts: 836000 | #Constraints: 34257 1783.08/1787.87 c #Conflicts: 837000 | #Constraints: 35916 1783.08/1787.87 c #Conflicts: 838000 | #Constraints: 37564 1783.08/1787.87 c #Conflicts: 839000 | #Constraints: 39227 1783.08/1787.87 c #Conflicts: 840000 | #Constraints: 40896 1783.08/1787.87 c #Conflicts: 841000 | #Constraints: 42545 1783.08/1787.87 c #Conflicts: 842000 | #Constraints: 44225 1783.08/1787.87 c #Conflicts: 843000 | #Constraints: 45887 1783.08/1787.87 c #Conflicts: 844000 | #Constraints: 47570 1783.08/1787.87 c #Conflicts: 845000 | #Constraints: 49260 1783.08/1787.87 c #Conflicts: 846000 | #Constraints: 50902 1783.08/1787.87 c INPROCESSING 1783.08/1787.87 c GARBAGE COLLECT 1783.08/1787.87 c rational objective 0 1851.01/1855.97 c #Conflicts: 847000 | #Constraints: 26586 1851.01/1855.97 c #Conflicts: 848000 | #Constraints: 28227 1851.01/1855.97 c #Conflicts: 849000 | #Constraints: 29774 1851.01/1855.97 c #Conflicts: 850000 | #Constraints: 31394 1851.01/1855.97 c #Conflicts: 851000 | #Constraints: 32979 1851.01/1855.97 c #Conflicts: 852000 | #Constraints: 34628 1851.01/1855.97 c #Conflicts: 853000 | #Constraints: 36286 1851.01/1855.97 c #Conflicts: 854000 | #Constraints: 37947 1851.01/1855.97 c #Conflicts: 855000 | #Constraints: 39554 1851.01/1855.97 c #Conflicts: 856000 | #Constraints: 41150 1851.01/1855.97 c #Conflicts: 857000 | #Constraints: 42723 1851.01/1855.97 c #Conflicts: 858000 | #Constraints: 44411 1851.01/1855.97 c #Conflicts: 859000 | #Constraints: 46076 1851.01/1855.97 c #Conflicts: 860000 | #Constraints: 47745 1851.01/1855.97 c #Conflicts: 861000 | #Constraints: 49388 1851.01/1855.97 c #Conflicts: 862000 | #Constraints: 51013 1851.01/1855.97 c #Conflicts: 863000 | #Constraints: 52659 1851.01/1855.97 c #Conflicts: 864000 | #Constraints: 54281 1851.01/1855.97 c #Conflicts: 865000 | #Constraints: 55899 1851.01/1855.97 c INPROCESSING 1851.01/1855.97 c GARBAGE COLLECT 1851.01/1855.97 c rational objective 0 1934.91/1940.06 c #Conflicts: 866000 | #Constraints: 29252 1934.91/1940.06 c #Conflicts: 867000 | #Constraints: 30500 1934.91/1940.06 c #Conflicts: 868000 | #Constraints: 31774 1934.91/1940.06 c #Conflicts: 869000 | #Constraints: 32776 1934.91/1940.06 c #Conflicts: 870000 | #Constraints: 33777 1934.91/1940.06 c #Conflicts: 871000 | #Constraints: 35137 1934.91/1940.06 c #Conflicts: 872000 | #Constraints: 36137 1934.91/1940.06 c #Conflicts: 873000 | #Constraints: 37217 1934.91/1940.06 c #Conflicts: 874000 | #Constraints: 38297 1934.91/1940.06 c #Conflicts: 875000 | #Constraints: 39297 1934.91/1940.06 c #Conflicts: 876000 | #Constraints: 40656 1934.91/1940.06 c #Conflicts: 877000 | #Constraints: 41656 1934.91/1940.06 c #Conflicts: 878000 | #Constraints: 42664 1934.91/1940.06 c #Conflicts: 879000 | #Constraints: 43954 1934.91/1940.06 c #Conflicts: 880000 | #Constraints: 45257 1934.91/1940.06 c #Conflicts: 881000 | #Constraints: 46650 1934.91/1940.06 c #Conflicts: 882000 | #Constraints: 47665 1934.91/1940.06 c #Conflicts: 883000 | #Constraints: 49086 1934.91/1940.06 c #Conflicts: 884000 | #Constraints: 50157 1934.91/1940.06 c INPROCESSING 1934.91/1940.06 c GARBAGE COLLECT 1934.91/1940.06 c rational objective 0 2023.97/2029.34 c #Conflicts: 885000 | #Constraints: 26719 2023.97/2029.34 c #Conflicts: 886000 | #Constraints: 28387 2023.97/2029.34 c #Conflicts: 887000 | #Constraints: 30040 2023.97/2029.34 c #Conflicts: 888000 | #Constraints: 31662 2023.97/2029.34 c #Conflicts: 889000 | #Constraints: 33336 2023.97/2029.34 c #Conflicts: 890000 | #Constraints: 34932 2023.97/2029.34 c #Conflicts: 891000 | #Constraints: 36541 2023.97/2029.34 c #Conflicts: 892000 | #Constraints: 38178 2023.97/2029.34 c #Conflicts: 893000 | #Constraints: 39811 2023.97/2029.34 c #Conflicts: 894000 | #Constraints: 41455 2023.97/2029.34 c #Conflicts: 895000 | #Constraints: 43077 2023.97/2029.34 c #Conflicts: 896000 | #Constraints: 44728 2023.97/2029.34 c #Conflicts: 897000 | #Constraints: 46339 2023.97/2029.34 c #Conflicts: 898000 | #Constraints: 47963 2023.97/2029.34 c #Conflicts: 899000 | #Constraints: 49346 2023.97/2029.34 c #Conflicts: 900000 | #Constraints: 50992 2023.97/2029.34 c #Conflicts: 901000 | #Constraints: 52623 2023.97/2029.34 c #Conflicts: 902000 | #Constraints: 54279 2023.97/2029.34 c #Conflicts: 903000 | #Constraints: 55951 2023.97/2029.34 c INPROCESSING 2023.97/2029.34 c GARBAGE COLLECT 2023.97/2029.34 c rational objective 0 2144.27/2149.97 c #Conflicts: 904000 | #Constraints: 29629 2144.27/2149.97 c #Conflicts: 905000 | #Constraints: 31271 2144.27/2149.97 c #Conflicts: 906000 | #Constraints: 32880 2144.27/2149.97 c #Conflicts: 907000 | #Constraints: 34462 2144.27/2149.97 c #Conflicts: 908000 | #Constraints: 36124 2144.27/2149.97 c #Conflicts: 909000 | #Constraints: 37811 2144.27/2149.97 c #Conflicts: 910000 | #Constraints: 39460 2144.27/2149.97 c #Conflicts: 911000 | #Constraints: 41038 2144.27/2149.97 c #Conflicts: 912000 | #Constraints: 42656 2144.27/2149.97 c #Conflicts: 913000 | #Constraints: 44249 2144.27/2149.97 c #Conflicts: 914000 | #Constraints: 45860 2144.27/2149.97 c #Conflicts: 915000 | #Constraints: 47463 2144.27/2149.97 c #Conflicts: 916000 | #Constraints: 49085 2144.27/2149.97 c #Conflicts: 917000 | #Constraints: 50667 2144.27/2149.97 c #Conflicts: 918000 | #Constraints: 52162 2144.27/2149.97 c #Conflicts: 919000 | #Constraints: 53786 2144.27/2149.97 c #Conflicts: 920000 | #Constraints: 55403 2144.27/2149.97 c #Conflicts: 921000 | #Constraints: 56982 2144.27/2149.97 c #Conflicts: 922000 | #Constraints: 58440 2144.27/2149.97 c INPROCESSING 2144.27/2149.97 c GARBAGE COLLECT 2144.27/2149.97 c rational objective 0 2201.74/2207.53 c #Conflicts: 923000 | #Constraints: 30341 2201.74/2207.53 c #Conflicts: 924000 | #Constraints: 31342 2201.74/2207.53 c #Conflicts: 925000 | #Constraints: 32342 2201.74/2207.53 c #Conflicts: 926000 | #Constraints: 33345 2201.74/2207.53 c #Conflicts: 927000 | #Constraints: 34345 2201.74/2207.53 c #Conflicts: 928000 | #Constraints: 35345 2201.74/2207.53 c #Conflicts: 929000 | #Constraints: 36364 2201.74/2207.53 c #Conflicts: 930000 | #Constraints: 37463 2201.74/2207.53 c #Conflicts: 931000 | #Constraints: 38598 2201.74/2207.53 c #Conflicts: 932000 | #Constraints: 39750 2201.74/2207.53 c #Conflicts: 933000 | #Constraints: 40751 2201.74/2207.53 c #Conflicts: 934000 | #Constraints: 41751 2201.74/2207.53 c #Conflicts: 935000 | #Constraints: 42751 2201.74/2207.53 c #Conflicts: 936000 | #Constraints: 43751 2201.74/2207.53 c #Conflicts: 937000 | #Constraints: 44751 2201.74/2207.53 c #Conflicts: 938000 | #Constraints: 45751 2201.74/2207.53 c #Conflicts: 939000 | #Constraints: 46751 2201.74/2207.53 c #Conflicts: 940000 | #Constraints: 47751 2201.74/2207.53 c #Conflicts: 941000 | #Constraints: 48751 2201.74/2207.53 c INPROCESSING 2201.74/2207.53 c GARBAGE COLLECT 2201.74/2207.53 c rational objective 0 2256.22/2262.11 c #Conflicts: 942000 | #Constraints: 25097 2256.22/2262.11 c #Conflicts: 943000 | #Constraints: 26097 2256.22/2262.11 c #Conflicts: 944000 | #Constraints: 27097 2256.22/2262.11 c #Conflicts: 945000 | #Constraints: 28097 2256.22/2262.11 c #Conflicts: 946000 | #Constraints: 29097 2256.22/2262.11 c #Conflicts: 947000 | #Constraints: 30098 2256.22/2262.11 c #Conflicts: 948000 | #Constraints: 31098 2256.22/2262.11 c #Conflicts: 949000 | #Constraints: 32098 2256.22/2262.11 c #Conflicts: 950000 | #Constraints: 33098 2256.22/2262.11 c #Conflicts: 951000 | #Constraints: 34098 2256.22/2262.11 c #Conflicts: 952000 | #Constraints: 35098 2256.22/2262.11 c #Conflicts: 953000 | #Constraints: 36098 2256.22/2262.11 c #Conflicts: 954000 | #Constraints: 37099 2256.22/2262.11 c #Conflicts: 955000 | #Constraints: 38099 2256.22/2262.11 c #Conflicts: 956000 | #Constraints: 39099 2256.22/2262.11 c #Conflicts: 957000 | #Constraints: 40099 2256.22/2262.11 c #Conflicts: 958000 | #Constraints: 41100 2256.22/2262.11 c #Conflicts: 959000 | #Constraints: 42100 2256.22/2262.11 c #Conflicts: 960000 | #Constraints: 43100 2256.22/2262.11 c #Conflicts: 961000 | #Constraints: 44100 2256.22/2262.11 c INPROCESSING 2256.22/2262.11 c GARBAGE COLLECT 2256.22/2262.11 c rational objective 0 2320.44/2326.58 c #Conflicts: 962000 | #Constraints: 22966 2320.44/2326.58 c #Conflicts: 963000 | #Constraints: 23966 2320.44/2326.58 c #Conflicts: 964000 | #Constraints: 24966 2320.44/2326.58 c #Conflicts: 965000 | #Constraints: 25966 2320.44/2326.58 c #Conflicts: 966000 | #Constraints: 26967 2320.44/2326.58 c #Conflicts: 967000 | #Constraints: 27967 2320.44/2326.58 c #Conflicts: 968000 | #Constraints: 28967 2320.44/2326.58 c #Conflicts: 969000 | #Constraints: 29967 2320.44/2326.58 c #Conflicts: 970000 | #Constraints: 30967 2320.44/2326.58 c #Conflicts: 971000 | #Constraints: 31968 2320.44/2326.58 c #Conflicts: 972000 | #Constraints: 32968 2320.44/2326.58 c #Conflicts: 973000 | #Constraints: 33969 2320.44/2326.58 c #Conflicts: 974000 | #Constraints: 34969 2320.44/2326.58 c #Conflicts: 975000 | #Constraints: 35973 2320.44/2326.58 c #Conflicts: 976000 | #Constraints: 36974 2320.44/2326.58 c #Conflicts: 977000 | #Constraints: 37974 2320.44/2326.58 c #Conflicts: 978000 | #Constraints: 38974 2320.44/2326.58 c #Conflicts: 979000 | #Constraints: 39974 2320.44/2326.58 c #Conflicts: 980000 | #Constraints: 40975 2320.44/2326.58 c #Conflicts: 981000 | #Constraints: 41975 2320.44/2326.58 c INPROCESSING 2320.44/2326.58 c GARBAGE COLLECT 2320.44/2326.58 c rational objective 0 2416.71/2423.03 c #Conflicts: 982000 | #Constraints: 22674 2416.71/2423.03 c #Conflicts: 983000 | #Constraints: 24347 2416.71/2423.03 c #Conflicts: 984000 | #Constraints: 26032 2416.71/2423.03 c #Conflicts: 985000 | #Constraints: 27715 2416.71/2423.03 c #Conflicts: 986000 | #Constraints: 29365 2416.71/2423.03 c #Conflicts: 987000 | #Constraints: 31046 2416.71/2423.03 c #Conflicts: 988000 | #Constraints: 32727 2416.71/2423.03 c #Conflicts: 989000 | #Constraints: 34385 2416.71/2423.03 c #Conflicts: 990000 | #Constraints: 36023 2416.71/2423.03 c #Conflicts: 991000 | #Constraints: 37685 2416.71/2423.03 c #Conflicts: 992000 | #Constraints: 39351 2416.71/2423.03 c #Conflicts: 993000 | #Constraints: 41012 2416.71/2423.03 c #Conflicts: 994000 | #Constraints: 42620 2416.71/2423.03 c #Conflicts: 995000 | #Constraints: 44226 2416.71/2423.03 c #Conflicts: 996000 | #Constraints: 45853 2416.71/2423.03 c #Conflicts: 997000 | #Constraints: 47521 2416.71/2423.03 c #Conflicts: 998000 | #Constraints: 49138 2416.71/2423.03 c #Conflicts: 999000 | #Constraints: 50753 2416.71/2423.03 c #Conflicts: 1000000 | #Constraints: 52385 2416.71/2423.03 c #Conflicts: 1001000 | #Constraints: 53689 2416.71/2423.03 c INPROCESSING 2416.71/2423.03 c GARBAGE COLLECT 2416.71/2423.03 c rational objective 0 2533.90/2540.55 c #Conflicts: 1002000 | #Constraints: 28502 2533.90/2540.55 c #Conflicts: 1003000 | #Constraints: 30102 2533.90/2540.55 c #Conflicts: 1004000 | #Constraints: 31757 2533.90/2540.55 c #Conflicts: 1005000 | #Constraints: 33432 2533.90/2540.55 c #Conflicts: 1006000 | #Constraints: 35088 2533.90/2540.55 c #Conflicts: 1007000 | #Constraints: 36741 2533.90/2540.55 c #Conflicts: 1008000 | #Constraints: 38374 2533.90/2540.55 c #Conflicts: 1009000 | #Constraints: 40012 2533.90/2540.55 c #Conflicts: 1010000 | #Constraints: 41649 2533.90/2540.55 c #Conflicts: 1011000 | #Constraints: 43279 2533.90/2540.55 c #Conflicts: 1012000 | #Constraints: 44937 2533.90/2540.55 c #Conflicts: 1013000 | #Constraints: 46548 2533.90/2540.55 c #Conflicts: 1014000 | #Constraints: 48171 2533.90/2540.55 c #Conflicts: 1015000 | #Constraints: 49842 2533.90/2540.55 c #Conflicts: 1016000 | #Constraints: 51287 2533.90/2540.55 c #Conflicts: 1017000 | #Constraints: 52941 2533.90/2540.55 c #Conflicts: 1018000 | #Constraints: 54625 2533.90/2540.55 c #Conflicts: 1019000 | #Constraints: 56298 2533.90/2540.55 c #Conflicts: 1020000 | #Constraints: 57934 2533.90/2540.55 c #Conflicts: 1021000 | #Constraints: 59578 2533.90/2540.55 c INPROCESSING 2533.90/2540.55 c GARBAGE COLLECT 2533.90/2540.55 c rational objective 0 2634.25/2641.11 c #Conflicts: 1022000 | #Constraints: 31227 2634.25/2641.11 c #Conflicts: 1023000 | #Constraints: 32810 2634.25/2641.11 c #Conflicts: 1024000 | #Constraints: 34046 2634.25/2641.11 c #Conflicts: 1025000 | #Constraints: 35615 2634.25/2641.11 c #Conflicts: 1026000 | #Constraints: 36781 2634.25/2641.11 c #Conflicts: 1027000 | #Constraints: 38291 2634.25/2641.11 c #Conflicts: 1028000 | #Constraints: 39905 2634.25/2641.11 c #Conflicts: 1029000 | #Constraints: 41485 2634.25/2641.11 c #Conflicts: 1030000 | #Constraints: 43120 2634.25/2641.11 c #Conflicts: 1031000 | #Constraints: 44718 2634.25/2641.11 c #Conflicts: 1032000 | #Constraints: 46329 2634.25/2641.11 c #Conflicts: 1033000 | #Constraints: 47898 2634.25/2641.11 c #Conflicts: 1034000 | #Constraints: 49515 2634.25/2641.11 c #Conflicts: 1035000 | #Constraints: 50997 2634.25/2641.11 c #Conflicts: 1036000 | #Constraints: 51999 2634.25/2641.11 c #Conflicts: 1037000 | #Constraints: 53401 2634.25/2641.11 c #Conflicts: 1038000 | #Constraints: 54991 2634.25/2641.11 c #Conflicts: 1039000 | #Constraints: 56257 2634.25/2641.11 c #Conflicts: 1040000 | #Constraints: 57678 2634.25/2641.11 c #Conflicts: 1041000 | #Constraints: 58679 2634.25/2641.11 c INPROCESSING 2634.25/2641.11 c GARBAGE COLLECT 2634.25/2641.11 c rational objective 0 2714.53/2721.66 c #Conflicts: 1042000 | #Constraints: 30058 2714.53/2721.66 c #Conflicts: 1043000 | #Constraints: 31059 2714.53/2721.66 c #Conflicts: 1044000 | #Constraints: 32059 2714.53/2721.66 c #Conflicts: 1045000 | #Constraints: 33059 2714.53/2721.66 c #Conflicts: 1046000 | #Constraints: 34059 2714.53/2721.66 c #Conflicts: 1047000 | #Constraints: 35059 2714.53/2721.66 c #Conflicts: 1048000 | #Constraints: 36059 2714.53/2721.66 c #Conflicts: 1049000 | #Constraints: 37059 2714.53/2721.66 c #Conflicts: 1050000 | #Constraints: 38060 2714.53/2721.66 c #Conflicts: 1051000 | #Constraints: 39060 2714.53/2721.66 c #Conflicts: 1052000 | #Constraints: 40060 2714.53/2721.66 c #Conflicts: 1053000 | #Constraints: 41060 2714.53/2721.66 c #Conflicts: 1054000 | #Constraints: 42060 2714.53/2721.66 c #Conflicts: 1055000 | #Constraints: 43060 2714.53/2721.66 c #Conflicts: 1056000 | #Constraints: 44060 2714.53/2721.66 c #Conflicts: 1057000 | #Constraints: 45060 2714.53/2721.66 c #Conflicts: 1058000 | #Constraints: 46061 2714.53/2721.66 c #Conflicts: 1059000 | #Constraints: 47061 2714.53/2721.66 c #Conflicts: 1060000 | #Constraints: 48061 2714.53/2721.66 c #Conflicts: 1061000 | #Constraints: 49061 2714.53/2721.66 c #Conflicts: 1062000 | #Constraints: 50062 2714.53/2721.66 c INPROCESSING 2714.53/2721.66 c GARBAGE COLLECT 2714.53/2721.66 c rational objective 0 2786.26/2793.51 c #Conflicts: 1063000 | #Constraints: 26113 2786.26/2793.51 c #Conflicts: 1064000 | #Constraints: 27188 2786.26/2793.51 c #Conflicts: 1065000 | #Constraints: 28188 2786.26/2793.51 c #Conflicts: 1066000 | #Constraints: 29188 2786.26/2793.51 c #Conflicts: 1067000 | #Constraints: 30241 2786.26/2793.51 c #Conflicts: 1068000 | #Constraints: 31265 2786.26/2793.51 c #Conflicts: 1069000 | #Constraints: 32270 2786.26/2793.51 c #Conflicts: 1070000 | #Constraints: 33497 2786.26/2793.51 c #Conflicts: 1071000 | #Constraints: 34580 2786.26/2793.51 c #Conflicts: 1072000 | #Constraints: 35580 2786.26/2793.51 c #Conflicts: 1073000 | #Constraints: 36588 2786.26/2793.51 c #Conflicts: 1074000 | #Constraints: 38012 2786.26/2793.51 c #Conflicts: 1075000 | #Constraints: 39042 2786.26/2793.51 c #Conflicts: 1076000 | #Constraints: 40267 2786.26/2793.51 c #Conflicts: 1077000 | #Constraints: 41267 2786.26/2793.51 c #Conflicts: 1078000 | #Constraints: 42486 2786.26/2793.51 c #Conflicts: 1079000 | #Constraints: 43514 2786.26/2793.51 c #Conflicts: 1080000 | #Constraints: 44547 2786.26/2793.51 c #Conflicts: 1081000 | #Constraints: 45710 2786.26/2793.51 c #Conflicts: 1082000 | #Constraints: 46849 2786.26/2793.51 c #Conflicts: 1083000 | #Constraints: 47891 2786.26/2793.51 c INPROCESSING 2786.26/2793.51 c GARBAGE COLLECT 2786.26/2793.51 c rational objective 0 2894.67/2902.24 c #Conflicts: 1084000 | #Constraints: 25510 2894.67/2902.24 c #Conflicts: 1085000 | #Constraints: 27046 2894.67/2902.24 c #Conflicts: 1086000 | #Constraints: 28564 2894.67/2902.24 c #Conflicts: 1087000 | #Constraints: 30099 2894.67/2902.24 c #Conflicts: 1088000 | #Constraints: 31660 2894.67/2902.24 c #Conflicts: 1089000 | #Constraints: 33195 2894.67/2902.24 c #Conflicts: 1090000 | #Constraints: 34772 2894.67/2902.24 c #Conflicts: 1091000 | #Constraints: 36332 2894.67/2902.24 c #Conflicts: 1092000 | #Constraints: 37897 2894.67/2902.24 c #Conflicts: 1093000 | #Constraints: 39454 2894.67/2902.24 c #Conflicts: 1094000 | #Constraints: 41046 2894.67/2902.24 c #Conflicts: 1095000 | #Constraints: 42603 2894.67/2902.24 c #Conflicts: 1096000 | #Constraints: 44159 2894.67/2902.24 c #Conflicts: 1097000 | #Constraints: 45682 2894.67/2902.24 c #Conflicts: 1098000 | #Constraints: 47244 2894.67/2902.24 c #Conflicts: 1099000 | #Constraints: 48815 2894.67/2902.24 c #Conflicts: 1100000 | #Constraints: 50394 2894.67/2902.24 c #Conflicts: 1101000 | #Constraints: 51957 2894.67/2902.24 c #Conflicts: 1102000 | #Constraints: 53533 2894.67/2902.24 c #Conflicts: 1103000 | #Constraints: 55128 2894.67/2902.24 c #Conflicts: 1104000 | #Constraints: 56719 2894.67/2902.24 c INPROCESSING 2894.67/2902.24 c GARBAGE COLLECT 2894.67/2902.24 c rational objective 0 2988.35/2996.19 c #Conflicts: 1105000 | #Constraints: 29706 2988.35/2996.19 c #Conflicts: 1106000 | #Constraints: 31219 2988.35/2996.19 c #Conflicts: 1107000 | #Constraints: 32486 2988.35/2996.19 c #Conflicts: 1108000 | #Constraints: 34039 2988.35/2996.19 c #Conflicts: 1109000 | #Constraints: 35576 2988.35/2996.19 c #Conflicts: 1110000 | #Constraints: 37002 2988.35/2996.19 c #Conflicts: 1111000 | #Constraints: 38638 2988.35/2996.19 c #Conflicts: 1112000 | #Constraints: 40307 2988.35/2996.19 c #Conflicts: 1113000 | #Constraints: 41438 2988.35/2996.19 c #Conflicts: 1114000 | #Constraints: 42631 2988.35/2996.19 c #Conflicts: 1115000 | #Constraints: 44315 2988.35/2996.19 c #Conflicts: 1116000 | #Constraints: 45360 2988.35/2996.19 c #Conflicts: 1117000 | #Constraints: 46361 2988.35/2996.19 c #Conflicts: 1118000 | #Constraints: 47361 2988.35/2996.19 c #Conflicts: 1119000 | #Constraints: 48659 2988.35/2996.19 c #Conflicts: 1120000 | #Constraints: 49712 2988.35/2996.19 c #Conflicts: 1121000 | #Constraints: 50712 2988.35/2996.19 c #Conflicts: 1122000 | #Constraints: 51865 2988.35/2996.19 c #Conflicts: 1123000 | #Constraints: 53265 2988.35/2996.19 c #Conflicts: 1124000 | #Constraints: 54889 2988.35/2996.19 c #Conflicts: 1125000 | #Constraints: 56034 2988.35/2996.19 c INPROCESSING 2988.35/2996.19 c GARBAGE COLLECT 2988.35/2996.19 c rational objective 0 3098.06/3106.13 c #Conflicts: 1126000 | #Constraints: 29365 3098.06/3106.13 c #Conflicts: 1127000 | #Constraints: 31004 3098.06/3106.13 c #Conflicts: 1128000 | #Constraints: 32111 3098.06/3106.13 c #Conflicts: 1129000 | #Constraints: 33112 3098.06/3106.13 c #Conflicts: 1130000 | #Constraints: 34344 3098.06/3106.13 c #Conflicts: 1131000 | #Constraints: 35964 3098.06/3106.13 c #Conflicts: 1132000 | #Constraints: 37569 3098.06/3106.13 c #Conflicts: 1133000 | #Constraints: 38804 3098.06/3106.13 c #Conflicts: 1134000 | #Constraints: 39806 3098.06/3106.13 c #Conflicts: 1135000 | #Constraints: 40806 3098.06/3106.13 c #Conflicts: 1136000 | #Constraints: 41971 3098.06/3106.13 c #Conflicts: 1137000 | #Constraints: 43171 3098.06/3106.13 c #Conflicts: 1138000 | #Constraints: 44777 3098.06/3106.13 c #Conflicts: 1139000 | #Constraints: 45900 3098.06/3106.13 c #Conflicts: 1140000 | #Constraints: 46900 3098.06/3106.13 c #Conflicts: 1141000 | #Constraints: 47900 3098.06/3106.13 c #Conflicts: 1142000 | #Constraints: 49405 3098.06/3106.13 c #Conflicts: 1143000 | #Constraints: 51062 3098.06/3106.13 c #Conflicts: 1144000 | #Constraints: 52064 3098.06/3106.13 c #Conflicts: 1145000 | #Constraints: 53619 3098.06/3106.13 c #Conflicts: 1146000 | #Constraints: 55273 3098.06/3106.13 c INPROCESSING 3098.06/3106.13 c GARBAGE COLLECT 3098.06/3106.13 c rational objective 0 3172.88/3181.16 c #Conflicts: 1147000 | #Constraints: 28550 3172.88/3181.16 c #Conflicts: 1148000 | #Constraints: 29550 3172.88/3181.16 c #Conflicts: 1149000 | #Constraints: 30550 3172.88/3181.16 c #Conflicts: 1150000 | #Constraints: 31551 3172.88/3181.16 c #Conflicts: 1151000 | #Constraints: 32551 3172.88/3181.16 c #Conflicts: 1152000 | #Constraints: 33551 3172.88/3181.16 c #Conflicts: 1153000 | #Constraints: 34551 3172.88/3181.16 c #Conflicts: 1154000 | #Constraints: 35729 3172.88/3181.16 c #Conflicts: 1155000 | #Constraints: 37115 3172.88/3181.16 c #Conflicts: 1156000 | #Constraints: 38115 3172.88/3181.16 c #Conflicts: 1157000 | #Constraints: 39755 3172.88/3181.16 c #Conflicts: 1158000 | #Constraints: 41403 3172.88/3181.16 c #Conflicts: 1159000 | #Constraints: 42743 3172.88/3181.16 c #Conflicts: 1160000 | #Constraints: 43995 3172.88/3181.16 c #Conflicts: 1161000 | #Constraints: 44996 3172.88/3181.16 c #Conflicts: 1162000 | #Constraints: 45996 3172.88/3181.16 c #Conflicts: 1163000 | #Constraints: 47435 3172.88/3181.16 c #Conflicts: 1164000 | #Constraints: 48811 3172.88/3181.16 c #Conflicts: 1165000 | #Constraints: 49930 3172.88/3181.16 c #Conflicts: 1166000 | #Constraints: 50930 3172.88/3181.16 c #Conflicts: 1167000 | #Constraints: 51930 3172.88/3181.16 c #Conflicts: 1168000 | #Constraints: 53263 3172.88/3181.16 c INPROCESSING 3172.88/3181.16 c GARBAGE COLLECT 3172.88/3181.16 c rational objective 0 3262.04/3270.50 c #Conflicts: 1169000 | #Constraints: 27601 3262.04/3270.50 c #Conflicts: 1170000 | #Constraints: 28601 3262.04/3270.50 c #Conflicts: 1171000 | #Constraints: 29601 3262.04/3270.50 c #Conflicts: 1172000 | #Constraints: 30601 3262.04/3270.50 c #Conflicts: 1173000 | #Constraints: 31601 3262.04/3270.50 c #Conflicts: 1174000 | #Constraints: 32601 3262.04/3270.50 c #Conflicts: 1175000 | #Constraints: 33601 3262.04/3270.50 c #Conflicts: 1176000 | #Constraints: 34601 3262.04/3270.50 c #Conflicts: 1177000 | #Constraints: 35602 3262.04/3270.50 c #Conflicts: 1178000 | #Constraints: 36602 3262.04/3270.50 c #Conflicts: 1179000 | #Constraints: 37602 3262.04/3270.50 c #Conflicts: 1180000 | #Constraints: 38602 3262.04/3270.50 c #Conflicts: 1181000 | #Constraints: 39602 3262.04/3270.50 c #Conflicts: 1182000 | #Constraints: 40602 3262.04/3270.50 c #Conflicts: 1183000 | #Constraints: 41602 3262.04/3270.50 c #Conflicts: 1184000 | #Constraints: 42602 3262.04/3270.50 c #Conflicts: 1185000 | #Constraints: 43603 3262.04/3270.50 c #Conflicts: 1186000 | #Constraints: 44603 3262.04/3270.50 c #Conflicts: 1187000 | #Constraints: 45604 3262.04/3270.50 c #Conflicts: 1188000 | #Constraints: 46605 3262.04/3270.50 c #Conflicts: 1189000 | #Constraints: 47605 3262.04/3270.50 c #Conflicts: 1190000 | #Constraints: 48605 3262.04/3270.50 c INPROCESSING 3262.04/3270.50 c GARBAGE COLLECT 3262.04/3270.50 c rational objective 0 3359.69/3368.43 c #Conflicts: 1191000 | #Constraints: 25858 3359.69/3368.43 c #Conflicts: 1192000 | #Constraints: 27440 3359.69/3368.43 c #Conflicts: 1193000 | #Constraints: 29057 3359.69/3368.43 c #Conflicts: 1194000 | #Constraints: 30660 3359.69/3368.43 c #Conflicts: 1195000 | #Constraints: 32268 3359.69/3368.43 c #Conflicts: 1196000 | #Constraints: 33895 3359.69/3368.43 c #Conflicts: 1197000 | #Constraints: 35485 3359.69/3368.43 c #Conflicts: 1198000 | #Constraints: 37055 3359.69/3368.43 c #Conflicts: 1199000 | #Constraints: 38302 3359.69/3368.43 c #Conflicts: 1200000 | #Constraints: 39302 3359.69/3368.43 c #Conflicts: 1201000 | #Constraints: 40302 3359.69/3368.43 c #Conflicts: 1202000 | #Constraints: 41302 3359.69/3368.43 c #Conflicts: 1203000 | #Constraints: 42302 3359.69/3368.43 c #Conflicts: 1204000 | #Constraints: 43338 3359.69/3368.43 c #Conflicts: 1205000 | #Constraints: 44971 3359.69/3368.43 c #Conflicts: 1206000 | #Constraints: 46597 3359.69/3368.43 c #Conflicts: 1207000 | #Constraints: 48267 3359.69/3368.43 c #Conflicts: 1208000 | #Constraints: 49914 3359.69/3368.43 c #Conflicts: 1209000 | #Constraints: 51478 3359.69/3368.43 c #Conflicts: 1210000 | #Constraints: 53079 3359.69/3368.43 c #Conflicts: 1211000 | #Constraints: 54321 3359.69/3368.43 c #Conflicts: 1212000 | #Constraints: 55945 3359.69/3368.43 c INPROCESSING 3359.69/3368.43 c GARBAGE COLLECT 3359.69/3368.43 c rational objective 0 3457.65/3466.68 c #Conflicts: 1213000 | #Constraints: 28990 3457.65/3466.68 c #Conflicts: 1214000 | #Constraints: 29990 3457.65/3466.68 c #Conflicts: 1215000 | #Constraints: 30990 3457.65/3466.68 c #Conflicts: 1216000 | #Constraints: 31990 3457.65/3466.68 c #Conflicts: 1217000 | #Constraints: 32991 3457.65/3466.68 c #Conflicts: 1218000 | #Constraints: 34292 3457.65/3466.68 c #Conflicts: 1219000 | #Constraints: 35317 3457.65/3466.68 c #Conflicts: 1220000 | #Constraints: 36317 3457.65/3466.68 c #Conflicts: 1221000 | #Constraints: 37453 3457.65/3466.68 c #Conflicts: 1222000 | #Constraints: 38453 3457.65/3466.68 c #Conflicts: 1223000 | #Constraints: 39511 3457.65/3466.68 c #Conflicts: 1224000 | #Constraints: 40511 3457.65/3466.68 c #Conflicts: 1225000 | #Constraints: 41511 3457.65/3466.68 c #Conflicts: 1226000 | #Constraints: 42724 3457.65/3466.68 c #Conflicts: 1227000 | #Constraints: 43982 3457.65/3466.68 c #Conflicts: 1228000 | #Constraints: 45000 3457.65/3466.68 c #Conflicts: 1229000 | #Constraints: 46000 3457.65/3466.68 c #Conflicts: 1230000 | #Constraints: 47000 3457.65/3466.68 c #Conflicts: 1231000 | #Constraints: 48321 3457.65/3466.68 c #Conflicts: 1232000 | #Constraints: 49387 3457.65/3466.68 c #Conflicts: 1233000 | #Constraints: 50432 3457.65/3466.68 c #Conflicts: 1234000 | #Constraints: 51548 3457.65/3466.68 c INPROCESSING 3457.65/3466.68 c GARBAGE COLLECT 3457.65/3466.68 c rational objective 0 3563.18/3572.41 c #Conflicts: 1235000 | #Constraints: 27193 3563.18/3572.41 c #Conflicts: 1236000 | #Constraints: 28854 3563.18/3572.41 c #Conflicts: 1237000 | #Constraints: 30479 3563.18/3572.41 c #Conflicts: 1238000 | #Constraints: 32107 3563.18/3572.41 c #Conflicts: 1239000 | #Constraints: 33738 3563.18/3572.41 c #Conflicts: 1240000 | #Constraints: 35327 3563.18/3572.41 c #Conflicts: 1241000 | #Constraints: 36961 3563.18/3572.41 c #Conflicts: 1242000 | #Constraints: 38559 3563.18/3572.41 c #Conflicts: 1243000 | #Constraints: 40159 3563.18/3572.41 c #Conflicts: 1244000 | #Constraints: 41756 3563.18/3572.41 c #Conflicts: 1245000 | #Constraints: 43374 3563.18/3572.41 c #Conflicts: 1246000 | #Constraints: 44991 3563.18/3572.41 c #Conflicts: 1247000 | #Constraints: 46594 3563.18/3572.41 c #Conflicts: 1248000 | #Constraints: 48217 3563.18/3572.41 c #Conflicts: 1249000 | #Constraints: 49810 3563.18/3572.41 c #Conflicts: 1250000 | #Constraints: 51432 3563.18/3572.41 c #Conflicts: 1251000 | #Constraints: 53072 3563.18/3572.41 c #Conflicts: 1252000 | #Constraints: 54698 3563.18/3572.41 c #Conflicts: 1253000 | #Constraints: 56313 3563.18/3572.41 c #Conflicts: 1254000 | #Constraints: 57924 3563.18/3572.41 c #Conflicts: 1255000 | #Constraints: 59567 3563.18/3572.41 c #Conflicts: 1256000 | #Constraints: 61228 3563.18/3572.41 c INPROCESSING 3563.18/3572.41 c GARBAGE COLLECT 3563.18/3572.41 c rational objective 0 3600.09/3609.40 c 3600.09/3609.40 s SATISFIABLE 3600.09/3609.40 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 3600.09/3609.40 c #Conflicts: 1257000 | #Constraints: 31781 3600.09/3609.40 c #Conflicts: 1258000 | #Constraints: 33374 3600.09/3609.40 c #Conflicts: 1259000 | #Constraints: 34955 3600.09/3609.40 c #Conflicts: 1260000 | #Constraints: 36550 3600.09/3609.40 c #Conflicts: 1261000 | #Constraints: 38147 3600.09/3609.40 c #Conflicts: 1262000 | #Constraints: 39729 3600.09/3609.40 c #Conflicts: 1263000 | #Constraints: 41315
OK 5
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 (61844 MiB free)
memory of node 1: 64510 MiB (63386 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429457-1721048713/watcher-4429457-1721048713 -o /tmp/evaluation-result-4429457-1721048713/solver-4429457-1721048713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721048664-795061 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429457-1721048713.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=795409, runsolver pid=795406
[startup+0.100093 s]*
/proc/loadavg: 4.08 4.13 4.17 5/242 795410
/proc/meminfo: memFree=128233044/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=37800 memory=10932 CPUtime=0.1 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 554 0 0 0 9 1 0 0 20 0 1 0 157028010 38707200 2733 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 9450 2733 1854 922 0 1402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37800 KiB
Current children cumulated memory: 10932 KiB
[startup+0.212433 s]*
/proc/loadavg: 4.08 4.13 4.17 5/242 795410
/proc/meminfo: memFree=128233044/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=37932 memory=10932 CPUtime=0.21 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 594 0 0 0 20 1 0 0 20 0 1 0 157028010 38842368 2733 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 9483 2733 1854 922 0 1435 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37932 KiB
Current children cumulated memory: 10932 KiB
[startup+0.311672 s]*
/proc/loadavg: 4.08 4.13 4.17 6/242 795410
/proc/meminfo: memFree=128232372/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=38056 memory=11196 CPUtime=0.31 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 631 0 0 0 29 2 0 0 20 0 1 0 157028010 38969344 2799 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 9514 2799 1854 922 0 1466 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38056 KiB
Current children cumulated memory: 11196 KiB
[startup+0.700267 s]
/proc/loadavg: 4.08 4.13 4.17 5/242 795410
/proc/meminfo: memFree=128231704/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=38568 memory=11712 CPUtime=0.69 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 750 0 0 0 65 4 0 0 20 0 1 0 157028010 39493632 2928 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 9642 2928 1854 922 0 1594 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38568 KiB
Current children cumulated memory: 11712 KiB
[startup+1.50027 s]
/proc/loadavg: 4.08 4.13 4.17 5/242 795410
/proc/meminfo: memFree=128230976/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=39128 memory=12236 CPUtime=1.49 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 883 0 0 0 141 8 0 0 20 0 1 0 157028010 40067072 3059 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 9782 3059 1854 922 0 1734 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 39128 KiB
Current children cumulated memory: 12236 KiB
[startup+3.11218 s]
/proc/loadavg: 4.08 4.13 4.17 5/240 795424
/proc/meminfo: memFree=128272216/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=40148 memory=13288 CPUtime=3.09 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 1141 0 0 0 295 14 0 0 20 0 1 0 157028010 41111552 3322 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 10037 3322 1854 922 0 1989 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 13288 KiB
[startup+6.30024 s]
/proc/loadavg: 4.07 4.13 4.17 5/242 795456
/proc/meminfo: memFree=128278656/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=40676 memory=14252 CPUtime=6.27 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 1443 0 0 0 606 21 0 0 20 0 1 0 157028010 41652224 3563 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 10169 3563 1854 922 0 2121 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40676 KiB
Current children cumulated memory: 14252 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.13 4.17 5/242 795457
/proc/meminfo: memFree=128262568/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=42228 memory=16136 CPUtime=12.66 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 1901 0 0 0 1232 34 0 0 20 0 1 0 157028010 43241472 4034 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 10557 4034 1854 922 0 2509 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 42228 KiB
Current children cumulated memory: 16136 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.12 4.17 5/242 795459
/proc/meminfo: memFree=128232948/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=45780 memory=18248 CPUtime=25.42 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 2385 0 0 0 2490 52 0 0 20 0 1 0 157028010 46878720 4562 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 11445 4562 1854 922 0 3397 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 45780 KiB
Current children cumulated memory: 18248 KiB
[startup+51.1128 s]
/proc/loadavg: 4.03 4.11 4.16 5/242 795463
/proc/meminfo: memFree=128200220/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=46484 memory=20512 CPUtime=50.97 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 2996 0 0 0 5014 83 0 0 20 0 1 0 157028010 47599616 5128 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 11621 5128 1854 922 0 3573 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 46484 KiB
Current children cumulated memory: 20512 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/240 795486
/proc/meminfo: memFree=128045600/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=53020 memory=23264 CPUtime=102.04 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 3703 0 0 0 10061 143 0 0 20 0 1 0 157028010 54292480 5816 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 13255 5816 1854 922 0 5207 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 53020 KiB
Current children cumulated memory: 23264 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/242 795942
/proc/meminfo: memFree=127614160/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=54620 memory=25784 CPUtime=161.88 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 4365 0 0 0 15991 197 0 0 20 0 1 0 157028010 55930880 6446 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 13655 6446 1854 922 0 5607 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 54620 KiB
Current children cumulated memory: 25784 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/242 795952
/proc/meminfo: memFree=127503924/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=67116 memory=36360 CPUtime=221.73 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 6084 0 0 0 21919 254 0 0 20 0 1 0 157028010 68726784 9090 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 16779 9090 1854 922 0 8731 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 67116 KiB
Current children cumulated memory: 36360 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.14 4.16 5/242 795962
/proc/meminfo: memFree=127428508/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=71980 memory=40780 CPUtime=281.57 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 7253 0 0 0 27861 296 0 0 20 0 1 0 157028010 73707520 10195 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 17995 10195 1854 922 0 9947 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 71980 KiB
Current children cumulated memory: 40780 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/245 795978
/proc/meminfo: memFree=127057300/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=72788 memory=43672 CPUtime=341.39 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 7600 0 0 0 33807 332 0 0 20 0 1 0 157028010 74534912 10918 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 18197 10918 1854 922 0 10149 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 72788 KiB
Current children cumulated memory: 43672 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/246 795989
/proc/meminfo: memFree=126832376/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=73140 memory=44068 CPUtime=401.24 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 7726 0 0 0 39749 375 0 0 20 0 1 0 157028010 74895360 11017 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 18285 11017 1854 922 0 10237 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 73140 KiB
Current children cumulated memory: 44068 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/246 795999
/proc/meminfo: memFree=126675680/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=74292 memory=45396 CPUtime=461.07 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 8110 0 0 0 45704 403 0 0 20 0 1 0 157028010 76075008 11349 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 18573 11349 1854 922 0 10525 0
################
# More data... #
################
Current children cumulated memory: 77612 KiB
[startup+2862.3 s]
/proc/loadavg: 4.24 4.27 4.19 5/245 797210
/proc/meminfo: memFree=126094460/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=77612 CPUtime=2854.88 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14273 0 0 0 284198 1290 0 0 20 0 1 0 157028010 111144960 19403 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 19403 1981 922 0 19087 0
Current children cumulated CPU time: 2854.88 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 77612 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.23 4.18 5/245 797220
/proc/meminfo: memFree=126096004/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81316 CPUtime=2914.72 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14314 0 0 0 290166 1306 0 0 20 0 1 0 157028010 111144960 20329 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20329 1981 922 0 19087 0
Current children cumulated CPU time: 2914.72 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81316 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/244 797231
/proc/meminfo: memFree=126085560/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81316 CPUtime=2974.57 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14347 0 0 0 296135 1322 0 0 20 0 1 0 157028010 111144960 20329 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20329 1981 922 0 19087 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81316 KiB
[startup+3042.3 s]
/proc/loadavg: 4.23 4.23 4.18 5/245 797627
/proc/meminfo: memFree=126005272/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81344 CPUtime=3034.42 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14381 0 0 0 302103 1339 0 0 20 0 1 0 157028010 111144960 20336 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20336 1981 922 0 19087 0
Current children cumulated CPU time: 3034.42 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81344 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.20 4.18 5/245 797637
/proc/meminfo: memFree=126075036/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81344 CPUtime=3094.26 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14412 0 0 0 308073 1353 0 0 20 0 1 0 157028010 111144960 20336 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20336 1981 922 0 19087 0
Current children cumulated CPU time: 3094.26 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81344 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/245 797647
/proc/meminfo: memFree=126074356/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81344 CPUtime=3154.11 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14442 0 0 0 314034 1377 0 0 20 0 1 0 157028010 111144960 20336 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20336 1981 922 0 19087 0
Current children cumulated CPU time: 3154.11 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81344 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/246 797827
/proc/meminfo: memFree=126001624/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81344 CPUtime=3213.95 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14470 0 0 0 319999 1396 0 0 20 0 1 0 157028010 111144960 20336 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20336 1981 922 0 19087 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81344 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/246 797837
/proc/meminfo: memFree=126000088/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81344 CPUtime=3273.81 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14499 0 0 0 325963 1418 0 0 20 0 1 0 157028010 111144960 20336 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20336 1981 922 0 19087 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81344 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 797861
/proc/meminfo: memFree=126071436/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81344 CPUtime=3333.66 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14531 0 0 0 331931 1435 0 0 20 0 1 0 157028010 111144960 20336 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20336 1981 922 0 19087 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81344 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.16 5/245 797872
/proc/meminfo: memFree=126075968/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81344 CPUtime=3393.51 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14559 0 0 0 337900 1451 0 0 20 0 1 0 157028010 111144960 20336 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20336 1981 922 0 19087 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/245 797883
/proc/meminfo: memFree=126069628/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81344 CPUtime=3453.36 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14589 0 0 0 343869 1467 0 0 20 0 1 0 157028010 111144960 20336 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20336 1981 922 0 19087 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81344 KiB
[startup+3522.3 s]
/proc/loadavg: 4.40 4.20 4.18 5/245 797893
/proc/meminfo: memFree=126069156/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=108540 memory=81344 CPUtime=3513.21 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 14620 0 0 0 349838 1483 0 0 20 0 1 0 157028010 111144960 20336 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 27135 20336 1981 922 0 19087 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 108540 KiB
Current children cumulated memory: 81344 KiB
[startup+3582.3 s]
/proc/loadavg: 4.61 4.31 4.22 5/245 797949
/proc/meminfo: memFree=127925868/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=127508 memory=83096 CPUtime=3573.05 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 15120 0 0 0 355807 1498 0 0 20 0 1 0 157028010 130568192 20774 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 31877 20774 1981 922 0 23829 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 127508 KiB
Current children cumulated memory: 83096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.67 4.35 4.23 5/243 797954
/proc/meminfo: memFree=127880164/131655788 swapFree=131071996/131071996
[pid=795409] ppid=795406 vsize=127508 memory=83484 CPUtime=3600.09 cores=1,3
/proc/795409/stat : 795409 (roundingsat) R 795406 795409 795049 0 -1 4194304 15122 0 0 0 358504 1505 0 0 20 0 1 0 157028010 130568192 20871 134679101440 4194304 7968869 140720557052880 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 30273536 140720557056958 140720557057122 140720557057122 140720557064137 0
/proc/795409/statm: 31877 20871 1981 922 0 23829 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 127508 KiB
Current children cumulated memory: 83484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 795409 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3585.04 s, system=15.0516 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 3609.4
CPU time (s): 3600.1
CPU user time (s): 3585.04
CPU system time (s): 15.0516
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 127508
Max. memory (cumulated for all children) (KiB): 83484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.04
system time used= 15.0516
maximum resident set size= 83484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15131
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= 36
involuntary context switches= 1949
# summary of solver processes directly reported to runsolver:
# pid: 795409
# total CPU time (s): 3600.1
# total CPU user time (s): 3585.04
# total CPU system time (s): 15.0516
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.315 second user time and 35.5316 second system time
The end
Begin job on nodeC007 at 2024-07-15 15:05:26 IDJOB=4429457 IDBENCH=147612 IDSOLVER=3051 FILE ID=nodeC007/4429457-1721048713 RUNJOBID= nodeC007-1721048664-795061 SLURM_JOB_ID= 7505467 Free space on /tmp= 723696 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.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-4429457-1721048713/watcher-4429457-1721048713 -o /tmp/evaluation-result-4429457-1721048713/solver-4429457-1721048713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721048664-795061 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429457-1721048713.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8451009eff5aac10a49807ab684bf277 RANDOM SEED=603921106 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3526.052 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3611.084 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.314 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.132 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3525.245 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3653.733 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.331 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.320 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128237104 kB MemAvailable: 129294016 kB Buffers: 361580 kB Cached: 1528260 kB SwapCached: 0 kB Active: 649664 kB Inactive: 2225788 kB Active(anon): 1476 kB Inactive(anon): 1021868 kB Active(file): 648188 kB Inactive(file): 1203920 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 23800 kB Writeback: 12 kB AnonPages: 985408 kB Mapped: 112812 kB Shmem: 37704 kB KReclaimable: 89668 kB Slab: 185584 kB SReclaimable: 89668 kB SUnreclaim: 95916 kB KernelStack: 3920 kB PageTables: 11588 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1447112 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51104 kB HardwareCorrupted: 0 kB AnonHugePages: 509952 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: 248648 kB DirectMap2M: 22724608 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 723684 MiB End job on nodeC007 at 2024-07-15 16:05:36