| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 17 | 3600.07 | 3609.7 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | b4b357048b7fd6a2befaa81502734110 |
| 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 | 15 |
| Best CPU time to get the best result obtained on this benchmark | 3600.03 |
| 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 | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| 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 198 #constraints 16 0.00/0.00 c bounds - >= 0 @ 0.000989 0.00/0.00 c rational objective 0 0.21/0.30 c bounds 250 >= 0 @ 0.014618 0.21/0.30 c bounds 247 >= 0 @ 0.015145 0.21/0.30 c bounds 199 >= 0 @ 0.015145 0.21/0.30 c #Conflicts: 1000 | #Constraints: 1038 0.21/0.30 c #Conflicts: 2000 | #Constraints: 2051 0.21/0.30 c INPROCESSING 0.21/0.30 c GARBAGE COLLECT 0.21/0.30 c rational objective 0 0.79/0.84 c bounds 197 >= 0 @ 0.299632 0.79/0.84 c bounds 193 >= 0 @ 0.300575 0.79/0.84 c bounds 191 >= 0 @ 0.303552 0.79/0.84 c bounds 175 >= 0 @ 0.305056 0.79/0.84 c bounds 161 >= 0 @ 0.306384 0.79/0.84 c bounds 153 >= 0 @ 0.313459 0.79/0.84 c bounds 135 >= 0 @ 0.315285 0.79/0.84 c bounds 133 >= 0 @ 0.32113 0.79/0.84 c bounds 131 >= 0 @ 0.327022 0.79/0.84 c bounds 127 >= 0 @ 0.327999 0.79/0.84 c bounds 125 >= 0 @ 0.328968 0.79/0.84 c bounds 123 >= 0 @ 0.332689 0.79/0.84 c bounds 121 >= 0 @ 0.36968 0.79/0.84 c bounds 120 >= 0 @ 0.416618 0.79/0.84 c bounds 119 >= 0 @ 0.436374 0.79/0.84 c bounds 117 >= 0 @ 0.437286 0.79/0.84 c bounds 115 >= 0 @ 0.438412 0.79/0.84 c bounds 113 >= 0 @ 0.441175 0.79/0.84 c bounds 111 >= 0 @ 0.45257 0.79/0.84 c bounds 110 >= 0 @ 0.456087 0.79/0.84 c bounds 109 >= 0 @ 0.515441 0.79/0.84 c #Conflicts: 3000 | #Constraints: 2080 0.79/0.84 c #Conflicts: 4000 | #Constraints: 3094 0.79/0.84 c INPROCESSING 0.79/0.84 c GARBAGE COLLECT 0.79/0.84 c rational objective 0 1.39/1.47 c bounds 105 >= 0 @ 0.816435 1.39/1.47 c bounds 103 >= 0 @ 0.898369 1.39/1.47 c bounds 101 >= 0 @ 0.898883 1.39/1.47 c bounds 99 >= 0 @ 0.900246 1.39/1.47 c bounds 95 >= 0 @ 0.901701 1.39/1.47 c bounds 93 >= 0 @ 0.923967 1.39/1.47 c bounds 85 >= 0 @ 0.942106 1.39/1.47 c bounds 69 >= 0 @ 0.945363 1.39/1.47 c #Conflicts: 5000 | #Constraints: 2472 1.39/1.47 c #Conflicts: 6000 | #Constraints: 3481 1.39/1.47 c bounds 67 >= 0 @ 1.33733 1.39/1.47 c INPROCESSING 1.39/1.47 c GARBAGE COLLECT 1.39/1.47 c rational objective 0 2.10/2.16 c #Conflicts: 7000 | #Constraints: 2464 2.10/2.16 c #Conflicts: 8000 | #Constraints: 3469 2.10/2.16 c #Conflicts: 9000 | #Constraints: 4479 2.10/2.16 c INPROCESSING 2.10/2.16 c GARBAGE COLLECT 2.10/2.16 c rational objective 0 2.88/2.98 c bounds 65 >= 0 @ 2.09813 2.88/2.98 c bounds 63 >= 0 @ 2.09902 2.88/2.98 c bounds 61 >= 0 @ 2.09979 2.88/2.98 c #Conflicts: 10000 | #Constraints: 3176 2.88/2.98 c bounds 57 >= 0 @ 2.4757 2.88/2.98 c #Conflicts: 11000 | #Constraints: 4191 2.88/2.98 c #Conflicts: 12000 | #Constraints: 5207 2.88/2.98 c INPROCESSING 2.88/2.98 c GARBAGE COLLECT 2.88/2.98 c rational objective 0 3.78/3.88 c bounds 55 >= 0 @ 2.87826 3.78/3.88 c bounds 53 >= 0 @ 2.88164 3.78/3.88 c bounds 45 >= 0 @ 3.10324 3.78/3.88 c #Conflicts: 13000 | #Constraints: 3621 3.78/3.88 c #Conflicts: 14000 | #Constraints: 4633 3.78/3.88 c #Conflicts: 15000 | #Constraints: 5641 3.78/3.88 c INPROCESSING 3.78/3.88 c GARBAGE COLLECT 3.78/3.88 c rational objective 0 5.48/5.57 c bounds 37 >= 0 @ 4.15411 5.48/5.57 c bounds 35 >= 0 @ 4.15465 5.48/5.57 c #Conflicts: 16000 | #Constraints: 4134 5.48/5.57 c #Conflicts: 17000 | #Constraints: 5320 5.48/5.57 c #Conflicts: 18000 | #Constraints: 6422 5.48/5.57 c INPROCESSING 5.48/5.57 c GARBAGE COLLECT 5.48/5.57 c rational objective 0 7.57/7.69 c #Conflicts: 19000 | #Constraints: 4633 7.57/7.69 c #Conflicts: 20000 | #Constraints: 6293 7.57/7.69 c #Conflicts: 21000 | #Constraints: 7759 7.57/7.69 c INPROCESSING 7.57/7.69 c GARBAGE COLLECT 7.57/7.69 c rational objective 0 10.26/10.37 c bounds 33 >= 0 @ 7.49292 10.26/10.37 c #Conflicts: 22000 | #Constraints: 5045 10.26/10.37 c #Conflicts: 23000 | #Constraints: 6312 10.26/10.37 c #Conflicts: 24000 | #Constraints: 7471 10.26/10.37 c #Conflicts: 25000 | #Constraints: 8943 10.26/10.37 c INPROCESSING 10.26/10.37 c GARBAGE COLLECT 10.26/10.37 c rational objective 0 13.15/13.23 c #Conflicts: 26000 | #Constraints: 5893 13.15/13.23 c #Conflicts: 27000 | #Constraints: 7293 13.15/13.23 c #Conflicts: 28000 | #Constraints: 8972 13.15/13.23 c #Conflicts: 29000 | #Constraints: 10549 13.15/13.23 c INPROCESSING 13.15/13.23 c GARBAGE COLLECT 13.15/13.23 c rational objective 0 16.55/16.64 c #Conflicts: 30000 | #Constraints: 6467 16.55/16.64 c #Conflicts: 31000 | #Constraints: 7584 16.55/16.64 c #Conflicts: 32000 | #Constraints: 8753 16.55/16.64 c #Conflicts: 33000 | #Constraints: 9758 16.55/16.64 c INPROCESSING 16.55/16.64 c GARBAGE COLLECT 16.55/16.64 c rational objective 0 20.43/20.52 c #Conflicts: 34000 | #Constraints: 6372 20.43/20.52 c #Conflicts: 35000 | #Constraints: 8108 20.43/20.52 c #Conflicts: 36000 | #Constraints: 9844 20.43/20.52 c #Conflicts: 37000 | #Constraints: 11601 20.43/20.52 c INPROCESSING 20.43/20.52 c GARBAGE COLLECT 20.43/20.52 c rational objective 0 27.32/27.47 c #Conflicts: 38000 | #Constraints: 7363 27.32/27.47 c #Conflicts: 39000 | #Constraints: 9078 27.32/27.47 c #Conflicts: 40000 | #Constraints: 10812 27.32/27.47 c #Conflicts: 41000 | #Constraints: 12565 27.32/27.47 c INPROCESSING 27.32/27.47 c GARBAGE COLLECT 27.32/27.47 c rational objective 0 31.02/31.16 c #Conflicts: 42000 | #Constraints: 7230 31.02/31.16 c #Conflicts: 43000 | #Constraints: 8241 31.02/31.16 c #Conflicts: 44000 | #Constraints: 9245 31.02/31.16 c #Conflicts: 45000 | #Constraints: 10256 31.02/31.16 c #Conflicts: 46000 | #Constraints: 11269 31.02/31.16 c INPROCESSING 31.02/31.16 c GARBAGE COLLECT 31.02/31.16 c rational objective 0 34.79/34.98 c #Conflicts: 47000 | #Constraints: 7114 34.79/34.98 c #Conflicts: 48000 | #Constraints: 8222 34.79/34.98 c #Conflicts: 49000 | #Constraints: 9311 34.79/34.98 c #Conflicts: 50000 | #Constraints: 11043 34.79/34.98 c #Conflicts: 51000 | #Constraints: 12774 34.79/34.98 c INPROCESSING 34.79/34.98 c GARBAGE COLLECT 34.79/34.98 c rational objective 0 39.88/40.07 c #Conflicts: 52000 | #Constraints: 7532 39.88/40.07 c #Conflicts: 53000 | #Constraints: 8537 39.88/40.07 c #Conflicts: 54000 | #Constraints: 9541 39.88/40.07 c bounds 32 >= 0 @ 37.7873 39.88/40.07 c #Conflicts: 55000 | #Constraints: 10561 39.88/40.07 c #Conflicts: 56000 | #Constraints: 11568 39.88/40.07 c INPROCESSING 39.88/40.07 c GARBAGE COLLECT 39.88/40.07 c rational objective 0 45.36/45.52 c #Conflicts: 57000 | #Constraints: 7489 45.36/45.52 c #Conflicts: 58000 | #Constraints: 9162 45.36/45.52 c #Conflicts: 59000 | #Constraints: 10847 45.36/45.52 c #Conflicts: 60000 | #Constraints: 12603 45.36/45.52 c #Conflicts: 61000 | #Constraints: 14349 45.36/45.52 c INPROCESSING 45.36/45.52 c GARBAGE COLLECT 45.36/45.52 c rational objective 0 54.13/54.30 c #Conflicts: 62000 | #Constraints: 8723 54.13/54.30 c #Conflicts: 63000 | #Constraints: 10458 54.13/54.30 c #Conflicts: 64000 | #Constraints: 12153 54.13/54.30 c #Conflicts: 65000 | #Constraints: 13813 54.13/54.30 c #Conflicts: 66000 | #Constraints: 15488 54.13/54.30 c INPROCESSING 54.13/54.30 c GARBAGE COLLECT 54.13/54.30 c rational objective 0 60.11/60.37 c #Conflicts: 67000 | #Constraints: 8906 60.11/60.37 c #Conflicts: 68000 | #Constraints: 10603 60.11/60.37 c #Conflicts: 69000 | #Constraints: 12344 60.11/60.37 c #Conflicts: 70000 | #Constraints: 14075 60.11/60.37 c #Conflicts: 71000 | #Constraints: 15822 60.11/60.37 c #Conflicts: 72000 | #Constraints: 17642 60.11/60.37 c INPROCESSING 60.11/60.37 c GARBAGE COLLECT 60.11/60.37 c rational objective 0 70.38/70.65 c #Conflicts: 73000 | #Constraints: 10317 70.38/70.65 c #Conflicts: 74000 | #Constraints: 11942 70.38/70.65 c #Conflicts: 75000 | #Constraints: 13663 70.38/70.65 c #Conflicts: 76000 | #Constraints: 15353 70.38/70.65 c #Conflicts: 77000 | #Constraints: 17028 70.38/70.65 c #Conflicts: 78000 | #Constraints: 18679 70.38/70.65 c INPROCESSING 70.38/70.65 c GARBAGE COLLECT 70.38/70.65 c rational objective 0 77.26/77.57 c #Conflicts: 79000 | #Constraints: 11001 77.26/77.57 c #Conflicts: 80000 | #Constraints: 12665 77.26/77.57 c #Conflicts: 81000 | #Constraints: 14234 77.26/77.57 c #Conflicts: 82000 | #Constraints: 15891 77.26/77.57 c #Conflicts: 83000 | #Constraints: 17535 77.26/77.57 c #Conflicts: 84000 | #Constraints: 19182 77.26/77.57 c INPROCESSING 77.26/77.57 c GARBAGE COLLECT 77.26/77.57 c rational objective 0 85.75/86.06 c #Conflicts: 85000 | #Constraints: 11304 85.75/86.06 c #Conflicts: 86000 | #Constraints: 12953 85.75/86.06 c #Conflicts: 87000 | #Constraints: 14632 85.75/86.06 c #Conflicts: 88000 | #Constraints: 16345 85.75/86.06 c #Conflicts: 89000 | #Constraints: 18064 85.75/86.06 c #Conflicts: 90000 | #Constraints: 19779 85.75/86.06 c INPROCESSING 85.75/86.06 c GARBAGE COLLECT 85.75/86.06 c rational objective 0 97.11/97.42 c #Conflicts: 91000 | #Constraints: 11268 97.11/97.42 c #Conflicts: 92000 | #Constraints: 12749 97.11/97.42 c #Conflicts: 93000 | #Constraints: 14203 97.11/97.42 c #Conflicts: 94000 | #Constraints: 15691 97.11/97.42 c #Conflicts: 95000 | #Constraints: 16886 97.11/97.42 c #Conflicts: 96000 | #Constraints: 17930 97.11/97.42 c INPROCESSING 97.11/97.42 c GARBAGE COLLECT 97.11/97.42 c rational objective 0 106.48/106.88 c #Conflicts: 97000 | #Constraints: 10068 106.48/106.88 c #Conflicts: 98000 | #Constraints: 11619 106.48/106.88 c #Conflicts: 99000 | #Constraints: 12967 106.48/106.88 c #Conflicts: 100000 | #Constraints: 14310 106.48/106.88 c #Conflicts: 101000 | #Constraints: 15681 106.48/106.88 c #Conflicts: 102000 | #Constraints: 17060 106.48/106.88 c #Conflicts: 103000 | #Constraints: 18068 106.48/106.88 c INPROCESSING 106.48/106.88 c GARBAGE COLLECT 106.48/106.88 c rational objective 0 117.16/117.52 c #Conflicts: 104000 | #Constraints: 9978 117.16/117.52 c #Conflicts: 105000 | #Constraints: 11015 117.16/117.52 c #Conflicts: 106000 | #Constraints: 12039 117.16/117.52 c #Conflicts: 107000 | #Constraints: 13069 117.16/117.52 c #Conflicts: 108000 | #Constraints: 14096 117.16/117.52 c #Conflicts: 109000 | #Constraints: 15101 117.16/117.52 c #Conflicts: 110000 | #Constraints: 16186 117.16/117.52 c INPROCESSING 117.16/117.52 c GARBAGE COLLECT 117.16/117.52 c rational objective 0 124.35/124.76 c #Conflicts: 111000 | #Constraints: 9218 124.35/124.76 c #Conflicts: 112000 | #Constraints: 10409 124.35/124.76 c #Conflicts: 113000 | #Constraints: 11562 124.35/124.76 c #Conflicts: 114000 | #Constraints: 12605 124.35/124.76 c #Conflicts: 115000 | #Constraints: 13721 124.35/124.76 c #Conflicts: 116000 | #Constraints: 14797 124.35/124.76 c #Conflicts: 117000 | #Constraints: 15967 124.35/124.76 c INPROCESSING 124.35/124.76 c GARBAGE COLLECT 124.35/124.76 c rational objective 0 133.42/133.83 c #Conflicts: 118000 | #Constraints: 9453 133.42/133.83 c #Conflicts: 119000 | #Constraints: 11134 133.42/133.83 c #Conflicts: 120000 | #Constraints: 12627 133.42/133.83 c #Conflicts: 121000 | #Constraints: 14328 133.42/133.83 c #Conflicts: 122000 | #Constraints: 15983 133.42/133.83 c #Conflicts: 123000 | #Constraints: 17686 133.42/133.83 c #Conflicts: 124000 | #Constraints: 19400 133.42/133.83 c INPROCESSING 133.42/133.83 c GARBAGE COLLECT 133.42/133.83 c rational objective 0 145.60/146.10 c #Conflicts: 125000 | #Constraints: 11216 145.60/146.10 c #Conflicts: 126000 | #Constraints: 12851 145.60/146.10 c #Conflicts: 127000 | #Constraints: 14095 145.60/146.10 c #Conflicts: 128000 | #Constraints: 15103 145.60/146.10 c bounds 31 >= 0 @ 139.374 145.60/146.10 c #Conflicts: 129000 | #Constraints: 16507 145.60/146.10 c #Conflicts: 130000 | #Constraints: 17963 145.60/146.10 c #Conflicts: 131000 | #Constraints: 19178 145.60/146.10 c INPROCESSING 145.60/146.10 c GARBAGE COLLECT 145.60/146.10 c rational objective 0 160.36/160.81 c bounds 29 >= 0 @ 144.116 160.36/160.81 c #Conflicts: 132000 | #Constraints: 10494 160.36/160.81 c #Conflicts: 133000 | #Constraints: 11879 160.36/160.81 c #Conflicts: 134000 | #Constraints: 13321 160.36/160.81 c #Conflicts: 135000 | #Constraints: 14668 160.36/160.81 c #Conflicts: 136000 | #Constraints: 16121 160.36/160.81 c #Conflicts: 137000 | #Constraints: 17528 160.36/160.81 c #Conflicts: 138000 | #Constraints: 18943 160.36/160.81 c #Conflicts: 139000 | #Constraints: 20062 160.36/160.81 c INPROCESSING 160.36/160.81 c GARBAGE COLLECT 160.36/160.81 c rational objective 0 172.73/173.23 c #Conflicts: 140000 | #Constraints: 11424 172.73/173.23 c #Conflicts: 141000 | #Constraints: 12947 172.73/173.23 c #Conflicts: 142000 | #Constraints: 14091 172.73/173.23 c #Conflicts: 143000 | #Constraints: 15553 172.73/173.23 c #Conflicts: 144000 | #Constraints: 16724 172.73/173.23 c #Conflicts: 145000 | #Constraints: 17875 172.73/173.23 c #Conflicts: 146000 | #Constraints: 19061 172.73/173.23 c #Conflicts: 147000 | #Constraints: 20139 172.73/173.23 c INPROCESSING 172.73/173.23 c GARBAGE COLLECT 172.73/173.23 c rational objective 0 184.90/185.49 c #Conflicts: 148000 | #Constraints: 11188 184.90/185.49 c #Conflicts: 149000 | #Constraints: 12417 184.90/185.49 c #Conflicts: 150000 | #Constraints: 13579 184.90/185.49 c bounds 28 >= 0 @ 175.502 184.90/185.49 c #Conflicts: 151000 | #Constraints: 14895 184.90/185.49 c #Conflicts: 152000 | #Constraints: 16263 184.90/185.49 c #Conflicts: 153000 | #Constraints: 17810 184.90/185.49 c #Conflicts: 154000 | #Constraints: 19481 184.90/185.49 c #Conflicts: 155000 | #Constraints: 21045 184.90/185.49 c INPROCESSING 184.90/185.49 c GARBAGE COLLECT 184.90/185.49 c rational objective 0 199.48/200.04 c #Conflicts: 156000 | #Constraints: 12138 199.48/200.04 c #Conflicts: 157000 | #Constraints: 13409 199.48/200.04 c #Conflicts: 158000 | #Constraints: 14583 199.48/200.04 c #Conflicts: 159000 | #Constraints: 15651 199.48/200.04 c #Conflicts: 160000 | #Constraints: 16676 199.48/200.04 c #Conflicts: 161000 | #Constraints: 17937 199.48/200.04 c #Conflicts: 162000 | #Constraints: 19261 199.48/200.04 c #Conflicts: 163000 | #Constraints: 20330 199.48/200.04 c INPROCESSING 199.48/200.04 c GARBAGE COLLECT 199.48/200.04 c rational objective 0 210.24/210.86 c #Conflicts: 164000 | #Constraints: 11505 210.24/210.86 c #Conflicts: 165000 | #Constraints: 12633 210.24/210.86 c #Conflicts: 166000 | #Constraints: 13640 210.24/210.86 c #Conflicts: 167000 | #Constraints: 14692 210.24/210.86 c #Conflicts: 168000 | #Constraints: 15772 210.24/210.86 c #Conflicts: 169000 | #Constraints: 16846 210.24/210.86 c #Conflicts: 170000 | #Constraints: 17980 210.24/210.86 c #Conflicts: 171000 | #Constraints: 19099 210.24/210.86 c INPROCESSING 210.24/210.86 c GARBAGE COLLECT 210.24/210.86 c rational objective 0 220.22/220.89 c #Conflicts: 172000 | #Constraints: 10340 220.22/220.89 c #Conflicts: 173000 | #Constraints: 11432 220.22/220.89 c #Conflicts: 174000 | #Constraints: 12434 220.22/220.89 c #Conflicts: 175000 | #Constraints: 13588 220.22/220.89 c #Conflicts: 176000 | #Constraints: 14710 220.22/220.89 c #Conflicts: 177000 | #Constraints: 15715 220.22/220.89 c #Conflicts: 178000 | #Constraints: 16913 220.22/220.89 c #Conflicts: 179000 | #Constraints: 18058 220.22/220.89 c #Conflicts: 180000 | #Constraints: 19068 220.22/220.89 c INPROCESSING 220.22/220.89 c GARBAGE COLLECT 220.22/220.89 c rational objective 0 241.06/241.78 c #Conflicts: 181000 | #Constraints: 10829 241.06/241.78 c #Conflicts: 182000 | #Constraints: 12510 241.06/241.78 c #Conflicts: 183000 | #Constraints: 14166 241.06/241.78 c #Conflicts: 184000 | #Constraints: 15868 241.06/241.78 c #Conflicts: 185000 | #Constraints: 17580 241.06/241.78 c #Conflicts: 186000 | #Constraints: 19302 241.06/241.78 c #Conflicts: 187000 | #Constraints: 21044 241.06/241.78 c #Conflicts: 188000 | #Constraints: 22816 241.06/241.78 c #Conflicts: 189000 | #Constraints: 24581 241.06/241.78 c INPROCESSING 241.06/241.78 c GARBAGE COLLECT 241.06/241.78 c rational objective 0 258.51/259.26 c #Conflicts: 190000 | #Constraints: 14042 258.51/259.26 c #Conflicts: 191000 | #Constraints: 15783 258.51/259.26 c #Conflicts: 192000 | #Constraints: 17557 258.51/259.26 c #Conflicts: 193000 | #Constraints: 19215 258.51/259.26 c #Conflicts: 194000 | #Constraints: 20906 258.51/259.26 c #Conflicts: 195000 | #Constraints: 22572 258.51/259.26 c #Conflicts: 196000 | #Constraints: 24323 258.51/259.26 c #Conflicts: 197000 | #Constraints: 26023 258.51/259.26 c #Conflicts: 198000 | #Constraints: 27702 258.51/259.26 c INPROCESSING 258.51/259.26 c GARBAGE COLLECT 258.51/259.26 c rational objective 0 281.54/282.33 c #Conflicts: 199000 | #Constraints: 15007 281.54/282.33 c #Conflicts: 200000 | #Constraints: 16099 281.54/282.33 c #Conflicts: 201000 | #Constraints: 17109 281.54/282.33 c #Conflicts: 202000 | #Constraints: 18189 281.54/282.33 c #Conflicts: 203000 | #Constraints: 19536 281.54/282.33 c #Conflicts: 204000 | #Constraints: 20537 281.54/282.33 c #Conflicts: 205000 | #Constraints: 21537 281.54/282.33 c #Conflicts: 206000 | #Constraints: 22585 281.54/282.33 c #Conflicts: 207000 | #Constraints: 23658 281.54/282.33 c INPROCESSING 281.54/282.33 c GARBAGE COLLECT 281.54/282.33 c rational objective 0 305.98/306.86 c #Conflicts: 208000 | #Constraints: 13302 305.98/306.86 c #Conflicts: 209000 | #Constraints: 14969 305.98/306.86 c #Conflicts: 210000 | #Constraints: 16687 305.98/306.86 c #Conflicts: 211000 | #Constraints: 18387 305.98/306.86 c #Conflicts: 212000 | #Constraints: 20101 305.98/306.86 c #Conflicts: 213000 | #Constraints: 21816 305.98/306.86 c #Conflicts: 214000 | #Constraints: 23546 305.98/306.86 c #Conflicts: 215000 | #Constraints: 25287 305.98/306.86 c #Conflicts: 216000 | #Constraints: 26993 305.98/306.86 c INPROCESSING 305.98/306.86 c GARBAGE COLLECT 305.98/306.86 c rational objective 0 338.70/339.68 c #Conflicts: 217000 | #Constraints: 14659 338.70/339.68 c #Conflicts: 218000 | #Constraints: 16315 338.70/339.68 c #Conflicts: 219000 | #Constraints: 17985 338.70/339.68 c #Conflicts: 220000 | #Constraints: 19485 338.70/339.68 c #Conflicts: 221000 | #Constraints: 21177 338.70/339.68 c #Conflicts: 222000 | #Constraints: 22846 338.70/339.68 c #Conflicts: 223000 | #Constraints: 24512 338.70/339.68 c #Conflicts: 224000 | #Constraints: 26125 338.70/339.68 c #Conflicts: 225000 | #Constraints: 27822 338.70/339.68 c #Conflicts: 226000 | #Constraints: 29497 338.70/339.68 c INPROCESSING 338.70/339.68 c GARBAGE COLLECT 338.70/339.68 c rational objective 0 360.53/361.54 c #Conflicts: 227000 | #Constraints: 16259 360.53/361.54 c #Conflicts: 228000 | #Constraints: 17957 360.53/361.54 c #Conflicts: 229000 | #Constraints: 19523 360.53/361.54 c #Conflicts: 230000 | #Constraints: 21171 360.53/361.54 c #Conflicts: 231000 | #Constraints: 22854 360.53/361.54 c #Conflicts: 232000 | #Constraints: 24564 360.53/361.54 c #Conflicts: 233000 | #Constraints: 26267 360.53/361.54 c #Conflicts: 234000 | #Constraints: 27752 360.53/361.54 c #Conflicts: 235000 | #Constraints: 29530 360.53/361.54 c #Conflicts: 236000 | #Constraints: 31188 360.53/361.54 c INPROCESSING 360.53/361.54 c GARBAGE COLLECT 360.53/361.54 c rational objective 0 381.98/383.03 c #Conflicts: 237000 | #Constraints: 17136 381.98/383.03 c #Conflicts: 238000 | #Constraints: 18808 381.98/383.03 c #Conflicts: 239000 | #Constraints: 20494 381.98/383.03 c #Conflicts: 240000 | #Constraints: 22178 381.98/383.03 c #Conflicts: 241000 | #Constraints: 23907 381.98/383.03 c #Conflicts: 242000 | #Constraints: 25675 381.98/383.03 c #Conflicts: 243000 | #Constraints: 27397 381.98/383.03 c #Conflicts: 244000 | #Constraints: 29119 381.98/383.03 c #Conflicts: 245000 | #Constraints: 30810 381.98/383.03 c #Conflicts: 246000 | #Constraints: 32593 381.98/383.03 c INPROCESSING 381.98/383.03 c GARBAGE COLLECT 381.98/383.03 c rational objective 0 409.29/410.43 c #Conflicts: 247000 | #Constraints: 17320 409.29/410.43 c #Conflicts: 248000 | #Constraints: 18324 409.29/410.43 c #Conflicts: 249000 | #Constraints: 19331 409.29/410.43 c #Conflicts: 250000 | #Constraints: 20340 409.29/410.43 c #Conflicts: 251000 | #Constraints: 21351 409.29/410.43 c #Conflicts: 252000 | #Constraints: 22356 409.29/410.43 c #Conflicts: 253000 | #Constraints: 23360 409.29/410.43 c #Conflicts: 254000 | #Constraints: 24362 409.29/410.43 c #Conflicts: 255000 | #Constraints: 25363 409.29/410.43 c #Conflicts: 256000 | #Constraints: 26367 409.29/410.43 c INPROCESSING 409.29/410.43 c GARBAGE COLLECT 409.29/410.43 c rational objective 0 426.04/427.23 c #Conflicts: 257000 | #Constraints: 14111 426.04/427.23 c #Conflicts: 258000 | #Constraints: 15118 426.04/427.23 c #Conflicts: 259000 | #Constraints: 16124 426.04/427.23 c #Conflicts: 260000 | #Constraints: 17137 426.04/427.23 c #Conflicts: 261000 | #Constraints: 18141 426.04/427.23 c #Conflicts: 262000 | #Constraints: 19148 426.04/427.23 c #Conflicts: 263000 | #Constraints: 20152 426.04/427.23 c #Conflicts: 264000 | #Constraints: 21159 426.04/427.23 c #Conflicts: 265000 | #Constraints: 22162 426.04/427.23 c #Conflicts: 266000 | #Constraints: 23167 426.04/427.23 c INPROCESSING 426.04/427.23 c GARBAGE COLLECT 426.04/427.23 c rational objective 0 456.46/457.78 c #Conflicts: 267000 | #Constraints: 12570 456.46/457.78 c #Conflicts: 268000 | #Constraints: 14262 456.46/457.78 c #Conflicts: 269000 | #Constraints: 15959 456.46/457.78 c #Conflicts: 270000 | #Constraints: 17603 456.46/457.78 c #Conflicts: 271000 | #Constraints: 18855 456.46/457.78 c #Conflicts: 272000 | #Constraints: 19855 456.46/457.78 c #Conflicts: 273000 | #Constraints: 20855 456.46/457.78 c #Conflicts: 274000 | #Constraints: 21856 456.46/457.78 c #Conflicts: 275000 | #Constraints: 22860 456.46/457.78 c bounds 26 >= 0 @ 447.368 456.46/457.78 c #Conflicts: 276000 | #Constraints: 24393 456.46/457.78 c #Conflicts: 277000 | #Constraints: 25985 456.46/457.78 c INPROCESSING 456.46/457.78 c GARBAGE COLLECT 456.46/457.78 c rational objective 0 476.10/477.43 c #Conflicts: 278000 | #Constraints: 14126 476.10/477.43 c #Conflicts: 279000 | #Constraints: 15129 476.10/477.43 c #Conflicts: 280000 | #Constraints: 16177 476.10/477.43 c #Conflicts: 281000 | #Constraints: 17201 476.10/477.43 c #Conflicts: 282000 | #Constraints: 18207 476.10/477.43 c #Conflicts: 283000 | #Constraints: 19692 476.10/477.43 c #Conflicts: 284000 | #Constraints: 20845 476.10/477.43 c #Conflicts: 285000 | #Constraints: 21847 476.10/477.43 c #Conflicts: 286000 | #Constraints: 22910 476.10/477.43 c #Conflicts: 287000 | #Constraints: 23912 476.10/477.43 c #Conflicts: 288000 | #Constraints: 25335 476.10/477.43 c INPROCESSING 476.10/477.43 c GARBAGE COLLECT 476.10/477.43 c rational objective 0 514.39/515.82 c #Conflicts: 289000 | #Constraints: 14205 514.39/515.82 c #Conflicts: 290000 | #Constraints: 15632 514.39/515.82 c #Conflicts: 291000 | #Constraints: 16969 514.39/515.82 c #Conflicts: 292000 | #Constraints: 18419 514.39/515.82 c #Conflicts: 293000 | #Constraints: 19530 514.39/515.82 c #Conflicts: 294000 | #Constraints: 20801 514.39/515.82 c #Conflicts: 295000 | #Constraints: 22136 514.39/515.82 c #Conflicts: 296000 | #Constraints: 23537 514.39/515.82 c #Conflicts: 297000 | #Constraints: 24861 514.39/515.82 c #Conflicts: 298000 | #Constraints: 26173 514.39/515.82 c #Conflicts: 299000 | #Constraints: 27574 514.39/515.82 c INPROCESSING 514.39/515.82 c GARBAGE COLLECT 514.39/515.82 c rational objective 0 552.49/554.06 c #Conflicts: 300000 | #Constraints: 15481 552.49/554.06 c #Conflicts: 301000 | #Constraints: 17193 552.49/554.06 c #Conflicts: 302000 | #Constraints: 18878 552.49/554.06 c #Conflicts: 303000 | #Constraints: 20571 552.49/554.06 c #Conflicts: 304000 | #Constraints: 22297 552.49/554.06 c #Conflicts: 305000 | #Constraints: 24035 552.49/554.06 c #Conflicts: 306000 | #Constraints: 25828 552.49/554.06 c #Conflicts: 307000 | #Constraints: 27567 552.49/554.06 c #Conflicts: 308000 | #Constraints: 29134 552.49/554.06 c #Conflicts: 309000 | #Constraints: 30753 552.49/554.06 c #Conflicts: 310000 | #Constraints: 32551 552.49/554.06 c INPROCESSING 552.49/554.06 c GARBAGE COLLECT 552.49/554.06 c rational objective 0 607.33/609.06 c #Conflicts: 311000 | #Constraints: 17823 607.33/609.06 c #Conflicts: 312000 | #Constraints: 19534 607.33/609.06 c #Conflicts: 313000 | #Constraints: 21270 607.33/609.06 c #Conflicts: 314000 | #Constraints: 22962 607.33/609.06 c #Conflicts: 315000 | #Constraints: 24102 607.33/609.06 c #Conflicts: 316000 | #Constraints: 25377 607.33/609.06 c #Conflicts: 317000 | #Constraints: 26726 607.33/609.06 c #Conflicts: 318000 | #Constraints: 28181 607.33/609.06 c #Conflicts: 319000 | #Constraints: 29608 607.33/609.06 c #Conflicts: 320000 | #Constraints: 30795 607.33/609.06 c #Conflicts: 321000 | #Constraints: 32282 607.33/609.06 c INPROCESSING 607.33/609.06 c GARBAGE COLLECT 607.33/609.06 c rational objective 0 636.84/638.63 c #Conflicts: 322000 | #Constraints: 17035 636.84/638.63 c #Conflicts: 323000 | #Constraints: 18568 636.84/638.63 c #Conflicts: 324000 | #Constraints: 19902 636.84/638.63 c #Conflicts: 325000 | #Constraints: 21215 636.84/638.63 c #Conflicts: 326000 | #Constraints: 22372 636.84/638.63 c #Conflicts: 327000 | #Constraints: 23759 636.84/638.63 c #Conflicts: 328000 | #Constraints: 25318 636.84/638.63 c #Conflicts: 329000 | #Constraints: 26543 636.84/638.63 c #Conflicts: 330000 | #Constraints: 27644 636.84/638.63 c #Conflicts: 331000 | #Constraints: 29128 636.84/638.63 c #Conflicts: 332000 | #Constraints: 30385 636.84/638.63 c #Conflicts: 333000 | #Constraints: 31954 636.84/638.63 c INPROCESSING 636.84/638.63 c GARBAGE COLLECT 636.84/638.63 c rational objective 0 674.02/675.98 c #Conflicts: 334000 | #Constraints: 17302 674.02/675.98 c #Conflicts: 335000 | #Constraints: 18997 674.02/675.98 c #Conflicts: 336000 | #Constraints: 20635 674.02/675.98 c #Conflicts: 337000 | #Constraints: 22345 674.02/675.98 c #Conflicts: 338000 | #Constraints: 24024 674.02/675.98 c #Conflicts: 339000 | #Constraints: 25389 674.02/675.98 c #Conflicts: 340000 | #Constraints: 27168 674.02/675.98 c #Conflicts: 341000 | #Constraints: 28923 674.02/675.98 c #Conflicts: 342000 | #Constraints: 30637 674.02/675.98 c #Conflicts: 343000 | #Constraints: 32409 674.02/675.98 c #Conflicts: 344000 | #Constraints: 34196 674.02/675.98 c #Conflicts: 345000 | #Constraints: 35965 674.02/675.98 c INPROCESSING 674.02/675.98 c GARBAGE COLLECT 674.02/675.98 c rational objective 0 737.43/739.56 c #Conflicts: 346000 | #Constraints: 19330 737.43/739.56 c #Conflicts: 347000 | #Constraints: 21000 737.43/739.56 c #Conflicts: 348000 | #Constraints: 22642 737.43/739.56 c #Conflicts: 349000 | #Constraints: 24323 737.43/739.56 c #Conflicts: 350000 | #Constraints: 26021 737.43/739.56 c #Conflicts: 351000 | #Constraints: 27712 737.43/739.56 c #Conflicts: 352000 | #Constraints: 29391 737.43/739.56 c #Conflicts: 353000 | #Constraints: 31063 737.43/739.56 c #Conflicts: 354000 | #Constraints: 32719 737.43/739.56 c #Conflicts: 355000 | #Constraints: 34391 737.43/739.56 c #Conflicts: 356000 | #Constraints: 36069 737.43/739.56 c #Conflicts: 357000 | #Constraints: 37742 737.43/739.56 c INPROCESSING 737.43/739.56 c GARBAGE COLLECT 737.43/739.56 c rational objective 0 774.83/777.08 c #Conflicts: 358000 | #Constraints: 20539 774.83/777.08 c #Conflicts: 359000 | #Constraints: 22150 774.83/777.08 c #Conflicts: 360000 | #Constraints: 23890 774.83/777.08 c #Conflicts: 361000 | #Constraints: 25539 774.83/777.08 c #Conflicts: 362000 | #Constraints: 27056 774.83/777.08 c #Conflicts: 363000 | #Constraints: 28662 774.83/777.08 c #Conflicts: 364000 | #Constraints: 30385 774.83/777.08 c #Conflicts: 365000 | #Constraints: 31417 774.83/777.08 c #Conflicts: 366000 | #Constraints: 32885 774.83/777.08 c #Conflicts: 367000 | #Constraints: 34656 774.83/777.08 c #Conflicts: 368000 | #Constraints: 36464 774.83/777.08 c #Conflicts: 369000 | #Constraints: 38074 774.83/777.08 c INPROCESSING 774.83/777.08 c GARBAGE COLLECT 774.83/777.08 c rational objective 0 843.67/846.08 c #Conflicts: 370000 | #Constraints: 20558 843.67/846.08 c #Conflicts: 371000 | #Constraints: 22315 843.67/846.08 c #Conflicts: 372000 | #Constraints: 24060 843.67/846.08 c #Conflicts: 373000 | #Constraints: 25783 843.67/846.08 c #Conflicts: 374000 | #Constraints: 27503 843.67/846.08 c #Conflicts: 375000 | #Constraints: 29249 843.67/846.08 c #Conflicts: 376000 | #Constraints: 31027 843.67/846.08 c #Conflicts: 377000 | #Constraints: 32769 843.67/846.08 c #Conflicts: 378000 | #Constraints: 34569 843.67/846.08 c #Conflicts: 379000 | #Constraints: 36227 843.67/846.08 c #Conflicts: 380000 | #Constraints: 37570 843.67/846.08 c #Conflicts: 381000 | #Constraints: 38943 843.67/846.08 c INPROCESSING 843.67/846.08 c GARBAGE COLLECT 843.67/846.08 c rational objective 0 873.59/876.03 c #Conflicts: 382000 | #Constraints: 20480 873.59/876.03 c #Conflicts: 383000 | #Constraints: 21563 873.59/876.03 c #Conflicts: 384000 | #Constraints: 22571 873.59/876.03 c #Conflicts: 385000 | #Constraints: 23577 873.59/876.03 c #Conflicts: 386000 | #Constraints: 24603 873.59/876.03 c #Conflicts: 387000 | #Constraints: 25609 873.59/876.03 c #Conflicts: 388000 | #Constraints: 26663 873.59/876.03 c #Conflicts: 389000 | #Constraints: 27669 873.59/876.03 c #Conflicts: 390000 | #Constraints: 28709 873.59/876.03 c #Conflicts: 391000 | #Constraints: 29760 873.59/876.03 c #Conflicts: 392000 | #Constraints: 30796 873.59/876.03 c #Conflicts: 393000 | #Constraints: 31816 873.59/876.03 c #Conflicts: 394000 | #Constraints: 32925 873.59/876.03 c INPROCESSING 873.59/876.03 c GARBAGE COLLECT 873.59/876.03 c rational objective 0 915.66/918.29 c #Conflicts: 395000 | #Constraints: 17623 915.66/918.29 c #Conflicts: 396000 | #Constraints: 18844 915.66/918.29 c #Conflicts: 397000 | #Constraints: 20449 915.66/918.29 c #Conflicts: 398000 | #Constraints: 22075 915.66/918.29 c #Conflicts: 399000 | #Constraints: 23118 915.66/918.29 c #Conflicts: 400000 | #Constraints: 24453 915.66/918.29 c #Conflicts: 401000 | #Constraints: 26162 915.66/918.29 c #Conflicts: 402000 | #Constraints: 27877 915.66/918.29 c #Conflicts: 403000 | #Constraints: 29622 915.66/918.29 c #Conflicts: 404000 | #Constraints: 31368 915.66/918.29 c #Conflicts: 405000 | #Constraints: 33079 915.66/918.29 c #Conflicts: 406000 | #Constraints: 34787 915.66/918.29 c #Conflicts: 407000 | #Constraints: 36227 915.66/918.29 c INPROCESSING 915.66/918.29 c GARBAGE COLLECT 915.66/918.29 c rational objective 0 985.68/988.40 c #Conflicts: 408000 | #Constraints: 19751 985.68/988.40 c #Conflicts: 409000 | #Constraints: 21338 985.68/988.40 c #Conflicts: 410000 | #Constraints: 22978 985.68/988.40 c #Conflicts: 411000 | #Constraints: 24647 985.68/988.40 c #Conflicts: 412000 | #Constraints: 26096 985.68/988.40 c #Conflicts: 413000 | #Constraints: 27101 985.68/988.40 c #Conflicts: 414000 | #Constraints: 28420 985.68/988.40 c #Conflicts: 415000 | #Constraints: 30070 985.68/988.40 c #Conflicts: 416000 | #Constraints: 31741 985.68/988.40 c #Conflicts: 417000 | #Constraints: 33391 985.68/988.40 c #Conflicts: 418000 | #Constraints: 34581 985.68/988.40 c #Conflicts: 419000 | #Constraints: 35582 985.68/988.40 c #Conflicts: 420000 | #Constraints: 36586 985.68/988.40 c INPROCESSING 985.68/988.40 c GARBAGE COLLECT 985.68/988.40 c rational objective 0 1034.75/1037.64 c #Conflicts: 421000 | #Constraints: 19851 1034.75/1037.64 c #Conflicts: 422000 | #Constraints: 21455 1034.75/1037.64 c #Conflicts: 423000 | #Constraints: 22988 1034.75/1037.64 c #Conflicts: 424000 | #Constraints: 24096 1034.75/1037.64 c #Conflicts: 425000 | #Constraints: 25708 1034.75/1037.64 c #Conflicts: 426000 | #Constraints: 27427 1034.75/1037.64 c #Conflicts: 427000 | #Constraints: 28864 1034.75/1037.64 c #Conflicts: 428000 | #Constraints: 30178 1034.75/1037.64 c #Conflicts: 429000 | #Constraints: 31427 1034.75/1037.64 c #Conflicts: 430000 | #Constraints: 33069 1034.75/1037.64 c #Conflicts: 431000 | #Constraints: 34818 1034.75/1037.64 c #Conflicts: 432000 | #Constraints: 36568 1034.75/1037.64 c #Conflicts: 433000 | #Constraints: 38284 1034.75/1037.64 c INPROCESSING 1034.75/1037.64 c GARBAGE COLLECT 1034.75/1037.64 c rational objective 0 1076.07/1079.07 c #Conflicts: 434000 | #Constraints: 20146 1076.07/1079.07 c #Conflicts: 435000 | #Constraints: 21148 1076.07/1079.07 c #Conflicts: 436000 | #Constraints: 22155 1076.07/1079.07 c #Conflicts: 437000 | #Constraints: 23157 1076.07/1079.07 c #Conflicts: 438000 | #Constraints: 24160 1076.07/1079.07 c #Conflicts: 439000 | #Constraints: 25162 1076.07/1079.07 c #Conflicts: 440000 | #Constraints: 26165 1076.07/1079.07 c #Conflicts: 441000 | #Constraints: 27167 1076.07/1079.07 c #Conflicts: 442000 | #Constraints: 28169 1076.07/1079.07 c #Conflicts: 443000 | #Constraints: 29170 1076.07/1079.07 c #Conflicts: 444000 | #Constraints: 30171 1076.07/1079.07 c #Conflicts: 445000 | #Constraints: 31173 1076.07/1079.07 c #Conflicts: 446000 | #Constraints: 32174 1076.07/1079.07 c INPROCESSING 1076.07/1079.07 c GARBAGE COLLECT 1076.07/1079.07 c rational objective 0 1128.32/1131.40 c #Conflicts: 447000 | #Constraints: 16811 1128.32/1131.40 c #Conflicts: 448000 | #Constraints: 17813 1128.32/1131.40 c #Conflicts: 449000 | #Constraints: 18813 1128.32/1131.40 c #Conflicts: 450000 | #Constraints: 19815 1128.32/1131.40 c #Conflicts: 451000 | #Constraints: 20816 1128.32/1131.40 c #Conflicts: 452000 | #Constraints: 21816 1128.32/1131.40 c #Conflicts: 453000 | #Constraints: 22816 1128.32/1131.40 c #Conflicts: 454000 | #Constraints: 23817 1128.32/1131.40 c #Conflicts: 455000 | #Constraints: 24817 1128.32/1131.40 c #Conflicts: 456000 | #Constraints: 25818 1128.32/1131.40 c #Conflicts: 457000 | #Constraints: 26821 1128.32/1131.40 c #Conflicts: 458000 | #Constraints: 27823 1128.32/1131.40 c #Conflicts: 459000 | #Constraints: 28823 1128.32/1131.40 c #Conflicts: 460000 | #Constraints: 29826 1128.32/1131.40 c INPROCESSING 1128.32/1131.40 c GARBAGE COLLECT 1128.32/1131.40 c rational objective 0 1167.53/1170.75 c #Conflicts: 461000 | #Constraints: 16100 1167.53/1170.75 c #Conflicts: 462000 | #Constraints: 17346 1167.53/1170.75 c #Conflicts: 463000 | #Constraints: 18605 1167.53/1170.75 c #Conflicts: 464000 | #Constraints: 19782 1167.53/1170.75 c #Conflicts: 465000 | #Constraints: 20945 1167.53/1170.75 c #Conflicts: 466000 | #Constraints: 22089 1167.53/1170.75 c #Conflicts: 467000 | #Constraints: 23301 1167.53/1170.75 c #Conflicts: 468000 | #Constraints: 24345 1167.53/1170.75 c #Conflicts: 469000 | #Constraints: 25554 1167.53/1170.75 c #Conflicts: 470000 | #Constraints: 26604 1167.53/1170.75 c #Conflicts: 471000 | #Constraints: 27906 1167.53/1170.75 c #Conflicts: 472000 | #Constraints: 28995 1167.53/1170.75 c #Conflicts: 473000 | #Constraints: 30141 1167.53/1170.75 c #Conflicts: 474000 | #Constraints: 31247 1167.53/1170.75 c INPROCESSING 1167.53/1170.75 c GARBAGE COLLECT 1167.53/1170.75 c rational objective 0 1216.20/1219.53 c #Conflicts: 475000 | #Constraints: 17236 1216.20/1219.53 c #Conflicts: 476000 | #Constraints: 18260 1216.20/1219.53 c #Conflicts: 477000 | #Constraints: 19732 1216.20/1219.53 c #Conflicts: 478000 | #Constraints: 21331 1216.20/1219.53 c #Conflicts: 479000 | #Constraints: 22341 1216.20/1219.53 c bounds 25 >= 0 @ 1182.67 1216.20/1219.53 c #Conflicts: 480000 | #Constraints: 23540 1216.20/1219.53 c #Conflicts: 481000 | #Constraints: 24981 1216.20/1219.53 c #Conflicts: 482000 | #Constraints: 26118 1216.20/1219.53 c #Conflicts: 483000 | #Constraints: 27606 1216.20/1219.53 c #Conflicts: 484000 | #Constraints: 29016 1216.20/1219.53 c #Conflicts: 485000 | #Constraints: 30252 1216.20/1219.53 c #Conflicts: 486000 | #Constraints: 31656 1216.20/1219.53 c #Conflicts: 487000 | #Constraints: 32662 1216.20/1219.53 c #Conflicts: 488000 | #Constraints: 34041 1216.20/1219.53 c INPROCESSING 1216.20/1219.53 c GARBAGE COLLECT 1216.20/1219.53 c rational objective 0 1268.27/1271.78 c bounds 21 >= 0 @ 1210.13 1268.27/1271.78 c bounds 17 >= 0 @ 1210.15 1268.27/1271.78 c #Conflicts: 489000 | #Constraints: 18460 1268.27/1271.78 c #Conflicts: 490000 | #Constraints: 19529 1268.27/1271.78 c #Conflicts: 491000 | #Constraints: 20680 1268.27/1271.78 c #Conflicts: 492000 | #Constraints: 21682 1268.27/1271.78 c #Conflicts: 493000 | #Constraints: 22815 1268.27/1271.78 c #Conflicts: 494000 | #Constraints: 23891 1268.27/1271.78 c #Conflicts: 495000 | #Constraints: 24920 1268.27/1271.78 c #Conflicts: 496000 | #Constraints: 25989 1268.27/1271.78 c #Conflicts: 497000 | #Constraints: 26996 1268.27/1271.78 c #Conflicts: 498000 | #Constraints: 27999 1268.27/1271.78 c #Conflicts: 499000 | #Constraints: 28999 1268.27/1271.78 c #Conflicts: 500000 | #Constraints: 30011 1268.27/1271.78 c #Conflicts: 501000 | #Constraints: 31170 1268.27/1271.78 c #Conflicts: 502000 | #Constraints: 32318 1268.27/1271.78 c INPROCESSING 1268.27/1271.78 c GARBAGE COLLECT 1268.27/1271.78 c rational objective 0 1312.86/1316.44 c #Conflicts: 503000 | #Constraints: 17434 1312.86/1316.44 c #Conflicts: 504000 | #Constraints: 18713 1312.86/1316.44 c #Conflicts: 505000 | #Constraints: 19933 1312.86/1316.44 c #Conflicts: 506000 | #Constraints: 21235 1312.86/1316.44 c #Conflicts: 507000 | #Constraints: 22472 1312.86/1316.44 c #Conflicts: 508000 | #Constraints: 23721 1312.86/1316.44 c #Conflicts: 509000 | #Constraints: 24965 1312.86/1316.44 c #Conflicts: 510000 | #Constraints: 25965 1312.86/1316.44 c #Conflicts: 511000 | #Constraints: 27190 1312.86/1316.44 c #Conflicts: 512000 | #Constraints: 28420 1312.86/1316.44 c #Conflicts: 513000 | #Constraints: 29555 1312.86/1316.44 c #Conflicts: 514000 | #Constraints: 30703 1312.86/1316.44 c #Conflicts: 515000 | #Constraints: 31777 1312.86/1316.44 c #Conflicts: 516000 | #Constraints: 32957 1312.86/1316.44 c INPROCESSING 1312.86/1316.44 c GARBAGE COLLECT 1312.86/1316.44 c rational objective 0 1397.83/1401.60 c #Conflicts: 517000 | #Constraints: 17432 1397.83/1401.60 c #Conflicts: 518000 | #Constraints: 19008 1397.83/1401.60 c #Conflicts: 519000 | #Constraints: 20696 1397.83/1401.60 c #Conflicts: 520000 | #Constraints: 22206 1397.83/1401.60 c #Conflicts: 521000 | #Constraints: 23789 1397.83/1401.60 c #Conflicts: 522000 | #Constraints: 25466 1397.83/1401.60 c #Conflicts: 523000 | #Constraints: 27076 1397.83/1401.60 c #Conflicts: 524000 | #Constraints: 28796 1397.83/1401.60 c #Conflicts: 525000 | #Constraints: 30457 1397.83/1401.60 c #Conflicts: 526000 | #Constraints: 32123 1397.83/1401.60 c #Conflicts: 527000 | #Constraints: 33773 1397.83/1401.60 c #Conflicts: 528000 | #Constraints: 35417 1397.83/1401.60 c #Conflicts: 529000 | #Constraints: 37098 1397.83/1401.60 c #Conflicts: 530000 | #Constraints: 38888 1397.83/1401.60 c #Conflicts: 531000 | #Constraints: 40707 1397.83/1401.60 c INPROCESSING 1397.83/1401.60 c GARBAGE COLLECT 1397.83/1401.60 c rational objective 0 1456.47/1460.41 c #Conflicts: 532000 | #Constraints: 21870 1456.47/1460.41 c #Conflicts: 533000 | #Constraints: 23543 1456.47/1460.41 c #Conflicts: 534000 | #Constraints: 25247 1456.47/1460.41 c #Conflicts: 535000 | #Constraints: 27003 1456.47/1460.41 c #Conflicts: 536000 | #Constraints: 28658 1456.47/1460.41 c #Conflicts: 537000 | #Constraints: 30380 1456.47/1460.41 c #Conflicts: 538000 | #Constraints: 32116 1456.47/1460.41 c #Conflicts: 539000 | #Constraints: 33832 1456.47/1460.41 c #Conflicts: 540000 | #Constraints: 35591 1456.47/1460.41 c #Conflicts: 541000 | #Constraints: 37317 1456.47/1460.41 c #Conflicts: 542000 | #Constraints: 39009 1456.47/1460.41 c #Conflicts: 543000 | #Constraints: 40688 1456.47/1460.41 c #Conflicts: 544000 | #Constraints: 42398 1456.47/1460.41 c #Conflicts: 545000 | #Constraints: 44096 1456.47/1460.41 c #Conflicts: 546000 | #Constraints: 45845 1456.47/1460.41 c INPROCESSING 1456.47/1460.41 c GARBAGE COLLECT 1456.47/1460.41 c rational objective 0 1525.49/1529.69 c #Conflicts: 547000 | #Constraints: 24598 1525.49/1529.69 c #Conflicts: 548000 | #Constraints: 26131 1525.49/1529.69 c #Conflicts: 549000 | #Constraints: 27849 1525.49/1529.69 c #Conflicts: 550000 | #Constraints: 29591 1525.49/1529.69 c #Conflicts: 551000 | #Constraints: 31300 1525.49/1529.69 c #Conflicts: 552000 | #Constraints: 32999 1525.49/1529.69 c #Conflicts: 553000 | #Constraints: 34748 1525.49/1529.69 c #Conflicts: 554000 | #Constraints: 36468 1525.49/1529.69 c #Conflicts: 555000 | #Constraints: 38186 1525.49/1529.69 c #Conflicts: 556000 | #Constraints: 39916 1525.49/1529.69 c #Conflicts: 557000 | #Constraints: 41675 1525.49/1529.69 c #Conflicts: 558000 | #Constraints: 43370 1525.49/1529.69 c #Conflicts: 559000 | #Constraints: 45058 1525.49/1529.69 c #Conflicts: 560000 | #Constraints: 46780 1525.49/1529.69 c #Conflicts: 561000 | #Constraints: 48523 1525.49/1529.69 c INPROCESSING 1525.49/1529.69 c GARBAGE COLLECT 1525.49/1529.69 c rational objective 0 1637.39/1641.88 c #Conflicts: 562000 | #Constraints: 26017 1637.39/1641.88 c #Conflicts: 563000 | #Constraints: 27677 1637.39/1641.88 c #Conflicts: 564000 | #Constraints: 29369 1637.39/1641.88 c #Conflicts: 565000 | #Constraints: 31019 1637.39/1641.88 c #Conflicts: 566000 | #Constraints: 32686 1637.39/1641.88 c #Conflicts: 567000 | #Constraints: 34371 1637.39/1641.88 c #Conflicts: 568000 | #Constraints: 36076 1637.39/1641.88 c #Conflicts: 569000 | #Constraints: 37743 1637.39/1641.88 c #Conflicts: 570000 | #Constraints: 39410 1637.39/1641.88 c #Conflicts: 571000 | #Constraints: 41067 1637.39/1641.88 c #Conflicts: 572000 | #Constraints: 42703 1637.39/1641.88 c #Conflicts: 573000 | #Constraints: 44346 1637.39/1641.88 c #Conflicts: 574000 | #Constraints: 45971 1637.39/1641.88 c #Conflicts: 575000 | #Constraints: 47624 1637.39/1641.88 c #Conflicts: 576000 | #Constraints: 49242 1637.39/1641.88 c INPROCESSING 1637.39/1641.88 c GARBAGE COLLECT 1637.39/1641.88 c rational objective 0 1702.00/1706.69 c #Conflicts: 577000 | #Constraints: 26155 1702.00/1706.69 c #Conflicts: 578000 | #Constraints: 27871 1702.00/1706.69 c #Conflicts: 579000 | #Constraints: 29417 1702.00/1706.69 c #Conflicts: 580000 | #Constraints: 31076 1702.00/1706.69 c #Conflicts: 581000 | #Constraints: 32639 1702.00/1706.69 c #Conflicts: 582000 | #Constraints: 34367 1702.00/1706.69 c #Conflicts: 583000 | #Constraints: 36080 1702.00/1706.69 c #Conflicts: 584000 | #Constraints: 37736 1702.00/1706.69 c #Conflicts: 585000 | #Constraints: 39392 1702.00/1706.69 c #Conflicts: 586000 | #Constraints: 41117 1702.00/1706.69 c #Conflicts: 587000 | #Constraints: 42847 1702.00/1706.69 c #Conflicts: 588000 | #Constraints: 44486 1702.00/1706.69 c #Conflicts: 589000 | #Constraints: 45778 1702.00/1706.69 c #Conflicts: 590000 | #Constraints: 47458 1702.00/1706.69 c #Conflicts: 591000 | #Constraints: 49171 1702.00/1706.69 c INPROCESSING 1702.00/1706.69 c GARBAGE COLLECT 1702.00/1706.69 c rational objective 0 1794.03/1798.96 c #Conflicts: 592000 | #Constraints: 25625 1794.03/1798.96 c #Conflicts: 593000 | #Constraints: 26753 1794.03/1798.96 c #Conflicts: 594000 | #Constraints: 27892 1794.03/1798.96 c #Conflicts: 595000 | #Constraints: 29359 1794.03/1798.96 c #Conflicts: 596000 | #Constraints: 30506 1794.03/1798.96 c #Conflicts: 597000 | #Constraints: 31656 1794.03/1798.96 c #Conflicts: 598000 | #Constraints: 32663 1794.03/1798.96 c #Conflicts: 599000 | #Constraints: 33672 1794.03/1798.96 c #Conflicts: 600000 | #Constraints: 34773 1794.03/1798.96 c #Conflicts: 601000 | #Constraints: 35855 1794.03/1798.96 c #Conflicts: 602000 | #Constraints: 36915 1794.03/1798.96 c #Conflicts: 603000 | #Constraints: 38114 1794.03/1798.96 c #Conflicts: 604000 | #Constraints: 39115 1794.03/1798.96 c #Conflicts: 605000 | #Constraints: 40116 1794.03/1798.96 c #Conflicts: 606000 | #Constraints: 41119 1794.03/1798.96 c #Conflicts: 607000 | #Constraints: 42616 1794.03/1798.96 c INPROCESSING 1794.03/1798.96 c GARBAGE COLLECT 1794.03/1798.96 c rational objective 0 1880.28/1885.46 c #Conflicts: 608000 | #Constraints: 22688 1880.28/1885.46 c #Conflicts: 609000 | #Constraints: 24337 1880.28/1885.46 c #Conflicts: 610000 | #Constraints: 25990 1880.28/1885.46 c #Conflicts: 611000 | #Constraints: 27680 1880.28/1885.46 c #Conflicts: 612000 | #Constraints: 29230 1880.28/1885.46 c #Conflicts: 613000 | #Constraints: 30894 1880.28/1885.46 c #Conflicts: 614000 | #Constraints: 32571 1880.28/1885.46 c #Conflicts: 615000 | #Constraints: 34281 1880.28/1885.46 c #Conflicts: 616000 | #Constraints: 35970 1880.28/1885.46 c #Conflicts: 617000 | #Constraints: 37660 1880.28/1885.46 c #Conflicts: 618000 | #Constraints: 39370 1880.28/1885.46 c #Conflicts: 619000 | #Constraints: 40913 1880.28/1885.46 c #Conflicts: 620000 | #Constraints: 42631 1880.28/1885.46 c #Conflicts: 621000 | #Constraints: 44334 1880.28/1885.46 c #Conflicts: 622000 | #Constraints: 45965 1880.28/1885.46 c #Conflicts: 623000 | #Constraints: 47699 1880.28/1885.46 c INPROCESSING 1880.28/1885.46 c GARBAGE COLLECT 1880.28/1885.46 c rational objective 0 1986.60/1992.07 c #Conflicts: 624000 | #Constraints: 25186 1986.60/1992.07 c #Conflicts: 625000 | #Constraints: 26405 1986.60/1992.07 c #Conflicts: 626000 | #Constraints: 27586 1986.60/1992.07 c #Conflicts: 627000 | #Constraints: 28788 1986.60/1992.07 c #Conflicts: 628000 | #Constraints: 29970 1986.60/1992.07 c #Conflicts: 629000 | #Constraints: 30978 1986.60/1992.07 c #Conflicts: 630000 | #Constraints: 32168 1986.60/1992.07 c #Conflicts: 631000 | #Constraints: 33235 1986.60/1992.07 c #Conflicts: 632000 | #Constraints: 34503 1986.60/1992.07 c #Conflicts: 633000 | #Constraints: 35528 1986.60/1992.07 c #Conflicts: 634000 | #Constraints: 36737 1986.60/1992.07 c #Conflicts: 635000 | #Constraints: 37894 1986.60/1992.07 c #Conflicts: 636000 | #Constraints: 39139 1986.60/1992.07 c #Conflicts: 637000 | #Constraints: 40154 1986.60/1992.07 c #Conflicts: 638000 | #Constraints: 41407 1986.60/1992.07 c #Conflicts: 639000 | #Constraints: 42834 1986.60/1992.07 c INPROCESSING 1986.60/1992.07 c GARBAGE COLLECT 1986.60/1992.07 c rational objective 0 2047.45/2053.06 c #Conflicts: 640000 | #Constraints: 23159 2047.45/2053.06 c #Conflicts: 641000 | #Constraints: 24865 2047.45/2053.06 c #Conflicts: 642000 | #Constraints: 26561 2047.45/2053.06 c #Conflicts: 643000 | #Constraints: 27797 2047.45/2053.06 c #Conflicts: 644000 | #Constraints: 29454 2047.45/2053.06 c #Conflicts: 645000 | #Constraints: 30720 2047.45/2053.06 c #Conflicts: 646000 | #Constraints: 31725 2047.45/2053.06 c #Conflicts: 647000 | #Constraints: 32732 2047.45/2053.06 c #Conflicts: 648000 | #Constraints: 33734 2047.45/2053.06 c #Conflicts: 649000 | #Constraints: 34736 2047.45/2053.06 c #Conflicts: 650000 | #Constraints: 35736 2047.45/2053.06 c #Conflicts: 651000 | #Constraints: 36738 2047.45/2053.06 c #Conflicts: 652000 | #Constraints: 37742 2047.45/2053.06 c #Conflicts: 653000 | #Constraints: 38862 2047.45/2053.06 c #Conflicts: 654000 | #Constraints: 39862 2047.45/2053.06 c #Conflicts: 655000 | #Constraints: 40863 2047.45/2053.06 c INPROCESSING 2047.45/2053.06 c GARBAGE COLLECT 2047.45/2053.06 c rational objective 0 2110.98/2116.76 c #Conflicts: 656000 | #Constraints: 21663 2110.98/2116.76 c #Conflicts: 657000 | #Constraints: 23337 2110.98/2116.76 c #Conflicts: 658000 | #Constraints: 24416 2110.98/2116.76 c #Conflicts: 659000 | #Constraints: 25811 2110.98/2116.76 c #Conflicts: 660000 | #Constraints: 27221 2110.98/2116.76 c #Conflicts: 661000 | #Constraints: 28515 2110.98/2116.76 c #Conflicts: 662000 | #Constraints: 30002 2110.98/2116.76 c #Conflicts: 663000 | #Constraints: 31208 2110.98/2116.76 c #Conflicts: 664000 | #Constraints: 32562 2110.98/2116.76 c #Conflicts: 665000 | #Constraints: 33962 2110.98/2116.76 c #Conflicts: 666000 | #Constraints: 35009 2110.98/2116.76 c #Conflicts: 667000 | #Constraints: 36011 2110.98/2116.76 c #Conflicts: 668000 | #Constraints: 37012 2110.98/2116.76 c #Conflicts: 669000 | #Constraints: 38103 2110.98/2116.76 c #Conflicts: 670000 | #Constraints: 39106 2110.98/2116.76 c #Conflicts: 671000 | #Constraints: 40109 2110.98/2116.76 c INPROCESSING 2110.98/2116.76 c GARBAGE COLLECT 2110.98/2116.76 c rational objective 0 2210.52/2216.55 c #Conflicts: 672000 | #Constraints: 21041 2210.52/2216.55 c #Conflicts: 673000 | #Constraints: 22184 2210.52/2216.55 c #Conflicts: 674000 | #Constraints: 23185 2210.52/2216.55 c #Conflicts: 675000 | #Constraints: 24185 2210.52/2216.55 c #Conflicts: 676000 | #Constraints: 25186 2210.52/2216.55 c #Conflicts: 677000 | #Constraints: 26193 2210.52/2216.55 c #Conflicts: 678000 | #Constraints: 27195 2210.52/2216.55 c #Conflicts: 679000 | #Constraints: 28654 2210.52/2216.55 c #Conflicts: 680000 | #Constraints: 29816 2210.52/2216.55 c #Conflicts: 681000 | #Constraints: 30816 2210.52/2216.55 c #Conflicts: 682000 | #Constraints: 31819 2210.52/2216.55 c #Conflicts: 683000 | #Constraints: 32864 2210.52/2216.55 c #Conflicts: 684000 | #Constraints: 34556 2210.52/2216.55 c #Conflicts: 685000 | #Constraints: 35619 2210.52/2216.55 c #Conflicts: 686000 | #Constraints: 37058 2210.52/2216.55 c #Conflicts: 687000 | #Constraints: 38387 2210.52/2216.55 c #Conflicts: 688000 | #Constraints: 40070 2210.52/2216.55 c INPROCESSING 2210.52/2216.55 c GARBAGE COLLECT 2210.52/2216.55 c rational objective 0 2291.40/2297.62 c #Conflicts: 689000 | #Constraints: 21567 2291.40/2297.62 c #Conflicts: 690000 | #Constraints: 23246 2291.40/2297.62 c #Conflicts: 691000 | #Constraints: 24930 2291.40/2297.62 c #Conflicts: 692000 | #Constraints: 26619 2291.40/2297.62 c #Conflicts: 693000 | #Constraints: 28295 2291.40/2297.62 c #Conflicts: 694000 | #Constraints: 30023 2291.40/2297.62 c #Conflicts: 695000 | #Constraints: 31778 2291.40/2297.62 c #Conflicts: 696000 | #Constraints: 33506 2291.40/2297.62 c #Conflicts: 697000 | #Constraints: 35245 2291.40/2297.62 c #Conflicts: 698000 | #Constraints: 36963 2291.40/2297.62 c #Conflicts: 699000 | #Constraints: 38710 2291.40/2297.62 c #Conflicts: 700000 | #Constraints: 40488 2291.40/2297.62 c #Conflicts: 701000 | #Constraints: 42285 2291.40/2297.62 c #Conflicts: 702000 | #Constraints: 44024 2291.40/2297.62 c #Conflicts: 703000 | #Constraints: 45770 2291.40/2297.62 c #Conflicts: 704000 | #Constraints: 47518 2291.40/2297.62 c #Conflicts: 705000 | #Constraints: 49208 2291.40/2297.62 c INPROCESSING 2291.40/2297.62 c GARBAGE COLLECT 2291.40/2297.62 c rational objective 0 2432.63/2439.27 c #Conflicts: 706000 | #Constraints: 26390 2432.63/2439.27 c #Conflicts: 707000 | #Constraints: 28146 2432.63/2439.27 c #Conflicts: 708000 | #Constraints: 29906 2432.63/2439.27 c #Conflicts: 709000 | #Constraints: 31624 2432.63/2439.27 c #Conflicts: 710000 | #Constraints: 33372 2432.63/2439.27 c #Conflicts: 711000 | #Constraints: 35107 2432.63/2439.27 c #Conflicts: 712000 | #Constraints: 36874 2432.63/2439.27 c #Conflicts: 713000 | #Constraints: 38652 2432.63/2439.27 c #Conflicts: 714000 | #Constraints: 40419 2432.63/2439.27 c #Conflicts: 715000 | #Constraints: 42161 2432.63/2439.27 c #Conflicts: 716000 | #Constraints: 43934 2432.63/2439.27 c #Conflicts: 717000 | #Constraints: 45710 2432.63/2439.27 c #Conflicts: 718000 | #Constraints: 47445 2432.63/2439.27 c #Conflicts: 719000 | #Constraints: 49132 2432.63/2439.27 c #Conflicts: 720000 | #Constraints: 50852 2432.63/2439.27 c #Conflicts: 721000 | #Constraints: 52612 2432.63/2439.27 c #Conflicts: 722000 | #Constraints: 54348 2432.63/2439.27 c INPROCESSING 2432.63/2439.27 c GARBAGE COLLECT 2432.63/2439.27 c rational objective 0 2523.60/2530.46 c #Conflicts: 723000 | #Constraints: 28697 2523.60/2530.46 c #Conflicts: 724000 | #Constraints: 29911 2523.60/2530.46 c #Conflicts: 725000 | #Constraints: 31058 2523.60/2530.46 c #Conflicts: 726000 | #Constraints: 32076 2523.60/2530.46 c #Conflicts: 727000 | #Constraints: 33121 2523.60/2530.46 c #Conflicts: 728000 | #Constraints: 34122 2523.60/2530.46 c #Conflicts: 729000 | #Constraints: 35464 2523.60/2530.46 c #Conflicts: 730000 | #Constraints: 36505 2523.60/2530.46 c #Conflicts: 731000 | #Constraints: 37546 2523.60/2530.46 c #Conflicts: 732000 | #Constraints: 38813 2523.60/2530.46 c #Conflicts: 733000 | #Constraints: 40207 2523.60/2530.46 c #Conflicts: 734000 | #Constraints: 41210 2523.60/2530.46 c #Conflicts: 735000 | #Constraints: 42544 2523.60/2530.46 c #Conflicts: 736000 | #Constraints: 43698 2523.60/2530.46 c #Conflicts: 737000 | #Constraints: 44909 2523.60/2530.46 c #Conflicts: 738000 | #Constraints: 46148 2523.60/2530.46 c #Conflicts: 739000 | #Constraints: 47445 2523.60/2530.46 c INPROCESSING 2523.60/2530.46 c GARBAGE COLLECT 2523.60/2530.46 c rational objective 0 2611.48/2618.59 c #Conflicts: 740000 | #Constraints: 25213 2611.48/2618.59 c #Conflicts: 741000 | #Constraints: 26901 2611.48/2618.59 c #Conflicts: 742000 | #Constraints: 28593 2611.48/2618.59 c #Conflicts: 743000 | #Constraints: 30294 2611.48/2618.59 c #Conflicts: 744000 | #Constraints: 31967 2611.48/2618.59 c #Conflicts: 745000 | #Constraints: 33625 2611.48/2618.59 c #Conflicts: 746000 | #Constraints: 35291 2611.48/2618.59 c #Conflicts: 747000 | #Constraints: 36969 2611.48/2618.59 c #Conflicts: 748000 | #Constraints: 38677 2611.48/2618.59 c #Conflicts: 749000 | #Constraints: 40386 2611.48/2618.59 c #Conflicts: 750000 | #Constraints: 42101 2611.48/2618.59 c #Conflicts: 751000 | #Constraints: 43773 2611.48/2618.59 c #Conflicts: 752000 | #Constraints: 45497 2611.48/2618.59 c #Conflicts: 753000 | #Constraints: 47220 2611.48/2618.59 c #Conflicts: 754000 | #Constraints: 48927 2611.48/2618.59 c #Conflicts: 755000 | #Constraints: 50629 2611.48/2618.59 c #Conflicts: 756000 | #Constraints: 52318 2611.48/2618.59 c INPROCESSING 2611.48/2618.59 c GARBAGE COLLECT 2611.48/2618.59 c rational objective 0 2760.69/2768.19 c #Conflicts: 757000 | #Constraints: 27147 2760.69/2768.19 c #Conflicts: 758000 | #Constraints: 28271 2760.69/2768.19 c #Conflicts: 759000 | #Constraints: 29980 2760.69/2768.19 c #Conflicts: 760000 | #Constraints: 31425 2760.69/2768.19 c #Conflicts: 761000 | #Constraints: 32671 2760.69/2768.19 c #Conflicts: 762000 | #Constraints: 34027 2760.69/2768.19 c #Conflicts: 763000 | #Constraints: 35175 2760.69/2768.19 c #Conflicts: 764000 | #Constraints: 36785 2760.69/2768.19 c #Conflicts: 765000 | #Constraints: 38259 2760.69/2768.19 c #Conflicts: 766000 | #Constraints: 39636 2760.69/2768.19 c #Conflicts: 767000 | #Constraints: 41025 2760.69/2768.19 c #Conflicts: 768000 | #Constraints: 42295 2760.69/2768.19 c #Conflicts: 769000 | #Constraints: 43544 2760.69/2768.19 c #Conflicts: 770000 | #Constraints: 44775 2760.69/2768.19 c #Conflicts: 771000 | #Constraints: 46281 2760.69/2768.19 c #Conflicts: 772000 | #Constraints: 47620 2760.69/2768.19 c #Conflicts: 773000 | #Constraints: 49257 2760.69/2768.19 c #Conflicts: 774000 | #Constraints: 50944 2760.69/2768.19 c INPROCESSING 2760.69/2768.19 c GARBAGE COLLECT 2760.69/2768.19 c rational objective 0 2879.87/2887.61 c #Conflicts: 775000 | #Constraints: 26930 2879.87/2887.61 c #Conflicts: 776000 | #Constraints: 28630 2879.87/2887.61 c #Conflicts: 777000 | #Constraints: 30355 2879.87/2887.61 c #Conflicts: 778000 | #Constraints: 32085 2879.87/2887.61 c #Conflicts: 779000 | #Constraints: 33820 2879.87/2887.61 c #Conflicts: 780000 | #Constraints: 35572 2879.87/2887.61 c #Conflicts: 781000 | #Constraints: 37303 2879.87/2887.61 c #Conflicts: 782000 | #Constraints: 39059 2879.87/2887.61 c #Conflicts: 783000 | #Constraints: 40782 2879.87/2887.61 c #Conflicts: 784000 | #Constraints: 42522 2879.87/2887.61 c #Conflicts: 785000 | #Constraints: 44249 2879.87/2887.61 c #Conflicts: 786000 | #Constraints: 46016 2879.87/2887.61 c #Conflicts: 787000 | #Constraints: 47765 2879.87/2887.61 c #Conflicts: 788000 | #Constraints: 49466 2879.87/2887.61 c #Conflicts: 789000 | #Constraints: 51196 2879.87/2887.61 c #Conflicts: 790000 | #Constraints: 52910 2879.87/2887.61 c #Conflicts: 791000 | #Constraints: 54629 2879.87/2887.61 c #Conflicts: 792000 | #Constraints: 56308 2879.87/2887.61 c INPROCESSING 2879.87/2887.61 c GARBAGE COLLECT 2879.87/2887.61 c rational objective 0 3024.90/3033.01 c #Conflicts: 793000 | #Constraints: 29285 3024.90/3033.01 c #Conflicts: 794000 | #Constraints: 30362 3024.90/3033.01 c #Conflicts: 795000 | #Constraints: 31383 3024.90/3033.01 c #Conflicts: 796000 | #Constraints: 32387 3024.90/3033.01 c #Conflicts: 797000 | #Constraints: 33430 3024.90/3033.01 c #Conflicts: 798000 | #Constraints: 34478 3024.90/3033.01 c #Conflicts: 799000 | #Constraints: 35482 3024.90/3033.01 c #Conflicts: 800000 | #Constraints: 36526 3024.90/3033.01 c #Conflicts: 801000 | #Constraints: 37547 3024.90/3033.01 c #Conflicts: 802000 | #Constraints: 38557 3024.90/3033.01 c #Conflicts: 803000 | #Constraints: 39588 3024.90/3033.01 c #Conflicts: 804000 | #Constraints: 40595 3024.90/3033.01 c #Conflicts: 805000 | #Constraints: 41601 3024.90/3033.01 c #Conflicts: 806000 | #Constraints: 42602 3024.90/3033.01 c #Conflicts: 807000 | #Constraints: 43613 3024.90/3033.01 c #Conflicts: 808000 | #Constraints: 44649 3024.90/3033.01 c #Conflicts: 809000 | #Constraints: 45649 3024.90/3033.01 c #Conflicts: 810000 | #Constraints: 46656 3024.90/3033.01 c INPROCESSING 3024.90/3033.01 c GARBAGE COLLECT 3024.90/3033.01 c rational objective 0 3096.82/3105.13 c #Conflicts: 811000 | #Constraints: 24415 3096.82/3105.13 c #Conflicts: 812000 | #Constraints: 25490 3096.82/3105.13 c #Conflicts: 813000 | #Constraints: 26651 3096.82/3105.13 c #Conflicts: 814000 | #Constraints: 27775 3096.82/3105.13 c #Conflicts: 815000 | #Constraints: 28871 3096.82/3105.13 c #Conflicts: 816000 | #Constraints: 29889 3096.82/3105.13 c #Conflicts: 817000 | #Constraints: 30934 3096.82/3105.13 c #Conflicts: 818000 | #Constraints: 31938 3096.82/3105.13 c #Conflicts: 819000 | #Constraints: 32945 3096.82/3105.13 c #Conflicts: 820000 | #Constraints: 33949 3096.82/3105.13 c #Conflicts: 821000 | #Constraints: 34964 3096.82/3105.13 c #Conflicts: 822000 | #Constraints: 36005 3096.82/3105.13 c #Conflicts: 823000 | #Constraints: 37009 3096.82/3105.13 c #Conflicts: 824000 | #Constraints: 38208 3096.82/3105.13 c #Conflicts: 825000 | #Constraints: 39233 3096.82/3105.13 c #Conflicts: 826000 | #Constraints: 40244 3096.82/3105.13 c #Conflicts: 827000 | #Constraints: 41351 3096.82/3105.13 c #Conflicts: 828000 | #Constraints: 42354 3096.82/3105.13 c INPROCESSING 3096.82/3105.13 c GARBAGE COLLECT 3096.82/3105.13 c rational objective 0 3182.38/3190.94 c #Conflicts: 829000 | #Constraints: 22511 3182.38/3190.94 c #Conflicts: 830000 | #Constraints: 23785 3182.38/3190.94 c #Conflicts: 831000 | #Constraints: 24789 3182.38/3190.94 c #Conflicts: 832000 | #Constraints: 26010 3182.38/3190.94 c #Conflicts: 833000 | #Constraints: 27424 3182.38/3190.94 c #Conflicts: 834000 | #Constraints: 28602 3182.38/3190.94 c #Conflicts: 835000 | #Constraints: 29602 3182.38/3190.94 c #Conflicts: 836000 | #Constraints: 30678 3182.38/3190.94 c #Conflicts: 837000 | #Constraints: 31678 3182.38/3190.94 c #Conflicts: 838000 | #Constraints: 32679 3182.38/3190.94 c #Conflicts: 839000 | #Constraints: 33684 3182.38/3190.94 c #Conflicts: 840000 | #Constraints: 34684 3182.38/3190.94 c #Conflicts: 841000 | #Constraints: 35686 3182.38/3190.94 c #Conflicts: 842000 | #Constraints: 36690 3182.38/3190.94 c #Conflicts: 843000 | #Constraints: 37724 3182.38/3190.94 c #Conflicts: 844000 | #Constraints: 38900 3182.38/3190.94 c #Conflicts: 845000 | #Constraints: 39902 3182.38/3190.94 c #Conflicts: 846000 | #Constraints: 40903 3182.38/3190.94 c INPROCESSING 3182.38/3190.94 c GARBAGE COLLECT 3182.38/3190.94 c rational objective 0 3296.29/3305.14 c #Conflicts: 847000 | #Constraints: 21173 3296.29/3305.14 c #Conflicts: 848000 | #Constraints: 22174 3296.29/3305.14 c #Conflicts: 849000 | #Constraints: 23177 3296.29/3305.14 c #Conflicts: 850000 | #Constraints: 24178 3296.29/3305.14 c #Conflicts: 851000 | #Constraints: 25179 3296.29/3305.14 c #Conflicts: 852000 | #Constraints: 26179 3296.29/3305.14 c #Conflicts: 853000 | #Constraints: 27180 3296.29/3305.14 c #Conflicts: 854000 | #Constraints: 28181 3296.29/3305.14 c #Conflicts: 855000 | #Constraints: 29185 3296.29/3305.14 c #Conflicts: 856000 | #Constraints: 30188 3296.29/3305.14 c #Conflicts: 857000 | #Constraints: 31188 3296.29/3305.14 c #Conflicts: 858000 | #Constraints: 32189 3296.29/3305.14 c #Conflicts: 859000 | #Constraints: 33190 3296.29/3305.14 c #Conflicts: 860000 | #Constraints: 34190 3296.29/3305.14 c #Conflicts: 861000 | #Constraints: 35191 3296.29/3305.14 c #Conflicts: 862000 | #Constraints: 36191 3296.29/3305.14 c #Conflicts: 863000 | #Constraints: 37193 3296.29/3305.14 c #Conflicts: 864000 | #Constraints: 38194 3296.29/3305.14 c #Conflicts: 865000 | #Constraints: 39195 3296.29/3305.14 c INPROCESSING 3296.29/3305.14 c GARBAGE COLLECT 3296.29/3305.14 c rational objective 0 3414.05/3423.26 c #Conflicts: 866000 | #Constraints: 21025 3414.05/3423.26 c #Conflicts: 867000 | #Constraints: 22754 3414.05/3423.26 c #Conflicts: 868000 | #Constraints: 24448 3414.05/3423.26 c #Conflicts: 869000 | #Constraints: 26177 3414.05/3423.26 c #Conflicts: 870000 | #Constraints: 27852 3414.05/3423.26 c #Conflicts: 871000 | #Constraints: 29572 3414.05/3423.26 c #Conflicts: 872000 | #Constraints: 31268 3414.05/3423.26 c #Conflicts: 873000 | #Constraints: 32947 3414.05/3423.26 c #Conflicts: 874000 | #Constraints: 34385 3414.05/3423.26 c #Conflicts: 875000 | #Constraints: 35993 3414.05/3423.26 c #Conflicts: 876000 | #Constraints: 37792 3414.05/3423.26 c #Conflicts: 877000 | #Constraints: 39547 3414.05/3423.26 c #Conflicts: 878000 | #Constraints: 41319 3414.05/3423.26 c #Conflicts: 879000 | #Constraints: 43059 3414.05/3423.26 c #Conflicts: 880000 | #Constraints: 44797 3414.05/3423.26 c #Conflicts: 881000 | #Constraints: 46577 3414.05/3423.26 c #Conflicts: 882000 | #Constraints: 48351 3414.05/3423.26 c #Conflicts: 883000 | #Constraints: 50122 3414.05/3423.26 c #Conflicts: 884000 | #Constraints: 51892 3414.05/3423.26 c INPROCESSING 3414.05/3423.26 c GARBAGE COLLECT 3414.05/3423.26 c rational objective 0 3583.51/3593.13 c #Conflicts: 885000 | #Constraints: 27617 3583.51/3593.13 c #Conflicts: 886000 | #Constraints: 28948 3583.51/3593.13 c #Conflicts: 887000 | #Constraints: 30361 3583.51/3593.13 c #Conflicts: 888000 | #Constraints: 31832 3583.51/3593.13 c #Conflicts: 889000 | #Constraints: 33073 3583.51/3593.13 c #Conflicts: 890000 | #Constraints: 34091 3583.51/3593.13 c #Conflicts: 891000 | #Constraints: 35643 3583.51/3593.13 c #Conflicts: 892000 | #Constraints: 36859 3583.51/3593.13 c #Conflicts: 893000 | #Constraints: 38241 3583.51/3593.13 c #Conflicts: 894000 | #Constraints: 39748 3583.51/3593.13 c #Conflicts: 895000 | #Constraints: 41096 3583.51/3593.13 c #Conflicts: 896000 | #Constraints: 42609 3583.51/3593.13 c #Conflicts: 897000 | #Constraints: 43669 3583.51/3593.13 c #Conflicts: 898000 | #Constraints: 44919 3583.51/3593.13 c #Conflicts: 899000 | #Constraints: 46203 3583.51/3593.13 c #Conflicts: 900000 | #Constraints: 47203 3583.51/3593.13 c #Conflicts: 901000 | #Constraints: 48752 3583.51/3593.13 c #Conflicts: 902000 | #Constraints: 50148 3583.51/3593.13 c #Conflicts: 903000 | #Constraints: 51413 3583.51/3593.13 c INPROCESSING 3583.51/3593.13 c GARBAGE COLLECT 3583.51/3593.13 c rational objective 0 3600.06/3609.70 c #Conflicts: 904000 | #Constraints: 26734 3600.06/3609.70 c #Conflicts: 905000 | #Constraints: 27742 3600.06/3609.70 c #Conflicts: 906000 | #Constraints: 28746 3600.06/3609.70 c #Conflicts: 907000 | #Constraints: 29747 3600.06/3609.70 c #Conflicts: 908000 | #Constraints: 30750 3600.06/3609.70 c Program interrupted by user. 3600.06/3609.70 c cpu time 3587.21 s 3600.06/3609.70 c deterministic time 595935162566 5.96e+11 3600.06/3609.70 c optimization time 16.3604 s 3600.06/3609.70 c total solve time 3570.85 s 3600.06/3609.70 c core-guided solve time 1711.53 s 3600.06/3609.70 c propagation time 3424.69 s 3600.06/3609.70 c conflict analysis time 139.265 s 3600.06/3609.70 c propagations 28017955 3600.06/3609.70 c resolve steps 5852507 3600.06/3609.70 c decisions 2121279 3600.06/3609.70 c conflicts 908113 3600.06/3609.70 c restarts 1978 3600.06/3609.70 c inprocessing phases 86 3600.06/3609.70 c input clauses 0 3600.06/3609.70 c input cardinalities 0 3600.06/3609.70 c input general constraints 67 3600.06/3609.70 c input average constraint length 103.22 3600.06/3609.70 c input average constraint degree 2040.16 3600.06/3609.70 c learned clauses 355805 3600.06/3609.70 c learned cardinalities 0 3600.06/3609.70 c learned general constraints 903921 3600.06/3609.70 c learned average constraint length 119.37 3600.06/3609.70 c learned average constraint degree 2846719137.18 3600.06/3609.70 c watched constraints 903525 3600.06/3609.70 c counting constraints 463 3600.06/3609.70 c gcd simplifications 310857 3600.06/3609.70 c detected cardinalities 0 3600.06/3609.70 c weakened non-implied lits 22929782 3600.06/3609.70 c weakened non-implying lits 679417 3600.06/3609.70 c original variables 198 3600.06/3609.70 c clausal propagations 284947 3600.06/3609.70 c cardinality propagations 0 3600.06/3609.70 c watched propagations 26820362 3600.06/3609.70 c counting propagations 387494 3600.06/3609.70 c watch lookups 25101514796 3600.06/3609.70 c watch backjump lookups 8647579987 3600.06/3609.70 c watch checks 534629767096 3600.06/3609.70 c propagation checks 26567533737 3600.06/3609.70 c constraint additions 926672602 3600.06/3609.70 c trail pops 31045111 3600.06/3609.70 c formula constraints 16 3600.06/3609.70 c learned constraints 906071 3600.06/3609.70 c bound constraints 51 3600.06/3609.70 c core-guided constraints 0 3600.06/3609.70 c encountered formula constraints 40102 3600.06/3609.70 c encountered learned constraints 1917879 3600.06/3609.70 c encountered bound constraints 1117 3600.06/3609.70 c encountered core-guided constraints 0 3600.06/3609.70 c LP total time 67.7351 s 3600.06/3609.70 c LP solve time 37.56 s 3600.06/3609.70 c LP constraints added 175 3600.06/3609.70 c LP constraints removed 157 3600.06/3609.70 c LP pivots internal 908123 3600.06/3609.70 c LP pivots root 1879 3600.06/3609.70 c LP calls 502479 3600.06/3609.70 c LP optimalities 150995 3600.06/3609.70 c LP no pivot count 68830 3600.06/3609.70 c LP infeasibilities 351474 3600.06/3609.70 c LP valid Farkas constraints 351471 3600.06/3609.70 c LP learned Farkas constraints 2041 3600.06/3609.70 c LP basis resets 10 3600.06/3609.70 c LP cycling count 1 3600.06/3609.70 c LP singular count 9 3600.06/3609.70 c LP no primal count 0 3600.06/3609.70 c LP no farkas count 0 3600.06/3609.70 c LP other issue count 0 3600.06/3609.70 c LP Gomory cuts 143 3600.06/3609.70 c LP learned cuts 16 3600.06/3609.70 c LP deleted cuts 157 3600.06/3609.70 c LP encountered Gomory constraints 2826 3600.06/3609.70 c LP encountered Farkas constraints 4407988 3600.06/3609.70 c LP encountered learned Farkas constraints 388667 3600.06/3609.70 c CG auxiliary variables introduced 0 3600.06/3609.70 c CG solutions found 51 3600.06/3609.70 c CG cores constructed 0 3600.06/3609.70 c CG core cardinality constraints returned 0 3600.06/3609.70 c CG unit cores 0 3600.06/3609.70 c CG single cores 0 3600.06/3609.70 c CG blocks removed during cardinality reduction 0 3600.06/3609.70 c CG first core best 0 3600.06/3609.70 c CG decision core best 0 3600.06/3609.70 c CG core reduction tie 0 3600.06/3609.70 c CG core degree average 0.00 3600.06/3609.70 c CG core slack average 0.00 3600.06/3609.70 s SATISFIABLE 3600.06/3609.70 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 x139 -x140 x141 -x142 -x143 x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 x153 x154 -x155 x156 -x157 -x158 x159 -x160 -x161 x162 -x163 x164 x165 x166 x167 x168 -x169 x170 -x171 x172 x173 -x174 x175 x176 x177 -x178 -x179 -x180 x181 -x182 x183 x184 x185 x186 -x187 x188 x189 x190 -x191 -x192 -x193 x194 -x195 x196 x197 x198
OK 17
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 (62016 MiB free)
memory of node 1: 64510 MiB (61301 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455175-1721459481/watcher-4455175-1721459481 -o /tmp/evaluation-result-4455175-1721459481/solver-4455175-1721459481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056973 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455175-1721459481.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1059185, runsolver pid=1059182
[startup+0.1001 s]*
/proc/loadavg: 4.10 4.10 4.09 5/246 1059186
/proc/meminfo: memFree=126272984/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=37960 memory=11068 CPUtime=0.1 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 644 0 0 0 10 0 0 0 20 0 1 0 198104761 38871040 2767 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 9490 2767 1842 922 0 1442 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37960 KiB
Current children cumulated memory: 11068 KiB
[startup+0.213768 s]*
/proc/loadavg: 4.10 4.10 4.09 5/246 1059186
/proc/meminfo: memFree=126272480/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=38356 memory=11592 CPUtime=0.21 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 745 0 0 0 20 1 0 0 20 0 1 0 198104761 39276544 2898 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 9589 2898 1842 922 0 1541 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38356 KiB
Current children cumulated memory: 11592 KiB
[startup+0.312887 s]*
/proc/loadavg: 4.10 4.10 4.09 5/246 1059186
/proc/meminfo: memFree=126272368/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=38488 memory=11592 CPUtime=0.31 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 791 0 0 0 30 1 0 0 20 0 1 0 198104761 39411712 2898 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 9622 2898 1842 922 0 1574 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38488 KiB
Current children cumulated memory: 11592 KiB
[startup+0.700279 s]
/proc/loadavg: 4.10 4.10 4.09 5/246 1059186
/proc/meminfo: memFree=126271892/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=39016 memory=12384 CPUtime=0.69 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 930 0 0 0 67 2 0 0 20 0 1 0 198104761 39952384 3096 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 9754 3096 1842 922 0 1706 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39016 KiB
Current children cumulated memory: 12384 KiB
[startup+1.50028 s]
/proc/loadavg: 4.10 4.10 4.09 5/246 1059186
/proc/meminfo: memFree=126271240/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=40512 memory=13968 CPUtime=1.48 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 1353 0 0 0 143 5 0 0 20 0 1 0 198104761 41484288 3492 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 10128 3492 1842 922 0 2080 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40512 KiB
Current children cumulated memory: 13968 KiB
[startup+3.11351 s]
/proc/loadavg: 4.10 4.10 4.09 5/246 1059187
/proc/meminfo: memFree=126267708/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=41044 memory=15444 CPUtime=3.1 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 1691 0 0 0 299 11 0 0 20 0 1 0 198104761 42029056 3861 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 10261 3861 1842 922 0 2213 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41044 KiB
Current children cumulated memory: 15444 KiB
[startup+6.30025 s]
/proc/loadavg: 4.09 4.10 4.09 5/246 1059187
/proc/meminfo: memFree=126261188/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=45828 memory=18408 CPUtime=6.27 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 2483 0 0 0 610 17 0 0 20 0 1 0 198104761 46927872 4602 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 11457 4602 1842 922 0 3409 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 45828 KiB
Current children cumulated memory: 18408 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.09 4.09 5/246 1059189
/proc/meminfo: memFree=126250000/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=54764 memory=28412 CPUtime=12.66 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 4437 0 0 0 1235 31 0 0 20 0 1 0 198104761 56078336 7103 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 13691 7103 1842 922 0 5643 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54764 KiB
Current children cumulated memory: 28412 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.09 4.09 5/246 1059236
/proc/meminfo: memFree=126286488/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=67620 memory=33420 CPUtime=25.41 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 5735 0 0 0 2495 46 0 0 20 0 1 0 198104761 69242880 8355 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 16905 8355 1842 922 0 8857 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67620 KiB
Current children cumulated memory: 33420 KiB
[startup+51.1136 s]
/proc/loadavg: 4.04 4.08 4.08 5/245 1059285
/proc/meminfo: memFree=126905328/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=69732 memory=39508 CPUtime=50.96 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 6634 0 0 0 5021 75 0 0 20 0 1 0 198104761 71405568 9877 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 17433 9877 1944 922 0 9385 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 69732 KiB
Current children cumulated memory: 39508 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/245 1059295
/proc/meminfo: memFree=126857740/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=76192 memory=48624 CPUtime=101.99 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 7994 0 0 0 10068 131 0 0 20 0 1 0 198104761 78020608 12156 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 19048 12156 1960 922 0 11000 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 76192 KiB
Current children cumulated memory: 48624 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/245 1059305
/proc/meminfo: memFree=126837268/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=79756 memory=50600 CPUtime=161.85 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 8560 0 0 0 16002 183 0 0 20 0 1 0 198104761 81670144 12650 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 19939 12650 1960 922 0 11891 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 79756 KiB
Current children cumulated memory: 50600 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/245 1059316
/proc/meminfo: memFree=126822384/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=80500 memory=51196 CPUtime=221.71 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 8754 0 0 0 21942 229 0 0 20 0 1 0 198104761 82432000 12799 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 20125 12799 1960 922 0 12077 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 80500 KiB
Current children cumulated memory: 51196 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/242 1059327
/proc/meminfo: memFree=126800260/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=99600 memory=65808 CPUtime=281.54 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 10879 0 0 0 27885 269 0 0 20 0 1 0 198104761 101990400 16452 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 24900 16452 1960 922 0 16852 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 99600 KiB
Current children cumulated memory: 65808 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/242 1059337
/proc/meminfo: memFree=126793952/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=100976 memory=67828 CPUtime=341.38 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 11429 0 0 0 33844 294 0 0 20 0 1 0 198104761 103399424 16957 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 25244 16957 1960 922 0 17196 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 100976 KiB
Current children cumulated memory: 67828 KiB
[startup+402.3 s]
/proc/loadavg: 4.23 4.12 4.10 5/242 1059347
/proc/meminfo: memFree=126773296/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=101616 memory=74000 CPUtime=401.22 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 11813 0 0 0 39790 332 0 0 20 0 1 0 198104761 104054784 18500 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 25404 18500 1960 922 0 17356 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 101616 KiB
Current children cumulated memory: 74000 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/242 1059358
/proc/meminfo: memFree=126768908/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=102160 memory=74308 CPUtime=461.05 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 11933 0 0 0 45739 366 0 0 20 0 1 0 198104761 104611840 18577 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
################
# More data... #
################
Current children cumulated memory: 128648 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/244 1060962
/proc/meminfo: memFree=126511940/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=187576 memory=134648 CPUtime=2914.48 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22178 0 0 0 290325 1123 0 0 20 0 1 0 198104761 192077824 33662 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 46894 33662 1960 922 0 38846 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 187576 KiB
Current children cumulated memory: 134648 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/243 1060985
/proc/meminfo: memFree=126511556/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=187576 memory=134648 CPUtime=2974.32 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22227 0 0 0 296294 1138 0 0 20 0 1 0 198104761 192077824 33662 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 46894 33662 1960 922 0 38846 0
Current children cumulated CPU time: 2974.32 s
Current children cumulated vsize: 187576 KiB
Current children cumulated memory: 134648 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/243 1060995
/proc/meminfo: memFree=126511360/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=187576 memory=134648 CPUtime=3034.17 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22272 0 0 0 302269 1148 0 0 20 0 1 0 198104761 192077824 33662 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 46894 33662 1960 922 0 38846 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 187576 KiB
Current children cumulated memory: 134648 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.13 4.16 5/243 1061006
/proc/meminfo: memFree=126511380/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=187576 memory=134648 CPUtime=3094.01 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22279 0 0 0 308235 1166 0 0 20 0 1 0 198104761 192077824 33662 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 46894 33662 1960 922 0 38846 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 187576 KiB
Current children cumulated memory: 134648 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.15 4.16 5/242 1061016
/proc/meminfo: memFree=126511144/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=187576 memory=134648 CPUtime=3153.85 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22329 0 0 0 314200 1185 0 0 20 0 1 0 198104761 192077824 33662 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 46894 33662 1960 922 0 38846 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 187576 KiB
Current children cumulated memory: 134648 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/242 1061027
/proc/meminfo: memFree=126506768/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=187576 memory=134648 CPUtime=3213.7 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22379 0 0 0 320169 1201 0 0 20 0 1 0 198104761 192077824 33662 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 46894 33662 1960 922 0 38846 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 187576 KiB
Current children cumulated memory: 134648 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/243 1061039
/proc/meminfo: memFree=126506288/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=187576 memory=134648 CPUtime=3273.53 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22424 0 0 0 326142 1211 0 0 20 0 1 0 198104761 192077824 33662 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 46894 33662 1960 922 0 38846 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 187576 KiB
Current children cumulated memory: 134648 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.13 4.15 5/243 1061049
/proc/meminfo: memFree=126505840/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=187576 memory=134648 CPUtime=3333.38 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22471 0 0 0 332112 1226 0 0 20 0 1 0 198104761 192077824 33662 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 46894 33662 1960 922 0 38846 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 187576 KiB
Current children cumulated memory: 134648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/243 1061059
/proc/meminfo: memFree=126505392/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=187576 memory=134660 CPUtime=3393.2 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22533 0 0 0 338079 1241 0 0 20 0 1 0 198104761 192077824 33665 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 46894 33665 1960 922 0 38846 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 187576 KiB
Current children cumulated memory: 134660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/243 1061070
/proc/meminfo: memFree=126502164/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=188928 memory=135488 CPUtime=3453.05 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22819 0 0 0 344051 1254 0 0 20 0 1 0 198104761 193462272 33872 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 47232 33872 1960 922 0 39184 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 188928 KiB
Current children cumulated memory: 135488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/243 1061080
/proc/meminfo: memFree=126501752/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=188928 memory=135600 CPUtime=3512.89 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22868 0 0 0 350020 1269 0 0 20 0 1 0 198104761 193462272 33900 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 47232 33900 1960 922 0 39184 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 188928 KiB
Current children cumulated memory: 135600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/244 1061094
/proc/meminfo: memFree=126548224/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=188928 memory=135612 CPUtime=3572.72 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 22928 0 0 0 355995 1277 0 0 20 0 1 0 198104761 193462272 33903 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 47232 33903 1960 922 0 39184 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 188928 KiB
Current children cumulated memory: 135612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.11 4.12 4.13 5/244 1061144
/proc/meminfo: memFree=126522056/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=189184 memory=135664 CPUtime=3600.06 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 23046 0 0 0 358721 1285 0 0 20 0 1 0 198104761 193724416 33916 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 47296 33916 1960 922 0 39248 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 189184 KiB
Current children cumulated memory: 135664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 1059185 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.21 s, system=12.8529 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.11 4.12 4.13 5/244 1061144
/proc/meminfo: memFree=126522056/131655788 swapFree=131071996/131071996
[pid=1059185] ppid=1059182 vsize=189184 memory=135664 CPUtime=3600.06 cores=5,7
/proc/1059185/stat : 1059185 (roundingsat) R 1059182 1059185 1056960 0 -1 4194304 23046 0 0 0 358721 1285 0 0 20 0 1 0 198104761 193724416 33916 134679101440 4194304 7968373 140722040480384 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 18014208 140722040488892 140722040489056 140722040489056 140722040496073 0
/proc/1059185/statm: 47296 33916 1960 922 0 39248 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 189184 KiB
Current children cumulated memory: 135664 KiB
Child status: 0
Real time (s): 3609.7
CPU time (s): 3600.07
CPU user time (s): 3587.21
CPU system time (s): 12.8529
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 189184
Max. memory (cumulated for all children) (KiB): 135664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.21
system time used= 12.8529
maximum resident set size= 135664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23055
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= 67
involuntary context switches= 1971
# summary of solver processes directly reported to runsolver:
# pid: 1059185
# total CPU time (s): 3600.07
# total CPU user time (s): 3587.21
# total CPU system time (s): 12.8529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5892 second user time and 37.6359 second system time
The end
Begin job on nodeC007 at 2024-07-20 09:11:34 IDJOB=4455175 IDBENCH=147578 IDSOLVER=3084 FILE ID=nodeC007/4455175-1721459481 RUNJOBID= nodeC007-1721455877-1056973 SLURM_JOB_ID= 7545690 Free space on /tmp= 723752 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.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-4455175-1721459481/watcher-4455175-1721459481 -o /tmp/evaluation-result-4455175-1721459481/solver-4455175-1721459481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721455877-1056973 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455175-1721459481.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110 RANDOM SEED=2098541636 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3640.851 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3656.104 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.335 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.230 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 : 3674.524 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 : 3491.657 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.295 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.136 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: 126278132 kB MemAvailable: 129173084 kB Buffers: 549392 kB Cached: 3181608 kB SwapCached: 0 kB Active: 1133456 kB Inactive: 3668804 kB Active(anon): 1484 kB Inactive(anon): 1115668 kB Active(file): 1131972 kB Inactive(file): 2553136 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 28512 kB Writeback: 0 kB AnonPages: 1071324 kB Mapped: 117852 kB Shmem: 45896 kB KReclaimable: 99752 kB Slab: 203460 kB SReclaimable: 99752 kB SUnreclaim: 103708 kB KernelStack: 4048 kB PageTables: 11340 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1786064 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61792 kB HardwareCorrupted: 0 kB AnonHugePages: 323584 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279368 kB DirectMap2M: 27936768 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723756 MiB End job on nodeC007 at 2024-07-20 10:11:43