0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4511160-1751198060.opb'
0.00/0.01 c read 0.01MB (0.26ms)
0.00/0.01 c [cnf: #variables 601 #clauses 301 #duplicates 0 #arr 1202]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 360] (0.41ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (5.20ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 2104 #edges 4808]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 4.00*10^0 #generators 2] (0.92ms)
0.00/0.01 c
0.00/0.01 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.01 c (0.00ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c add generic predicates (break_depth=10)
0.00/0.01 c added predicates for 2 generators (0.05ms)
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 56 #add_vars 18]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4511160-1751198060.opb.pre'
0.00/0.01 c wrote 0.01MB (0.15ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 5.20ms 73.16% detect_special
0.00/0.01 c 0.92ms 12.94% detect_generic
0.00/0.01 c 0.41ms 5.77% approx_orbits
0.00/0.01 c 0.26ms 3.68% parse
0.00/0.01 c 0.15ms 2.04% output
0.00/0.01 c 0.08ms 1.18% other
0.00/0.01 c 0.05ms 0.69% break_generic
0.00/0.01 c 0.03ms 0.47% finalize_order
0.00/0.01 c 0.00ms 0.05% optimize_gens
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 7.11ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 619 #constraints 658
0.00/0.03 c rational objective 300.5
0.18/0.21 c #Conflicts: 1000 | #Constraints: 1664
0.18/0.21 c #Conflicts: 2000 | #Constraints: 2665
0.18/0.21 c INPROCESSING
0.18/0.21 c GARBAGE COLLECT
0.18/0.21 c #Conflicts: 3000 | #Constraints: 2703
0.18/0.21 c #Conflicts: 4000 | #Constraints: 3703
0.18/0.21 c INPROCESSING
0.18/0.21 c GARBAGE COLLECT
0.18/0.21 c #Conflicts: 5000 | #Constraints: 3114
0.18/0.21 c #Conflicts: 6000 | #Constraints: 4115
0.18/0.21 c INPROCESSING
0.18/0.21 c GARBAGE COLLECT
0.18/0.21 c rational objective 300.5
0.18/0.30 c #Conflicts: 7000 | #Constraints: 3129
0.18/0.30 c #Conflicts: 8000 | #Constraints: 4129
0.18/0.30 c #Conflicts: 9000 | #Constraints: 5129
0.18/0.30 c INPROCESSING
0.18/0.30 c GARBAGE COLLECT
0.18/0.30 c rational objective 300.5
0.28/0.40 c #Conflicts: 10000 | #Constraints: 3836
0.28/0.40 c #Conflicts: 11000 | #Constraints: 4836
0.28/0.40 c #Conflicts: 12000 | #Constraints: 5836
0.28/0.40 c INPROCESSING
0.28/0.40 c GARBAGE COLLECT
0.28/0.40 c rational objective 300.5
0.38/0.50 c #Conflicts: 13000 | #Constraints: 4287
0.38/0.50 c #Conflicts: 14000 | #Constraints: 5287
0.38/0.50 c #Conflicts: 15000 | #Constraints: 6288
0.38/0.50 c INPROCESSING
0.38/0.50 c GARBAGE COLLECT
0.38/0.50 c rational objective 300.5
0.57/0.61 c #Conflicts: 16000 | #Constraints: 4519
0.57/0.61 c #Conflicts: 17000 | #Constraints: 5519
0.57/0.61 c #Conflicts: 18000 | #Constraints: 6519
0.57/0.61 c INPROCESSING
0.57/0.61 c GARBAGE COLLECT
0.57/0.61 c rational objective 300.5
0.66/0.73 c #Conflicts: 19000 | #Constraints: 4536
0.66/0.73 c #Conflicts: 20000 | #Constraints: 5537
0.66/0.73 c #Conflicts: 21000 | #Constraints: 6537
0.66/0.73 c INPROCESSING
0.66/0.73 c GARBAGE COLLECT
0.66/0.73 c rational objective 300.5
0.76/0.85 c #Conflicts: 22000 | #Constraints: 4341
0.76/0.85 c #Conflicts: 23000 | #Constraints: 5341
0.76/0.85 c #Conflicts: 24000 | #Constraints: 6341
0.76/0.85 c #Conflicts: 25000 | #Constraints: 7341
0.76/0.85 c INPROCESSING
0.76/0.85 c GARBAGE COLLECT
0.76/0.85 c rational objective 300.5
0.86/0.98 c #Conflicts: 26000 | #Constraints: 4949
0.86/0.98 c #Conflicts: 27000 | #Constraints: 5949
0.86/0.98 c #Conflicts: 28000 | #Constraints: 6949
0.86/0.98 c #Conflicts: 29000 | #Constraints: 7949
0.86/0.98 c INPROCESSING
0.86/0.98 c GARBAGE COLLECT
0.86/0.98 c rational objective 300.5
1.07/1.12 c #Conflicts: 30000 | #Constraints: 5351
1.07/1.12 c #Conflicts: 31000 | #Constraints: 6351
1.07/1.12 c #Conflicts: 32000 | #Constraints: 7351
1.07/1.12 c #Conflicts: 33000 | #Constraints: 8351
1.07/1.12 c INPROCESSING
1.07/1.12 c GARBAGE COLLECT
1.07/1.12 c rational objective 300.5
1.17/1.27 c #Conflicts: 34000 | #Constraints: 5558
1.17/1.27 c #Conflicts: 35000 | #Constraints: 6558
1.17/1.27 c #Conflicts: 36000 | #Constraints: 7558
1.17/1.27 c #Conflicts: 37000 | #Constraints: 8558
1.17/1.27 c INPROCESSING
1.17/1.27 c GARBAGE COLLECT
1.17/1.27 c rational objective 300.5
1.36/1.43 c #Conflicts: 38000 | #Constraints: 5561
1.36/1.43 c #Conflicts: 39000 | #Constraints: 6561
1.36/1.43 c #Conflicts: 40000 | #Constraints: 7561
1.36/1.43 c #Conflicts: 41000 | #Constraints: 8561
1.36/1.43 c INPROCESSING
1.36/1.43 c GARBAGE COLLECT
1.36/1.43 c rational objective 300.5
1.56/1.61 c #Conflicts: 42000 | #Constraints: 5366
1.56/1.61 c #Conflicts: 43000 | #Constraints: 6366
1.56/1.61 c #Conflicts: 44000 | #Constraints: 7366
1.56/1.61 c #Conflicts: 45000 | #Constraints: 8366
1.56/1.61 c #Conflicts: 46000 | #Constraints: 9366
1.56/1.61 c INPROCESSING
1.56/1.61 c GARBAGE COLLECT
1.56/1.61 c rational objective 300.5
1.66/1.78 c #Conflicts: 47000 | #Constraints: 5961
1.66/1.78 c #Conflicts: 48000 | #Constraints: 6961
1.66/1.78 c #Conflicts: 49000 | #Constraints: 7961
1.66/1.78 c #Conflicts: 50000 | #Constraints: 8961
1.66/1.78 c #Conflicts: 51000 | #Constraints: 9961
1.66/1.78 c INPROCESSING
1.66/1.78 c GARBAGE COLLECT
1.66/1.78 c rational objective 300.5
1.86/1.98 c #Conflicts: 52000 | #Constraints: 6361
1.86/1.98 c #Conflicts: 53000 | #Constraints: 7361
1.86/1.98 c #Conflicts: 54000 | #Constraints: 8361
1.86/1.98 c #Conflicts: 55000 | #Constraints: 9361
1.86/1.98 c #Conflicts: 56000 | #Constraints: 10361
1.86/1.98 c INPROCESSING
1.86/1.98 c GARBAGE COLLECT
1.86/1.98 c rational objective 300.5
2.07/2.16 c #Conflicts: 57000 | #Constraints: 6550
2.07/2.16 c #Conflicts: 58000 | #Constraints: 7550
2.07/2.16 c #Conflicts: 59000 | #Constraints: 8550
2.07/2.16 c #Conflicts: 60000 | #Constraints: 9550
2.07/2.16 c #Conflicts: 61000 | #Constraints: 10550
2.07/2.16 c INPROCESSING
2.07/2.16 c GARBAGE COLLECT
2.07/2.16 c rational objective 300.5
2.26/2.36 c #Conflicts: 62000 | #Constraints: 6554
2.26/2.36 c #Conflicts: 63000 | #Constraints: 7554
2.26/2.36 c #Conflicts: 64000 | #Constraints: 8554
2.26/2.36 c #Conflicts: 65000 | #Constraints: 9554
2.26/2.36 c #Conflicts: 66000 | #Constraints: 10554
2.26/2.36 c INPROCESSING
2.26/2.36 c GARBAGE COLLECT
2.26/2.36 c rational objective 300.5
2.45/2.56 c #Conflicts: 67000 | #Constraints: 6357
2.45/2.56 c #Conflicts: 68000 | #Constraints: 7357
2.45/2.56 c #Conflicts: 69000 | #Constraints: 8357
2.45/2.56 c #Conflicts: 70000 | #Constraints: 9357
2.45/2.56 c #Conflicts: 71000 | #Constraints: 10357
2.45/2.56 c #Conflicts: 72000 | #Constraints: 11357
2.45/2.56 c INPROCESSING
2.45/2.56 c GARBAGE COLLECT
2.45/2.56 c rational objective 300.5
2.66/2.77 c #Conflicts: 73000 | #Constraints: 6960
2.66/2.77 c #Conflicts: 74000 | #Constraints: 7960
2.66/2.77 c #Conflicts: 75000 | #Constraints: 8960
2.66/2.77 c #Conflicts: 76000 | #Constraints: 9960
2.66/2.77 c #Conflicts: 77000 | #Constraints: 10960
2.66/2.77 c #Conflicts: 78000 | #Constraints: 11960
2.66/2.77 c INPROCESSING
2.66/2.77 c GARBAGE COLLECT
2.66/2.77 c rational objective 300.5
2.86/2.99 c #Conflicts: 79000 | #Constraints: 7362
2.86/2.99 c #Conflicts: 80000 | #Constraints: 8362
2.86/2.99 c #Conflicts: 81000 | #Constraints: 9362
2.86/2.99 c #Conflicts: 82000 | #Constraints: 10362
2.86/2.99 c #Conflicts: 83000 | #Constraints: 11362
2.86/2.99 c #Conflicts: 84000 | #Constraints: 12362
2.86/2.99 c INPROCESSING
2.86/2.99 c GARBAGE COLLECT
2.86/2.99 c rational objective 300.5
3.16/3.22 c #Conflicts: 85000 | #Constraints: 7567
3.16/3.22 c #Conflicts: 86000 | #Constraints: 8567
3.16/3.22 c #Conflicts: 87000 | #Constraints: 9567
3.16/3.22 c #Conflicts: 88000 | #Constraints: 10567
3.16/3.22 c #Conflicts: 89000 | #Constraints: 11567
3.16/3.22 c #Conflicts: 90000 | #Constraints: 12567
3.16/3.22 c INPROCESSING
3.16/3.22 c GARBAGE COLLECT
3.16/3.22 c rational objective 300.5
3.46/3.50 c #Conflicts: 91000 | #Constraints: 7567
3.46/3.50 c #Conflicts: 92000 | #Constraints: 8567
3.46/3.50 c #Conflicts: 93000 | #Constraints: 9567
3.46/3.50 c #Conflicts: 94000 | #Constraints: 10567
3.46/3.50 c #Conflicts: 95000 | #Constraints: 11567
3.46/3.50 c #Conflicts: 96000 | #Constraints: 12567
3.46/3.50 c INPROCESSING
3.46/3.50 c GARBAGE COLLECT
3.46/3.50 c rational objective 300.5
3.65/3.77 c #Conflicts: 97000 | #Constraints: 7362
3.65/3.77 c #Conflicts: 98000 | #Constraints: 8362
3.65/3.77 c #Conflicts: 99000 | #Constraints: 9362
3.65/3.77 c #Conflicts: 100000 | #Constraints: 10362
3.65/3.77 c #Conflicts: 101000 | #Constraints: 11362
3.65/3.77 c #Conflicts: 102000 | #Constraints: 12362
3.65/3.77 c #Conflicts: 103000 | #Constraints: 13362
3.65/3.77 c INPROCESSING
3.65/3.77 c GARBAGE COLLECT
3.65/3.77 c rational objective 300.5
3.96/4.02 c #Conflicts: 104000 | #Constraints: 7951
3.96/4.02 c #Conflicts: 105000 | #Constraints: 8951
3.96/4.02 c #Conflicts: 106000 | #Constraints: 9951
3.96/4.02 c #Conflicts: 107000 | #Constraints: 10951
3.96/4.02 c #Conflicts: 108000 | #Constraints: 11951
3.96/4.02 c #Conflicts: 109000 | #Constraints: 12951
3.96/4.02 c #Conflicts: 110000 | #Constraints: 13951
3.96/4.02 c INPROCESSING
3.96/4.02 c GARBAGE COLLECT
3.96/4.02 c rational objective 300.5
4.16/4.28 c #Conflicts: 111000 | #Constraints: 8361
4.16/4.28 c #Conflicts: 112000 | #Constraints: 9361
4.16/4.28 c #Conflicts: 113000 | #Constraints: 10361
4.16/4.28 c #Conflicts: 114000 | #Constraints: 11361
4.16/4.28 c #Conflicts: 115000 | #Constraints: 12361
4.16/4.28 c #Conflicts: 116000 | #Constraints: 13361
4.16/4.28 c #Conflicts: 117000 | #Constraints: 14361
4.16/4.28 c INPROCESSING
4.16/4.28 c GARBAGE COLLECT
4.16/4.28 c rational objective 300.5
4.46/4.55 c #Conflicts: 118000 | #Constraints: 8564
4.46/4.55 c #Conflicts: 119000 | #Constraints: 9564
4.46/4.55 c #Conflicts: 120000 | #Constraints: 10564
4.46/4.55 c #Conflicts: 121000 | #Constraints: 11564
4.46/4.55 c #Conflicts: 122000 | #Constraints: 12564
4.46/4.55 c #Conflicts: 123000 | #Constraints: 13564
4.46/4.55 c #Conflicts: 124000 | #Constraints: 14564
4.46/4.55 c INPROCESSING
4.46/4.55 c GARBAGE COLLECT
4.46/4.55 c rational objective 300.5
4.75/4.81 c #Conflicts: 125000 | #Constraints: 8559
4.75/4.81 c #Conflicts: 126000 | #Constraints: 9559
4.75/4.81 c #Conflicts: 127000 | #Constraints: 10559
4.75/4.81 c #Conflicts: 128000 | #Constraints: 11559
4.75/4.81 c #Conflicts: 129000 | #Constraints: 12559
4.75/4.81 c #Conflicts: 130000 | #Constraints: 13559
4.75/4.81 c #Conflicts: 131000 | #Constraints: 14559
4.75/4.81 c INPROCESSING
4.75/4.81 c GARBAGE COLLECT
4.75/4.81 c rational objective 300.5
4.95/5.08 c #Conflicts: 132000 | #Constraints: 8357
4.95/5.08 c #Conflicts: 133000 | #Constraints: 9357
4.95/5.08 c #Conflicts: 134000 | #Constraints: 10357
4.95/5.08 c #Conflicts: 135000 | #Constraints: 11357
4.95/5.08 c #Conflicts: 136000 | #Constraints: 12357
4.95/5.08 c #Conflicts: 137000 | #Constraints: 13357
4.95/5.08 c #Conflicts: 138000 | #Constraints: 14357
4.95/5.08 c #Conflicts: 139000 | #Constraints: 15357
4.95/5.08 c INPROCESSING
4.95/5.08 c GARBAGE COLLECT
4.95/5.08 c rational objective 300.5
5.25/5.36 c #Conflicts: 140000 | #Constraints: 8959
5.25/5.36 c #Conflicts: 141000 | #Constraints: 9959
5.25/5.36 c #Conflicts: 142000 | #Constraints: 10959
5.25/5.36 c #Conflicts: 143000 | #Constraints: 11959
5.25/5.36 c #Conflicts: 144000 | #Constraints: 12959
5.25/5.36 c #Conflicts: 145000 | #Constraints: 13959
5.25/5.36 c #Conflicts: 146000 | #Constraints: 14959
5.25/5.36 c #Conflicts: 147000 | #Constraints: 15959
5.25/5.36 c INPROCESSING
5.25/5.36 c GARBAGE COLLECT
5.25/5.36 c rational objective 300.5
5.55/5.66 c #Conflicts: 148000 | #Constraints: 9363
5.55/5.66 c #Conflicts: 149000 | #Constraints: 10363
5.55/5.66 c #Conflicts: 150000 | #Constraints: 11363
5.55/5.66 c #Conflicts: 151000 | #Constraints: 12363
5.55/5.66 c #Conflicts: 152000 | #Constraints: 13363
5.55/5.66 c #Conflicts: 153000 | #Constraints: 14363
5.55/5.66 c #Conflicts: 154000 | #Constraints: 15363
5.55/5.66 c #Conflicts: 155000 | #Constraints: 16363
5.55/5.66 c INPROCESSING
5.55/5.66 c GARBAGE COLLECT
5.55/5.66 c rational objective 300.5
5.85/5.98 c #Conflicts: 156000 | #Constraints: 9571
5.85/5.98 c #Conflicts: 157000 | #Constraints: 10571
5.85/5.98 c #Conflicts: 158000 | #Constraints: 11571
5.85/5.98 c #Conflicts: 159000 | #Constraints: 12571
5.85/5.98 c #Conflicts: 160000 | #Constraints: 13571
5.85/5.98 c #Conflicts: 161000 | #Constraints: 14571
5.85/5.98 c #Conflicts: 162000 | #Constraints: 15571
5.85/5.98 c #Conflicts: 163000 | #Constraints: 16571
5.85/5.98 c INPROCESSING
5.85/5.98 c GARBAGE COLLECT
5.85/5.98 c rational objective 300.5
6.25/6.30 c #Conflicts: 164000 | #Constraints: 9564
6.25/6.30 c #Conflicts: 165000 | #Constraints: 10564
6.25/6.30 c #Conflicts: 166000 | #Constraints: 11564
6.25/6.30 c #Conflicts: 167000 | #Constraints: 12564
6.25/6.30 c #Conflicts: 168000 | #Constraints: 13564
6.25/6.30 c #Conflicts: 169000 | #Constraints: 14564
6.25/6.30 c #Conflicts: 170000 | #Constraints: 15564
6.25/6.30 c #Conflicts: 171000 | #Constraints: 16564
6.25/6.30 c INPROCESSING
6.25/6.30 c GARBAGE COLLECT
6.25/6.30 c rational objective 300.5
6.55/6.63 c #Conflicts: 172000 | #Constraints: 9359
6.55/6.63 c #Conflicts: 173000 | #Constraints: 10359
6.55/6.63 c #Conflicts: 174000 | #Constraints: 11359
6.55/6.63 c #Conflicts: 175000 | #Constraints: 12359
6.55/6.63 c #Conflicts: 176000 | #Constraints: 13359
6.55/6.63 c #Conflicts: 177000 | #Constraints: 14359
6.55/6.63 c #Conflicts: 178000 | #Constraints: 15359
6.55/6.63 c #Conflicts: 179000 | #Constraints: 16359
6.55/6.63 c #Conflicts: 180000 | #Constraints: 17359
6.55/6.63 c INPROCESSING
6.55/6.63 c GARBAGE COLLECT
6.55/6.63 c rational objective 300.5
6.85/6.93 c #Conflicts: 181000 | #Constraints: 9958
6.85/6.93 c #Conflicts: 182000 | #Constraints: 10958
6.85/6.93 c #Conflicts: 183000 | #Constraints: 11958
6.85/6.93 c #Conflicts: 184000 | #Constraints: 12958
6.85/6.93 c #Conflicts: 185000 | #Constraints: 13958
6.85/6.93 c #Conflicts: 186000 | #Constraints: 14958
6.85/6.93 c #Conflicts: 187000 | #Constraints: 15958
6.85/6.93 c #Conflicts: 188000 | #Constraints: 16958
6.85/6.93 c #Conflicts: 189000 | #Constraints: 17958
6.85/6.93 c INPROCESSING
6.85/6.93 c GARBAGE COLLECT
6.85/6.93 c rational objective 300.5
7.15/7.26 c #Conflicts: 190000 | #Constraints: 10365
7.15/7.26 c #Conflicts: 191000 | #Constraints: 11365
7.15/7.26 c #Conflicts: 192000 | #Constraints: 12365
7.15/7.26 c #Conflicts: 193000 | #Constraints: 13365
7.15/7.26 c #Conflicts: 194000 | #Constraints: 14365
7.15/7.26 c #Conflicts: 195000 | #Constraints: 15365
7.15/7.26 c #Conflicts: 196000 | #Constraints: 16365
7.15/7.26 c #Conflicts: 197000 | #Constraints: 17365
7.15/7.26 c #Conflicts: 198000 | #Constraints: 18365
7.15/7.26 c INPROCESSING
7.15/7.26 c GARBAGE COLLECT
7.15/7.26 c rational objective 300.5
7.55/7.65 c #Conflicts: 199000 | #Constraints: 10566
7.55/7.65 c #Conflicts: 200000 | #Constraints: 11566
7.55/7.65 c #Conflicts: 201000 | #Constraints: 12566
7.55/7.65 c #Conflicts: 202000 | #Constraints: 13566
7.55/7.65 c #Conflicts: 203000 | #Constraints: 14566
7.55/7.65 c #Conflicts: 204000 | #Constraints: 15566
7.55/7.65 c #Conflicts: 205000 | #Constraints: 16566
7.55/7.65 c #Conflicts: 206000 | #Constraints: 17566
7.55/7.65 c #Conflicts: 207000 | #Constraints: 18566
7.55/7.65 c INPROCESSING
7.55/7.65 c GARBAGE COLLECT
7.55/7.65 c rational objective 300.5
7.84/7.99 c #Conflicts: 208000 | #Constraints: 10568
7.84/7.99 c #Conflicts: 209000 | #Constraints: 11568
7.84/7.99 c #Conflicts: 210000 | #Constraints: 12568
7.84/7.99 c #Conflicts: 211000 | #Constraints: 13568
7.84/7.99 c #Conflicts: 212000 | #Constraints: 14568
7.84/7.99 c #Conflicts: 213000 | #Constraints: 15568
7.84/7.99 c #Conflicts: 214000 | #Constraints: 16568
7.84/7.99 c #Conflicts: 215000 | #Constraints: 17568
7.84/7.99 c #Conflicts: 216000 | #Constraints: 18568
7.84/7.99 c INPROCESSING
7.84/7.99 c GARBAGE COLLECT
7.84/7.99 c rational objective 300.5
8.24/8.39 c #Conflicts: 217000 | #Constraints: 10373
8.24/8.39 c #Conflicts: 218000 | #Constraints: 11373
8.24/8.39 c #Conflicts: 219000 | #Constraints: 12373
8.24/8.39 c #Conflicts: 220000 | #Constraints: 13373
8.24/8.39 c #Conflicts: 221000 | #Constraints: 14373
8.24/8.39 c #Conflicts: 222000 | #Constraints: 15373
8.24/8.39 c #Conflicts: 223000 | #Constraints: 16373
8.24/8.39 c #Conflicts: 224000 | #Constraints: 17373
8.24/8.39 c #Conflicts: 225000 | #Constraints: 18373
8.24/8.39 c #Conflicts: 226000 | #Constraints: 19373
8.24/8.39 c INPROCESSING
8.24/8.39 c GARBAGE COLLECT
8.24/8.39 c rational objective 300.5
8.64/8.74 c #Conflicts: 227000 | #Constraints: 10977
8.64/8.74 c #Conflicts: 228000 | #Constraints: 11977
8.64/8.74 c #Conflicts: 229000 | #Constraints: 12977
8.64/8.74 c #Conflicts: 230000 | #Constraints: 13977
8.64/8.74 c #Conflicts: 231000 | #Constraints: 14977
8.64/8.74 c #Conflicts: 232000 | #Constraints: 15977
8.64/8.74 c #Conflicts: 233000 | #Constraints: 16977
8.64/8.74 c #Conflicts: 234000 | #Constraints: 17977
8.64/8.74 c #Conflicts: 235000 | #Constraints: 18977
8.64/8.74 c #Conflicts: 236000 | #Constraints: 19977
8.64/8.74 c INPROCESSING
8.64/8.74 c GARBAGE COLLECT
8.64/8.74 c rational objective 300.5
8.95/9.10 c #Conflicts: 237000 | #Constraints: 11377
8.95/9.10 c #Conflicts: 238000 | #Constraints: 12377
8.95/9.10 c #Conflicts: 239000 | #Constraints: 13377
8.95/9.10 c #Conflicts: 240000 | #Constraints: 14377
8.95/9.10 c #Conflicts: 241000 | #Constraints: 15377
8.95/9.10 c #Conflicts: 242000 | #Constraints: 16377
8.95/9.10 c #Conflicts: 243000 | #Constraints: 17377
8.95/9.10 c #Conflicts: 244000 | #Constraints: 18377
8.95/9.10 c #Conflicts: 245000 | #Constraints: 19377
8.95/9.10 c #Conflicts: 246000 | #Constraints: 20377
8.95/9.10 c INPROCESSING
8.95/9.10 c GARBAGE COLLECT
8.95/9.10 c rational objective 300.5
9.35/9.44 c #Conflicts: 247000 | #Constraints: 11572
9.35/9.44 c #Conflicts: 248000 | #Constraints: 12572
9.35/9.44 c #Conflicts: 249000 | #Constraints: 13572
9.35/9.44 c #Conflicts: 250000 | #Constraints: 14572
9.35/9.44 c #Conflicts: 251000 | #Constraints: 15572
9.35/9.44 c #Conflicts: 252000 | #Constraints: 16572
9.35/9.44 c #Conflicts: 253000 | #Constraints: 17572
9.35/9.44 c #Conflicts: 254000 | #Constraints: 18572
9.35/9.44 c #Conflicts: 255000 | #Constraints: 19572
9.35/9.44 c #Conflicts: 256000 | #Constraints: 20572
9.35/9.44 c INPROCESSING
9.35/9.44 c GARBAGE COLLECT
9.35/9.44 c rational objective 300.5
9.74/9.80 c #Conflicts: 257000 | #Constraints: 11569
9.74/9.80 c #Conflicts: 258000 | #Constraints: 12569
9.74/9.80 c #Conflicts: 259000 | #Constraints: 13569
9.74/9.80 c #Conflicts: 260000 | #Constraints: 14569
9.74/9.80 c #Conflicts: 261000 | #Constraints: 15569
9.74/9.80 c #Conflicts: 262000 | #Constraints: 16569
9.74/9.80 c #Conflicts: 263000 | #Constraints: 17569
9.74/9.80 c #Conflicts: 264000 | #Constraints: 18569
9.74/9.80 c #Conflicts: 265000 | #Constraints: 19569
9.74/9.80 c #Conflicts: 266000 | #Constraints: 20569
9.74/9.80 c INPROCESSING
9.74/9.80 c GARBAGE COLLECT
9.74/9.80 c rational objective 300.5
10.05/10.16 c #Conflicts: 267000 | #Constraints: 11370
10.05/10.16 c #Conflicts: 268000 | #Constraints: 12370
10.05/10.16 c #Conflicts: 269000 | #Constraints: 13370
10.05/10.16 c #Conflicts: 270000 | #Constraints: 14370
10.05/10.16 c #Conflicts: 271000 | #Constraints: 15370
10.05/10.16 c #Conflicts: 272000 | #Constraints: 16370
10.05/10.16 c #Conflicts: 273000 | #Constraints: 17370
10.05/10.16 c #Conflicts: 274000 | #Constraints: 18370
10.05/10.16 c #Conflicts: 275000 | #Constraints: 19370
10.05/10.16 c #Conflicts: 276000 | #Constraints: 20370
10.05/10.16 c #Conflicts: 277000 | #Constraints: 21370
10.05/10.16 c INPROCESSING
10.05/10.16 c GARBAGE COLLECT
10.05/10.16 c rational objective 300.5
10.44/10.53 c #Conflicts: 278000 | #Constraints: 11978
10.44/10.53 c #Conflicts: 279000 | #Constraints: 12978
10.44/10.53 c #Conflicts: 280000 | #Constraints: 13978
10.44/10.53 c #Conflicts: 281000 | #Constraints: 14978
10.44/10.53 c #Conflicts: 282000 | #Constraints: 15978
10.44/10.53 c #Conflicts: 283000 | #Constraints: 16978
10.44/10.53 c #Conflicts: 284000 | #Constraints: 17978
10.44/10.53 c #Conflicts: 285000 | #Constraints: 18978
10.44/10.53 c #Conflicts: 286000 | #Constraints: 19978
10.44/10.53 c #Conflicts: 287000 | #Constraints: 20978
10.44/10.53 c #Conflicts: 288000 | #Constraints: 21978
10.44/10.53 c INPROCESSING
10.44/10.53 c GARBAGE COLLECT
10.44/10.53 c rational objective 300.5
10.84/10.92 c #Conflicts: 289000 | #Constraints: 12371
10.84/10.92 c #Conflicts: 290000 | #Constraints: 13371
10.84/10.92 c #Conflicts: 291000 | #Constraints: 14371
10.84/10.92 c #Conflicts: 292000 | #Constraints: 15371
10.84/10.92 c #Conflicts: 293000 | #Constraints: 16371
10.84/10.92 c #Conflicts: 294000 | #Constraints: 17371
10.84/10.92 c #Conflicts: 295000 | #Constraints: 18371
10.84/10.92 c #Conflicts: 296000 | #Constraints: 19371
10.84/10.92 c #Conflicts: 297000 | #Constraints: 20371
10.84/10.92 c #Conflicts: 298000 | #Constraints: 21371
10.84/10.92 c #Conflicts: 299000 | #Constraints: 22371
10.84/10.92 c INPROCESSING
10.84/10.92 c GARBAGE COLLECT
10.84/10.92 c rational objective 300.5
11.24/11.30 c #Conflicts: 300000 | #Constraints: 12575
11.24/11.30 c #Conflicts: 301000 | #Constraints: 13575
11.24/11.30 c #Conflicts: 302000 | #Constraints: 14575
11.24/11.30 c #Conflicts: 303000 | #Constraints: 15575
11.24/11.30 c #Conflicts: 304000 | #Constraints: 16575
11.24/11.30 c #Conflicts: 305000 | #Constraints: 17575
11.24/11.30 c #Conflicts: 306000 | #Constraints: 18575
11.24/11.30 c #Conflicts: 307000 | #Constraints: 19575
11.24/11.30 c #Conflicts: 308000 | #Constraints: 20575
11.24/11.30 c #Conflicts: 309000 | #Constraints: 21575
11.24/11.30 c #Conflicts: 310000 | #Constraints: 22575
11.24/11.30 c INPROCESSING
11.24/11.30 c GARBAGE COLLECT
11.24/11.30 c rational objective 300.5
11.64/11.70 c #Conflicts: 311000 | #Constraints: 12575
11.64/11.70 c #Conflicts: 312000 | #Constraints: 13575
11.64/11.70 c #Conflicts: 313000 | #Constraints: 14575
11.64/11.70 c #Conflicts: 314000 | #Constraints: 15575
11.64/11.70 c #Conflicts: 315000 | #Constraints: 16575
11.64/11.70 c #Conflicts: 316000 | #Constraints: 17576
11.64/11.70 c #Conflicts: 317000 | #Constraints: 18576
11.64/11.70 c #Conflicts: 318000 | #Constraints: 19576
11.64/11.70 c #Conflicts: 319000 | #Constraints: 20576
11.64/11.70 c #Conflicts: 320000 | #Constraints: 21576
11.64/11.70 c #Conflicts: 321000 | #Constraints: 22576
11.64/11.70 c INPROCESSING
11.64/11.70 c GARBAGE COLLECT
11.64/11.70 c rational objective 300.5
12.04/12.17 c #Conflicts: 322000 | #Constraints: 12372
12.04/12.17 c #Conflicts: 323000 | #Constraints: 13372
12.04/12.17 c #Conflicts: 324000 | #Constraints: 14372
12.04/12.17 c #Conflicts: 325000 | #Constraints: 15372
12.04/12.17 c #Conflicts: 326000 | #Constraints: 16372
12.04/12.17 c #Conflicts: 327000 | #Constraints: 17372
12.04/12.17 c #Conflicts: 328000 | #Constraints: 18372
12.04/12.17 c #Conflicts: 329000 | #Constraints: 19372
12.04/12.17 c #Conflicts: 330000 | #Constraints: 20372
12.04/12.17 c #Conflicts: 331000 | #Constraints: 21372
12.04/12.17 c #Conflicts: 332000 | #Constraints: 22372
12.04/12.17 c #Conflicts: 333000 | #Constraints: 23372
12.04/12.17 c INPROCESSING
12.04/12.17 c GARBAGE COLLECT
12.04/12.17 c rational objective 300.5
12.43/12.58 c #Conflicts: 334000 | #Constraints: 12969
12.43/12.58 c #Conflicts: 335000 | #Constraints: 13969
12.43/12.58 c #Conflicts: 336000 | #Constraints: 14969
12.43/12.58 c #Conflicts: 337000 | #Constraints: 15969
12.43/12.58 c #Conflicts: 338000 | #Constraints: 16969
12.43/12.58 c #Conflicts: 339000 | #Constraints: 17969
12.43/12.58 c #Conflicts: 340000 | #Constraints: 18969
12.43/12.58 c #Conflicts: 341000 | #Constraints: 19969
12.43/12.58 c #Conflicts: 342000 | #Constraints: 20969
12.43/12.58 c #Conflicts: 343000 | #Constraints: 21969
12.43/12.58 c #Conflicts: 344000 | #Constraints: 22969
12.43/12.58 c #Conflicts: 345000 | #Constraints: 23969
12.43/12.58 c INPROCESSING
12.43/12.58 c GARBAGE COLLECT
12.43/12.58 c rational objective 300.5
12.83/13.00 c #Conflicts: 346000 | #Constraints: 13374
12.83/13.00 c #Conflicts: 347000 | #Constraints: 14374
12.83/13.00 c #Conflicts: 348000 | #Constraints: 15374
12.83/13.00 c #Conflicts: 349000 | #Constraints: 16374
12.83/13.00 c #Conflicts: 350000 | #Constraints: 17374
12.83/13.00 c #Conflicts: 351000 | #Constraints: 18374
12.83/13.00 c #Conflicts: 352000 | #Constraints: 19374
12.83/13.00 c #Conflicts: 353000 | #Constraints: 20374
12.83/13.00 c #Conflicts: 354000 | #Constraints: 21374
12.83/13.00 c #Conflicts: 355000 | #Constraints: 22374
12.83/13.00 c #Conflicts: 356000 | #Constraints: 23374
12.83/13.00 c #Conflicts: 357000 | #Constraints: 24374
12.83/13.00 c INPROCESSING
12.83/13.00 c GARBAGE COLLECT
12.83/13.00 c rational objective 300.5
13.33/13.43 c #Conflicts: 358000 | #Constraints: 13575
13.33/13.43 c #Conflicts: 359000 | #Constraints: 14575
13.33/13.43 c #Conflicts: 360000 | #Constraints: 15575
13.33/13.43 c #Conflicts: 361000 | #Constraints: 16575
13.33/13.43 c #Conflicts: 362000 | #Constraints: 17575
13.33/13.43 c #Conflicts: 363000 | #Constraints: 18575
13.33/13.43 c #Conflicts: 364000 | #Constraints: 19575
13.33/13.43 c #Conflicts: 365000 | #Constraints: 20575
13.33/13.43 c #Conflicts: 366000 | #Constraints: 21575
13.33/13.43 c #Conflicts: 367000 | #Constraints: 22575
13.33/13.43 c #Conflicts: 368000 | #Constraints: 23575
13.33/13.43 c #Conflicts: 369000 | #Constraints: 24575
13.33/13.43 c INPROCESSING
13.33/13.43 c GARBAGE COLLECT
13.33/13.43 c rational objective 300.5
13.73/13.85 c #Conflicts: 370000 | #Constraints: 13581
13.73/13.85 c #Conflicts: 371000 | #Constraints: 14581
13.73/13.85 c #Conflicts: 372000 | #Constraints: 15581
13.73/13.85 c #Conflicts: 373000 | #Constraints: 16581
13.73/13.85 c #Conflicts: 374000 | #Constraints: 17581
13.73/13.85 c #Conflicts: 375000 | #Constraints: 18581
13.73/13.85 c #Conflicts: 376000 | #Constraints: 19581
13.73/13.85 c #Conflicts: 377000 | #Constraints: 20581
13.73/13.85 c #Conflicts: 378000 | #Constraints: 21581
13.73/13.85 c #Conflicts: 379000 | #Constraints: 22581
13.73/13.85 c #Conflicts: 380000 | #Constraints: 23581
13.73/13.85 c #Conflicts: 381000 | #Constraints: 24581
13.73/13.85 c INPROCESSING
13.73/13.85 c GARBAGE COLLECT
13.73/13.85 c rational objective 300.5
14.13/14.29 c #Conflicts: 382000 | #Constraints: 13378
14.13/14.29 c #Conflicts: 383000 | #Constraints: 14378
14.13/14.29 c #Conflicts: 384000 | #Constraints: 15378
14.13/14.29 c #Conflicts: 385000 | #Constraints: 16378
14.13/14.29 c #Conflicts: 386000 | #Constraints: 17378
14.13/14.29 c #Conflicts: 387000 | #Constraints: 18378
14.13/14.29 c #Conflicts: 388000 | #Constraints: 19378
14.13/14.29 c #Conflicts: 389000 | #Constraints: 20378
14.13/14.29 c #Conflicts: 390000 | #Constraints: 21378
14.13/14.29 c #Conflicts: 391000 | #Constraints: 22378
14.13/14.29 c #Conflicts: 392000 | #Constraints: 23378
14.13/14.29 c #Conflicts: 393000 | #Constraints: 24378
14.13/14.29 c #Conflicts: 394000 | #Constraints: 25378
14.13/14.29 c INPROCESSING
14.13/14.29 c GARBAGE COLLECT
14.13/14.29 c rational objective 300.5
14.63/14.73 c #Conflicts: 395000 | #Constraints: 13973
14.63/14.73 c #Conflicts: 396000 | #Constraints: 14973
14.63/14.73 c #Conflicts: 397000 | #Constraints: 15973
14.63/14.73 c #Conflicts: 398000 | #Constraints: 16973
14.63/14.73 c #Conflicts: 399000 | #Constraints: 17973
14.63/14.73 c #Conflicts: 400000 | #Constraints: 18973
14.63/14.73 c #Conflicts: 401000 | #Constraints: 19973
14.63/14.73 c #Conflicts: 402000 | #Constraints: 20973
14.63/14.73 c #Conflicts: 403000 | #Constraints: 21973
14.63/14.73 c #Conflicts: 404000 | #Constraints: 22973
14.63/14.73 c #Conflicts: 405000 | #Constraints: 23973
14.63/14.73 c #Conflicts: 406000 | #Constraints: 24973
14.63/14.73 c #Conflicts: 407000 | #Constraints: 25973
14.63/14.73 c INPROCESSING
14.63/14.73 c GARBAGE COLLECT
14.63/14.73 c rational objective 300.5
15.04/15.19 c #Conflicts: 408000 | #Constraints: 14375
15.04/15.19 c #Conflicts: 409000 | #Constraints: 15375
15.04/15.19 c #Conflicts: 410000 | #Constraints: 16375
15.04/15.19 c #Conflicts: 411000 | #Constraints: 17375
15.04/15.19 c #Conflicts: 412000 | #Constraints: 18375
15.04/15.19 c #Conflicts: 413000 | #Constraints: 19375
15.04/15.19 c #Conflicts: 414000 | #Constraints: 20375
15.04/15.19 c #Conflicts: 415000 | #Constraints: 21375
15.04/15.19 c #Conflicts: 416000 | #Constraints: 22375
15.04/15.19 c #Conflicts: 417000 | #Constraints: 23375
15.04/15.19 c #Conflicts: 418000 | #Constraints: 24375
15.04/15.19 c #Conflicts: 419000 | #Constraints: 25375
15.04/15.19 c #Conflicts: 420000 | #Constraints: 26375
15.04/15.19 c INPROCESSING
15.04/15.19 c GARBAGE COLLECT
15.04/15.19 c rational objective 300.5
15.52/15.69 c #Conflicts: 421000 | #Constraints: 14576
15.52/15.69 c #Conflicts: 422000 | #Constraints: 15576
15.52/15.69 c #Conflicts: 423000 | #Constraints: 16576
15.52/15.69 c #Conflicts: 424000 | #Constraints: 17576
15.52/15.69 c #Conflicts: 425000 | #Constraints: 18576
15.52/15.69 c #Conflicts: 426000 | #Constraints: 19576
15.52/15.69 c #Conflicts: 427000 | #Constraints: 20576
15.52/15.69 c #Conflicts: 428000 | #Constraints: 21576
15.52/15.69 c #Conflicts: 429000 | #Constraints: 22576
15.52/15.69 c #Conflicts: 430000 | #Constraints: 23576
15.52/15.69 c #Conflicts: 431000 | #Constraints: 24576
15.52/15.69 c #Conflicts: 432000 | #Constraints: 25576
15.52/15.69 c #Conflicts: 433000 | #Constraints: 26576
15.52/15.69 c INPROCESSING
15.52/15.69 c GARBAGE COLLECT
15.52/15.69 c rational objective 300.5
16.12/16.24 c #Conflicts: 434000 | #Constraints: 14580
16.12/16.24 c #Conflicts: 435000 | #Constraints: 15580
16.12/16.24 c #Conflicts: 436000 | #Constraints: 16580
16.12/16.24 c #Conflicts: 437000 | #Constraints: 17580
16.12/16.24 c #Conflicts: 438000 | #Constraints: 18580
16.12/16.24 c #Conflicts: 439000 | #Constraints: 19580
16.12/16.24 c #Conflicts: 440000 | #Constraints: 20580
16.12/16.24 c #Conflicts: 441000 | #Constraints: 21580
16.12/16.24 c #Conflicts: 442000 | #Constraints: 22580
16.12/16.24 c #Conflicts: 443000 | #Constraints: 23580
16.12/16.24 c #Conflicts: 444000 | #Constraints: 24580
16.12/16.24 c #Conflicts: 445000 | #Constraints: 25580
16.12/16.24 c #Conflicts: 446000 | #Constraints: 26580
16.12/16.24 c INPROCESSING
16.12/16.24 c GARBAGE COLLECT
16.12/16.24 c rational objective 300.5
16.72/16.81 c #Conflicts: 447000 | #Constraints: 14396
16.72/16.81 c #Conflicts: 448000 | #Constraints: 15396
16.72/16.81 c #Conflicts: 449000 | #Constraints: 16396
16.72/16.81 c #Conflicts: 450000 | #Constraints: 17396
16.72/16.81 c #Conflicts: 451000 | #Constraints: 18396
16.72/16.81 c #Conflicts: 452000 | #Constraints: 19396
16.72/16.81 c #Conflicts: 453000 | #Constraints: 20396
16.72/16.81 c #Conflicts: 454000 | #Constraints: 21396
16.72/16.81 c #Conflicts: 455000 | #Constraints: 22396
16.72/16.81 c #Conflicts: 456000 | #Constraints: 23396
16.72/16.81 c #Conflicts: 457000 | #Constraints: 24396
16.72/16.81 c #Conflicts: 458000 | #Constraints: 25396
16.72/16.81 c #Conflicts: 459000 | #Constraints: 26396
16.72/16.81 c #Conflicts: 460000 | #Constraints: 27396
16.72/16.81 c INPROCESSING
16.72/16.81 c GARBAGE COLLECT
16.72/16.81 c rational objective 300.5
17.22/17.34 c #Conflicts: 461000 | #Constraints: 14996
17.22/17.34 c #Conflicts: 462000 | #Constraints: 15996
17.22/17.34 c #Conflicts: 463000 | #Constraints: 16996
17.22/17.34 c #Conflicts: 464000 | #Constraints: 17996
17.22/17.34 c #Conflicts: 465000 | #Constraints: 18996
17.22/17.34 c #Conflicts: 466000 | #Constraints: 19996
17.22/17.34 c #Conflicts: 467000 | #Constraints: 20996
17.22/17.34 c #Conflicts: 468000 | #Constraints: 21996
17.22/17.34 c #Conflicts: 469000 | #Constraints: 22996
17.22/17.34 c #Conflicts: 470000 | #Constraints: 23996
17.22/17.34 c #Conflicts: 471000 | #Constraints: 24996
17.22/17.34 c #Conflicts: 472000 | #Constraints: 25996
17.22/17.34 c #Conflicts: 473000 | #Constraints: 26996
17.22/17.34 c #Conflicts: 474000 | #Constraints: 27996
17.22/17.34 c INPROCESSING
17.22/17.34 c GARBAGE COLLECT
17.22/17.34 c rational objective 300.5
17.82/17.93 c #Conflicts: 475000 | #Constraints: 15395
17.82/17.93 c #Conflicts: 476000 | #Constraints: 16395
17.82/17.93 c #Conflicts: 477000 | #Constraints: 17395
17.82/17.93 c #Conflicts: 478000 | #Constraints: 18395
17.82/17.93 c #Conflicts: 479000 | #Constraints: 19395
17.82/17.93 c #Conflicts: 480000 | #Constraints: 20395
17.82/17.93 c #Conflicts: 481000 | #Constraints: 21395
17.82/17.93 c #Conflicts: 482000 | #Constraints: 22395
17.82/17.93 c #Conflicts: 483000 | #Constraints: 23395
17.82/17.93 c #Conflicts: 484000 | #Constraints: 24395
17.82/17.93 c #Conflicts: 485000 | #Constraints: 25395
17.82/17.93 c #Conflicts: 486000 | #Constraints: 26395
17.82/17.93 c #Conflicts: 487000 | #Constraints: 27395
17.82/17.93 c #Conflicts: 488000 | #Constraints: 28395
17.82/17.93 c INPROCESSING
17.82/17.93 c GARBAGE COLLECT
17.82/17.93 c rational objective 300.5
18.32/18.47 c #Conflicts: 489000 | #Constraints: 15597
18.32/18.47 c #Conflicts: 490000 | #Constraints: 16597
18.32/18.47 c #Conflicts: 491000 | #Constraints: 17597
18.32/18.47 c #Conflicts: 492000 | #Constraints: 18597
18.32/18.47 c #Conflicts: 493000 | #Constraints: 19597
18.32/18.47 c #Conflicts: 494000 | #Constraints: 20597
18.32/18.47 c #Conflicts: 495000 | #Constraints: 21597
18.32/18.47 c #Conflicts: 496000 | #Constraints: 22597
18.32/18.47 c #Conflicts: 497000 | #Constraints: 23597
18.32/18.47 c #Conflicts: 498000 | #Constraints: 24597
18.32/18.47 c #Conflicts: 499000 | #Constraints: 25597
18.32/18.47 c #Conflicts: 500000 | #Constraints: 26597
18.32/18.47 c #Conflicts: 501000 | #Constraints: 27597
18.32/18.47 c #Conflicts: 502000 | #Constraints: 28597
18.32/18.47 c INPROCESSING
18.32/18.47 c GARBAGE COLLECT
18.32/18.47 c rational objective 300.5
18.92/19.00 c #Conflicts: 503000 | #Constraints: 15601
18.92/19.00 c #Conflicts: 504000 | #Constraints: 16601
18.92/19.00 c #Conflicts: 505000 | #Constraints: 17601
18.92/19.00 c #Conflicts: 506000 | #Constraints: 18601
18.92/19.00 c #Conflicts: 507000 | #Constraints: 19601
18.92/19.00 c #Conflicts: 508000 | #Constraints: 20601
18.92/19.00 c #Conflicts: 509000 | #Constraints: 21601
18.92/19.00 c #Conflicts: 510000 | #Constraints: 22601
18.92/19.00 c #Conflicts: 511000 | #Constraints: 23601
18.92/19.00 c #Conflicts: 512000 | #Constraints: 24601
18.92/19.00 c #Conflicts: 513000 | #Constraints: 25601
18.92/19.00 c #Conflicts: 514000 | #Constraints: 26601
18.92/19.00 c #Conflicts: 515000 | #Constraints: 27601
18.92/19.00 c #Conflicts: 516000 | #Constraints: 28601
18.92/19.00 c INPROCESSING
18.92/19.00 c GARBAGE COLLECT
18.92/19.00 c rational objective 300.5
19.32/19.49 c #Conflicts: 517000 | #Constraints: 15404
19.32/19.49 c #Conflicts: 518000 | #Constraints: 16404
19.32/19.49 c #Conflicts: 519000 | #Constraints: 17404
19.32/19.49 c #Conflicts: 520000 | #Constraints: 18404
19.32/19.49 c #Conflicts: 521000 | #Constraints: 19404
19.32/19.49 c #Conflicts: 522000 | #Constraints: 20404
19.32/19.49 c #Conflicts: 523000 | #Constraints: 21404
19.32/19.49 c #Conflicts: 524000 | #Constraints: 22404
19.32/19.49 c #Conflicts: 525000 | #Constraints: 23404
19.32/19.49 c #Conflicts: 526000 | #Constraints: 24404
19.32/19.49 c #Conflicts: 527000 | #Constraints: 25404
19.32/19.49 c #Conflicts: 528000 | #Constraints: 26404
19.32/19.49 c #Conflicts: 529000 | #Constraints: 27404
19.32/19.49 c #Conflicts: 530000 | #Constraints: 28404
19.32/19.49 c #Conflicts: 531000 | #Constraints: 29404
19.32/19.49 c INPROCESSING
19.32/19.49 c GARBAGE COLLECT
19.32/19.49 c rational objective 300.5
19.82/20.00 c #Conflicts: 532000 | #Constraints: 16009
19.82/20.00 c #Conflicts: 533000 | #Constraints: 17009
19.82/20.00 c #Conflicts: 534000 | #Constraints: 18009
19.82/20.00 c #Conflicts: 535000 | #Constraints: 19009
19.82/20.00 c #Conflicts: 536000 | #Constraints: 20009
19.82/20.00 c #Conflicts: 537000 | #Constraints: 21009
19.82/20.00 c #Conflicts: 538000 | #Constraints: 22009
19.82/20.00 c #Conflicts: 539000 | #Constraints: 23009
19.82/20.00 c #Conflicts: 540000 | #Constraints: 24009
19.82/20.00 c #Conflicts: 541000 | #Constraints: 25009
19.82/20.00 c #Conflicts: 542000 | #Constraints: 26009
19.82/20.00 c #Conflicts: 543000 | #Constraints: 27009
19.82/20.00 c #Conflicts: 544000 | #Constraints: 28009
19.82/20.00 c #Conflicts: 545000 | #Constraints: 29009
19.82/20.00 c #Conflicts: 546000 | #Constraints: 30009
19.82/20.00 c INPROCESSING
19.82/20.00 c GARBAGE COLLECT
19.82/20.00 c rational objective 300.5
20.42/20.54 c #Conflicts: 547000 | #Constraints: 16405
20.42/20.54 c #Conflicts: 548000 | #Constraints: 17405
20.42/20.54 c #Conflicts: 549000 | #Constraints: 18405
20.42/20.54 c #Conflicts: 550000 | #Constraints: 19405
20.42/20.54 c #Conflicts: 551000 | #Constraints: 20405
20.42/20.54 c #Conflicts: 552000 | #Constraints: 21405
20.42/20.54 c #Conflicts: 553000 | #Constraints: 22405
20.42/20.54 c #Conflicts: 554000 | #Constraints: 23405
20.42/20.54 c #Conflicts: 555000 | #Constraints: 24405
20.42/20.54 c #Conflicts: 556000 | #Constraints: 25405
20.42/20.54 c #Conflicts: 557000 | #Constraints: 26405
20.42/20.54 c #Conflicts: 558000 | #Constraints: 27405
20.42/20.54 c #Conflicts: 559000 | #Constraints: 28405
20.42/20.54 c #Conflicts: 560000 | #Constraints: 29405
20.42/20.54 c #Conflicts: 561000 | #Constraints: 30405
20.42/20.54 c INPROCESSING
20.42/20.54 c GARBAGE COLLECT
20.42/20.54 c rational objective 300.5
20.92/21.06 c #Conflicts: 562000 | #Constraints: 16610
20.92/21.06 c #Conflicts: 563000 | #Constraints: 17610
20.92/21.06 c #Conflicts: 564000 | #Constraints: 18610
20.92/21.06 c #Conflicts: 565000 | #Constraints: 19610
20.92/21.06 c #Conflicts: 566000 | #Constraints: 20610
20.92/21.06 c #Conflicts: 567000 | #Constraints: 21610
20.92/21.06 c #Conflicts: 568000 | #Constraints: 22610
20.92/21.06 c #Conflicts: 569000 | #Constraints: 23610
20.92/21.06 c #Conflicts: 570000 | #Constraints: 24610
20.92/21.06 c #Conflicts: 571000 | #Constraints: 25610
20.92/21.06 c #Conflicts: 572000 | #Constraints: 26610
20.92/21.06 c #Conflicts: 573000 | #Constraints: 27610
20.92/21.06 c #Conflicts: 574000 | #Constraints: 28610
20.92/21.06 c #Conflicts: 575000 | #Constraints: 29610
20.92/21.06 c #Conflicts: 576000 | #Constraints: 30610
20.92/21.06 c INPROCESSING
20.92/21.06 c GARBAGE COLLECT
20.92/21.06 c rational objective 300.5
21.41/21.59 c #Conflicts: 577000 | #Constraints: 16613
21.41/21.59 c #Conflicts: 578000 | #Constraints: 17613
21.41/21.59 c #Conflicts: 579000 | #Constraints: 18613
21.41/21.59 c #Conflicts: 580000 | #Constraints: 19613
21.41/21.59 c #Conflicts: 581000 | #Constraints: 20613
21.41/21.59 c #Conflicts: 582000 | #Constraints: 21613
21.41/21.59 c #Conflicts: 583000 | #Constraints: 22613
21.41/21.59 c #Conflicts: 584000 | #Constraints: 23613
21.41/21.59 c #Conflicts: 585000 | #Constraints: 24613
21.41/21.59 c #Conflicts: 586000 | #Constraints: 25613
21.41/21.59 c #Conflicts: 587000 | #Constraints: 26613
21.41/21.59 c #Conflicts: 588000 | #Constraints: 27613
21.41/21.59 c #Conflicts: 589000 | #Constraints: 28613
21.41/21.59 c #Conflicts: 590000 | #Constraints: 29613
21.41/21.59 c #Conflicts: 591000 | #Constraints: 30613
21.41/21.59 c INPROCESSING
21.41/21.59 c GARBAGE COLLECT
21.41/21.59 c rational objective 300.5
22.01/22.15 c #Conflicts: 592000 | #Constraints: 16419
22.01/22.15 c #Conflicts: 593000 | #Constraints: 17419
22.01/22.15 c #Conflicts: 594000 | #Constraints: 18419
22.01/22.15 c #Conflicts: 595000 | #Constraints: 19419
22.01/22.15 c #Conflicts: 596000 | #Constraints: 20419
22.01/22.15 c #Conflicts: 597000 | #Constraints: 21419
22.01/22.15 c #Conflicts: 598000 | #Constraints: 22419
22.01/22.15 c #Conflicts: 599000 | #Constraints: 23419
22.01/22.15 c #Conflicts: 600000 | #Constraints: 24419
22.01/22.15 c #Conflicts: 601000 | #Constraints: 25419
22.01/22.15 c #Conflicts: 602000 | #Constraints: 26419
22.01/22.15 c #Conflicts: 603000 | #Constraints: 27419
22.01/22.15 c #Conflicts: 604000 | #Constraints: 28419
22.01/22.15 c #Conflicts: 605000 | #Constraints: 29419
22.01/22.15 c #Conflicts: 606000 | #Constraints: 30419
22.01/22.15 c #Conflicts: 607000 | #Constraints: 31419
22.01/22.15 c INPROCESSING
22.01/22.15 c GARBAGE COLLECT
22.01/22.15 c rational objective 300.5
22.62/22.73 c #Conflicts: 608000 | #Constraints: 17023
22.62/22.73 c #Conflicts: 609000 | #Constraints: 18023
22.62/22.73 c #Conflicts: 610000 | #Constraints: 19023
22.62/22.73 c #Conflicts: 611000 | #Constraints: 20023
22.62/22.73 c #Conflicts: 612000 | #Constraints: 21023
22.62/22.73 c #Conflicts: 613000 | #Constraints: 22023
22.62/22.73 c #Conflicts: 614000 | #Constraints: 23023
22.62/22.73 c #Conflicts: 615000 | #Constraints: 24023
22.62/22.73 c #Conflicts: 616000 | #Constraints: 25023
22.62/22.73 c #Conflicts: 617000 | #Constraints: 26023
22.62/22.73 c #Conflicts: 618000 | #Constraints: 27023
22.62/22.73 c #Conflicts: 619000 | #Constraints: 28023
22.62/22.73 c #Conflicts: 620000 | #Constraints: 29023
22.62/22.73 c #Conflicts: 621000 | #Constraints: 30023
22.62/22.73 c #Conflicts: 622000 | #Constraints: 31023
22.62/22.73 c #Conflicts: 623000 | #Constraints: 32023
22.62/22.73 c INPROCESSING
22.62/22.73 c GARBAGE COLLECT
22.62/22.73 c rational objective 300.5
23.11/23.28 c #Conflicts: 624000 | #Constraints: 17421
23.11/23.28 c #Conflicts: 625000 | #Constraints: 18421
23.11/23.28 c #Conflicts: 626000 | #Constraints: 19421
23.11/23.28 c #Conflicts: 627000 | #Constraints: 20421
23.11/23.28 c #Conflicts: 628000 | #Constraints: 21421
23.11/23.28 c #Conflicts: 629000 | #Constraints: 22421
23.11/23.28 c #Conflicts: 630000 | #Constraints: 23421
23.11/23.28 c #Conflicts: 631000 | #Constraints: 24421
23.11/23.28 c #Conflicts: 632000 | #Constraints: 25421
23.11/23.28 c #Conflicts: 633000 | #Constraints: 26421
23.11/23.28 c #Conflicts: 634000 | #Constraints: 27421
23.11/23.28 c #Conflicts: 635000 | #Constraints: 28421
23.11/23.28 c #Conflicts: 636000 | #Constraints: 29421
23.11/23.28 c #Conflicts: 637000 | #Constraints: 30421
23.11/23.28 c #Conflicts: 638000 | #Constraints: 31421
23.11/23.28 c #Conflicts: 639000 | #Constraints: 32421
23.11/23.28 c INPROCESSING
23.11/23.28 c GARBAGE COLLECT
23.11/23.28 c rational objective 300.5
23.70/23.86 c #Conflicts: 640000 | #Constraints: 17619
23.70/23.86 c #Conflicts: 641000 | #Constraints: 18619
23.70/23.86 c #Conflicts: 642000 | #Constraints: 19619
23.70/23.86 c #Conflicts: 643000 | #Constraints: 20619
23.70/23.86 c #Conflicts: 644000 | #Constraints: 21619
23.70/23.86 c #Conflicts: 645000 | #Constraints: 22619
23.70/23.86 c #Conflicts: 646000 | #Constraints: 23619
23.70/23.86 c #Conflicts: 647000 | #Constraints: 24619
23.70/23.86 c #Conflicts: 648000 | #Constraints: 25619
23.70/23.86 c #Conflicts: 649000 | #Constraints: 26619
23.70/23.86 c #Conflicts: 650000 | #Constraints: 27619
23.70/23.86 c #Conflicts: 651000 | #Constraints: 28619
23.70/23.86 c #Conflicts: 652000 | #Constraints: 29619
23.70/23.86 c #Conflicts: 653000 | #Constraints: 30619
23.70/23.86 c #Conflicts: 654000 | #Constraints: 31619
23.70/23.86 c #Conflicts: 655000 | #Constraints: 32619
23.70/23.86 c INPROCESSING
23.70/23.86 c GARBAGE COLLECT
23.70/23.86 c rational objective 300.5
24.30/24.45 c #Conflicts: 656000 | #Constraints: 17627
24.30/24.45 c #Conflicts: 657000 | #Constraints: 18627
24.30/24.45 c #Conflicts: 658000 | #Constraints: 19627
24.30/24.45 c #Conflicts: 659000 | #Constraints: 20627
24.30/24.45 c #Conflicts: 660000 | #Constraints: 21627
24.30/24.45 c #Conflicts: 661000 | #Constraints: 22627
24.30/24.45 c #Conflicts: 662000 | #Constraints: 23627
24.30/24.45 c #Conflicts: 663000 | #Constraints: 24627
24.30/24.45 c #Conflicts: 664000 | #Constraints: 25627
24.30/24.45 c #Conflicts: 665000 | #Constraints: 26627
24.30/24.45 c #Conflicts: 666000 | #Constraints: 27627
24.30/24.45 c #Conflicts: 667000 | #Constraints: 28627
24.30/24.45 c #Conflicts: 668000 | #Constraints: 29627
24.30/24.45 c #Conflicts: 669000 | #Constraints: 30627
24.30/24.45 c #Conflicts: 670000 | #Constraints: 31627
24.30/24.45 c #Conflicts: 671000 | #Constraints: 32627
24.30/24.45 c INPROCESSING
24.30/24.45 c GARBAGE COLLECT
24.30/24.45 c rational objective 300.5
24.91/25.04 c #Conflicts: 672000 | #Constraints: 17427
24.91/25.04 c #Conflicts: 673000 | #Constraints: 18427
24.91/25.04 c #Conflicts: 674000 | #Constraints: 19427
24.91/25.04 c #Conflicts: 675000 | #Constraints: 20427
24.91/25.04 c #Conflicts: 676000 | #Constraints: 21427
24.91/25.04 c #Conflicts: 677000 | #Constraints: 22427
24.91/25.04 c #Conflicts: 678000 | #Constraints: 23427
24.91/25.04 c #Conflicts: 679000 | #Constraints: 24427
24.91/25.04 c #Conflicts: 680000 | #Constraints: 25427
24.91/25.04 c #Conflicts: 681000 | #Constraints: 26427
24.91/25.04 c #Conflicts: 682000 | #Constraints: 27427
24.91/25.04 c #Conflicts: 683000 | #Constraints: 28427
24.91/25.04 c #Conflicts: 684000 | #Constraints: 29427
24.91/25.04 c #Conflicts: 685000 | #Constraints: 30427
24.91/25.04 c #Conflicts: 686000 | #Constraints: 31427
24.91/25.04 c #Conflicts: 687000 | #Constraints: 32427
24.91/25.04 c #Conflicts: 688000 | #Constraints: 33427
24.91/25.04 c INPROCESSING
24.91/25.04 c GARBAGE COLLECT
24.91/25.04 c rational objective 300.5
25.50/25.67 c #Conflicts: 689000 | #Constraints: 18029
25.50/25.67 c #Conflicts: 690000 | #Constraints: 19029
25.50/25.67 c #Conflicts: 691000 | #Constraints: 20029
25.50/25.67 c #Conflicts: 692000 | #Constraints: 21029
25.50/25.67 c #Conflicts: 693000 | #Constraints: 22029
25.50/25.67 c #Conflicts: 694000 | #Constraints: 23029
25.50/25.67 c #Conflicts: 695000 | #Constraints: 24029
25.50/25.67 c #Conflicts: 696000 | #Constraints: 25029
25.50/25.67 c #Conflicts: 697000 | #Constraints: 26029
25.50/25.67 c #Conflicts: 698000 | #Constraints: 27029
25.50/25.67 c #Conflicts: 699000 | #Constraints: 28029
25.50/25.67 c #Conflicts: 700000 | #Constraints: 29029
25.50/25.67 c #Conflicts: 701000 | #Constraints: 30029
25.50/25.67 c #Conflicts: 702000 | #Constraints: 31029
25.50/25.67 c #Conflicts: 703000 | #Constraints: 32029
25.50/25.67 c #Conflicts: 704000 | #Constraints: 33029
25.50/25.67 c #Conflicts: 705000 | #Constraints: 34029
25.50/25.67 c INPROCESSING
25.50/25.67 c GARBAGE COLLECT
25.50/25.67 c rational objective 300.5
26.20/26.38 c #Conflicts: 706000 | #Constraints: 18432
26.20/26.38 c #Conflicts: 707000 | #Constraints: 19432
26.20/26.38 c #Conflicts: 708000 | #Constraints: 20432
26.20/26.38 c #Conflicts: 709000 | #Constraints: 21432
26.20/26.38 c #Conflicts: 710000 | #Constraints: 22432
26.20/26.38 c #Conflicts: 711000 | #Constraints: 23432
26.20/26.38 c #Conflicts: 712000 | #Constraints: 24432
26.20/26.38 c #Conflicts: 713000 | #Constraints: 25432
26.20/26.38 c #Conflicts: 714000 | #Constraints: 26432
26.20/26.38 c #Conflicts: 715000 | #Constraints: 27432
26.20/26.38 c #Conflicts: 716000 | #Constraints: 28432
26.20/26.38 c #Conflicts: 717000 | #Constraints: 29432
26.20/26.38 c #Conflicts: 718000 | #Constraints: 30432
26.20/26.38 c #Conflicts: 719000 | #Constraints: 31432
26.20/26.38 c #Conflicts: 720000 | #Constraints: 32432
26.20/26.38 c #Conflicts: 721000 | #Constraints: 33432
26.20/26.38 c #Conflicts: 722000 | #Constraints: 34432
26.20/26.38 c INPROCESSING
26.20/26.38 c GARBAGE COLLECT
26.20/26.38 c rational objective 300.5
27.01/27.14 c #Conflicts: 723000 | #Constraints: 18626
27.01/27.14 c #Conflicts: 724000 | #Constraints: 19626
27.01/27.14 c #Conflicts: 725000 | #Constraints: 20626
27.01/27.14 c #Conflicts: 726000 | #Constraints: 21626
27.01/27.14 c #Conflicts: 727000 | #Constraints: 22626
27.01/27.14 c #Conflicts: 728000 | #Constraints: 23626
27.01/27.14 c #Conflicts: 729000 | #Constraints: 24626
27.01/27.14 c #Conflicts: 730000 | #Constraints: 25626
27.01/27.14 c #Conflicts: 731000 | #Constraints: 26626
27.01/27.14 c #Conflicts: 732000 | #Constraints: 27626
27.01/27.14 c #Conflicts: 733000 | #Constraints: 28626
27.01/27.14 c #Conflicts: 734000 | #Constraints: 29626
27.01/27.14 c #Conflicts: 735000 | #Constraints: 30626
27.01/27.14 c #Conflicts: 736000 | #Constraints: 31626
27.01/27.14 c #Conflicts: 737000 | #Constraints: 32626
27.01/27.14 c #Conflicts: 738000 | #Constraints: 33626
27.01/27.14 c #Conflicts: 739000 | #Constraints: 34626
27.01/27.14 c INPROCESSING
27.01/27.14 c GARBAGE COLLECT
27.01/27.14 c rational objective 300.5
27.70/27.81 c #Conflicts: 740000 | #Constraints: 18633
27.70/27.81 c #Conflicts: 741000 | #Constraints: 19633
27.70/27.81 c #Conflicts: 742000 | #Constraints: 20633
27.70/27.81 c #Conflicts: 743000 | #Constraints: 21633
27.70/27.81 c #Conflicts: 744000 | #Constraints: 22633
27.70/27.81 c #Conflicts: 745000 | #Constraints: 23633
27.70/27.81 c #Conflicts: 746000 | #Constraints: 24633
27.70/27.81 c #Conflicts: 747000 | #Constraints: 25633
27.70/27.81 c #Conflicts: 748000 | #Constraints: 26633
27.70/27.81 c #Conflicts: 749000 | #Constraints: 27633
27.70/27.81 c #Conflicts: 750000 | #Constraints: 28633
27.70/27.81 c #Conflicts: 751000 | #Constraints: 29633
27.70/27.81 c #Conflicts: 752000 | #Constraints: 30633
27.70/27.81 c #Conflicts: 753000 | #Constraints: 31633
27.70/27.81 c #Conflicts: 754000 | #Constraints: 32633
27.70/27.81 c #Conflicts: 755000 | #Constraints: 33633
27.70/27.81 c #Conflicts: 756000 | #Constraints: 34633
27.70/27.81 c INPROCESSING
27.70/27.81 c GARBAGE COLLECT
27.70/27.81 c rational objective 300.5
28.30/28.46 c #Conflicts: 757000 | #Constraints: 18431
28.30/28.46 c #Conflicts: 758000 | #Constraints: 19431
28.30/28.46 c #Conflicts: 759000 | #Constraints: 20431
28.30/28.46 c #Conflicts: 760000 | #Constraints: 21431
28.30/28.46 c #Conflicts: 761000 | #Constraints: 22431
28.30/28.46 c #Conflicts: 762000 | #Constraints: 23431
28.30/28.46 c #Conflicts: 763000 | #Constraints: 24431
28.30/28.46 c #Conflicts: 764000 | #Constraints: 25431
28.30/28.46 c #Conflicts: 765000 | #Constraints: 26431
28.30/28.46 c #Conflicts: 766000 | #Constraints: 27431
28.30/28.46 c #Conflicts: 767000 | #Constraints: 28431
28.30/28.46 c #Conflicts: 768000 | #Constraints: 29431
28.30/28.46 c #Conflicts: 769000 | #Constraints: 30431
28.30/28.46 c #Conflicts: 770000 | #Constraints: 31431
28.30/28.46 c #Conflicts: 771000 | #Constraints: 32431
28.30/28.46 c #Conflicts: 772000 | #Constraints: 33431
28.30/28.46 c #Conflicts: 773000 | #Constraints: 34431
28.30/28.46 c #Conflicts: 774000 | #Constraints: 35431
28.30/28.46 c INPROCESSING
28.30/28.46 c GARBAGE COLLECT
28.30/28.46 c rational objective 300.5
29.00/29.14 c #Conflicts: 775000 | #Constraints: 19032
29.00/29.14 c #Conflicts: 776000 | #Constraints: 20032
29.00/29.14 c #Conflicts: 777000 | #Constraints: 21032
29.00/29.14 c #Conflicts: 778000 | #Constraints: 22032
29.00/29.14 c #Conflicts: 779000 | #Constraints: 23032
29.00/29.14 c #Conflicts: 780000 | #Constraints: 24032
29.00/29.14 c #Conflicts: 781000 | #Constraints: 25032
29.00/29.14 c #Conflicts: 782000 | #Constraints: 26032
29.00/29.14 c #Conflicts: 783000 | #Constraints: 27032
29.00/29.14 c #Conflicts: 784000 | #Constraints: 28032
29.00/29.14 c #Conflicts: 785000 | #Constraints: 29032
29.00/29.14 c #Conflicts: 786000 | #Constraints: 30032
29.00/29.14 c #Conflicts: 787000 | #Constraints: 31032
29.00/29.14 c #Conflicts: 788000 | #Constraints: 32032
29.00/29.14 c #Conflicts: 789000 | #Constraints: 33032
29.00/29.14 c #Conflicts: 790000 | #Constraints: 34032
29.00/29.14 c #Conflicts: 791000 | #Constraints: 35032
29.00/29.14 c #Conflicts: 792000 | #Constraints: 36032
29.00/29.14 c INPROCESSING
29.00/29.14 c GARBAGE COLLECT
29.00/29.14 c rational objective 300.5
29.69/29.82 c #Conflicts: 793000 | #Constraints: 19431
29.69/29.82 c #Conflicts: 794000 | #Constraints: 20431
29.69/29.82 c #Conflicts: 795000 | #Constraints: 21431
29.69/29.82 c #Conflicts: 796000 | #Constraints: 22431
29.69/29.82 c #Conflicts: 797000 | #Constraints: 23431
29.69/29.82 c #Conflicts: 798000 | #Constraints: 24431
29.69/29.82 c #Conflicts: 799000 | #Constraints: 25431
29.69/29.82 c #Conflicts: 800000 | #Constraints: 26431
29.69/29.82 c #Conflicts: 801000 | #Constraints: 27431
29.69/29.82 c #Conflicts: 802000 | #Constraints: 28431
29.69/29.82 c #Conflicts: 803000 | #Constraints: 29431
29.69/29.82 c #Conflicts: 804000 | #Constraints: 30431
29.69/29.82 c #Conflicts: 805000 | #Constraints: 31431
29.69/29.82 c #Conflicts: 806000 | #Constraints: 32431
29.69/29.82 c #Conflicts: 807000 | #Constraints: 33431
29.69/29.82 c #Conflicts: 808000 | #Constraints: 34431
29.69/29.82 c #Conflicts: 809000 | #Constraints: 35431
29.69/29.82 c #Conflicts: 810000 | #Constraints: 36431
29.69/29.82 c INPROCESSING
29.69/29.82 c GARBAGE COLLECT
29.69/29.82 c rational objective 300.5
30.40/30.50 c #Conflicts: 811000 | #Constraints: 19631
30.40/30.50 c #Conflicts: 812000 | #Constraints: 20631
30.40/30.50 c #Conflicts: 813000 | #Constraints: 21631
30.40/30.50 c #Conflicts: 814000 | #Constraints: 22631
30.40/30.50 c #Conflicts: 815000 | #Constraints: 23631
30.40/30.50 c #Conflicts: 816000 | #Constraints: 24631
30.40/30.50 c #Conflicts: 817000 | #Constraints: 25631
30.40/30.50 c #Conflicts: 818000 | #Constraints: 26631
30.40/30.50 c #Conflicts: 819000 | #Constraints: 27631
30.40/30.50 c #Conflicts: 820000 | #Constraints: 28631
30.40/30.50 c #Conflicts: 821000 | #Constraints: 29631
30.40/30.50 c #Conflicts: 822000 | #Constraints: 30631
30.40/30.50 c #Conflicts: 823000 | #Constraints: 31631
30.40/30.50 c #Conflicts: 824000 | #Constraints: 32631
30.40/30.50 c #Conflicts: 825000 | #Constraints: 33631
30.40/30.50 c #Conflicts: 826000 | #Constraints: 34631
30.40/30.50 c #Conflicts: 827000 | #Constraints: 35631
30.40/30.50 c #Conflicts: 828000 | #Constraints: 36631
30.40/30.50 c INPROCESSING
30.40/30.50 c GARBAGE COLLECT
30.40/30.50 c rational objective 300.5
31.09/31.21 c #Conflicts: 829000 | #Constraints: 19631
31.09/31.21 c #Conflicts: 830000 | #Constraints: 20631
31.09/31.21 c #Conflicts: 831000 | #Constraints: 21631
31.09/31.21 c #Conflicts: 832000 | #Constraints: 22631
31.09/31.21 c #Conflicts: 833000 | #Constraints: 23631
31.09/31.21 c #Conflicts: 834000 | #Constraints: 24631
31.09/31.21 c #Conflicts: 835000 | #Constraints: 25631
31.09/31.21 c #Conflicts: 836000 | #Constraints: 26631
31.09/31.21 c #Conflicts: 837000 | #Constraints: 27631
31.09/31.21 c #Conflicts: 838000 | #Constraints: 28631
31.09/31.21 c #Conflicts: 839000 | #Constraints: 29631
31.09/31.21 c #Conflicts: 840000 | #Constraints: 30631
31.09/31.21 c #Conflicts: 841000 | #Constraints: 31631
31.09/31.21 c #Conflicts: 842000 | #Constraints: 32631
31.09/31.21 c #Conflicts: 843000 | #Constraints: 33631
31.09/31.21 c #Conflicts: 844000 | #Constraints: 34631
31.09/31.21 c #Conflicts: 845000 | #Constraints: 35631
31.09/31.21 c #Conflicts: 846000 | #Constraints: 36631
31.09/31.21 c INPROCESSING
31.09/31.21 c GARBAGE COLLECT
31.09/31.21 c rational objective 300.5
31.79/31.94 c #Conflicts: 847000 | #Constraints: 19439
31.79/31.94 c #Conflicts: 848000 | #Constraints: 20439
31.79/31.94 c #Conflicts: 849000 | #Constraints: 21439
31.79/31.94 c #Conflicts: 850000 | #Constraints: 22439
31.79/31.94 c #Conflicts: 851000 | #Constraints: 23439
31.79/31.94 c #Conflicts: 852000 | #Constraints: 24439
31.79/31.94 c #Conflicts: 853000 | #Constraints: 25439
31.79/31.94 c #Conflicts: 854000 | #Constraints: 26439
31.79/31.94 c #Conflicts: 855000 | #Constraints: 27439
31.79/31.94 c #Conflicts: 856000 | #Constraints: 28439
31.79/31.94 c #Conflicts: 857000 | #Constraints: 29439
31.79/31.94 c #Conflicts: 858000 | #Constraints: 30439
31.79/31.94 c #Conflicts: 859000 | #Constraints: 31439
31.79/31.94 c #Conflicts: 860000 | #Constraints: 32439
31.79/31.94 c #Conflicts: 861000 | #Constraints: 33439
31.79/31.94 c #Conflicts: 862000 | #Constraints: 34439
31.79/31.94 c #Conflicts: 863000 | #Constraints: 35439
31.79/31.94 c #Conflicts: 864000 | #Constraints: 36439
31.79/31.94 c #Conflicts: 865000 | #Constraints: 37439
31.79/31.94 c INPROCESSING
31.79/31.94 c GARBAGE COLLECT
31.79/31.94 c rational objective 300.5
32.49/32.66 c #Conflicts: 866000 | #Constraints: 20035
32.49/32.66 c #Conflicts: 867000 | #Constraints: 21035
32.49/32.66 c #Conflicts: 868000 | #Constraints: 22035
32.49/32.66 c #Conflicts: 869000 | #Constraints: 23035
32.49/32.66 c #Conflicts: 870000 | #Constraints: 24035
32.49/32.66 c #Conflicts: 871000 | #Constraints: 25035
32.49/32.66 c #Conflicts: 872000 | #Constraints: 26035
32.49/32.66 c #Conflicts: 873000 | #Constraints: 27035
32.49/32.66 c #Conflicts: 874000 | #Constraints: 28035
32.49/32.66 c #Conflicts: 875000 | #Constraints: 29035
32.49/32.66 c #Conflicts: 876000 | #Constraints: 30035
32.49/32.66 c #Conflicts: 877000 | #Constraints: 31035
32.49/32.66 c #Conflicts: 878000 | #Constraints: 32035
32.49/32.66 c #Conflicts: 879000 | #Constraints: 33035
32.49/32.66 c #Conflicts: 880000 | #Constraints: 34035
32.49/32.66 c #Conflicts: 881000 | #Constraints: 35035
32.49/32.66 c #Conflicts: 882000 | #Constraints: 36035
32.49/32.66 c #Conflicts: 883000 | #Constraints: 37035
32.49/32.66 c #Conflicts: 884000 | #Constraints: 38035
32.49/32.66 c INPROCESSING
32.49/32.66 c GARBAGE COLLECT
32.49/32.66 c rational objective 300.5
33.18/33.39 c #Conflicts: 885000 | #Constraints: 20441
33.18/33.39 c #Conflicts: 886000 | #Constraints: 21441
33.18/33.39 c #Conflicts: 887000 | #Constraints: 22441
33.18/33.39 c #Conflicts: 888000 | #Constraints: 23441
33.18/33.39 c #Conflicts: 889000 | #Constraints: 24441
33.18/33.39 c #Conflicts: 890000 | #Constraints: 25441
33.18/33.39 c #Conflicts: 891000 | #Constraints: 26441
33.18/33.39 c #Conflicts: 892000 | #Constraints: 27441
33.18/33.39 c #Conflicts: 893000 | #Constraints: 28441
33.18/33.39 c #Conflicts: 894000 | #Constraints: 29441
33.18/33.39 c #Conflicts: 895000 | #Constraints: 30441
33.18/33.39 c #Conflicts: 896000 | #Constraints: 31441
33.18/33.39 c #Conflicts: 897000 | #Constraints: 32441
33.18/33.39 c #Conflicts: 898000 | #Constraints: 33441
33.18/33.39 c #Conflicts: 899000 | #Constraints: 34441
33.18/33.39 c #Conflicts: 900000 | #Constraints: 35441
33.18/33.39 c #Conflicts: 901000 | #Constraints: 36441
33.18/33.39 c #Conflicts: 902000 | #Constraints: 37441
33.18/33.39 c #Conflicts: 903000 | #Constraints: 38441
33.18/33.39 c INPROCESSING
33.18/33.39 c GARBAGE COLLECT
33.18/33.39 c rational objective 300.5
33.99/34.15 c #Conflicts: 904000 | #Constraints: 20639
33.99/34.15 c #Conflicts: 905000 | #Constraints: 21639
33.99/34.15 c #Conflicts: 906000 | #Constraints: 22639
33.99/34.15 c #Conflicts: 907000 | #Constraints: 23639
33.99/34.15 c #Conflicts: 908000 | #Constraints: 24639
33.99/34.15 c #Conflicts: 909000 | #Constraints: 25639
33.99/34.15 c #Conflicts: 910000 | #Constraints: 26639
33.99/34.15 c #Conflicts: 911000 | #Constraints: 27639
33.99/34.15 c #Conflicts: 912000 | #Constraints: 28639
33.99/34.15 c #Conflicts: 913000 | #Constraints: 29639
33.99/34.15 c #Conflicts: 914000 | #Constraints: 30639
33.99/34.15 c #Conflicts: 915000 | #Constraints: 31639
33.99/34.15 c #Conflicts: 916000 | #Constraints: 32639
33.99/34.15 c #Conflicts: 917000 | #Constraints: 33639
33.99/34.15 c #Conflicts: 918000 | #Constraints: 34639
33.99/34.15 c #Conflicts: 919000 | #Constraints: 35639
33.99/34.15 c #Conflicts: 920000 | #Constraints: 36639
33.99/34.15 c #Conflicts: 921000 | #Constraints: 37639
33.99/34.15 c #Conflicts: 922000 | #Constraints: 38639
33.99/34.15 c INPROCESSING
33.99/34.15 c GARBAGE COLLECT
33.99/34.15 c rational objective 300.5
34.78/34.92 c #Conflicts: 923000 | #Constraints: 20640
34.78/34.92 c #Conflicts: 924000 | #Constraints: 21640
34.78/34.92 c #Conflicts: 925000 | #Constraints: 22640
34.78/34.92 c #Conflicts: 926000 | #Constraints: 23640
34.78/34.92 c #Conflicts: 927000 | #Constraints: 24640
34.78/34.92 c #Conflicts: 928000 | #Constraints: 25640
34.78/34.92 c #Conflicts: 929000 | #Constraints: 26640
34.78/34.92 c #Conflicts: 930000 | #Constraints: 27640
34.78/34.92 c #Conflicts: 931000 | #Constraints: 28640
34.78/34.92 c #Conflicts: 932000 | #Constraints: 29640
34.78/34.92 c #Conflicts: 933000 | #Constraints: 30640
34.78/34.92 c #Conflicts: 934000 | #Constraints: 31640
34.78/34.92 c #Conflicts: 935000 | #Constraints: 32640
34.78/34.92 c #Conflicts: 936000 | #Constraints: 33640
34.78/34.92 c #Conflicts: 937000 | #Constraints: 34640
34.78/34.92 c #Conflicts: 938000 | #Constraints: 35640
34.78/34.92 c #Conflicts: 939000 | #Constraints: 36640
34.78/34.92 c #Conflicts: 940000 | #Constraints: 37640
34.78/34.92 c #Conflicts: 941000 | #Constraints: 38640
34.78/34.92 c INPROCESSING
34.78/34.92 c GARBAGE COLLECT
34.78/34.92 c rational objective 300.5
35.48/35.69 c #Conflicts: 942000 | #Constraints: 20442
35.48/35.69 c #Conflicts: 943000 | #Constraints: 21442
35.48/35.69 c #Conflicts: 944000 | #Constraints: 22442
35.48/35.69 c #Conflicts: 945000 | #Constraints: 23442
35.48/35.69 c #Conflicts: 946000 | #Constraints: 24442
35.48/35.69 c #Conflicts: 947000 | #Constraints: 25442
35.48/35.69 c #Conflicts: 948000 | #Constraints: 26442
35.48/35.69 c #Conflicts: 949000 | #Constraints: 27442
35.48/35.69 c #Conflicts: 950000 | #Constraints: 28442
35.48/35.69 c #Conflicts: 951000 | #Constraints: 29442
35.48/35.69 c #Conflicts: 952000 | #Constraints: 30442
35.48/35.69 c #Conflicts: 953000 | #Constraints: 31442
35.48/35.69 c #Conflicts: 954000 | #Constraints: 32442
35.48/35.69 c #Conflicts: 955000 | #Constraints: 33442
35.48/35.69 c #Conflicts: 956000 | #Constraints: 34442
35.48/35.69 c #Conflicts: 957000 | #Constraints: 35442
35.48/35.69 c #Conflicts: 958000 | #Constraints: 36442
35.48/35.69 c #Conflicts: 959000 | #Constraints: 37442
35.48/35.69 c #Conflicts: 960000 | #Constraints: 38442
35.48/35.69 c #Conflicts: 961000 | #Constraints: 39442
35.48/35.69 c INPROCESSING
35.48/35.69 c GARBAGE COLLECT
35.48/35.69 c rational objective 300.5
36.28/36.45 c #Conflicts: 962000 | #Constraints: 21043
36.28/36.45 c #Conflicts: 963000 | #Constraints: 22043
36.28/36.45 c #Conflicts: 964000 | #Constraints: 23043
36.28/36.45 c #Conflicts: 965000 | #Constraints: 24043
36.28/36.45 c #Conflicts: 966000 | #Constraints: 25043
36.28/36.45 c #Conflicts: 967000 | #Constraints: 26043
36.28/36.45 c #Conflicts: 968000 | #Constraints: 27043
36.28/36.45 c #Conflicts: 969000 | #Constraints: 28043
36.28/36.45 c #Conflicts: 970000 | #Constraints: 29043
36.28/36.45 c #Conflicts: 971000 | #Constraints: 30043
36.28/36.45 c #Conflicts: 972000 | #Constraints: 31043
36.28/36.45 c #Conflicts: 973000 | #Constraints: 32043
36.28/36.45 c #Conflicts: 974000 | #Constraints: 33043
36.28/36.45 c #Conflicts: 975000 | #Constraints: 34043
36.28/36.45 c #Conflicts: 976000 | #Constraints: 35043
36.28/36.45 c #Conflicts: 977000 | #Constraints: 36043
36.28/36.45 c #Conflicts: 978000 | #Constraints: 37043
36.28/36.45 c #Conflicts: 979000 | #Constraints: 38043
36.28/36.45 c #Conflicts: 980000 | #Constraints: 39043
36.28/36.45 c #Conflicts: 981000 | #Constraints: 40043
36.28/36.45 c INPROCESSING
36.28/36.45 c GARBAGE COLLECT
36.28/36.45 c rational objective 300.5
37.18/37.34 c #Conflicts: 982000 | #Constraints: 21448
37.18/37.34 c #Conflicts: 983000 | #Constraints: 22448
37.18/37.34 c #Conflicts: 984000 | #Constraints: 23448
37.18/37.34 c #Conflicts: 985000 | #Constraints: 24448
37.18/37.34 c #Conflicts: 986000 | #Constraints: 25448
37.18/37.34 c #Conflicts: 987000 | #Constraints: 26448
37.18/37.34 c #Conflicts: 988000 | #Constraints: 27448
37.18/37.34 c #Conflicts: 989000 | #Constraints: 28448
37.18/37.34 c #Conflicts: 990000 | #Constraints: 29448
37.18/37.34 c #Conflicts: 991000 | #Constraints: 30448
37.18/37.34 c #Conflicts: 992000 | #Constraints: 31448
37.18/37.34 c #Conflicts: 993000 | #Constraints: 32448
37.18/37.34 c #Conflicts: 994000 | #Constraints: 33448
37.18/37.34 c #Conflicts: 995000 | #Constraints: 34448
37.18/37.34 c #Conflicts: 996000 | #Constraints: 35448
37.18/37.34 c #Conflicts: 997000 | #Constraints: 36448
37.18/37.34 c #Conflicts: 998000 | #Constraints: 37448
37.18/37.34 c #Conflicts: 999000 | #Constraints: 38448
37.18/37.34 c #Conflicts: 1000000 | #Constraints: 39448
37.18/37.34 c #Conflicts: 1001000 | #Constraints: 40448
37.18/37.34 c INPROCESSING
37.18/37.34 c GARBAGE COLLECT
37.18/37.34 c rational objective 300.5
38.07/38.25 c #Conflicts: 1002000 | #Constraints: 21654
38.07/38.25 c #Conflicts: 1003000 | #Constraints: 22654
38.07/38.25 c #Conflicts: 1004000 | #Constraints: 23654
38.07/38.25 c #Conflicts: 1005000 | #Constraints: 24654
38.07/38.25 c #Conflicts: 1006000 | #Constraints: 25654
38.07/38.25 c #Conflicts: 1007000 | #Constraints: 26654
38.07/38.25 c #Conflicts: 1008000 | #Constraints: 27654
38.07/38.25 c #Conflicts: 1009000 | #Constraints: 28654
38.07/38.25 c #Conflicts: 1010000 | #Constraints: 29654
38.07/38.25 c #Conflicts: 1011000 | #Constraints: 30654
38.07/38.25 c #Conflicts: 1012000 | #Constraints: 31654
38.07/38.25 c #Conflicts: 1013000 | #Constraints: 32654
38.07/38.25 c #Conflicts: 1014000 | #Constraints: 33654
38.07/38.25 c #Conflicts: 1015000 | #Constraints: 34654
38.07/38.25 c #Conflicts: 1016000 | #Constraints: 35654
38.07/38.25 c #Conflicts: 1017000 | #Constraints: 36654
38.07/38.25 c #Conflicts: 1018000 | #Constraints: 37654
38.07/38.25 c #Conflicts: 1019000 | #Constraints: 38654
38.07/38.25 c #Conflicts: 1020000 | #Constraints: 39654
38.07/38.25 c #Conflicts: 1021000 | #Constraints: 40654
38.07/38.25 c INPROCESSING
38.07/38.25 c GARBAGE COLLECT
38.07/38.25 c rational objective 300.5
38.88/39.03 c #Conflicts: 1022000 | #Constraints: 21656
38.88/39.03 c #Conflicts: 1023000 | #Constraints: 22656
38.88/39.03 c #Conflicts: 1024000 | #Constraints: 23656
38.88/39.03 c #Conflicts: 1025000 | #Constraints: 24656
38.88/39.03 c #Conflicts: 1026000 | #Constraints: 25656
38.88/39.03 c #Conflicts: 1027000 | #Constraints: 26656
38.88/39.03 c #Conflicts: 1028000 | #Constraints: 27656
38.88/39.03 c #Conflicts: 1029000 | #Constraints: 28656
38.88/39.03 c #Conflicts: 1030000 | #Constraints: 29656
38.88/39.03 c #Conflicts: 1031000 | #Constraints: 30656
38.88/39.03 c #Conflicts: 1032000 | #Constraints: 31656
38.88/39.03 c #Conflicts: 1033000 | #Constraints: 32656
38.88/39.03 c #Conflicts: 1034000 | #Constraints: 33656
38.88/39.03 c #Conflicts: 1035000 | #Constraints: 34656
38.88/39.03 c #Conflicts: 1036000 | #Constraints: 35656
38.88/39.03 c #Conflicts: 1037000 | #Constraints: 36656
38.88/39.03 c #Conflicts: 1038000 | #Constraints: 37656
38.88/39.03 c #Conflicts: 1039000 | #Constraints: 38656
38.88/39.03 c #Conflicts: 1040000 | #Constraints: 39656
38.88/39.03 c #Conflicts: 1041000 | #Constraints: 40656
38.88/39.03 c INPROCESSING
38.88/39.03 c GARBAGE COLLECT
38.88/39.03 c rational objective 300.5
39.77/39.90 c #Conflicts: 1042000 | #Constraints: 21460
39.77/39.90 c #Conflicts: 1043000 | #Constraints: 22460
39.77/39.90 c #Conflicts: 1044000 | #Constraints: 23460
39.77/39.90 c #Conflicts: 1045000 | #Constraints: 24460
39.77/39.90 c #Conflicts: 1046000 | #Constraints: 25460
39.77/39.90 c #Conflicts: 1047000 | #Constraints: 26460
39.77/39.90 c #Conflicts: 1048000 | #Constraints: 27460
39.77/39.90 c #Conflicts: 1049000 | #Constraints: 28460
39.77/39.90 c #Conflicts: 1050000 | #Constraints: 29460
39.77/39.90 c #Conflicts: 1051000 | #Constraints: 30460
39.77/39.90 c #Conflicts: 1052000 | #Constraints: 31460
39.77/39.90 c #Conflicts: 1053000 | #Constraints: 32460
39.77/39.90 c #Conflicts: 1054000 | #Constraints: 33460
39.77/39.90 c #Conflicts: 1055000 | #Constraints: 34460
39.77/39.90 c #Conflicts: 1056000 | #Constraints: 35460
39.77/39.90 c #Conflicts: 1057000 | #Constraints: 36460
39.77/39.90 c #Conflicts: 1058000 | #Constraints: 37460
39.77/39.90 c #Conflicts: 1059000 | #Constraints: 38460
39.77/39.90 c #Conflicts: 1060000 | #Constraints: 39460
39.77/39.90 c #Conflicts: 1061000 | #Constraints: 40460
39.77/39.90 c #Conflicts: 1062000 | #Constraints: 41460
39.77/39.90 c INPROCESSING
39.77/39.90 c GARBAGE COLLECT
39.77/39.90 c rational objective 300.5
40.67/40.84 c #Conflicts: 1063000 | #Constraints: 22056
40.67/40.84 c #Conflicts: 1064000 | #Constraints: 23056
40.67/40.84 c #Conflicts: 1065000 | #Constraints: 24056
40.67/40.84 c #Conflicts: 1066000 | #Constraints: 25056
40.67/40.84 c #Conflicts: 1067000 | #Constraints: 26056
40.67/40.84 c #Conflicts: 1068000 | #Constraints: 27056
40.67/40.84 c #Conflicts: 1069000 | #Constraints: 28056
40.67/40.84 c #Conflicts: 1070000 | #Constraints: 29056
40.67/40.84 c #Conflicts: 1071000 | #Constraints: 30056
40.67/40.84 c #Conflicts: 1072000 | #Constraints: 31056
40.67/40.84 c #Conflicts: 1073000 | #Constraints: 32056
40.67/40.84 c #Conflicts: 1074000 | #Constraints: 33056
40.67/40.84 c #Conflicts: 1075000 | #Constraints: 34056
40.67/40.84 c #Conflicts: 1076000 | #Constraints: 35056
40.67/40.84 c #Conflicts: 1077000 | #Constraints: 36056
40.67/40.84 c #Conflicts: 1078000 | #Constraints: 37056
40.67/40.84 c #Conflicts: 1079000 | #Constraints: 38056
40.67/40.84 c #Conflicts: 1080000 | #Constraints: 39056
40.67/40.84 c #Conflicts: 1081000 | #Constraints: 40056
40.67/40.84 c #Conflicts: 1082000 | #Constraints: 41056
40.67/40.84 c #Conflicts: 1083000 | #Constraints: 42056
40.67/40.84 c INPROCESSING
40.67/40.84 c GARBAGE COLLECT
40.67/40.84 c rational objective 300.5
41.46/41.65 c #Conflicts: 1084000 | #Constraints: 22453
41.46/41.65 c #Conflicts: 1085000 | #Constraints: 23453
41.46/41.65 c #Conflicts: 1086000 | #Constraints: 24453
41.46/41.65 c #Conflicts: 1087000 | #Constraints: 25453
41.46/41.65 c #Conflicts: 1088000 | #Constraints: 26453
41.46/41.65 c #Conflicts: 1089000 | #Constraints: 27453
41.46/41.65 c #Conflicts: 1090000 | #Constraints: 28453
41.46/41.65 c #Conflicts: 1091000 | #Constraints: 29453
41.46/41.65 c #Conflicts: 1092000 | #Constraints: 30453
41.46/41.65 c #Conflicts: 1093000 | #Constraints: 31453
41.46/41.65 c #Conflicts: 1094000 | #Constraints: 32453
41.46/41.65 c #Conflicts: 1095000 | #Constraints: 33453
41.46/41.65 c #Conflicts: 1096000 | #Constraints: 34453
41.46/41.65 c #Conflicts: 1097000 | #Constraints: 35453
41.46/41.65 c #Conflicts: 1098000 | #Constraints: 36453
41.46/41.65 c #Conflicts: 1099000 | #Constraints: 37453
41.46/41.65 c #Conflicts: 1100000 | #Constraints: 38453
41.46/41.65 c #Conflicts: 1101000 | #Constraints: 39453
41.46/41.65 c #Conflicts: 1102000 | #Constraints: 40453
41.46/41.65 c #Conflicts: 1103000 | #Constraints: 41453
41.46/41.65 c #Conflicts: 1104000 | #Constraints: 42453
41.46/41.65 c INPROCESSING
41.46/41.65 c GARBAGE COLLECT
41.46/41.65 c rational objective 300.5
42.26/42.49 c #Conflicts: 1105000 | #Constraints: 22654
42.26/42.49 c #Conflicts: 1106000 | #Constraints: 23654
42.26/42.49 c #Conflicts: 1107000 | #Constraints: 24654
42.26/42.49 c #Conflicts: 1108000 | #Constraints: 25654
42.26/42.49 c #Conflicts: 1109000 | #Constraints: 26654
42.26/42.49 c #Conflicts: 1110000 | #Constraints: 27654
42.26/42.49 c #Conflicts: 1111000 | #Constraints: 28654
42.26/42.49 c #Conflicts: 1112000 | #Constraints: 29654
42.26/42.49 c #Conflicts: 1113000 | #Constraints: 30654
42.26/42.49 c #Conflicts: 1114000 | #Constraints: 31654
42.26/42.49 c #Conflicts: 1115000 | #Constraints: 32654
42.26/42.49 c #Conflicts: 1116000 | #Constraints: 33654
42.26/42.49 c #Conflicts: 1117000 | #Constraints: 34654
42.26/42.49 c #Conflicts: 1118000 | #Constraints: 35654
42.26/42.49 c #Conflicts: 1119000 | #Constraints: 36654
42.26/42.49 c #Conflicts: 1120000 | #Constraints: 37654
42.26/42.49 c #Conflicts: 1121000 | #Constraints: 38654
42.26/42.49 c #Conflicts: 1122000 | #Constraints: 39654
42.26/42.49 c #Conflicts: 1123000 | #Constraints: 40654
42.26/42.49 c #Conflicts: 1124000 | #Constraints: 41654
42.26/42.49 c #Conflicts: 1125000 | #Constraints: 42654
42.26/42.49 c INPROCESSING
42.26/42.49 c GARBAGE COLLECT
42.26/42.49 c rational objective 300.5
43.16/43.35 c #Conflicts: 1126000 | #Constraints: 22658
43.16/43.35 c #Conflicts: 1127000 | #Constraints: 23658
43.16/43.35 c #Conflicts: 1128000 | #Constraints: 24658
43.16/43.35 c #Conflicts: 1129000 | #Constraints: 25658
43.16/43.35 c #Conflicts: 1130000 | #Constraints: 26658
43.16/43.35 c #Conflicts: 1131000 | #Constraints: 27658
43.16/43.35 c #Conflicts: 1132000 | #Constraints: 28658
43.16/43.35 c #Conflicts: 1133000 | #Constraints: 29658
43.16/43.35 c #Conflicts: 1134000 | #Constraints: 30658
43.16/43.35 c #Conflicts: 1135000 | #Constraints: 31658
43.16/43.35 c #Conflicts: 1136000 | #Constraints: 32658
43.16/43.35 c #Conflicts: 1137000 | #Constraints: 33658
43.16/43.35 c #Conflicts: 1138000 | #Constraints: 34658
43.16/43.35 c #Conflicts: 1139000 | #Constraints: 35658
43.16/43.35 c #Conflicts: 1140000 | #Constraints: 36658
43.16/43.35 c #Conflicts: 1141000 | #Constraints: 37658
43.16/43.35 c #Conflicts: 1142000 | #Constraints: 38658
43.16/43.35 c #Conflicts: 1143000 | #Constraints: 39658
43.16/43.35 c #Conflicts: 1144000 | #Constraints: 40658
43.16/43.35 c #Conflicts: 1145000 | #Constraints: 41658
43.16/43.35 c #Conflicts: 1146000 | #Constraints: 42658
43.16/43.35 c INPROCESSING
43.16/43.35 c GARBAGE COLLECT
43.16/43.35 c rational objective 300.5
44.06/44.27 c #Conflicts: 1147000 | #Constraints: 22454
44.06/44.27 c #Conflicts: 1148000 | #Constraints: 23454
44.06/44.27 c #Conflicts: 1149000 | #Constraints: 24454
44.06/44.27 c #Conflicts: 1150000 | #Constraints: 25454
44.06/44.27 c #Conflicts: 1151000 | #Constraints: 26454
44.06/44.27 c #Conflicts: 1152000 | #Constraints: 27454
44.06/44.27 c #Conflicts: 1153000 | #Constraints: 28454
44.06/44.27 c #Conflicts: 1154000 | #Constraints: 29454
44.06/44.27 c #Conflicts: 1155000 | #Constraints: 30454
44.06/44.27 c #Conflicts: 1156000 | #Constraints: 31454
44.06/44.27 c #Conflicts: 1157000 | #Constraints: 32454
44.06/44.27 c #Conflicts: 1158000 | #Constraints: 33454
44.06/44.27 c #Conflicts: 1159000 | #Constraints: 34454
44.06/44.27 c #Conflicts: 1160000 | #Constraints: 35454
44.06/44.27 c #Conflicts: 1161000 | #Constraints: 36454
44.06/44.27 c #Conflicts: 1162000 | #Constraints: 37454
44.06/44.27 c #Conflicts: 1163000 | #Constraints: 38454
44.06/44.27 c #Conflicts: 1164000 | #Constraints: 39454
44.06/44.27 c #Conflicts: 1165000 | #Constraints: 40454
44.06/44.27 c #Conflicts: 1166000 | #Constraints: 41454
44.06/44.27 c #Conflicts: 1167000 | #Constraints: 42454
44.06/44.27 c #Conflicts: 1168000 | #Constraints: 43454
44.06/44.27 c INPROCESSING
44.06/44.27 c GARBAGE COLLECT
44.06/44.27 c rational objective 300.5
45.06/45.20 c #Conflicts: 1169000 | #Constraints: 23057
45.06/45.20 c #Conflicts: 1170000 | #Constraints: 24057
45.06/45.20 c #Conflicts: 1171000 | #Constraints: 25057
45.06/45.20 c #Conflicts: 1172000 | #Constraints: 26057
45.06/45.20 c #Conflicts: 1173000 | #Constraints: 27057
45.06/45.20 c #Conflicts: 1174000 | #Constraints: 28057
45.06/45.20 c #Conflicts: 1175000 | #Constraints: 29057
45.06/45.20 c #Conflicts: 1176000 | #Constraints: 30057
45.06/45.20 c #Conflicts: 1177000 | #Constraints: 31057
45.06/45.20 c #Conflicts: 1178000 | #Constraints: 32057
45.06/45.20 c #Conflicts: 1179000 | #Constraints: 33057
45.06/45.20 c #Conflicts: 1180000 | #Constraints: 34057
45.06/45.20 c #Conflicts: 1181000 | #Constraints: 35057
45.06/45.20 c #Conflicts: 1182000 | #Constraints: 36057
45.06/45.20 c #Conflicts: 1183000 | #Constraints: 37057
45.06/45.20 c #Conflicts: 1184000 | #Constraints: 38057
45.06/45.20 c #Conflicts: 1185000 | #Constraints: 39057
45.06/45.20 c #Conflicts: 1186000 | #Constraints: 40057
45.06/45.20 c #Conflicts: 1187000 | #Constraints: 41057
45.06/45.20 c #Conflicts: 1188000 | #Constraints: 42057
45.06/45.20 c #Conflicts: 1189000 | #Constraints: 43057
45.06/45.20 c #Conflicts: 1190000 | #Constraints: 44057
45.06/45.20 c INPROCESSING
45.06/45.20 c GARBAGE COLLECT
45.06/45.20 c rational objective 300.5
45.96/46.13 c #Conflicts: 1191000 | #Constraints: 23457
45.96/46.13 c #Conflicts: 1192000 | #Constraints: 24457
45.96/46.13 c #Conflicts: 1193000 | #Constraints: 25457
45.96/46.13 c #Conflicts: 1194000 | #Constraints: 26457
45.96/46.13 c #Conflicts: 1195000 | #Constraints: 27457
45.96/46.13 c #Conflicts: 1196000 | #Constraints: 28457
45.96/46.13 c #Conflicts: 1197000 | #Constraints: 29457
45.96/46.13 c #Conflicts: 1198000 | #Constraints: 30457
45.96/46.13 c #Conflicts: 1199000 | #Constraints: 31457
45.96/46.13 c #Conflicts: 1200000 | #Constraints: 32457
45.96/46.13 c #Conflicts: 1201000 | #Constraints: 33457
45.96/46.13 c #Conflicts: 1202000 | #Constraints: 34457
45.96/46.13 c #Conflicts: 1203000 | #Constraints: 35457
45.96/46.13 c #Conflicts: 1204000 | #Constraints: 36457
45.96/46.13 c #Conflicts: 1205000 | #Constraints: 37457
45.96/46.13 c #Conflicts: 1206000 | #Constraints: 38457
45.96/46.13 c #Conflicts: 1207000 | #Constraints: 39457
45.96/46.13 c #Conflicts: 1208000 | #Constraints: 40457
45.96/46.13 c #Conflicts: 1209000 | #Constraints: 41457
45.96/46.13 c #Conflicts: 1210000 | #Constraints: 42457
45.96/46.13 c #Conflicts: 1211000 | #Constraints: 43457
45.96/46.13 c #Conflicts: 1212000 | #Constraints: 44457
45.96/46.13 c INPROCESSING
45.96/46.13 c GARBAGE COLLECT
45.96/46.13 c rational objective 300.5
46.86/47.08 c #Conflicts: 1213000 | #Constraints: 23657
46.86/47.08 c #Conflicts: 1214000 | #Constraints: 24657
46.86/47.08 c #Conflicts: 1215000 | #Constraints: 25657
46.86/47.08 c #Conflicts: 1216000 | #Constraints: 26657
46.86/47.08 c #Conflicts: 1217000 | #Constraints: 27657
46.86/47.08 c #Conflicts: 1218000 | #Constraints: 28657
46.86/47.08 c #Conflicts: 1219000 | #Constraints: 29657
46.86/47.08 c #Conflicts: 1220000 | #Constraints: 30657
46.86/47.08 c #Conflicts: 1221000 | #Constraints: 31657
46.86/47.08 c #Conflicts: 1222000 | #Constraints: 32657
46.86/47.08 c #Conflicts: 1223000 | #Constraints: 33657
46.86/47.08 c #Conflicts: 1224000 | #Constraints: 34657
46.86/47.08 c #Conflicts: 1225000 | #Constraints: 35657
46.86/47.08 c #Conflicts: 1226000 | #Constraints: 36657
46.86/47.08 c #Conflicts: 1227000 | #Constraints: 37657
46.86/47.08 c #Conflicts: 1228000 | #Constraints: 38657
46.86/47.08 c #Conflicts: 1229000 | #Constraints: 39657
46.86/47.08 c #Conflicts: 1230000 | #Constraints: 40657
46.86/47.08 c #Conflicts: 1231000 | #Constraints: 41657
46.86/47.08 c #Conflicts: 1232000 | #Constraints: 42657
46.86/47.08 c #Conflicts: 1233000 | #Constraints: 43657
46.86/47.08 c #Conflicts: 1234000 | #Constraints: 44657
46.86/47.08 c INPROCESSING
46.86/47.08 c GARBAGE COLLECT
46.86/47.08 c rational objective 300.5
47.86/48.08 c #Conflicts: 1235000 | #Constraints: 23658
47.86/48.08 c #Conflicts: 1236000 | #Constraints: 24658
47.86/48.08 c #Conflicts: 1237000 | #Constraints: 25658
47.86/48.08 c #Conflicts: 1238000 | #Constraints: 26658
47.86/48.08 c #Conflicts: 1239000 | #Constraints: 27658
47.86/48.08 c #Conflicts: 1240000 | #Constraints: 28658
47.86/48.08 c #Conflicts: 1241000 | #Constraints: 29658
47.86/48.08 c #Conflicts: 1242000 | #Constraints: 30658
47.86/48.08 c #Conflicts: 1243000 | #Constraints: 31658
47.86/48.08 c #Conflicts: 1244000 | #Constraints: 32658
47.86/48.08 c #Conflicts: 1245000 | #Constraints: 33658
47.86/48.08 c #Conflicts: 1246000 | #Constraints: 34658
47.86/48.08 c #Conflicts: 1247000 | #Constraints: 35658
47.86/48.08 c #Conflicts: 1248000 | #Constraints: 36658
47.86/48.08 c #Conflicts: 1249000 | #Constraints: 37658
47.86/48.08 c #Conflicts: 1250000 | #Constraints: 38658
47.86/48.08 c #Conflicts: 1251000 | #Constraints: 39658
47.86/48.08 c #Conflicts: 1252000 | #Constraints: 40658
47.86/48.08 c #Conflicts: 1253000 | #Constraints: 41658
47.86/48.08 c #Conflicts: 1254000 | #Constraints: 42658
47.86/48.08 c #Conflicts: 1255000 | #Constraints: 43658
47.86/48.08 c #Conflicts: 1256000 | #Constraints: 44658
47.86/48.08 c INPROCESSING
47.86/48.08 c GARBAGE COLLECT
47.86/48.08 c rational objective 300.5
48.95/49.11 c #Conflicts: 1257000 | #Constraints: 23459
48.95/49.11 c #Conflicts: 1258000 | #Constraints: 24459
48.95/49.11 c #Conflicts: 1259000 | #Constraints: 25459
48.95/49.11 c #Conflicts: 1260000 | #Constraints: 26459
48.95/49.11 c #Conflicts: 1261000 | #Constraints: 27459
48.95/49.11 c #Conflicts: 1262000 | #Constraints: 28459
48.95/49.11 c #Conflicts: 1263000 | #Constraints: 29459
48.95/49.11 c #Conflicts: 1264000 | #Constraints: 30459
48.95/49.11 c #Conflicts: 1265000 | #Constraints: 31459
48.95/49.11 c #Conflicts: 1266000 | #Constraints: 32459
48.95/49.11 c #Conflicts: 1267000 | #Constraints: 33459
48.95/49.11 c #Conflicts: 1268000 | #Constraints: 34459
48.95/49.11 c #Conflicts: 1269000 | #Constraints: 35459
48.95/49.11 c #Conflicts: 1270000 | #Constraints: 36459
48.95/49.11 c #Conflicts: 1271000 | #Constraints: 37459
48.95/49.11 c #Conflicts: 1272000 | #Constraints: 38459
48.95/49.11 c #Conflicts: 1273000 | #Constraints: 39459
48.95/49.11 c #Conflicts: 1274000 | #Constraints: 40459
48.95/49.11 c #Conflicts: 1275000 | #Constraints: 41459
48.95/49.11 c #Conflicts: 1276000 | #Constraints: 42459
48.95/49.11 c #Conflicts: 1277000 | #Constraints: 43459
48.95/49.11 c #Conflicts: 1278000 | #Constraints: 44459
48.95/49.11 c #Conflicts: 1279000 | #Constraints: 45459
48.95/49.11 c INPROCESSING
48.95/49.11 c GARBAGE COLLECT
48.95/49.11 c rational objective 300.5
49.95/50.15 c #Conflicts: 1280000 | #Constraints: 24057
49.95/50.15 c #Conflicts: 1281000 | #Constraints: 25057
49.95/50.15 c #Conflicts: 1282000 | #Constraints: 26057
49.95/50.15 c #Conflicts: 1283000 | #Constraints: 27057
49.95/50.15 c #Conflicts: 1284000 | #Constraints: 28057
49.95/50.15 c #Conflicts: 1285000 | #Constraints: 29057
49.95/50.15 c #Conflicts: 1286000 | #Constraints: 30057
49.95/50.15 c #Conflicts: 1287000 | #Constraints: 31057
49.95/50.15 c #Conflicts: 1288000 | #Constraints: 32057
49.95/50.15 c #Conflicts: 1289000 | #Constraints: 33057
49.95/50.15 c #Conflicts: 1290000 | #Constraints: 34057
49.95/50.15 c #Conflicts: 1291000 | #Constraints: 35057
49.95/50.15 c #Conflicts: 1292000 | #Constraints: 36057
49.95/50.15 c #Conflicts: 1293000 | #Constraints: 37057
49.95/50.15 c #Conflicts: 1294000 | #Constraints: 38057
49.95/50.15 c #Conflicts: 1295000 | #Constraints: 39057
49.95/50.15 c #Conflicts: 1296000 | #Constraints: 40057
49.95/50.15 c #Conflicts: 1297000 | #Constraints: 41057
49.95/50.15 c #Conflicts: 1298000 | #Constraints: 42057
49.95/50.15 c #Conflicts: 1299000 | #Constraints: 43057
49.95/50.15 c #Conflicts: 1300000 | #Constraints: 44057
49.95/50.15 c #Conflicts: 1301000 | #Constraints: 45057
49.95/50.15 c #Conflicts: 1302000 | #Constraints: 46057
49.95/50.15 c INPROCESSING
49.95/50.15 c GARBAGE COLLECT
49.95/50.15 c rational objective 300.5
51.34/51.51 c #Conflicts: 1303000 | #Constraints: 24462
51.34/51.51 c #Conflicts: 1304000 | #Constraints: 25464
51.34/51.51 c #Conflicts: 1305000 | #Constraints: 26556
51.34/51.51 c #Conflicts: 1306000 | #Constraints: 27692
51.34/51.51 c #Conflicts: 1307000 | #Constraints: 28921
51.34/51.51 c #Conflicts: 1308000 | #Constraints: 29921
51.34/51.51 c #Conflicts: 1309000 | #Constraints: 30928
51.34/51.51 c #Conflicts: 1310000 | #Constraints: 31940
51.34/51.51 c #Conflicts: 1311000 | #Constraints: 33090
51.34/51.51 c #Conflicts: 1312000 | #Constraints: 34444
51.34/51.51 c #Conflicts: 1313000 | #Constraints: 35945
51.34/51.51 c #Conflicts: 1314000 | #Constraints: 37077
51.34/51.51 c #Conflicts: 1315000 | #Constraints: 38091
51.34/51.51 c #Conflicts: 1316000 | #Constraints: 39118
51.34/51.51 c #Conflicts: 1317000 | #Constraints: 40159
51.34/51.51 c #Conflicts: 1318000 | #Constraints: 41312
51.34/51.51 c #Conflicts: 1319000 | #Constraints: 42314
51.34/51.51 c #Conflicts: 1320000 | #Constraints: 43315
51.34/51.51 c #Conflicts: 1321000 | #Constraints: 44316
51.34/51.51 c #Conflicts: 1322000 | #Constraints: 45317
51.34/51.51 c #Conflicts: 1323000 | #Constraints: 46317
51.34/51.51 c #Conflicts: 1324000 | #Constraints: 47343
51.34/51.51 c #Conflicts: 1325000 | #Constraints: 48351
51.34/51.51 c INPROCESSING
51.34/51.51 c GARBAGE COLLECT
51.34/51.51 c rational objective 300.5
52.24/52.43 c #Conflicts: 1326000 | #Constraints: 25603
52.24/52.43 c #Conflicts: 1327000 | #Constraints: 26603
52.24/52.43 c #Conflicts: 1328000 | #Constraints: 27603
52.24/52.43 c #Conflicts: 1329000 | #Constraints: 28603
52.24/52.43 c #Conflicts: 1330000 | #Constraints: 29603
52.24/52.43 c #Conflicts: 1331000 | #Constraints: 30603
52.24/52.43 c #Conflicts: 1332000 | #Constraints: 31603
52.24/52.43 c #Conflicts: 1333000 | #Constraints: 32603
52.24/52.43 c #Conflicts: 1334000 | #Constraints: 33603
52.24/52.43 c #Conflicts: 1335000 | #Constraints: 34603
52.24/52.43 c #Conflicts: 1336000 | #Constraints: 35603
52.24/52.43 c #Conflicts: 1337000 | #Constraints: 36603
52.24/52.43 c #Conflicts: 1338000 | #Constraints: 37603
52.24/52.43 c #Conflicts: 1339000 | #Constraints: 38603
52.24/52.43 c #Conflicts: 1340000 | #Constraints: 39603
52.24/52.43 c #Conflicts: 1341000 | #Constraints: 40603
52.24/52.43 c #Conflicts: 1342000 | #Constraints: 41603
52.24/52.43 c #Conflicts: 1343000 | #Constraints: 42603
52.24/52.43 c #Conflicts: 1344000 | #Constraints: 43603
52.24/52.43 c #Conflicts: 1345000 | #Constraints: 44603
52.24/52.43 c #Conflicts: 1346000 | #Constraints: 45603
52.24/52.43 c #Conflicts: 1347000 | #Constraints: 46603
52.24/52.43 c #Conflicts: 1348000 | #Constraints: 47603
52.24/52.43 c INPROCESSING
52.24/52.43 c GARBAGE COLLECT
52.24/52.43 c rational objective 300.5
52.54/52.71 c #Conflicts: 1349000 | #Constraints: 16735
52.54/52.71 c #Conflicts: 1350000 | #Constraints: 17735
52.54/52.71 c #Conflicts: 1351000 | #Constraints: 18735
52.54/52.71 c #Conflicts: 1352000 | #Constraints: 19735
52.54/52.71 c #Conflicts: 1353000 | #Constraints: 20735
52.54/52.71 c #Conflicts: 1354000 | #Constraints: 21735
52.54/52.71 c #Conflicts: 1355000 | #Constraints: 22735
52.54/52.71 c #Conflicts: 1356000 | #Constraints: 23735
52.54/52.71 c cpu time 48.4155 s
52.54/52.71 c deterministic time 1937762806 1.94e+09
52.54/52.71 c optimization time 9.8e-05 s
52.54/52.71 c total solve time 48.4121 s
52.54/52.71 c core-guided solve time 0 s
52.54/52.71 c propagation time 34.985 s
52.54/52.71 c conflict analysis time 6.87236 s
52.54/52.71 c propagations 6625348
52.54/52.71 c resolve steps 3993067
52.54/52.71 c decisions 2179153
52.54/52.71 c conflicts 1356747
52.54/52.71 c restarts 2557
52.54/52.71 c inprocessing phases 107
52.54/52.71 c garbage collections 107 ,( 100.00 )
52.54/52.71 c input clauses 58 ,( 8.81 )
52.54/52.71 c input cardinalities 600 ,( 91.19 )
52.54/52.71 c input general constraints 0 ,( 0.00 )
52.54/52.71 c input average constraint length 3.90
52.54/52.71 c input average constraint degree 1.91
52.54/52.71 c learned clauses 1328996 ,( 97.78 )
52.54/52.71 c learned cardinalities 3118 ,( 0.23 )
52.54/52.71 c learned general constraints 27042 ,( 1.99 )
52.54/52.71 c learned average constraint length 16.40
52.54/52.71 c learned average constraint degree 9098222.20
52.54/52.71 c watched CF 32, 64, 128, Arb: 11944 , 0 , 0 , 0
52.54/52.71 c counting CF 32, 64, 128, Arb: 15098 , 0 , 0 , 0
52.54/52.71 c watched constraints 11944 ,( 44.17 )
52.54/52.71 c counting constraints 15098 ,( 55.83 )
52.54/52.71 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 421537635 , 10947576 , 17994008 ,( 14794384 , 3199624 )
52.54/52.71 c gcd simplifications 2797
52.54/52.71 c detected cardinalities 479
52.54/52.71 c weakened non-implied lits 173754
52.54/52.71 c weakened non-implying lits 401
52.54/52.71 c original variables 619
52.54/52.71 c clausal propagations 2972266
52.54/52.71 c cardinality propagations 1315221
52.54/52.71 c watched propagations 103447
52.54/52.71 c counting propagations 856540
52.54/52.71 c watch lookups 934386802
52.54/52.71 c watch backjump lookups 0
52.54/52.71 c watch checks 878104133
52.54/52.71 c propagation checks 37384960
52.54/52.71 c constraint additions 68784523
52.54/52.71 c trail pops 10161218
52.54/52.71 c formula constraints 658
52.54/52.71 c learned constraints 1356741
52.54/52.71 c bound constraints 0
52.54/52.71 c core-guided constraints 0
52.54/52.71 c encountered formula constraints 95495
52.54/52.71 c encountered learned constraints 5252825
52.54/52.71 c encountered bound constraints 0
52.54/52.71 c encountered core-guided constraints 0
52.54/52.71 c LP total time 7.07183 s
52.54/52.71 c LP solve time 4.43 s
52.54/52.71 c LP constraints added 1283
52.54/52.71 c LP constraints removed 617
52.54/52.71 c LP pivots internal 135683
52.54/52.71 c LP pivots root 985
52.54/52.71 c LP calls 13756
52.54/52.71 c LP optimalities 11861
52.54/52.71 c LP no pivot count 836
52.54/52.71 c LP infeasibilities 1894
52.54/52.71 c LP valid Farkas constraints 1894
52.54/52.71 c LP learned Farkas constraints 5
52.54/52.71 c LP basis resets 0
52.54/52.71 c LP cycling count 0
52.54/52.71 c LP singular count 0
52.54/52.71 c LP no primal count 0
52.54/52.71 c LP no farkas count 0
52.54/52.71 c LP other issue count 0
52.54/52.71 c LP Gomory cuts 516
52.54/52.71 c LP learned cuts 109
52.54/52.71 c LP deleted cuts 617
52.54/52.71 c LP encountered Gomory constraints 2
52.54/52.71 c LP encountered Farkas constraints 1477
52.54/52.71 c LP encountered learned Farkas constraints 10
52.54/52.71 c CG auxiliary variables introduced 0
52.54/52.71 c CG solutions found 0
52.54/52.71 c CG cores constructed 0
52.54/52.71 c CG core cardinality constraints returned 0
52.54/52.71 c CG unit cores 0
52.54/52.71 c CG single cores 0
52.54/52.71 c CG blocks removed during cardinality reduction 0
52.54/52.71 c CG first core best 0
52.54/52.71 c CG decision core best 0
52.54/52.71 c CG core reduction tie 0
52.54/52.71 c CG core degree average 0.00
52.54/52.71 c CG core slack average 0.00
52.54/52.71 c CG core upper bound improvements 0
52.54/52.71 c STR number of successful calls 0
52.54/52.71 c STR number of unsuccessful calls 0
52.54/52.71 c STR number of inconclusive calls 0
52.54/52.71 c STR number of successful attempts 0
52.54/52.71 c STR number of unsuccessful attempts 0
52.54/52.71 c STR number of inconclusive attempts 0
52.54/52.71 c STR average degree increase per successful call inf
52.54/52.71 c STR average degree increase per successful attempt inf
52.54/52.71 c STR total number of conflicts for successful attempts 0
52.54/52.71 c STR total number of conflicts for unsuccessful attempts 0
52.54/52.71 c STR total number of conflicts for inconclusive attempts 0
52.54/52.71 c STR average number of conflicts per successful attempt inf
52.54/52.71 c STR average number of conflicts per unsuccessful attempt inf
52.54/52.71 c STR average number of conflicts per inconclusive attempt inf
52.54/52.71 c AVG.sumWPerc 43.18
52.54/52.71 c bigint constraints 0
52.54/52.71 s UNSATISFIABLE
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: 63708 MiB (62823 MiB free)
memory of node 1: 64465 MiB (63792 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511160-1751198060/watcher-4511160-1751198060 -o /tmp/evaluation-result-4511160-1751198060/solver-4511160-1751198060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23370 --watchdog 3760 run-dec-break.sh HOME/instance-4511160-1751198060.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24735, runsolver pid=24732
[startup+0.100059 s]*
/proc/loadavg: 4.10 4.14 4.07 5/271 24738
/proc/meminfo: memFree=129653192/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=58096 memory=12808 CPUtime=0.07 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 1163 0 0 0 6 1 0 0 20 0 1 0 35483520 59490304 3202 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 14524 3202 2368 1147 0 1951 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62288 KiB
Current children cumulated memory: 15752 KiB
[startup+0.205668 s]*
/proc/loadavg: 4.10 4.14 4.07 5/271 24738
/proc/meminfo: memFree=129650924/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=58636 memory=13576 CPUtime=0.18 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 1347 0 0 0 15 3 0 0 20 0 1 0 35483520 60043264 3394 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 14659 3394 2368 1147 0 2086 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62828 KiB
Current children cumulated memory: 16520 KiB
[startup+0.305832 s]*
/proc/loadavg: 4.10 4.14 4.07 5/271 24738
/proc/meminfo: memFree=129650924/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=58768 memory=13832 CPUtime=0.28 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 1434 0 0 0 24 4 0 0 20 0 1 0 35483520 60178432 3458 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 14692 3458 2368 1147 0 2119 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62960 KiB
Current children cumulated memory: 16776 KiB
[startup+0.700177 s]
/proc/loadavg: 4.10 4.14 4.07 5/271 24738
/proc/meminfo: memFree=129650924/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=59176 memory=14472 CPUtime=0.66 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 1579 0 0 0 57 9 0 0 20 0 1 0 35483520 60596224 3618 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 14794 3618 2368 1147 0 2221 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 63368 KiB
Current children cumulated memory: 17416 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.13 4.07 5/271 24738
/proc/meminfo: memFree=129651216/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=60384 memory=15752 CPUtime=1.46 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 1901 0 0 0 127 19 0 0 20 0 1 0 35483520 61833216 3938 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 15096 3938 2368 1147 0 2523 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 64576 KiB
Current children cumulated memory: 18696 KiB
[startup+3.10553 s]
/proc/loadavg: 4.09 4.13 4.07 5/272 24740
/proc/meminfo: memFree=129647184/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=61524 memory=17032 CPUtime=3.06 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 2224 0 0 0 264 42 0 0 20 0 1 0 35483520 63000576 4258 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 15381 4258 2368 1147 0 2808 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 65716 KiB
Current children cumulated memory: 19976 KiB
[startup+6.30017 s]
/proc/loadavg: 4.08 4.13 4.07 5/272 24740
/proc/meminfo: memFree=129647996/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=62728 memory=18824 CPUtime=6.25 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 2660 0 0 0 549 76 0 0 20 0 1 0 35483520 64233472 4706 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 15682 4706 2368 1147 0 3109 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 66920 KiB
Current children cumulated memory: 21768 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.13 4.07 5/272 24740
/proc/meminfo: memFree=129640184/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=63888 memory=20548 CPUtime=12.64 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 4118 0 0 0 1133 131 0 0 20 0 1 0 35483520 65421312 5137 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 15972 5137 2368 1147 0 3399 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 68080 KiB
Current children cumulated memory: 23492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.12 4.07 5/271 24740
/proc/meminfo: memFree=129631620/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=66644 memory=25048 CPUtime=25.4 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 7257 0 0 0 2311 229 0 0 20 0 1 0 35483520 68243456 6262 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 16661 6262 2368 1147 0 4088 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 70836 KiB
Current children cumulated memory: 27992 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.13 4.07 5/271 24740
/proc/meminfo: memFree=129627792/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=70552 memory=28648 CPUtime=50.95 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 12288 0 0 0 4691 404 0 0 20 0 1 0 35483520 72245248 7162 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 17638 7162 2368 1147 0 5065 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 74744 KiB
Current children cumulated memory: 31592 KiB
[startup+52.7162 s]
# the end of solver process 24735 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=48.4272 s, system=4.15043 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.11 4.13 4.07 5/271 24740
/proc/meminfo: memFree=129627792/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=70552 memory=28648 CPUtime=51.05 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 12288 0 0 0 4700 405 0 0 20 0 1 0 35483520 72245248 7162 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 17638 7162 2368 1147 0 5065 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 74744 KiB
Current children cumulated memory: 31592 KiB
[startup+52.0001 s]*
/proc/loadavg: 4.11 4.13 4.07 5/271 24740
/proc/meminfo: memFree=129627036/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=73804 memory=29340 CPUtime=51.85 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 12704 0 0 0 4775 410 0 0 20 0 1 0 35483520 75575296 7335 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 18451 7335 2368 1147 0 5878 0
Current children cumulated CPU time: 51.85 s
Current children cumulated vsize: 77996 KiB
Current children cumulated memory: 32284 KiB
[startup+52.4001 s]
/proc/loadavg: 4.11 4.13 4.07 5/271 24740
/proc/meminfo: memFree=129627036/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=73804 memory=29340 CPUtime=52.24 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 12730 0 0 0 4812 412 0 0 20 0 1 0 35483520 75575296 7335 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 18451 7335 2368 1147 0 5878 0
Current children cumulated CPU time: 52.24 s
Current children cumulated vsize: 77996 KiB
Current children cumulated memory: 32284 KiB
[startup+52.6001 s]
/proc/loadavg: 4.11 4.13 4.07 5/271 24740
/proc/meminfo: memFree=129627036/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=74724 memory=30108 CPUtime=52.44 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 12899 0 0 0 4831 413 0 0 20 0 1 0 35483520 76517376 7527 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 18681 7527 2368 1147 0 6108 0
Current children cumulated CPU time: 52.44 s
Current children cumulated vsize: 78916 KiB
Current children cumulated memory: 33052 KiB
[startup+52.7002 s]
/proc/loadavg: 4.11 4.13 4.07 5/271 24740
/proc/meminfo: memFree=129627036/131250000 swapFree=33010684/33010684
[pid=24735] ppid=24732 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/24735/stat : 24735 (run-dec-break.s) S 24732 24735 23358 0 -1 4194304 237 429 0 0 0 0 0 0 20 0 1 0 35483518 4292608 736 18446744073709551615 93835512545280 93835513439813 140734710601008 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93835513678864 93835513726608 93835531411456 140734710610273 140734710610402 140734710610402 140734710616004 0
/proc/24735/statm: 1048 736 672 219 0 110 0
[pid=24738] ppid=24735 vsize=74724 memory=30108 CPUtime=52.54 cores=1,3
/proc/24738/stat : 24738 (roundingsat) R 24735 24735 23358 0 -1 4194304 12899 0 0 0 4840 414 0 0 20 0 1 0 35483520 76517376 7527 18446744073709551615 4227072 8923433 140724119522432 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17829888 140724119529796 140724119530024 140724119530024 140724119535594 0
/proc/24738/statm: 18681 7527 2368 1147 0 6108 0
Current children cumulated CPU time: 52.54 s
Current children cumulated vsize: 78916 KiB
Current children cumulated memory: 33052 KiB
Child status: 0
Real time (s): 52.7162
CPU time (s): 52.5776
CPU user time (s): 48.4272
CPU system time (s): 4.15043
CPU usage (%): 99.737
Max. virtual memory (cumulated for all children) (KiB): 78916
Max. memory (cumulated for all children) (KiB): 33052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.4272
system time used= 4.15043
maximum resident set size= 30184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207
involuntary context switches= 123
# summary of solver processes directly reported to runsolver:
# pid: 24735
# total CPU time (s): 52.5776
# total CPU user time (s): 48.4272
# total CPU system time (s): 4.15043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.12079 second user time and 0.259773 second system time
The end
Begin job on nodeC019 at 2025-06-29 13:54:20
IDJOB=4511160
IDBENCH=160431
IDSOLVER=3357
FILE ID=nodeC019/4511160-1751198060
RUNJOBID= nodeC019-1751196526-23370
SLURM_JOB_ID= 9587609
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511160-1751198060/watcher-4511160-1751198060 -o /tmp/evaluation-result-4511160-1751198060/solver-4511160-1751198060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751196526-23370 --watchdog 3760 run-dec-break.sh HOME/instance-4511160-1751198060.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 77ae40a270bfcd4ecd9b94334dd86fa6
RANDOM SEED=1260376755
nodeC019 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.681
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.976
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.170
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.680
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.663
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.678
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.586
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.159
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129655212 kB
MemAvailable: 129491280 kB
Buffers: 3280 kB
Cached: 645796 kB
SwapCached: 0 kB
Active: 632600 kB
Inactive: 389044 kB
Active(anon): 390636 kB
Inactive(anon): 0 kB
Active(file): 241964 kB
Inactive(file): 389044 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7236 kB
Writeback: 4 kB
AnonPages: 370816 kB
Mapped: 112924 kB
Shmem: 18064 kB
KReclaimable: 88596 kB
Slab: 173756 kB
SReclaimable: 88596 kB
SUnreclaim: 85160 kB
KernelStack: 4352 kB
PageTables: 3784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 733432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 278528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433032 MiB
End job on nodeC019 at 2025-06-29 13:55:13